{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,7]]，“日期-时间”：“2024-05-07T06:01:32Z”，“时间戳”：1715061692228}，“参考-计数”：39，“出版商”：“通信科学指导中心（CCSD）”，“许可证”：[{“开始”：}“日期-零件”：[[2006,3,7]]，“date-time”：“2006-03-07T00:00:00Z“，“timestamp”：1141689600000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/arxiv.org\/licenses\/assumed-1991-2003”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”abstract“：”我们提出了一种针对P（多项式时间内可解的问题）的各种子类引入有限公理化“极小”两分类理论的一般方法。这两种是自然数和自然数的有限集合。后者本质上是有限的二进制字符串，它为在小型复杂类中定义函数和集合提供了一个自然域。我们主要研究复杂类TC^0，其问题由具有多数门的有界深度布尔电路的一致多项式族定义。我们提出了一个优雅的理论VTC^0，其中可证明的总函数是与TC^0相关的函数，然后证明了VTC^ 0与Johannsen和Pollet引入的一个不同外观的单排序理论“同构”。同构证明最具技术性的部分是用位计数函数定义二进制数乘法，并说明如何形式化其代数性质的证明<\/jats:p>“，”DOI“：”10.2168\/lmcs-2（1:3）2006“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,11,23]]，”date-time“：”2006-11-23T09:26:20Z“，”timestamp“：1164273980000}，”source“：“Crossref”，“is-referenced-by-count”：6，“title”：[“TC0和其他小型复杂类的理论”]，“前缀”：“10.46298”，“卷”：“第2卷，第1期“，”作者“：[{”给定“：”Phuong“，”family“：”Nguyen“，”sequence“：”first“，”affiliation“：[]}，”{“given”：“Stephen”，“family”：“Cook”，“sequence”：“additional”，“affiliation:”[]}]，“member”：“25203”，“published-online”：{“date-parts”：[[2006,3,7]]}；“reference”：[{“key”：参考“，”首页“：”155“，”doi“：”10.1016\/S0168-0072（99）00041-X“，”volume“：”103“，”author“：”Toshiyasu Arai“，”year“：”2000“，”journal-title“：”Annals of Pure and Applied Logic“}，{“key”：“10.2168”\/LMCS-2（1:3）2006_Barrington:Immerman:Straubing:90“，”doi-asserted-by“：”crossref“，“first page”：”274“，”doi“：”10.1016\/0022-0000（90）90022-D“，尼尔·伊梅尔曼（Neil Immerman），巴林顿（Barrington），“，”年份“：”1990年“，”journal-title“：”journal of Computer and System Sciences“}，{“key”：“10.2168\/LMCS-2（1:3）2006_Bonet:Pitassi:Raz:00”，“doi-asserted-by”：“publisher”，“doi”：“10.1137\/S0097539798353230”}，“key“：”10.2168\/LMCS-2（1:3/LMCS-2（1:3）2006_Buss:87:stoc“，”doi-asserted-by“：”crossref“，”unstructured“：”Samuel Buss“。布尔公式值问题在ALOGTIME中。第19届美国计算机学会计算机理论研讨会论文集，第123-1311987页。I“：”10.1016\/S0049-237X（98）80017-7“}，{“key”：“10.2168\/LMCS-2（1:3）2006_Buss:03:提交：hex”，“非结构化”：“Samuel Buss.多项式大小频率和st-连接性和hex Tautologies的分辨率证明.，2003”}，}，“key“：”10.2168\/LMCS-2（1:3 68\/LMCS-2（1:3）2006_Cook:Kolokolova:04“，”doi-asserted-by“：”crossref“，”unstructured“：”Stephen Cook和Antonina Koloko洛娃。NL.InLogic在计算机科学中的二阶理论（LICS），2004.“，”DOI“：”10.1109\/LICS.2004.1319634“}，{”key“：”10.2168\/LMCS-2（1:3）2006_Cook:Morioka:04“，”DOI-asserted-by“：”crossref“，”unstructured“：”斯蒂芬·库克和森冈。量化命题演算和NC1的二阶理论。数学逻辑档案，第1-37页，2005年。（出现）。“，”DOI“：”10.1007\/s00153-005-0282-2“}，{”key“：”10.2168\/LMCS-2（1:3）2006_Cook:02:notes“，”unstructured“：”Stephen Cook.Proof Complexity and Bounded Arithmetic.Course notes for CSC 2429S.“}”，{“key”：“10.2168\/LMCS-2（1:3斯蒂芬·库克。可行性构造证明与命题演算。1975年第七届美国计算机学会计算理论年会论文集。“，“DOI”：“10.1145”，{“key”：“10.2168”，LMCS-2（1:3）2006_Cook:05:quaderni”，“unstructured”：“斯蒂芬·库克。复杂性类理论及其命题翻译。编辑Jan Kraj\u00ed\u010dek，《计算和证明的复杂性》，第175-227页。Quaderni di Matematica，2005.“}，{”key“：”10.2168“/LMCS-2（1:3）2006_Chandra:Stockmeyer:Vishkin:84“，”doi-asserted-by“：”publisher“，”doi“：”10.1137“/0213028”}，“key”：“10.2168彼得·克洛特和盖西·塔库蒂。一阶有界算法和小布尔电路复杂度类。在P.Clote和J.B.Remmel，编辑，《可行性数学II》中。Birkh{\u00e4user，1995.“，”DOI“：”10.1007\/978-1-4612-2566-9_6“}，”key“：”10.2168\/LMCS-2（1:3）2006_Cook:Thapen:04“，”DOI-asserted-by“：”crossref“，”unstructured“：”Stephen Cook和Neil Thapen.弱算术替换的力量.InProc.第19届IEEE计算机科学逻辑研讨会，2004年。（出现在ACM计算逻辑事务中）。“，”DOI“：”10.1109\\LICS.2004.1319620“｝，｛”key“：”10.2168\\LMCS-2（1:3）2006_Hesse:01:icalp“，”DOI asserted by“：”crossref“，”unstructured“：”William Hesse。Division is in Uniform\\mathbf｛TC0｝。第八届自动机、语言和程序设计国际学术讨论会（ICALP 2001），2001年。”，“DOI”：“10.1007\/3-540-48224-5_9”｝，｛“key”：“10.2168\/LMCS-2（1:3）2006_Immerman:99:book”，“DOI断言者”：“crossref”，“非结构化”：“Neil Immerman。描述性复杂性。Springer，1999年。”，“DOI”：“10.1007\/978-1-4612-0539-5”｝，｛“key”：“10.2168\/LMCS-2（1:3）2006_Krajicek:90:apal“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0168-0072（90）90023-U“}，{“key”：“10.2168\/LMCS-2（1:3）2006_Kramicek:Pudlak:90”，“doi-assert-by”：“crossref”，“首页”：“29”，“doi”：“10.1002\/malq.19900360106”，“卷”：“36”，“作者”：“Jan Kraj\u00ed\u010ded k和Pavel Pudl\u00e1k“，“年份”：“1990年”，“新闻标题”：“Zeitschrift f。Mathematickal Logik u.Grundlagen d.Mathematik“}，{“key”：“10.2168”\/LMCS-2（1:3）2006_Krajicek:95:feasibleII”，“doi-asserted-by”：“crossref”，“unstructured”：“Jan Kraj\u00ed\u010dek.关于Frege和扩展Frege证明系统。在P.Clote和J.B.Remmel编辑的《可行性数学II》中。Birkh\u00e4user，1995年。”，“doi”：“10.1007 \/978-1-4612-2566-9_10”}，}“key“：”10.2168 \/LMCS-2（1:3）2006_Johannsen:96:godel“，”doi-asserted-by“：”crossref“，“unstructured”：“Jan Johannsen。恒定深度阈值电路的有界算法理论。编辑者Petr H\u00e1jek，G\u00d6DEL`96。Springer逻辑课堂笔记6，1996。“，”DOI“：”10.1007\/978-3662-21963-8_16“}，{”key“：”10.2168\/LMCS-2（1:3）2006_Johannsen:98:beam-buss“，”DOI-asserted-by“：”crossref“，”unstructured“：”简·约翰森。等式计算和恒深命题证明。保罗·比姆（Paul Beame）和塞缪尔·巴斯（Samuel Buss）主编，《证明复杂性和可行性算法》（Proof Complexity and Feasible Arithmetics）第39卷。AMS DIMACS Series，1998.“，”DOI“：”10.1090\/DIMACS\/039\/09“}，{”key“：”10.2168\/LMCS-2（1:3）2006_Johannsen:Pollett:98“，”DOI-asserted-by“：”crossref“，”unstructured“：”Jan Johannsen and Chris Pollett.On Proofs about Threshold Circuits and Counting Hierarchies“InProc.13th IEEE Symposium On Logic in Computer Science，pages 444-4521998.“，“DOI”：“10.1109\/LICS.1998.705678“}，{“key”：“10.2168\/LMCS-2（1:3）2006_Johannsen:Pollett:00”，“unstructured”：“Jan Johannsen and Chris Pollett.On the \u03941b-Bit-Comprehension Rule.In Sam Buss，Petr H\u00e1jek and Pavel Pudl\u00e1k，编辑，Logic Colloqueium 98，2000。”}，}，“key“：”10.2168\/LMCS-2（1:3安东尼娜·科洛科洛娃。描述复杂性的有界算法系统。多伦多大学博士论文，2004年森冈筑桥。搜索问题复杂性的逻辑方法：证明复杂性、量化命题演算和有界算术。多伦多大学博士论文，2005年。“}，{”key“：”10.2168“/LMCS-2（1:3）2006_Nguyen:Cook:04“，”doi-asserted-by“：”crossref“，”unstructured“：”Phuong Nguyen和Stephen Cook。VTC0:TC0的二阶理论。InProc.公司。第19届IEEE计算机科学逻辑研讨会，2004年。“，”DOI“：”10.1109\/LICS.2004.1319632“}，{”key“：”10.2168\/LMCS-2（1:3）2006_Nguyen:04:论文“，”DOI-asserted-by“：”crossref“，”unstructured“：”Phuong Nguyen.VTC0:TC0的二阶理论。多伦多大学硕士论文，2004年。“，”DOI“：”10.1109\/LICS.2004.1319632“}，{”key“：”10.2168\/LMCS-2（1:3）2006_Parikh:71“，”DOI-asserted-by“：”publisher“，”DOI“：“10.2307\/2269958”}，“key”：“10.2168\/LMCS-2（1:3。多伦多大学硕士论文，2005年。/LMCS-2（1:3）2006_Paris:Wilkie:85“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BFb0075316“}，{”key“：”10.2168\/LMCS-2（1:3）2006_Razborov:93:Clote-Krajicek“，”doi-asserte-by“：”crossref“，“unstructured”：“Alexander A。拉兹博罗夫。二阶有界区域有界算法和一阶有界算法之间的等价性。Peter Clote和Jan Kraj\u00ed\u010dek，《算术、证明理论和计算复杂性》编辑，第247-277页。牛津，1993年。“，“DOI”：“10.1093\/oso\/9780198536901.003.0012”}，{“key”：“10.2168\/LMCS-2（1:3）2006_Takeuti:93:Clote-Krajicek”，“DOI-asserted-by”：“crossref”，“unstructured”：“Gaisi-Takeuti.RSUV同构。编者：Peter Clote和Jan Kraj\u00ed\u010dek，《算术、证明理论和计算复杂性》，第364-386页。牛津，1993.“，”DOI“：”10.1093\/oso\/9780198536901.003.0016“}，{”key“：”10.2168\/LMCS-2（1:3）2006_赞贝尔：96:jsl“，”DOI-asserted-by“：”publisher“，”DOI“：“10.2307\/2275794”}，“key”：“10.2168\/LMCS-2（1:3 S0168-0072（97）00026-2“}]，“container-title”：[“计算机科学中的逻辑方法”]，“original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/lmcs.episciences.org\/2257\/pdf“，”content-type“：”application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\//lmcs.episcienciences.org\2257\/ppdf”，“content-type”：“unspecified”，“内容-version“：”vor“，”intended-application“：”“相似性检查”}]，“存放“：{“date-parts”：[[2024,2,8]]，“date-time”：“2024-02-08T12:40:56Z”，“timestamp”：1707396056000}，“score”：1，“resource”：{（主要）：{”URL“：”https:\/\/lmcs.episciences.org\/2257“}}，”副标题：[]，“shorttitle”：[]、“issued”：{“date-parts”：[[2006,3,7]]}、“references-count”：39，“URL”：“http:”\/\/dx.doi.org\/10.2168\/lmcs-2（1:3）2006“，”关系“：{“is-same-as“：[{”id-type“：”arxiv“，”id“：”cs\/0505013“，”asserted-by“：”subject“}，{”id““type”：“doi”，“id”：“10.48550 \/arxiv.cs\/0055013”，“asserted-by”：“subjects”}]}，“ISSN”：[“1860-5974”]，“ISSN-type”发布了“：{“date-parts”：[[2006,3,7]]}}