电路复杂性

✍ dations ◷ 2025-07-21 16:12:51 #计算复杂性理论

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

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

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

相关

  • 行政法行政法是法律中,有关国家行政权运作的国内公法总称。行政法的定义系由日本学者提出,在中文法律领域中广受引用。行政法涉及到行政机关执行职务时所适用之各项法律,在各法律部门
  • 阿黛利地面积立国历史阿黛利地(法语:Terre Adélie)是法属南部和南极领地的组成部分之一,但不同于其它组成部分,法国对阿黛利地的主权没有得到国际普遍承认。阿黛利地为南极洲近印度洋的
  • 车前草车前草(学名:Plantago asiatica)为车前草科车前草属的物种,是一种多年生草本植物,又名蕮(音同“惜”)、车轮菜子、猪耳朵棵子、五更草、田灌草、牛舌草子、车轱辘草子,诗经中称之为
  • 沐污癖沐污癖是对湿漉与脏乱状态的性偏好(英语:Wet and messy fetish(WAM)或sploshing),当事人会渴望大量的此类物质沾染在裸露的皮肤、脸部或衣服上。有一些网站专门为此而设置。许多沐
  • 番茄产量这是一个2017年各国番茄产量列表,大部分基于联合国粮食及农业组织网站数据。全球在2017年共产出182,301,395吨番茄。
  • 膝关节脱位膝关节脱位是指股骨和胫骨之间的膝盖部位关节严重伤害的症状。症状包括膝盖疼痛(英语:Knee pain)及膝不稳。并发症包括膝盖附近动脉的受损(常见的部位是膝腘动脉(英语:Popliteal a
  • 施身法施身法(藏语:.mw-parser-output .uchen{font-family:"Qomolangma-Dunhuang","Qomolangma-Uchen Sarchen","Qomolangma-Uchen Sarchung","Qomolangma-Uchen Suring","Qomolangm
  • 萨迈尔萨迈尔(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey A
  • 第一书记捷克斯洛伐克共产党中央委员会总书记,是捷克斯洛伐克共产党的最高领导人,由于捷克斯洛伐克为实行一党制的社会主义国家,总书记是党和国家最高领导人。从1921年至1945年最高领导
  • 西弗里斯兰语西弗里斯兰语(荷兰语:Westerlauwers Fries 或简称 Fries,发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Uni