电路复杂性

✍ dations ◷ 2025-04-26 12:28:48 #计算复杂性理论

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

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

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

相关

  • 水霉见内文卵菌门(学名:Oomycota)或卵菌纲(学名:Oomycetes),俗称水霉 (water mold),是一种与真菌很相似的真核微生物,不具叶绿素,不进行光合作用,需将养分在体外分解后,再进行吸收。但根据亲
  • 利奥·贝克兰利奥·亨利斯·亚瑟·贝克兰,FRSE(Hon)(德语:Leo Henricus Arthur Baekeland,1863年11月14日-1944年2月23日),比利时裔美国化学家。他在1893年发明了Velox相纸,在1907年发明了Bakeli
  • 台南厅台南厅为台湾日治时期行政区划之一,设立于1901年(明治34年)11月至1920年10月间。1901年11月,台湾总督府以辨务署负责地方政务,而县及厅介于总督府与办务署之间,造成行政事务上的欠
  • 桂太郎桂太郎(1848年1月4日-1913年10月10日),日本政治人物、长州藩出身(今山口县),曾任台湾总督,后来曾三度出任日本内阁总理大臣(1901年-1906年;1908年-1911年;1912年-1913年),明治维新元老之一。
  • 萨克马尔期萨克马尔期(英语:Sakmarian)是二叠纪的第二个时期,年代大约位于293.52–290.1百万年前。
  • 彭布罗克学院剑桥大学彭布罗克学院(英语:Pembroke College, Cambridge) 是剑桥大学的一个学院。学院拥有超过600名学生和院士,是剑桥大学历史上第三所学院。
  • 欧洲人民党 (欧洲议会党团)1952年9月11日(非官方) 1953年6月23日欧洲人民党党团是欧洲议会中右翼政治集团,由欧洲人民党成员政党的议员组成。它有时包括独立的欧洲议会议员和/或来自非附属国家政党的代
  • 达叻府 small(桐艾府)/small达叻府(泰语:จังหวัดตราด,皇家转写:Changwat Trat,泰语发音:)是东泰国的一个府,府都为达叻市。华人称其为桐艾府。她在北面与西面是庄他武里府,东面与柬埔寨接壤,西南滨临
  • 透明层透明层(英语:stratum lucidum),位于颗粒层上方,由数层无核扁平细胞组成。透明层细胞排列紧密,细胞间没有明晰的界线,只有在手掌和脚底等表皮较厚的部位才能看见。医学导航: 皮肤附
  • 玻利维亚东部山脉玻利维亚东部山脉(西班牙语:Cordillera Oriental),是玻利维亚的山脉,属于安第斯山脉的一部分,最高点是海拔高度5,035米的图纳里山,大部分是潮湿的森林地区。 坐标:17°19′S 66°07