{“id”:“https://openalex.org/W2951424111“,”doi“:”https://doi.org/10.2168/lmcs-2(1:3)2006”,“title”:“TC0和其他小复杂性类的理论”,“display_name”:“TC0和其他小型复杂性类的原理”,“publication_year”:2006,“publiation_date”:“2006-03-07”,“ids”:{“openalex”:“https://openalex.org/W2951424111“,”doi“:”https://doi.org/10.2168/lmcs-2(1:3)2006“,”mag“:”2951424111“},”language“:”en“,”primary_location“:{”is_oa“:true,”landing_page_url“:”https://doi.org/10.2168/lmcs-2(1:3)2006“,”pdf_url“:”https://lmcs.episciences.org/2257/pdf,“源”:{“id”:https://openalex.org/S114379355“,”“display_name”:“计算机科学中的逻辑方法”,“issn_l”:“1860-5974”,“isn”:[“1860-5.974”],“is_oa”:true,“is_ in_doaj”:true,“is_core”:真,“host_organization”:“https://openalex.org/P4310313916“,”“host_organization_name”:“计算机科学中的逻辑方法e.V.”,“host_ordanization_lineage”:[“https://openalex.org/P4310313916“],”host_organization_lineage_names“:[”计算机科学中的逻辑方法e.V.“],“type”:“journal”},“license”:“cc-by”,“licence_id”:“https://openalex.org/licenses/cc-by“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},”type“:”article“,”type_crossref“:“journal-article”,”indexed_in“:[”arxiv“,”crossref“,”datacite“,”doaj“],”open_access“:{”is_oa“:true,”oa_status“:”diamond“,”oa_url“:”https://lmcs.episciences.org/2257/pdf“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5101813013“,”display_name“:”Phuong Nguyen“,”orcid“:”https://orcid.org/0009-0007-3033-8626},“机构”:[{“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“:”Phuong Nguyen“,”raw _affiliation_strings“:[“多伦多大学,加拿大安大略省多伦多市国王学院路10号,M5S 3G4”],”affiliations“:[{”raw _affiliation_string“:”多伦多大学https://openalex.org/I185261750“]}]},{”author_position“:”last“,”author“:{”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“:true,”raw_author_name“:”Stephen Cook“,”raw _affiliation_strings“:[“多伦多大学,加拿大安大略省多伦多市国王学院路10号,M5S 3G4”],”affiliations“:[{”raw _affiliation_string“:”多伦多大学https://openalex.org/I185261750“]}]}],”institution_assertions“:[],”countries_distiction_count“:1,”institutions_disticent_count”:1,“corresponding_author_ids”:[“https://openalex.org/A50345555443“],”对应的机构ID“:[”https://openalex.org/I185261750“],”apc_list“:{“value”:0,”currency“:”USD“,”value_USD“:0,“provenance”:“doaj”},“apc_payed”:null,“fwci”:1.797,“has_fulltext”:true,“fulltext_origin”:“pdf”,“cited_by_count”:13,“citation_normalized_percentile”:{”value“:0.714533,“is_in_top_1_percent”:false,“is_in_top_10_percennt”:false},”cited_by_percent ile_year“:{“最小”:84,“最大”:85},“书目”:{”卷“:”第2卷,第1期“,”问题“:null,”first_page“:nul,”last_page“:null},”is_retracted“:false,”is_paratext“:false,”primary_topic“:{”id“:”https://openalex.org/T10720“,”display_name“:”组合优化与复杂性理论“,”score“:0.9996,”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/T10720“,”display_name“:”组合优化与复杂性理论“,”score“:0.9996,”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/T11567“,”display_name“:”自动机理论和形式语言“,”score“:0.9985,”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/T10142“,”display_name“:”软件验证和控制中的正式方法“,”score“:0.9978,”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/keywords/natural-number网站“,”display_name“:”自然数“,”score“:0.6052015},{”id“:”https://openalex.org/keywords/complexity-theory网站“,”display_name“:”复杂性理论“,”score“:0.492217},{”id“:”https://openalex.org/keywords/isomorphism网站“,”display_name“:”同构(晶体学)“,”score“:0.48582424}],”concepts“:[{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395网址“,”display_name“:”数学“,”等级“:0,”分数“:0.63207877},{”id“:”https://openalex.org/C39637292,“wikidata”:https://www.wikidata.org/wiki/Q908207“,”display_name“:”复杂性类“,”level“:3,”score“:0.61892325},{”id“:”https://openalex.org/C184264201,“wikidata”:https://www.wikidata.org/wiki/Q21199“,”display_name“:”自然数“,”level“:2,”score“:0.6052015},{”id“:”https://openalex.org/C108710211,“wikidata”:https://www.wikidata.org/wiki/Q11538(网址:https://www.wikidata.org/wiki/Q11538)“,”display_name“:”数学证明“,”level“:2,”score“:0.59911895},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.5927076},{”id“:”https://openalex.org/C34388435,“wikidata”:https://www.wikidata.org/wiki/Q2267362网址“,”display_name“:”有界函数“,”level“:2,”score“:0.51740897},{”id“:”https://openalex.org/C90119067,“wikidata”:https://www.wikidata.org/wiki/Q43260“,”display_name“:”多项式“,”level“:2,”score“:0.51274765},{”id“:”https://openalex.org/C203436722,“wikidata”:https://www.wikidata.org/wiki/Q902950“,”display_name“:”同构(晶体学)“,”level“:3,”score“:0.48584244},{”id“:”https://openalex.org/C187455244,“wikidata”:https://www.wikidata.org/wiki/Q942353“,”display_name“:”布尔函数“,”level“:2,”score“:0.46419963},{”id“:”https://openalex.org/C14036430网址,“wikidata”:https://www.wikidata.org/wiki/Q3736076网址“,”display_name“:”功能(生物学)“,”级别“:2,”分数“:0.44669932},{”id“:”https://openalex.org/C2777212361,“wikidata”:https://www.wikidata.org/wiki/Q5127848“,”display_name“:”类(哲学)“,”级别“:2,”分数“:0.42910203},{”id“:”https://openalex.org/C48372109,“wikidata”:https://www.wikidata.org/wiki/Q3913“,”display_name“:”二进制数“,”level“:2,”score“:0.42632604},{”id“:”https://openalex.org/C2780595030,“wikidata”:https://www.wikidata.org/wiki/Q3860309“,”display_name“:”乘法(音乐)“,”level“:2,”score“:0.42355165},{”id“:”https://openalex.org/C9376300,“wikidata”:https://www.wikidata.org/wiki/Q168817“,”display_name“:”代数数“,”level“:2,”score“:0.41570777},{”id“:”https://openalex.org/C311688,“wikidata”:https://www.wikidata.org/wiki/Q2393193“,”display_name“:”时间复杂性“,”level“:2,”score“:0.38051322},{”id“:”https://openalex.org/C114614502,“wikidata”:https://www.wikidata.org/wiki/Q76592“,”display_name“:”组合数学“,”level“:1,”score“:0.336748},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.2773946},{”id“:”https://openalex.org/C94375191,“wikidata”:https://www.wikidata.org/wiki/Q11205“,”display_name“:”算术“,”level“:1,”score“:0.24774066},{”id“:”https://openalex.org/C134306372,“wikidata”:https://www.wikidata.org/wiki/Q7754“,”display_name“:”数学分析“,”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/C2524010,“wikidata”:https://www.wikidata.org/wiki/Q8087“,”display_name“:”Geometry“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C78458016,“wikidata”:https://www.wikidata.org/wiki/Q840400“,”display_name“:”进化生物学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C115624301,“wikidata”:https://www.wikidata.org/wiki/Q895901“,”display_name“:”Crystal structure“,”level“:2,”score“:0.0},{”id“:”https://openalex.org/C86803240,“wikidata”:https://www.wikidata.org/wiki/Q420“,”display_name“:”生物学“,”等级“:0,”分数“:0.0},{”id“:”https://openalex.org/C8010536,“wikidata”:https://www.wikidata.org/wiki/Q160398“,”display_name“:”Crystallography“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:6,”location“:[{”is_oa“:true,”landing_page_url“:”https://doi.org/10.2168/lmcs-2(1:3)2006“,”pdf_url“:”https://lmcs.episciences.org/2257/pdf,“源”:{“id”:https://openalex.org/S114379355“,”“display_name”:“计算机科学中的逻辑方法”,“issn_l”:“1860-5974”,“isn”:[“1860-5.974”],“is_oa”:true,“is_ in_doaj”:true,“is_core”:真,“host_organization”:“https://openalex.org/P4310313916“,”“host_organization_name”:“计算机科学中的逻辑方法e.V.”,“host_ordanization_lineage”:[“https://openalex.org/P4310313916“],”host_organization_lineage_names“:[”计算机科学中的逻辑方法e.V.“],“type”:“journal”},“license”:“cc-by”,“licence_id”:“https://openalex.org/licenses/cc-by“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},{”is_oa“:false,”landing_page_url“:”https://doaj.org/article/a8e635177b074c6ab8f8f462fa00c789“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S4306401280“,”display_name“:”DOAJ(DOAJ:开放存取期刊目录)“,”issn_l“:null,”issn“:null:”is_oa“:true,”is_in_DOAJ“:false,”is_core“:false,”host_organization“:null,”host_organization_name“:null,“host_orgganization_lineage”:[],“host_orgganization _lineage_names”:[[],”type“:”repository“}”,“license”:nullis_accepted“:false,”is_published“:false},{“is_oa”:true,”landing_page_url“:”http://arxiv.org/abs/cs/0505013,“pdf_url”:http://arxiv.org/pdf/cs/0505013,“源”:{“id”:https://openalex.org/S4306400194“,”display_name“:”arXiv(康奈尔大学)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is.in_doaj“:false,”is_core“:fase,”host_organization“:”https://openalex.org/I205783295“,”“host_organization_name”:“康奈尔大学”,“host_organization_lineage”:[“https://openalex.org/I205783295“],”host_organization_lineage_names“:[”Cornell University“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://arxiv.org/abs/cs/0505013,“pdf_url”:https://arxiv.org/pdf/cs/0505013,“源”:{“id”:https://openalex.org/S4306400194“,”display_name“:”arXiv(康奈尔大学)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is.in_doaj“:false,”is_core“:fase,”host_organization“:”https://openalex.org/I205783295“,”“host_organization_name”:“康奈尔大学”,“host_organization_lineage”:[“https://openalex.org/I205783295“],”host_organization_lineage_names“:[”Cornell University“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:nul,“pdf_url“:”https://arxiv.org/pdf/cs/0505013v3.pdf,“源”:{“id”:https://openalex.org/S4306400194“,”display_name“:”arXiv(康奈尔大学)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is.in_doaj“:false,”is_core“:fase,”host_organization“:”https://openalex.org/I205783295“,”“host_organization_name”:“康奈尔大学”,“host_organization_lineage”:[“https://openalex.org/I205783295“],”host_organization_lineage_names“:[”Cornell University“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:false,“landing_page_url”:“https://api.datacite.org/dois/10.48550/arxiv.cs/0505013“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S4393179698“,”display_name“:”DataCite API“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I4210145204“,”“host_organization_name”:“DataCite”,“host_organization_lineage”:[“https://openalex.org/I4210145204“],”host_organization_lineage_names“:[”DataCite“],“type”:“metadata”},“license”:null,“licence_id”:null,“version”:null}],“best_oa_location”:{“is_oa”:true,“landing_page_url”:“https://doi.org/10.2168/lmcs-2(1:3)2006“,”pdf_url“:”https://lmcs.episciences.org/2257/pdf,“源”:{“id”:https://openalex.org/S114379355“,”“display_name”:“计算机科学中的逻辑方法”,“issn_l”:“1860-5974”,“isn”:[“1860-5.974”],“is_oa”:true,“is_ in_doaj”:true,“is_core”:真,“host_organization”:“https://openalex.org/P4310313916“,”“host_organization_name”:“计算机科学中的逻辑方法e.V.”,“host_ordanization_lineage”:[“https://openalex.org/P4310313916“],”host_organization_lineage_names“:[”计算机科学中的逻辑方法e.V.“],“type”:“journal”},“license”:“cc-by”,“licence_id”:“https://openalex.org/licenses/cc-by“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},”sustainable_development_goals“:[],”grants“:[],”datasets“:],”versions“:[”https://openalex.org/W2951424111","https://openalex.org/W3103321781“],”referenced_works_count“:38,”referrenced_works“:[”https://openalex.org/W1553743817","https://openalex.org/W1569639046","https://openalex.org/W1572440476","https://openalex.org/W1572451808","https://openalex.org/W1593059705","https://openalex.org/W169256259","https://openalex.org/W1906705979","https://openalex.org/W1985854796","https://openalex.org/W1986804393","https://openalex.org/W1994775833","https://openalex.org/W1997908783","https://openalex.org/W1999069928","https://openalex.org/W2036651904","https://openalex.org/W2038247515","https://openalex.org/W2040404640","https://openalex.org/W2045583484","https://openalex.org/W2055138800","https://openalex.org/W2086897006","https://openalex.org/W2091961944","https://openalex.org/W2112512535","https://openalex.org/W2114817374","https://openalex.org/W2128026324","https://openalex.org/W2161149481","https://openalex.org/W2163707777","https://openalex.org/W2164017389","https://openalex.org/W2171601561","https://openalex.org/W2460611553","https://openalex.org/W2506657322","https://openalex.org/W2576893385","https://openalex.org/W2908250557","https://openalex.org/W2950837701","https://openalex.org/W4236835455","https://openalex.org/W4249399534","https://openalex.org/W4299608433","https://openalex.org/W4388289506","https://openalex.org/W4388289526","https://openalex.org/W49401050","https://openalex.org/W9698083“],”related_works“:[”https://openalex.org/W56570565","https://openalex.org/W4205300683","https://openalex.org/W3202715197","https://openalex.org/W3093936885","https://openalex.org/W2994146737网址","https://openalex.org/W2992046671","https://openalex.org/W295308437","https://openalex.org/W2385098731","https://openalex.org/W2106539092","https://openalex.org/W1976395191“],”abstract_inverted_index“:{”We“:[0,57,79],”present“:[1,80],”a“:[2,44103127],”general“:[3],”method“:[4],”for“:[5,12,47],”introducing“:[6],”finitely“:[7],”axiomatible“:[8],”minimal“:[9],”two-sorted“:[10],”theorys“:[11],”variable“:[13],”subscribles“:[14],“of”:[15,31,72116137],“P”:[16],“(问题”:[17],“可解决”:[18],“in”:[19,53,85125],“多项式“:[20],”时间)。“:[21],”The“:[22,34112],”two“:[23],”sorts“:[24],”are“:[25,36,66,90],”natural“:[26,32,45],”numbers“:[27],”and“:[28,51,95110130],”finited“:[29,39],”set“:[30,52],”numbers“。“:[33],”后者“:[35],”本质上“:[37],”二进制“:[38,49,60,87117135],”字符串“:[41],”其中“:[42,86],”提供“:[43],”域“:[46],”定义“:[48121],”函数“:[50,89],”小“:[54],”复杂性“:[55,61],”类。“:[56],”集中“:[58],”on“:[59],”class“:[62],”TC^0“:[63,94],”which“:[64],”problems“:[65],”defined“:[67],”by“:[68108],”uniform“:[69],”polynominal size“:[70],”families“:[71],”bounded-depth“:[73],”Boolean“:[74],”circuits“:[75],”with“:76,93],”大多数“:[77],“盖茨。“:[78],”an“:[81],”优雅“:[82],”理论“:[83106],”VTC^0“:[84,99],”可证明总数“:[88],”那些“:[91],”关联“:[92],”然后“:[96],”证明“:[97],”that“:[98],”is“:[100120],”\“同构”“:[101],”to“:[102133],”different-looking“:[104],”single-sorted“:[105],”introduced“:[107],“约翰森”:[109],“波利特。“:[111],”most“:[113],”technical“:[114],”part“:[115],”isomorphrism“:[118],”proof“:[119],”number“:[123],”乘法“:[124],”terms“:[126],”bit-counting“:[128],”function“:[129],”showing“:[131],”how“:[132],”formalize“:[134],”roof“:%136],”its“:[138],”代数“:[139],”属性。“:[140]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2951424111“,”counts_by_year“:[{年:2023,”cited_by_count“:1},{年“:2020,”cited_by_count”:1},{“年”:2015,”citecd_by_count“:2},”{“年份”:2013,”citted_by_count“:1}],”updated_date“:”2024-09-19T12:08:38.699158“,”created_dated“:”2019-06-27“}”