电路复杂性

✍ dations ◷ 2025-06-29 10:56:33 #计算复杂性理论

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

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

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

相关

  • 大幻影《大幻影》(法语:La Grande Illusion)是一部1937年的法国战争电影,由让·雷诺阿导演,剧本由他和查尔斯·斯巴克(英语:Charles Spaak)共同创作。本片讲述了一战期间几位法国俘虏的越
  • 叶黄素类叶黄素类 (Xanthophylls,最初也作phylloxanthins) 是一类黄色色素,构成了类胡萝卜素的两大类别之一。分子结构类似于胡萝卜素(也是组成类胡萝卜素的两大类别之一),但叶黄素类的分子
  • 弗林特弗林特郡(英语:Flintshire)是英国威尔士东北部的一个郡,面积共438平方公里,首府为莫尔德,北面为爱尔兰海,南面与雷克瑟姆接壤,西面为登比郡,东面为英格兰柴郡。人口为152,500人。该郡
  • 太鲁阁太鲁阁国家公园是台湾第四座成立的国家公园,前身为日治时期成立之次高太鲁阁国立公园(1937~1945)。第二次世界大战后为国家级风景区,1986年11月12日公告计划,1986年11月28日成立管
  • AR-10自动步枪AR-10(Armalite Rifle Model 10,“阿玛莱特10型步枪”)是一种由美国人尤金·斯通纳设计,弹匣供弹、气动式、气冷自动步枪,发射7.62×51毫米(.308寸)北约标凖弹药。AR-10采用直接导
  • 第62空运联队美国空军第62空运联队(英语:62nd Airlift Wing, 62 AW)是美国空军机动司令部美国第十八航空队下属的航空联队,驻扎美国华盛顿州的刘易斯-麦克德联合基地(英语:Joint Base Lewis–M
  • 气态巨行星气态巨行星(gas giant、类木行星)是主要由氢和氦组成的巨行星。太阳系的木星和土星是气态巨行星。“气态巨行星”起初原本是“巨行星”的代名词(同义词),但是1990年代学界意识到
  • 俞娜俞娜(朝鲜语:유나 ,英语:Yu Na,1985年4月18日-),韩国女歌手,2001年加入韩国女子组合神飞乐团。退团后,考取律师资格并经4年实习,而于2014年正式升任为律师,为韩国首位女团出身的律师。
  • LET ME LUV U DOWN feat.ZEEBRA & MACCHO (OZROSAURUS) 2003年7月9日 Rhythm zone “LET ME LUV U DOWN feat.ZEEBRA & MACCHO (OZROSAURUS)”(爱到瘫痪)为日本音乐团体EXILE(放浪兄弟)的第9张单曲。2003年7月9日于日本发行。
  • 天主教伊拉甘教区天主教伊拉甘教区 (拉丁语:Dioecesis Ilaganensis、他加禄语:Diyosesis ng Ilagan)是菲律宾一个罗马天主教教区,属天主教土格加劳总教区。辖区包括伊莎贝拉省。2006年有教友1,06