{"id":"https://openalex.org/W4234300943","doi":"https://doi.org/10.1109/ccc.2004.1313820","title":"Separating complexity classes using structural properties","display_name":"Separating complexity classes using structural properties","publication_year":2004,"publication_date":"2004-11-13","ids":{"openalex":"https://openalex.org/W4234300943","doi":"https://doi.org/10.1109/ccc.2004.1313820"},"language":"en","primary_location":{"id":"doi:10.1109/ccc.2004.1313820","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccc.2004.1313820","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004.","raw_type":"proceedings-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/A5041536892","display_name":"H. Buhrman","orcid":null},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"H. Buhrman","raw_affiliation_strings":["Centrum voor Wiskunde en Informatica, Amsterdam, Netherlands"],"affiliations":[{"raw_affiliation_string":"Centrum voor Wiskunde en Informatica, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029757905","display_name":"L. Torenvliet","orcid":null},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"L. Torenvliet","raw_affiliation_strings":["ILLC, University of Amsterdam, Amsterdam, Netherlands"],"affiliations":[{"raw_affiliation_string":"ILLC, University of Amsterdam, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5041536892"],"corresponding_institution_ids":["https://openalex.org/I1341640284"],"apc_list":null,"apc_paid":null,"fwci":1.3486,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.82253761,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1180","issue":null,"first_page":"130","last_page":"138"},"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.9995999932289124,"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.9995999932289124,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9990000128746033,"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.9987000226974487,"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/combinatorics","display_name":"Combinatorics","score":0.6674292683601379},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.5932112336158752},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5914960503578186},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.5732067227363586},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.5711736083030701},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.5686272978782654},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5669434070587158},{"id":"https://openalex.org/keywords/polynomial-hierarchy","display_name":"Polynomial hierarchy","score":0.5646173357963562},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.5194486975669861},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.49250611662864685},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4771389663219452},{"id":"https://openalex.org/keywords/exptime","display_name":"EXPTIME","score":0.47398391366004944},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3275704085826874},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32597970962524414},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.27584582567214966},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.08143898844718933}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6674292683601379},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.5932112336158752},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5914960503578186},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5732067227363586},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.5711736083030701},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.5686272978782654},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5669434070587158},{"id":"https://openalex.org/C2776013622","wikidata":"https://www.wikidata.org/wiki/Q2103021","display_name":"Polynomial hierarchy","level":3,"score":0.5646173357963562},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.5194486975669861},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.49250611662864685},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4771389663219452},{"id":"https://openalex.org/C56049555","wikidata":"https://www.wikidata.org/wiki/Q1276570","display_name":"EXPTIME","level":4,"score":0.47398391366004944},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3275704085826874},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32597970962524414},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.27584582567214966},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.08143898844718933},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ccc.2004.1313820","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccc.2004.1313820","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1552748144","https://openalex.org/W1978196595","https://openalex.org/W1987205876","https://openalex.org/W1993138363","https://openalex.org/W2045033949","https://openalex.org/W2060490057","https://openalex.org/W2102844605","https://openalex.org/W2169625092","https://openalex.org/W6648908013"],"related_works":["https://openalex.org/W2085484366","https://openalex.org/W2146459129","https://openalex.org/W2950065312","https://openalex.org/W4302414675","https://openalex.org/W278676640","https://openalex.org/W1486286946","https://openalex.org/W2026191634","https://openalex.org/W1837741478","https://openalex.org/W2122747219","https://openalex.org/W2002385864"],"abstract_inverted_index":{"We":[0,40,165],"study":[1],"the":[2,91,95,168,174,178],"robustness":[3,43,169],"of":[4,94,177],"complete":[5,12,76,104,126],"sets":[6,65],"for":[7,18,59,101,129,154,171],"various":[8],"complexity":[9,49],"classes.":[10],"A":[11,14,26,58,70,106,115,128,141],"set":[13,21,57,105,110,127,134],"is":[15,29,73,118,144],"robust":[16],"if":[17],"any":[19,62,108],"f(n)-dense":[20],"S":[22,28,66,72,111,117,135,143],"/spl":[23,53,67,84,112,136],"isin/":[24,68,113,137],"P,":[25,69,114],"-":[27,71,116,142],"still":[30,74,119],"complete,":[31],"where":[32],"f(n)":[33],"ranges":[34],"from":[35,160],"log(n),":[36],"polynomial,":[37],"to":[38,47],"subexponential.":[39],"show":[41,99,166],"that":[42,100,140,150,167],"can":[44],"be":[45],"used":[46],"separate":[48,158],"classes:":[50],"For":[51,88],"every":[52,102],"les//sub":[54,85],"m//sup":[55,86],"p/-complete":[56],"EXP":[60,89,172],"and":[61,77,90,107,131,173],"subexponential":[63],"dense":[64],"Turing":[75,103,120,146],"under":[78],"a":[79,124,132],"reasonable":[80],"hardness":[81],"assumption":[82],"even":[83],"p/-complete.":[87],"delta":[92,175],"levels":[93,176],"exponential":[96,179],"hierarchy":[97,180],"we":[98],"log-dense":[109,133],"complete.":[121,147],"There":[122],"exists":[123],"3-truth-table":[125],"EEXPSPACE,":[130],"P":[138,159],"such":[139],"not":[145,182],"This":[148],"implies":[149],"settling":[151],"this":[152],"issue":[153],"EEXP":[155],"will":[156],"either":[157],"PSPACE":[161],"or":[162],"PUfrom":[163],"EXP.":[164],"results":[170],"do":[181],"relativize.":[183]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}