电路复杂性

✍ dations ◷ 2025-11-18 23:16: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）在 $AC^{0}$ $AC^{0}$ 中的下界为指数，以及团问题（clique problem）在单调性电路（monotone circuit）中的下界为指数。然而在1994年Razborov和Rudich的著名论文自然性证明（Natural proof）中指出，上面所用证明电路下界的方法，在单向函数存在的前提下是不可能分离NP和P的。该结果使很多专家对证明电路下界来分离NP和P的前景表示不乐观。

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

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

相关

Porter, R.S.罗伊·波特（1946年12月31日－2002年3月3日，英语：Roy Porter），英国历史学家，以其在医学史上的大量研究成果成名。2001年自伦敦大学卫康医学史研究中心退休。退休不满一年即心脏病发辞
弗雷德里克·巴特莱特弗雷德里克·巴特莱特爵士（英语：Sir Frederic Charles Bartlett，1886年10月20日－1969年9月30日），英国心理学家，剑桥大学实验心理学教授（从1931年到1951年退休）。1944 年，他和肯尼思·
一中两宪一中两宪，又称为一国两宪，即“一个中国、两个宪法”，是对于台海现状的一种描述。由台湾大学心理系教授黄光国提出，其认为两岸分治多年来，中华人民共和国政府和中华民国政府拥有各
阿尔摩哈德人穆瓦希德王朝（阿拉伯文：الدولة الموحدية‎，“穆瓦希德”意译：一神论者；1121年－1269年），或称阿尔摩哈德王朝（西班牙文：Almohades），是北非柏柏尔人建立的伊斯兰教王朝。12世
灌木公园灌木公园（Bushy Park）是英国伦敦的第二大皇家园林，面积445公顷（1,100英亩），，灌木公园位于伦敦西南的泰晤士河畔里士满区，紧邻汉普敦宫和汉普敦宫公园北侧。大部分向公众开放。它的四
320国道320国道（或“国道320线”、“G320线”）是在中国的一条国道，起点为上海，终点为云南瑞丽的国道，全程3695千米。这条国道经过上海、浙江、江西、湖南、贵州和云南6个省份。自云南昆
埃斯泰埃斯泰（意大利语：Este），是意大利帕多瓦省的一个市镇。总面积32.76平方公里，人口16902人，人口密度515.9人/平方公里（2009年）。ISTAT代码为028037。
钝头锦鱼钝头锦鱼（学名：）为辐鳍鱼纲鲈形目隆头鱼亚目隆头鱼科锦鱼属的鱼类。本鱼分布于印度太平洋区，包括东非、红海、毛里求斯、马尔代夫、缅甸、马来西亚、泰国、越南、日本、中国、台
波茨坦电影博物馆波茨坦电影博物馆（德语：）是位于德国城市波茨坦的一座博物馆。波茨坦电影博物馆开业于1981年，最初名为东德电影博物馆。1990年改为现在的名称。博物馆位于波茨坦城市宫之内。2014
枸杞酒枸杞酒，以枸杞果实酿造或浸泡的酒。而酿造的枸杞酒又分蒸馏酒和酿造酒两种。枸杞酒很早就在中国酿造，至少在汉代就有枸酿的记录。