电路复杂性

✍ dations ◷ 2025-09-18 07:05:58 #计算复杂性理论

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

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

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

相关

  • 神庙希腊神庙(古希腊语:ὁ ναός,ho naós,“居所”;语义有别于拉丁文templum以及英文“temple”(“神庙、寺庙、庙宇”),也名为希腊神殿。在古希腊宗教中的希腊圣所内是为安座众神神
  • 兰州大学坐标:36°2′47.8483677402″N 103°51′29.032959938″E / 36.046624546594501°N 103.85806471109389°E / 36.046624546594501; 103.85806471109389兰州大学是中华人民共
  • 图拉真图拉真或译图雷真(Trajan, Marcus Ulpius Nerva Traianus,53年9月18日-117年8月9日),罗马帝国皇帝(98年-117年),罗马帝国五贤帝之一。图拉真在53年出生于西班牙贝提卡的意大利卡,是第
  • 武举武举是中国、朝鲜、越南科举考试制度中的武科,目的是选拔军事人才。源自中国,由武则天于公元702年开始推行,考试内容包括箭、弓、刀、石等。以后宋、明等朝都有武举,至清朝时改
  • 美洲野牛美洲野牛(学名:Bison bison),又名美洲水牛或犎牛,是偶蹄目牛科哺乳动物,也是北美洲体型最大的哺乳动物和世界上最大野牛之一。尽管体型庞大,仍可维持60公里的奔跑速度。主要群体由
  • 尼迈里加法尔·穆罕默德·尼迈里(阿拉伯语:جعفر محمد النميري‎;1930年1月1日-2009年5月30日),苏丹政治人物,曾于1971年-1985年任苏丹总统。尼迈里1952年毕业于苏丹军事学
  • 马来联邦马来联邦(1895年-1946年;英语:Federated Malay States,马来语:Negeri-negeri Melayu Bersekutu,华语俗称“四州府”),是大英帝国在马来半岛的殖民政体之一,由半岛上4个接受英国保护的
  • 乔格·朱斯乔格·雅各布·克里斯托弗·朱斯(德语:Georg Jakob Christof Joos,1894年5月25日-1959年5月20日),德国实验物理学家。其撰写的《理论物理学课本》(德语:Lehrbuch der theoretischen
  • 基因传递基因传递是指代与代(亲本到子代)之间遗传信息的传递,与遗传基本同义,或者是从细胞的一个地点传递到另一个地点。基因传递不应与染色体易位混淆,后者是指非同源染色体的片段重新排
  • 鸮头贝属鸮头贝属(学名:)是Stringocephalidae科Stringocephalinae亚科下已灭绝的一个属,生存在泥盆纪的海洋中。其化石分布于世界各地。这类腕足动物的壳体巨大,近球形或横卵形,表面光滑,仅