电路复杂性

✍ dations ◷ 2025-06-08 14:39: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的前景表示不乐观。

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

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

相关

  • 盗汗汗液,或汗,是由人等高等动物透过汗腺所分泌出的液体。汗的分泌受到植物性神经系统调节。汗液的主要成分是水,约占总成分的98%到99%,其余物质为氯化钠,极少量的尿素、氨和其他盐类
  • 集体智能集体智能(英语:collective intelligence),也称集体智能、群智等称,此术语中intelligence即为智力、智能。(注意,有几个英文单词都有“群”的含义,当前大陆科技论文中,一般“群体智能
  • 生物聚合物生物聚合物(英语:Biopolymer,又称为生物聚合体、生物多聚体或生物高分子)是由活的生物体产生的聚合物。因为他们是聚合物,生物聚合物包含有单体单元,相互之间以共价键相连以形成更
  • 大爆炸年表宇宙年代学,或宇宙年表依据大爆炸之宇宙论描述宇宙的历史和未来,目前的宇宙如何由普朗克时期随着时间演化的科学模式,使用宇宙的共动坐标系时间参数。宇宙膨胀的模型即是所知的
  • 氧化钪氧化钪(化学式:Sc2O3),是钪最常见的氧化物。它是不溶于水的白色粉末,易溶于热酸,但经高温灼烧的氧化钪较难溶解。氧化钪可借由直接燃烧钪而得:含挥发基的钪化合物经氧化灼烧也可以
  • 日本外务省外务省(日语:外務省/がいむしょう、英语: Ministry of Foreign Affairs、缩写:MOFA)为日本对外关系事务的最高主管机关,也是日本自1885年(明治十八年)实施内阁制以来,唯一没有变动的
  • 003型航空母舰2016年(第1艘)003型航空母舰是中国人民解放军海军正在建造的第二型国产航空母舰。有别于前一型号的航母,该型号航空母舰预计采用弹射起飞作为舰载机的起飞动力来源。上海江南造
  • 松下直树松下直树(1978年6月6日-),前日本足球运动员。
  • 1913年远东运动会1913年远东运动会是1913年2月2日至2月7日在菲律宾首府马尼拉举办的第一届远东运动会。总成绩菲律宾第一,中国第二,日本第三。部分项目比赛成绩如下:本届比赛设有排球比赛,只有中
  • 蝶豆蝶豆(学名:),又叫做蓝豆,是豆科蝶豆属的植物。由于蝶豆的花外观类似人类女性外生殖器,因此它的拉丁语属名被命名为“Clitoria”(蝶豆属),词源为“阴蒂”(Clitoris)。蝶豆原产于亚洲热带