{"id":"https://openalex.org/W2010937503","doi":"https://doi.org/10.1137/0218007","title":"The Boolean Hierarchy II: Applications","display_name":"The Boolean Hierarchy II: Applications","publication_year":1989,"publication_date":"1989-02-01","ids":{"openalex":"https://openalex.org/W2010937503","doi":"https://doi.org/10.1137/0218007","mag":"2010937503"},"language":"en","primary_location":{"id":"doi:10.1137/0218007","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0218007","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101599971","display_name":"Jin\u2010Yi Cai","orcid":"https://orcid.org/0009-0003-0675-6060"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jin-Yi Cai","raw_affiliation_strings":["YALE UNIVERSITY, New Haven, CT"],"affiliations":[{"raw_affiliation_string":"YALE UNIVERSITY, New Haven, CT","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062913019","display_name":"Thomas Gundermann","orcid":null},"institutions":[{"id":"https://openalex.org/I76198965","display_name":"Friedrich Schiller University Jena","ror":"https://ror.org/05qpz1x62","country_code":"DE","type":"education","lineage":["https://openalex.org/I76198965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thomas Gundermann","raw_affiliation_strings":["Friedrich-Schiller-Univ., Jena, E. Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Friedrich-Schiller-Univ., Jena, E. Germany#TAB#","institution_ids":["https://openalex.org/I76198965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113650104","display_name":"J. Hartmanis","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Juris Hartmanis","raw_affiliation_strings":["Cornell University (Ithaca, NY);"],"affiliations":[{"raw_affiliation_string":"Cornell University (Ithaca, NY);","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113502191","display_name":"Lane A. Hemachandra","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lane A. Hemachandra","raw_affiliation_strings":["Columbia University, New York, NY;"],"affiliations":[{"raw_affiliation_string":"Columbia University, New York, NY;","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056969300","display_name":"Vivian Sewelson","orcid":null},"institutions":[{"id":"https://openalex.org/I107672454","display_name":"Dartmouth College","ror":"https://ror.org/049s0rh22","country_code":"US","type":"education","lineage":["https://openalex.org/I107672454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vivian Sewelson","raw_affiliation_strings":["Dartmouth College; Hanover NH"],"affiliations":[{"raw_affiliation_string":"Dartmouth College; Hanover NH","institution_ids":["https://openalex.org/I107672454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031190525","display_name":"Klaus W. Wagner","orcid":null},"institutions":[{"id":"https://openalex.org/I179225836","display_name":"University of Augsburg","ror":"https://ror.org/03p14d497","country_code":"DE","type":"education","lineage":["https://openalex.org/I179225836"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Klaus Wagner","raw_affiliation_strings":["Univ. of Augsburg, Augsburg, W. Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Univ. of Augsburg, Augsburg, W. Germany#TAB#","institution_ids":["https://openalex.org/I179225836"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002697551","display_name":"Gerd Wechsung","orcid":null},"institutions":[{"id":"https://openalex.org/I76198965","display_name":"Friedrich Schiller University Jena","ror":"https://ror.org/05qpz1x62","country_code":"DE","type":"education","lineage":["https://openalex.org/I76198965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gerd Wechsung","raw_affiliation_strings":["Friedrich-Schiller-Univ., Jena, E. Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Friedrich-Schiller-Univ., Jena, E. Germany#TAB#","institution_ids":["https://openalex.org/I76198965"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5101599971"],"corresponding_institution_ids":["https://openalex.org/I32971472"],"apc_list":null,"apc_paid":null,"fwci":7.4884,"has_fulltext":false,"cited_by_count":108,"citation_normalized_percentile":{"value":0.98090407,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"18","issue":"1","first_page":"95","last_page":"111"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.7882815599441528},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.5432655811309814},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5035302042961121},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4771915674209595},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44563695788383484},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.43927913904190063},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.4326874017715454},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.35684734582901},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3475148677825928},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.3394368588924408}],"concepts":[{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.7882815599441528},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.5432655811309814},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5035302042961121},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4771915674209595},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44563695788383484},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.43927913904190063},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.4326874017715454},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.35684734582901},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3475148677825928},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.3394368588924408},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0218007","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0218007","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1533583611","https://openalex.org/W1752076080","https://openalex.org/W1806792047","https://openalex.org/W1992789304","https://openalex.org/W1995893260","https://openalex.org/W2023336906","https://openalex.org/W2029980187","https://openalex.org/W2053094807","https://openalex.org/W2053392269","https://openalex.org/W2089914953","https://openalex.org/W2090039116","https://openalex.org/W2100570449","https://openalex.org/W2168714844"],"related_works":["https://openalex.org/W4252281389","https://openalex.org/W2107037376","https://openalex.org/W2109998394","https://openalex.org/W2058288504","https://openalex.org/W2161147766","https://openalex.org/W1488612364","https://openalex.org/W2516690985","https://openalex.org/W2133491672","https://openalex.org/W1996276855","https://openalex.org/W2032491581"],"abstract_inverted_index":{"The":[0,171,270,318],"Boolean":[1],"Hierarchy":[2],"I:":[3],"Structural":[4],"Properties":[5],"[J.":[6],"Cai":[7],"et":[8],"al.,":[9],"SIAM":[10],"J.":[11],"Comput":[12],".,":[13],"17":[14],"(1988),":[15],"pp.":[16,72,202,233],"1232\u2013252]":[17],"explores":[18],"the":[19,22,25,37,67,102,116,137,165,168,184,187,191,228,263,292,311,315,342,346,349],"structure":[20,347],"of":[21,27,69,101,115,130,167,186,193,230,320,348],"boolean":[23,32,38,103,117,138,169,188,293,316,350],"hierarchy,":[24],"closure":[26],"NP":[28,132,238,258,286,304,333],"with":[29,43,355],"respect":[30],"to":[31,45,267],"operations.":[33],"This":[34],"paper":[35,92,322],"uses":[36],"hierarchy":[39,118,139,265,294,313,351],"as":[40,161],"a":[41,99,240,247,281,288,338],"tool":[42],"which":[44,285],"extend":[46],"and":[47,59,80,195,198,206,221,326,328,334,352],"explain":[48],"three":[49],"important":[50],"results":[51,319,331],"in":[52,175,215,284,337],"structural":[53],"complexity":[54],"theory.":[55],"(1)":[56],"Hartmanis,":[57],"Immerman,":[58],"Sewelson":[60],"[":[61],"Proc.":[62],"15th":[63],"Annual":[64,225],"Symposium":[65,226],"on":[66,227,345],"Theory":[68,229],"Computation,":[70,231],"1983,":[71],"382\u2013391]":[73],"showed":[74,235],"that":[75,96,125,147,174,210,236,273,300,310],"${\\text{E}}":[76,106,141],"=":[77,107,142,144],"{\\text{NE}}$":[78,145],"if":[79,82,237,244,257],"only":[81],"${\\text{NP}}":[83,252],"-":[84,149],"{\\text{P}}$":[85,150],"contains":[86],"no":[87,152,298],"sparse":[88,109,131,241,248,289,307],"sets.":[89,154],"In":[90],"this":[91,97,274,321],"it":[93,122,207],"is":[94,123,204,208,246,280,295,344],"shown":[95,124],"reflects":[98],"behavior":[100],"hierarchy.":[104,170,189,317],"When":[105],"{\\text{NE}}$,":[108],"sets":[110,127],"fall":[111],"from":[112,136],"alternate":[113],"levels":[114,166,185],"(Fig.":[119],"2(a)).":[120],"Furthermore,":[121],"capturable":[126,153],"(i.e.,":[128,243],"subsets":[129],"sets)":[133],"are":[134,158,180,213],"banished":[135],"when":[140],"{\\text{NE}}:{\\text{E}}":[143],"implies":[146,309],"${\\text{BH}}":[148],"has":[151,239,259,287,305],"(2)":[155],"Counting":[156],"classes":[157,179,212],"natural":[159],"candidates":[160],"complete":[162,182],"languages":[163],"for":[164,183],"authors":[172,271],"show":[173],"relativized":[176,217,282],"worlds":[177],"counting":[178,211],"not":[181],"Relatedly,":[190],"work":[192],"Blass":[194],"Gurevich":[196],"[Inform,":[197],"Control,":[199],"55":[200],"(1982),":[201],"80\u201388]":[203],"extended":[205],"concluded":[209],"weak":[214],"some":[216],"worlds.":[218],"(3)":[219],"Karp":[220],"Lipton":[222],"[Proc.":[223],"12th":[224],"1980,":[232],"302\u2013309]":[234],"oracle":[242,308],"there":[245],"set":[249],"S":[250],"so":[251],"\\subseteq":[253],"{\\text{P}}^S":[254],"$;":[255],"equivalently,":[256],"small":[260],"circuits),":[261],"then":[262],"polynomial":[264,312],"collapses":[266],"${\\text{NP}}^{{\\text{NP}}}":[268],"$.":[269],"demonstrate":[272],"cannot":[275],"be":[276],"much":[277],"improved.":[278],"There":[279],"world":[283],"oracle,":[290],"yet":[291],"infinite.":[296],"Thus":[297],"proof":[299],"relativizes":[301],"can":[302],"show:":[303],".a":[306],"equals":[314],"present":[323],"new":[324],"ideas":[325],"techniques,":[327],"put":[329],"previous":[330],"about":[332],"${\\text{D}}^{\\text{P}}":[335],"$":[336],"richer":[339],"perspective.":[340],"Throughout,":[341],"emphasis":[343],"its":[353],"relations":[354],"more":[356],"common":[357],"classes.":[358]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}