{"id":"https://openalex.org/W1992972561","doi":"https://doi.org/10.1137/0213030","title":"Quantitative Relativizations of Complexity Classes","display_name":"Quantitative Relativizations of Complexity Classes","publication_year":1984,"publication_date":"1984-08-01","ids":{"openalex":"https://openalex.org/W1992972561","doi":"https://doi.org/10.1137/0213030","mag":"1992972561"},"language":"en","primary_location":{"id":"doi:10.1137/0213030","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0213030","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/A5103477007","display_name":"Ronald V. Book","orcid":null},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ronald V. Book","raw_affiliation_strings":["University of California at Santa Barbara, Santa Barbara#TAB#"],"affiliations":[{"raw_affiliation_string":"University of California at Santa Barbara, Santa Barbara#TAB#","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104050112","display_name":"Timothy J. Long","orcid":"https://orcid.org/0000-0003-0259-2057"},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Timothy J. Long","raw_affiliation_strings":["New Mexico State Univ.Las Cruces"],"affiliations":[{"raw_affiliation_string":"New Mexico State Univ.Las Cruces","institution_ids":["https://openalex.org/I10052268"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051370311","display_name":"Alan L. Selman","orcid":null},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alan L. Selman","raw_affiliation_strings":["Iowa State University Ames,"],"affiliations":[{"raw_affiliation_string":"Iowa State University Ames,","institution_ids":["https://openalex.org/I173911158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5103477007"],"corresponding_institution_ids":["https://openalex.org/I154570441"],"apc_list":null,"apc_paid":null,"fwci":11.08,"has_fulltext":false,"cited_by_count":144,"citation_normalized_percentile":{"value":0.99154249,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"13","issue":"3","first_page":"461","last_page":"487"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998000264167786,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998000264167786,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9994000196456909,"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.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"}}],"keywords":[{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.7098577618598938},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.6687179803848267},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6467306613922119},{"id":"https://openalex.org/keywords/np","display_name":"NP","score":0.6277257204055786},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.5702588558197021},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5557267665863037},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.5443546175956726},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.45731446146965027},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4275883436203003},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.41927197575569153},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.39062249660491943},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.382135808467865},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3464791178703308},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.33390146493911743},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.24205231666564941},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.16533911228179932}],"concepts":[{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.7098577618598938},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.6687179803848267},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6467306613922119},{"id":"https://openalex.org/C91331118","wikidata":"https://www.wikidata.org/wiki/Q628036","display_name":"NP","level":4,"score":0.6277257204055786},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.5702588558197021},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5557267665863037},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.5443546175956726},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45731446146965027},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4275883436203003},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.41927197575569153},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.39062249660491943},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.382135808467865},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3464791178703308},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.33390146493911743},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.24205231666564941},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.16533911228179932},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0213030","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0213030","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1516388913","https://openalex.org/W1569394207","https://openalex.org/W1973386461","https://openalex.org/W1980326341","https://openalex.org/W1982129592","https://openalex.org/W1986203294","https://openalex.org/W1993138363","https://openalex.org/W1996184580","https://openalex.org/W2007710676","https://openalex.org/W2015413218","https://openalex.org/W2020246472","https://openalex.org/W2020831804","https://openalex.org/W2023336906","https://openalex.org/W2033718868","https://openalex.org/W2041317738","https://openalex.org/W2055421995","https://openalex.org/W2059997023","https://openalex.org/W2065251436","https://openalex.org/W2069348040","https://openalex.org/W2073623289","https://openalex.org/W2077694941","https://openalex.org/W2078123020","https://openalex.org/W2082778556","https://openalex.org/W2089914953","https://openalex.org/W3127113455","https://openalex.org/W4256265162"],"related_works":["https://openalex.org/W2085484366","https://openalex.org/W1486286946","https://openalex.org/W2122747219","https://openalex.org/W2146459129","https://openalex.org/W2950065312","https://openalex.org/W4302414675","https://openalex.org/W2051933114","https://openalex.org/W1993180032","https://openalex.org/W278676640","https://openalex.org/W4286770094"],"abstract_inverted_index":{"Consider":[0],"the":[1,48,77,81,89,113,116,119,125,141,144,160],"following":[2,90],"open":[3],"problems:":[4],"(i)":[5],"${\\text{P}}":[6,18,92],"=":[7,13,19,25,65,93,105],"?":[8,14,20,26],"{\\text{":[9,15,21,27],"NP}}$":[10],"(ii)":[11],"${\\text{NP}}":[12,24],"co-NP}}$;":[16],"(iii)":[17],"PSPACE}}$;":[22],"(iv)":[23],"PSPACE}}$.":[28],"In":[29],"this":[30],"paper":[31],"we":[32],"study":[33,72,147],"these":[34],"four":[35],"problems":[36],"from":[37],"a":[38,130,138],"particular":[39],"point":[40],"of":[41,118,121,129,143,151,157],"view.":[42],"To":[43],"illustrate":[44],"our":[45],"approach,":[46],"consider":[47],"first":[49],"problem.":[50],"It":[51],"is":[52,135],"known":[53],"that":[54,63,88,115],"there":[55],"exist":[56],"recursive":[57],"sets":[58],"A":[59],"and":[60,67,79,96],"B":[61],"such":[62,87,153],"${\\text{P}}(A)":[64],"{\\text{NP}}(A)$":[66],"${\\text{P}}(B)":[68],"\\ne":[69],"{\\text{NP}}(B)$.":[70],"We":[71,146],"restrictions":[73,109],"R":[74],"on":[75,132],"both":[76],"deterministic":[78],"also":[80],"nondeterministic":[82],"polynomial":[83,139],"time-bounded":[84],"oracle":[85,126],"machines":[86],"holds:":[91],"{\\text{NP}}$":[94],"if":[95,98],"only":[97],"for":[99],"every":[100],"set":[101,120],"A,":[102],"${\\text{P}}_R":[103],"(A)":[104],"{\\text{NP}}_R":[106],"(A)$.":[107],"The":[108],"are":[110],"\u201cquantitative\u201d":[111],"in":[112,127,140],"sense":[114],"size":[117],"strings":[122],"queried":[123],"by":[124,137],"computations":[128],"machine":[131],"an":[133],"input":[134],"bounded":[136],"length":[142],"input.":[145],"several":[148],"different":[149],"ways":[150],"specifying":[152],"quantitative":[154],"restrictions,":[155],"each":[156],"which":[158],"has":[159],"desired":[161],"property.":[162]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}