{“id”：“https://openalex.org/W2087012565“，”doi“：”https://doi.org/10.2178/jsl/1203350791“，”title“：”可证明性的后果NP公司\u2286型P（P）/聚“，”display_name“：”可证明性的后果NP公司\u2286型P（P）/聚“，”“publication_year”：2007，“publication_date”：“2007-12-01”，“ids”：{“openalex”：“https://openalex.org/W2087012565“，”doi“：”https://doi.org/10.2178/jsl/1203350791“，”mag“：”2087012565“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1203350791“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”符号逻辑杂志“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：false，”“oa_status”：“closed”，“oa_url”：空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A50345555443“，”display_name“：”Stephen A.Cook“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I185261750“，”display_name“：”多伦多大学“，”ror“：”https://ror.org/03dbr7087“，”country_code“：”CA“，”type“：”教育“，”血统“：[”https://openalex.org/I185261750“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Stephen Cook“，”raw _affiliation_strings“：[“多伦多大学”]，”affiliations“：[{”raw_affiliation_string“：”多伦多大学“，”institution_ids“：]”https://openalex.org/I185261750“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5069803587“，”display_name“：”Jan Kraj\u0131\u0301\u010dek“，”orcid“：”https://orcid.org/0000-0003-0670-3957}，“机构”：[{“id”：https://openalex.org/I4210120676“，”display_name“：”数学学院“，”ror“：”https://ror.org/02fhy7464“，”“country_code”“：”SK“，”type“：”facility“，”lineage“：[”https://openalex.org/I207624831","https://openalex.org/I4210120676“]}]，”国家“：[”SK“]，”is_corresponding“：false，”raw_author_name“：”Jan Kraj\u00ed\u010dek“，”raw _ afiliation_strings“：[“数学研究所”]，”affiliations“：[{”raw _affiliation_string“：”数学研究所“，”institution_ids“：[https://openalex.org/I4210120676“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”fwci“：4.139，”has_fulltext“：false，”cited_by_count nt“：false}，”cited_by_percentle_year“：｛“min”：95，“max”：96｝，“biblio”：｛“volume”：“72”，“issue”：“4”，“first_page”：“1353”，“last_page”：“1371”｝，“is_retracted”：false，“is_paratext”：false，“primary_topic”：｛“id”：“https://openalex.org/T10720“，”display_name“：”组合优化与复杂性理论“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”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“：”组合优化与复杂性理论“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10374“，”display_name“：”图论与算法“，”score“：0.9982，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10237“，”display_name“：”高级加密方案和协议“，”score“：0.9982，”subfield“：｛”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/多项式层次结构“，”display_name“：”多项式层次结构“，”score“：0.6423926}，{”id“：”https://openalex.org/keywords/parameterized-complexity网站“，”display_name“：”参数化复杂性“，”score“：0.493847}]，”concepts“：[{”id“：”https://openalex.org/C31170391，“wikidata”：https://www.wikidata.org/wiki/Q188619“，”display_name“：”Hierarchy“，”level“：2，”score“：0.82299757}，{”id“：”https://openalex.org/C2776013622，“wikidata”：https://www.wikidata.org/wiki/Q2103021“，”display_name“：”多项式层次结构“，”level“：3，”score“：0.6423926｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.61049855}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.5626893}，{”id“：”https://openalex.org/C311688，“wikidata”：https://www.wikidata.org/wiki/Q2393193“，”display_name“：”时间复杂性“，”level“：2，”score“：0.52333397}，{”id“：”https://openalex.org/C186861659，“wikidata”：https://www.wikidata.org/wiki/Q746242“，”display_name“：”P vs.NP问题“，”level“：3，”score“：0.5175785}，{”id“：”https://openalex.org/C9019067，“wikidata”：https://www.wikidata.org/wiki/Q43260“，”display_name“：”多项式“，”level“：2，”score“：0.48989147}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.47126055}，{”id“：”https://openalex.org/C179799912，“wikidata”：https://www.wikidata.org/wiki/Q205084“，”display_name“：”计算复杂性理论“，”level“：2，”score“：0.4457543}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.120092005}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750网址，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C34447519，“wikidata”：https://www.wikidata.org/wiki/Q179522“，”display_name“：”市场经济“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1203350791“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”符号逻辑杂志“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：〔〕，“versions”：[〕，“referenced_works_count”：14，“referenced_works“：[”https://openalex.org/W1512209815","https://openalex.org/W1970089350","https://openalex.org/W1983604941","https://openalex.org/W1985834822","https://openalex.org/W2063158069","https://openalex.org/W2071204190","https://openalex.org/W2089546742","https://openalex.org/W2091961944","https://openalex.org/W2112512535","https://openalex.org/W2128026324","https://openalex.org/W2160804094","https://openalex.org/W560364776网址","https://openalex.org/W572171498","https://openalex.org/W9698083“]，”related_works“：[”https://openalex.org/W4388962799","https://openalex.org/W4294789866","https://openalex.org/W2982557863","https://openalex.org/W2791421781","https://openalex.org/W266537895","https://openalex.org/W2294255905","https://openalex.org/W2041517264","https://openalex.org/W1969386550","https://openalex.org/W1589381382","https://openalex.org/W1522180487“]，”abstract_inverted_index“：｛”abstract“：[0]，”We“：[1]，”证明“：[2]，”the“：[3,33,38,63,82]，”following“：[4]，”results:“：[5]，”（i）“：[6]，”PV“：[7,14,24,30]，”证明“：[8,15,25,31,47,56,61,75,80]，”NP“：[9,18,26,43,57,76,88]，”\u2286“：[10,17,17,27,44,49,58,77]，“P”：[11,68,87]，“/poly”：[12]，“iff”：[13，46]，“coNP”：[16，48]，“/”：[19]，“O”：[20]，“（1）.”：[21]，“（ii）”：[22]，“如果“：[23,55,74]，”P/poly“：[28,45,59,78]，”then“：[29,60,79]，”that“：[32,62,81]，”Polynomial“：[34,64,83]，”Hierarchy“：[35,65,84]，”collapses“：[36,66,85]，”to“：[37,67,86]，”Boolean“：[39]，”Hierarchy，“：[40]，”（iii）“：[41]，”NP/O“：50]，”71]，“）。“：[53]，”（iv）“：[54]，”[log“：[70]，”]。“：[72]，”（v）“：[73]，”。“：[89]，“动机”：[90]，“通过”：[91]，“这些”：[92]，“结果”：[93]，“我们”：[94107]，“介绍”：[95]，“a”：[96]，“新”：[97]，“概念”：[98]，“in”：[99]，“证明”：[100102]，“复杂性：”：[101]，“系统”：[103]，“with”：[104]，“建议，”：[105]，“和”：[106]，“制造”：[108]，“一些“：[109]，”初始“：[110]，”观察“：[111]，”关于“：[112]，”它们。“：[113]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2087012565“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年度”：2022，”“cited_by_cunt”：1}年份“：2013，”cited_by_count“：3}，{“年份”：2012，”cited_by_count”：5}]，“updated_date”：“2024-08-15T08:48:06.998157“，”创建日期“：”2016-06-24“}