电路复杂性

✍ dations ◷ 2025-11-20 18:26:00 #计算复杂性理论

电路复杂性理论在1990年代以前，被众多研究者认为是解决NP与P关系问题的可能的途径之一。电路复杂性研究的对象是非一致性的计算模型电路，并考虑计算一个布尔函数所需的最小的电路的深度（depth）和大小（size）等资源。其中，大小为多项式大小的电路族可以计算的布尔函数被记为P/poly。可以证明，P包含在P/poly之中，而卡普-利普顿定理（Karp-Lipton theorem）表明若P/poly在NP之中，则多项式层级（polynomial hierarchy）将会坍缩至第二层，这是一个不大可能的结果。这两个结果结合起来表明，P/poly可以当作是分离NP与P的一个中间的工具，具体的途径就是证明任一个NP完全问题的电路大小的下界。在直观上说，电路复杂性也绕过了NP与P问题的第一个困难：相对化证明困难（relativizing proofs）。

在1980年代，电路复杂性途径取得了一系列的成功，其中包括奇偶性函数（Parity function）在 $AC^{0}$ $AC^{0}$ 中的下界为指数，以及团问题（clique problem）在单调性电路（monotone circuit）中的下界为指数。然而在1994年Razborov和Rudich的著名论文自然性证明（Natural proof）中指出，上面所用证明电路下界的方法，在单向函数存在的前提下是不可能分离NP和P的。该结果使很多专家对证明电路下界来分离NP和P的前景表示不乐观。

分支程序是电路复杂性的一个研究方向。

算术电路某种程度上可以看作布尔电路的代数版本。与布尔电路计算一个布尔函数不同，它计算的是一个在一个特定域上的多项式。

相关

同音汉字书写规则陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧
近畿大学近畿大学（日语：近畿大学、英语：Kindai University）位于日本大阪府东大阪市的一所私立大学，创建于1934年，简称“近大”或“近畿大”。近畿大学的英文校名原本为“Kinki University
东京理科大学东京理科大学（日语：東京理科大学／とうきょうりかだいがく Tōkyō Rika daigaku；英语译名：Tokyo University of Science），是一所校本部位于日本东京都新宿区神乐坂的私立大学。简
日韩关系韩日关系或日韩关系是指大韩民国与日本的双边关系。1951年10月，韩日双方在美国的积极调解下，开始了邦交正常化的预备性会谈。但由于双方对日占领时期历史问题分歧过大，韩日双方
迪昂皮埃尔·迪昂（法语：Pierre Duhem，1861年6月9日－1916年9月14日），法国物理学家、科学史家与科学哲学家。迪昂主要以其在化学热力学领域的工作、对实验非充分决定性的科学哲学探讨以
阳含熙阳含熙（1918年4月29日－2010年8月29日），江西南昌人，中国生态学家、林学家。1939年毕业于金陵大学获森林学学士。1949年获澳大利亚墨尔本大学植物学院科学硕士学位。1950年获英国牛
勉方言勉方言是勉语的一种，属于苗瑶语系瑶语支。说勉方言的人自称“勉”或“优勉”等，共有100万人，其中中国55万，越南35万，其余分布在老挝、泰国、美国等地。中国一般以广西金秀瑶族自
欢乐谷深圳欢乐谷是中国广东省深圳市南山区华侨城的一个大型主题游乐园，于1998年开始营业。第三期在2005年5月1日开放。内有矿山车、雪山飞龙、太空梭等刺激的机动游戏。欢乐谷是首
辽东都司辽东都指挥使司，简称辽东都司，明朝在辽东地区设立的军政机构。前期在建制上属于山东承宣布政使司，又称山东行都司。明朝洪武四年（1371年），明太祖在辽东设置定辽都卫，六年（1373年）六月
远程桌面软件远程桌面软件可让使用者透过网络连线的方式，在外地控制自己的电脑。远程控制软件能以Telnet、Mstsc（英语：Remote_Desktop_Services#Remote_Desktop_Connection）或其他远程控制软