电路复杂性

✍ dations ◷ 2025-09-04 21:55:56 #计算复杂性理论

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

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

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

相关

  • 布瓦宏布瓦宏(英语:Boiron,Euronext:BOI)是顺势疗法药物生产商,1932年由双胞胎兄弟Jean & Henrry BOIRON创立,总部设于法国里昂,业务范国达全球五十九个国家,是全球最大顺势疗剂生产商,目
  • 散热片散热片在电子工程设计的领域中被归类为“被动性散热组件”,以导热性佳、质轻、易加工之金属(多为铝或铜,银则过于昂贵,一般不用)贴附于发热表面,以复合的热交换模式来散热。散热片
  • 伊朗伊斯兰革命伊朗伊斯兰革命(又称1979年革命;波斯语:انقلاب اسلامی‎ Enghelābe Eslāmi)是二十世纪七十年代后期在伊朗共和国发生的政变,末代沙阿(伊朗国王)穆罕默德·礼萨·巴列
  • 热电偶热电偶(英语:Thermocouple)是一种被广泛应用的温度传感器,也被用来将热势差转换为电势差。热电偶价格低廉、易于更换,测量时不需要外加电源,有标准接口,且具有很大的温度量程。主要
  • 长岛茂雄选手时期监督教练长嶋茂雄(日语:長嶋 茂雄(長島 茂雄)/ながしま しげお Nagashima Shigeo,1936年2月20日-),日本职业棒球选手、教练。出生于日本千叶县佐仓市。日本职业棒球中央联盟
  • 妇联总会坐标:25°02′25.40″N 121°30′34.53″E / 25.0403889°N 121.5095917°E / 25.0403889; 121.5095917妇联总会是台湾台北市市定古迹,1915年至1920年建立,位于清朝登瀛书院(又
  • 肯尼迪特种作战训练中心美国陆军约翰·肯尼迪特种作战训练中心(英语:U.S. Army John F. Kennedy Special Warfare Center and School,SWCS)是美军负责训练及发展特种部队、心理、民政等非传统作战的
  • 宋东京城东京城遗址中国北宋都城东京开封府汴梁城的遗址。北宋时以五代开封府为基础,进行了大规模扩建。使东京成为与洛阳一样的帝都规模。天祐四年(907年),朱温代唐称帝,建国号梁,将其所
  • 重庆北温泉重庆市北温泉风景区位于重庆市北碚区嘉陵江小三峡温汤峡畔,缙云山麓。是中国开发利用最早、至今仍在使用的温泉之一。1982年被中国国务院批准定为中国首批国家级风景名胜区之
  • 居斯特罗大教堂坐标:53°47′27.4″N 12°10′23.8″E / 53.790944°N 12.173278°E / 53.790944; 12.173278居斯特罗大教堂(德语:)是位于德国梅克伦堡-前波美拉尼亚州城市居斯特罗的一座信义