电路复杂性

✍ dations ◷ 2025-04-04 11:18:45 #计算复杂性理论

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

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

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

相关

  • 实在论实在论(英语:realism),也译为唯实论,西方哲学本体论的一种观点,认为本体论中的现实(Reality),是独立于人类感官、信仰、概念与想法之外的。现今世界认为的实在论,与古希腊、或中古经院
  • 棒针编织棒针为编织毛线所用,一般是由二根棒子所组成,多以金属所造,再涂上银灰色。现在的棒针的一头多加上一小粒塑胶再注明棒针的粗细,根据不同的粗细还可分为不同型号的棒针。
  • 尤卡吉尔人尤卡吉尔人,是分布于东西伯利亚科雷马河的古亚细亚人。他们生活型态分两种,苔原尤卡吉尔生活在雅库特共和国科雷马河下游,森林尤卡吉尔的生活在科雷马河上游与马加丹州。他们十
  • 蔡而烜蔡而烜,福建漳浦县人,清朝政治人物,同进士出身。顺治十五年(1658年)戊戌科进士,授桐柏县知县。
  • 鲁伯特·葛林鲁伯特·亚历山大·洛伊德·葛林特(英语:Rupert Alexander Lloyd Grint,1988年8月24日-)或简称鲁伯特·葛林特(英语:Rupert Grint),是一名英国男演员。出生于英格兰埃塞克斯郡,以出演
  • 门户地区门户地区(英语:Gateway Region)位于美国新泽西州的东北部,包括博根县、埃塞克斯县、哈德逊县、巴赛克县、联合县和米德尔塞克斯县。它是该州最为城市化的一部分,有400多万人口,并
  • 青岛前湾港区2号疏港高速公路青岛前湾港区2号疏港高速公路,简称青岛前湾港区2号疏港高速,高速公路网编号为S7602,是中国青岛市黄岛区连通青岛前湾港的一条疏港高速公路,全长26.146km,双向四车道,设计时速120公
  • 上海菜上海菜,简称沪菜,而本帮菜狭义即指上海菜(菜系又称“帮菜”,若以上海人为视角,自然称上海菜为“本帮菜”),为发源于上海本地的一种菜系,广义的上海菜是以“本帮菜”为主吸收各派之长
  • 碳-1212C是质量数为12的碳原子,其质子数和中子数都为6,它是碳元素的一种同位素,在世界现存碳元素中占比98.89%,是最常见的碳同位素。在2019年5月20日国际单位制基本单位的重新定义之
  • 台湾甜辣酱台湾甜辣酱(英语:Sweet chili sauce)源自早年闽粤移民传入之甜辣酱,口味经台湾彰化本地人稍加改良,别有风味,主要成分是辣椒、砂糖、番茄汁。不同厂牌,可能加入的内容物有,盐、番茄