{"id":"https://openalex.org/W2062767125","doi":"https://doi.org/10.1137/0210008","title":"Relative to a Random Oracle<i>A</i>, ${\\bf P}^A \\ne {\\bf NP}^A \\ne \\text{co-}{\\bf NP}^A $ with Probability 1","display_name":"Relative to a Random Oracle<i>A</i>, ${\\bf P}^A \\ne {\\bf NP}^A \\ne \\text{co-}{\\bf NP}^A $ with Probability 1","publication_year":1981,"publication_date":"1981-02-01","ids":{"openalex":"https://openalex.org/W2062767125","doi":"https://doi.org/10.1137/0210008","mag":"2062767125"},"language":"en","primary_location":{"id":"doi:10.1137/0210008","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0210008","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/A5053166798","display_name":"Charles H. Bennett","orcid":"https://orcid.org/0000-0002-0414-3733"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Charles H. Bennett","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5029972716","display_name":"John Gill","orcid":"https://orcid.org/0000-0001-6200-0872"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Gill","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5053166798"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":17.2909,"has_fulltext":false,"cited_by_count":379,"citation_normalized_percentile":{"value":0.99600266,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"10","issue":"1","first_page":"96","last_page":"113"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9973999857902527,"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/T11567","display_name":"semigroups and automata theory","score":0.9973999857902527,"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.9969000220298767,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9886000156402588,"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.8091100454330444},{"id":"https://openalex.org/keywords/permutation","display_name":"Permutation (music)","score":0.6051536798477173},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5994922518730164},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.529442548751831},{"id":"https://openalex.org/keywords/random-oracle","display_name":"Random oracle","score":0.4668610394001007},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.42890042066574097},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.4253700375556946},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.12403708696365356},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.12046295404434204}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.8091100454330444},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.6051536798477173},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5994922518730164},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.529442548751831},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.4668610394001007},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.42890042066574097},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.4253700375556946},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.12403708696365356},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.12046295404434204},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"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/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0210008","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0210008","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":18,"referenced_works":["https://openalex.org/W193706516","https://openalex.org/W1535429997","https://openalex.org/W1986019457","https://openalex.org/W1986203294","https://openalex.org/W1993138363","https://openalex.org/W1993749807","https://openalex.org/W2013455832","https://openalex.org/W2015413218","https://openalex.org/W2020311636","https://openalex.org/W2020831804","https://openalex.org/W2052936500","https://openalex.org/W2059442002","https://openalex.org/W2069919161","https://openalex.org/W2090186532","https://openalex.org/W2156186849","https://openalex.org/W2322480514","https://openalex.org/W2905135108","https://openalex.org/W4234891673"],"related_works":["https://openalex.org/W3110702597","https://openalex.org/W2073713056","https://openalex.org/W2125620709","https://openalex.org/W2110441383","https://openalex.org/W2045932760","https://openalex.org/W2326878701","https://openalex.org/W4293864700","https://openalex.org/W2184228419","https://openalex.org/W67445448","https://openalex.org/W4285128331"],"abstract_inverted_index":{"Let":[0],"A":[1],"be":[2,143,219],"a":[3,9,103,109,155,163,198,222,249],"language":[4,244],"chosen":[5],"randomly":[6],"by":[7,82,208],"tossing":[8],"fair":[10],"coin":[11],"for":[12,197],"each":[13,26],"string":[14],"x":[15,19],"to":[16,21,101,125,154,195,213,218,248],"determine":[17],"whether":[18],"belongs":[20],"A.":[22],"With":[23],"probability":[24,60,65,88,99,177,240],"1,":[25,100,178],"of":[27,79,121,162,179,203,225,242],"the":[28,49,67,74,173,256],"relativized":[29,247],"classes":[30,245],"${\\textbf{LOGSPACE}}^A":[31],"$,":[32,35,38,41,160,189],"${\\bf":[33,36,39,52,69,76,93,104,116,122,128,134,139,180,184],"P}^A":[34,70,105,117,123,135],"NP}^A":[37,53,57,94,129,140],"PP}^A":[40],"and":[42,127,170],"${\\textbf{PSPACE}}^A":[43],"$":[44,58,71,78,95,141,182],"is":[45,96,131,229],"properly":[46],"contained":[47],"in":[48,115,138,171,183,255],"next.":[50],"Also,":[51],"\\ne":[54],"{\\text{co-}}":[55],"{\\bf":[56],"with":[59,64,73,86,98,152,176,239],"1.":[61],"By":[62],"contrast,":[63],"1":[66,241],"class":[68,75],"coincides":[72],"BPP}^A":[77],"languages":[80,215],"recognized":[81],"probabilistic":[83],"oracle":[84,165,226,251],"machines":[85],"error":[87],"uniformly":[89,246],"bounded":[90],"below":[91],"$\\tfrac{1}{2}$.":[92],"shown,":[97],"contain":[102],"$-immune":[106,136],"set,":[107],"i.e.,":[108],"set":[110],"having":[111],"no":[112],"infinite":[113],"subset":[114],"$.":[118],"The":[119],"relationship":[120],"$-immunity":[124],"p-sparseness":[126],"$-completeness":[130],"briefly":[132],"discussed:":[133],"sets":[137],"can":[142],"sparse":[144],"or":[145],"moderately":[146],"dense,":[147],"but":[148],"not":[149,217],"co-sparse.":[150],"Relativization":[151],"respect":[153],"random":[156,164,200,250],"length-preserving":[157],"permutation":[158],"$\\pi":[159],"instead":[161],"A,":[166],"yields":[167],"analogous":[168],"results":[169,205],"addition":[172],"proper":[174],"containment,":[175],"P}^\\pi":[181],"NP}^\\pi":[185,188],"\\cap":[186],"{\\text{co-}}{\\bf":[187],"which":[190],"we":[191],"have":[192],"been":[193],"unable":[194],"decide":[196],"simple":[199],"oracle.":[201],"Most":[202],"these":[204],"are":[206,237,252],"shown":[207],"straightforward":[209],"counting":[210],"arguments,":[211],"applied":[212],"oracle-dependent":[214],"designed":[216],"recognizable":[220],"without":[221],"large":[223],"number":[224],"calls.":[227],"It":[228],"conjectured":[230],"that":[231,236],"all":[232],"$p^A":[233],"$-invariant":[234],"statements":[235],"true":[238,254],"subrecursive":[243],"also":[253],"unrelativized":[257],"case.":[258]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"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"}