电路复杂性

✍ dations ◷ 2025-04-26 17:11:41 #计算复杂性理论

电路复杂性理论在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)在 A C 0 {\displaystyle AC^{0}} 中的下界为指数,以及团问题(clique problem)在单调性电路(monotone circuit)中的下界为指数。然而在1994年Razborov和Rudich的著名论文自然性证明(Natural proof)中指出,上面所用证明电路下界的方法,在单向函数存在的前提下是不可能分离NP和P的。该结果使很多专家对证明电路下界来分离NP和P的前景表示不乐观。

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

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

相关

  • 太平御览《太平御览》初名《太平类编》、《太平编类》,后改名为《太平御览》。是北宋时期编写的一部类书,是保存了五代以前文献最多的一部类书。《太平御览》与《太平广记》、《 文苑
  • 对于犹太人大屠杀的否认庇隆主义 国家工团主义 民族社会主义 民族无政府主义 民族布尔什维克主义纳粹党 前沿交叉 官方全国战线 第三位置组织 新力量 国际第三位置法西斯象征 新法西斯主义 新纳粹
  • 餐刀餐刀(Table knife)是一种钝头的单面刀。是餐具的一种,用来切断已经料理好的食物餐点,包括肉类与蔬菜。
  • Dan Reynolds美国内华达州拉斯维加斯 身高1.93米丹尼尔·库尔特·雷诺兹(英语:Daniel Coulter Reynolds,1987年7月14日-),美国音乐家、作曲家、吉他手,现为来自美国内华达州拉斯维加斯的独立摇
  • 神风连之乱神风连之乱,又称敬神党之乱,是明治时期的士族叛乱。明治维新初期,日本的治安主要是萨摩、长州、土佐等地的武士组成的官军负责,但随倒幕运动发展,明治政府意识到不能只靠未经系统
  • 雷维利亚希赫多群岛雷维利亚希赫多群岛(Revillagigedo Islands),墨西哥在太平洋中的一座群岛,位于距下加利福尼亚半岛南端西南450公里的大洋中,属科利马州管辖。该群岛由4座岛屿组成,各岛均为火山
  • 约翰·贝拉米·福斯特长青州立大学, B.A., 1975约翰·贝拉米·福斯特(英语:John Bellamy Foster;1953年8月15日-)是俄勒冈大学的社会学教授,也是《每月评论》编辑。他的书写涉及资本主义政治经济学和经
  • 济南奥体中心济南奥林匹克体育中心位于中国山东省济南市东部,总占地面积81公顷,总建筑面积约35万平方米,包括一场三馆,是第十一届全运会主赛场。济南奥林匹克体育中心包括6万座席体育场、1万
  • 抓饭抓饭,也叫手抓饭,是西亚、中亚、南亚等地的传统食物,也是中亚族群的标志性食物。不同地方的手抓饭有不同的风味,除了用料不同外,佐料也是主要原因。常见的特征包括用汤来煮米饭(或
  • 马健贤马健贤(英语:Barry Ma Kin-yin,1967年10月8日-)祖籍广东台山市,组建团体调理农务兰花系,是YouTube网台常客。2015年5月曾以涉嫌袭警罪被逮捕。马健贤曾支持政治团体人民力量。后来