{"id":"https://openalex.org/W2099856971","doi":"https://doi.org/10.4086/toc.2014.v010a012","title":null,"display_name":null,"publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2099856971","doi":"https://doi.org/10.4086/toc.2014.v010a012","mag":"2099856971"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2014.v010a012","pdf_url":null,"source":{"id":"https://openalex.org/S142665794","display_name":"Theory of Computing","issn_l":"1557-2862","issn":["1557-2862"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315690","host_organization_name":"University of Chicago","host_organization_lineage":["https://openalex.org/P4310315690"],"host_organization_lineage_names":["University of Chicago"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":"https://doi.org/10.4086/toc.2014.v010a012","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078734824","display_name":"Eric Allender","orcid":"https://orcid.org/0000-0002-0650-028X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eric Allender","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003095336","display_name":"Shiteng Chen","orcid":"https://orcid.org/0000-0002-0658-628X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shiteng Chen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041348628","display_name":"Tiancheng Lou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tiancheng Lou","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089121499","display_name":"Periklis A. Papakonstantinou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Periklis A. Papakonstantinou","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5049161422","display_name":"Bangsheng Tang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bangsheng Tang","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.28,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.865272,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":91},"biblio":{"volume":"10","issue":"1","first_page":"297","last_page":"339"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9999,"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.9999,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9999,"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/T11567","display_name":"semigroups and automata theory","score":0.9971,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.49499005},{"id":"https://openalex.org/keywords/exponent","display_name":"Exponent","score":0.48569116},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.45010656}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7263155},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7138882},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6400147},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.58672637},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.5679139},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.49766472},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4952809},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.49499005},{"id":"https://openalex.org/C2780388253","wikidata":"https://www.wikidata.org/wiki/Q5421508","display_name":"Exponent","level":2,"score":0.48569116},{"id":"https://openalex.org/C63553672","wikidata":"https://www.wikidata.org/wiki/Q581168","display_name":"Binary logarithm","level":2,"score":0.4763408},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.47133422},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.45010656},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44898206},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.25916886},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18182436},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.10059655},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2014.v010a012","pdf_url":null,"source":{"id":"https://openalex.org/S142665794","display_name":"Theory of Computing","issn_l":"1557-2862","issn":["1557-2862"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315690","host_organization_name":"University of Chicago","host_organization_lineage":["https://openalex.org/P4310315690"],"host_organization_lineage_names":["University of Chicago"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2014.v010a012","pdf_url":null,"source":{"id":"https://openalex.org/S142665794","display_name":"Theory of Computing","issn_l":"1557-2862","issn":["1557-2862"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315690","host_organization_name":"University of Chicago","host_organization_lineage":["https://openalex.org/P4310315690"],"host_organization_lineage_names":["University of Chicago"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":45,"referenced_works":["https://openalex.org/W10105891","https://openalex.org/W132669265","https://openalex.org/W143512583","https://openalex.org/W1483894850","https://openalex.org/W1509716515","https://openalex.org/W1527197079","https://openalex.org/W1558213091","https://openalex.org/W1560611630","https://openalex.org/W1593916827","https://openalex.org/W1965022641","https://openalex.org/W1981679584","https://openalex.org/W1988083342","https://openalex.org/W1995725694","https://openalex.org/W2004485491","https://openalex.org/W2015963099","https://openalex.org/W2017205387","https://openalex.org/W2027562075","https://openalex.org/W2029448190","https://openalex.org/W2033405938","https://openalex.org/W2033718868","https://openalex.org/W2035470579","https://openalex.org/W2045583484","https://openalex.org/W2049136377","https://openalex.org/W2051700974","https://openalex.org/W2057385022","https://openalex.org/W2058258808","https://openalex.org/W2059671029","https://openalex.org/W2062427087","https://openalex.org/W2071260871","https://openalex.org/W2074834475","https://openalex.org/W2079275582","https://openalex.org/W2082757215","https://openalex.org/W2087083200","https://openalex.org/W2090518395","https://openalex.org/W2111829945","https://openalex.org/W2126442135","https://openalex.org/W2134514766","https://openalex.org/W2143693959","https://openalex.org/W2150004999","https://openalex.org/W2168704151","https://openalex.org/W2984546510","https://openalex.org/W2986773320","https://openalex.org/W3103993477","https://openalex.org/W3158535383","https://openalex.org/W41330591"],"related_works":["https://openalex.org/W78560857","https://openalex.org/W4389362338","https://openalex.org/W4377371889","https://openalex.org/W2565109825","https://openalex.org/W2521054645","https://openalex.org/W2113623403","https://openalex.org/W2055932080","https://openalex.org/W1968954131","https://openalex.org/W1968512104","https://openalex.org/W1862126075"],"abstract_inverted_index":{"$":[0,5],"\\newcommand{\\tw}{\\mathcal{TW}}":[1],"\\newcommand{\\eps}{\\varepsilon}":[2],"\\newcommand{\\etal}{et":[3],"al.\\xspace}":[4],"Alekhnovich":[6,46,147],"and":[7,22,27,47,64,105,121,137,148,195,231,250,325,371,373],"Razborov":[8,48,149],"(2002)":[9],"presented":[10],"an":[11,153,317,349],"algorithm":[12,79,100,120,131,350],"that":[13,97,132,164,260,300,376],"solves":[14],"SAT":[15,211,264],"on":[16,204],"instances":[17,265],"$\\phi$":[18],"of":[19,45,56,90,110,146,212,221,226,274,279,297,323,364],"size":[20,232],"$n$":[21],"tree-width":[23,60,92,213],"$\\tw(\\phi)$,":[24],"using":[25,383],"time":[26,65,114,324,370],"space":[28,63,78,136,291],"bounded":[29,91],"by":[30,73,224],"$2^{O(\\tw(\\phi))}n^{O(1)}$.":[31],"Although":[32,312],"several":[33],"follow-up":[34],"works":[35],"appeared":[36],"over":[37],"the":[38,41,122,144,159,190,205,219,272,276,298,321,337,362,380],"last":[39],"decade,":[40],"first":[42],"open":[43],"question":[44,273],"remained":[49],"essentially":[50,69],"unresolved:":[51],"Can":[52],"one":[53,182],"check":[54],"satisfiability":[55],"formulas":[57],"with":[58,80,266,342],"small":[59],"in":[61,134,158,171,239,246,252,310,320,336,351],"polynomial":[62,77,135],"as":[66],"above?":[67],"We":[68,359],"resolve":[70],"this":[71,165,240,384],"question,":[72],"(1)":[74],"giving":[75],"a":[76,81,87,108,129,184,289,295,329],"slightly":[82],"worse":[83],"run-time,":[84],"(2)":[85],"providing":[86],"complexity-theoretic":[88],"characterization":[89],"SAT,":[93],"which":[94,142,188,333],"strongly":[95],"suggests":[96],"no":[98],"polynomial-space":[99],"can":[101,242,283],"run":[102],"significantly":[103],"faster,":[104],"(3)":[106],"presenting":[107],"spectrum":[109],"algorithms":[111],"trading":[112,368],"off":[113,369],"for":[115,218,316,339,367],"space,":[116,326,372],"between":[117],"our":[118,178,202,261,365,377],"PSPACE":[119],"fastest":[123],"known":[124],"algorithm.":[125],"First,":[126],"we":[127,162,200,258,313,327,347,374],"give":[128,348],"simple":[130],"runs":[133],"achieves":[138],"run-time":[139,145],"$3^{\\tw(\\phi)\\log":[140],"n}n^{O(1)}$,":[141],"approaches":[143],"(2002),":[150],"but":[151],"has":[152],"additional":[154],"$\\log":[155,167],"n$":[156,168,215],"factor":[157,169],"exponent.":[160],"Then,":[161,257],"conjecture":[163,179,194,262,299],"annoying":[166],"is":[170,189,216,269,294,307],"general":[172],"unavoidable.":[173],"Our":[174],"negative":[175],"results":[176],"show":[177,259,375],"true":[180],"if":[181],"believes":[183],"well-known":[185],"complexity":[186],"assumption,":[187],"SC":[191],"$\\neq$":[192],"NC":[193],"its":[196,304],"scaled":[197],"variants.":[198],"Technically,":[199],"base":[201],"result":[203],"following":[206],"lemma.":[207],"For":[208],"arbitrary":[209],"$k$,":[210],"$\\log^k":[214],"complete":[217],"class":[220,241],"problems":[222],"computed":[223],"circuits":[225],"logarithmic":[227],"depth,":[228],"semi-unbounded":[229,280],"fan-in":[230],"$2^{O(\\log^k":[233,255],"n)}$":[234],"(SAC$^1$":[235],"when":[236],"$k=1$).":[237],"Problems":[238],"be":[243,284],"solved":[244],"simultaneously":[245],"time-space":[247,352],"$(2^{O(\\log^{k+1}n)},":[248],"O(\\log^{k+1}n))$,":[249],"also":[251],"($2^{O(\\log^k":[253],"n)}$,":[254],"n)}$).":[256],"(for":[263],"poly-log":[267],"tree-width)":[268],"equivalent":[270],"to":[271],"whether":[275],"small-space":[277],"simulation":[278],"circuit":[281],"classes":[282],"sped":[285],"up":[286],"without":[287],"incurring":[288],"large":[290],"penalty.":[292],"This":[293],"recasting":[296],"SAC$^1$":[301],"(and":[302],"even":[303],"subclass":[305],"NL)":[306],"not":[308],"contained":[309],"SC.":[311],"cannot":[314],"hope":[315],"improvement":[318],"asymptotically":[319],"exponent":[322],"introduce":[328],"new":[330],"algorithmic":[331],"technique":[332,366],"trades":[334],"constants":[335],"exponents:":[338],"each":[340],"$\\varepsilon$":[341],"$0":[343],"<":[344],"\\varepsilon":[345],"<1$,":[346],"\\[":[353],"\\big(":[354],"3^{1.441(1-\\varepsilon)\\tw(\\phi)\\log{|\\phi|}}|\\phi|^{O(1)},\\;":[355],"2^{2\\varepsilon\\tw(\\phi)}|\\phi|^{O(1)}":[356],"\\big)\\,.":[357],"\\]":[358],"systematically":[360],"study":[361],"limitations":[363],"bounds":[378],"are":[379],"best":[381],"achievable":[382],"technique.":[385]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2099856971","counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2024-12-14T21:07:43.469203","created_date":"2016-06-24"}