电路复杂性

✍ dations ◷ 2025-04-02 11:46:09 #计算复杂性理论

电路复杂性理论在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的前景表示不乐观。

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

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

相关

  • 卡卢肯贝卡卢肯贝是西非国家安哥拉的城市,由威拉省负责管辖,位于该国中部,处于首都罗安达以南约600公里,市内有天主教和基督教的教堂,2006年人口估计约246,229。
  • 古今图书集成《古今图书集成》原名《古今图书汇编》,是清康熙时期由福建侯官人陈梦雷所编辑的大型类书。此书共有一万卷,另目录四十卷,分历象、方舆、明论、博物、理学、经济等六“汇编”、
  • 面包店糕点店或面包糕饼店,零售糕点或面包的专门食品店,专门售卖面包或以售卖面包为主的称为面包店,专门售卖糕饼或以售卖糕饼为主的的称为饼店或糕点店。烘培坊是烘培师傅工作的地方
  • 第三次广治战役南越海军陆战师:3,658人阵亡 总共:7,756人阵亡美国等国正式介入之后美国撤出至南越灭亡第二次广治战役,(越南语:Trận Thành cổ Quảng Trị,英语:Second Battle of Quảng Trị
  • 谭家菜谭家菜,又称榜眼菜,为官府菜中的代表,融合了广东菜和北方菜自成菜系。其风味咸甜适中,南北皆宜,尤以烹调海味最为著名。相传是清末官僚,祖籍广东的谭宗浚到北京当翰林后所创立,最初
  • 普罗旺斯-阿尔卑斯-蓝色海岸大区普罗旺斯-阿尔卑斯-蓝色海岸(法语:Provence-Alpes-Côte d'Azur)是法国东南部的一个大区,南邻地中海。面积31,400平方公里,人口4,506,151人。下辖上普罗旺斯阿尔卑斯省(04)、上阿尔
  • 转向不足转向不足与转向过度是衡量车辆操控平衡的重要标准。转向不足表现为车辆需要更多的转向轮角度来保持所需行进线路。原因是前轮轮胎与地面接触面的偏滑角建立速度大于后轮轮胎
  • 平行四边形恒等式在数学中,平行四边形恒等式是描述平行四边形的几何特性的一个恒等式。它等价于三角形的中线定理。在一般的赋范内积空间(也就是定义了长度和角度的空间)中,也有类似的结果。这个
  • 虎甲Cicindelini Collyridini Ctenostometatini Manticorini Megacephalini OminiCicindelidae Latreille, 1802虎甲是昆虫纲鞘翅目步甲科虎甲亚科昆虫的统称。虎甲虫通常有鼓出
  • 茂山矿山站茂山矿山站(韩语:무산광산역)是朝鲜民主主义人民共和国咸镜北道茂山郡的一个铁路车站,属于茂山矿山线。茂山矿山线