电路复杂性

✍ dations ◷ 2025-07-01 09:22:36 #计算复杂性理论

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

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

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

相关

  • 多巴胺β羟化酶n/an/an/an/an/an/an/an/an/an/a多巴胺β羟化酶 (英语:Dopamine β-hydroxylase,简称DBH)是一种多巴胺转化为去甲肾上腺素的酶。多巴胺β羟化酶是一个由四个相同亚基组成的290千
  • 阿尔伯特·迈克尔逊阿尔伯特·亚伯拉罕·迈克耳孙(英语:Albert Abraham Michelson,1852年12月29日-1931年5月9日),又译“迈克耳孙”、“迈克耳逊”,波兰裔美国藉物理学家,以测量光速而闻名,尤其是迈克耳
  • 宋礼成宋礼成(1937年7月-),中国有机化学家。南开大学化学系教授。生于山东济南,籍贯山东济南。1962年毕业于南开大学化学系,1979-1981年在美国麻理工学院任访问学者。2007年当选为中国科
  • 秘鲁洋流洪堡凉流,也称秘鲁寒流,南太平洋东部凉流,是一个低盐度的洋流,沿南美洲西岸从智利南端伸延至秘鲁北部,于南纬10°以北偏向西行,构成南太平洋南赤道海流的补偿流。在北端可伸延至离
  • 贝里亚期贝里亚期(英语:Berriasian)是白垩纪的第一个时期,年代大约位于145–139.8百万年前。接续侏罗纪的提通期之后,凡蓝今期之前。
  • 夏尔·尼科勒夏尔·朱尔·亨利·尼科勒(Charles Jules Henri Nicolle,1866年9月21日-1936年2月28日)是一位法国细菌学家,曾经因为关于辨认出虱子为斑疹伤寒的传染者,而获得1928年诺贝尔生理学
  • 华纳兄弟互动娱乐华纳兄弟互动娱乐(英语:Warner Bros. Interactive Entertainment,或简称WBIE)是华纳兄弟家庭娱乐集团下属的一个部门,成立于1993年,目前该部门负责的业务包括电子游戏开发及发行,授
  • Ernesto Pompeo Molmenti医学博士莫尔门蒂医生(Ernesto Pompeo Molmenti)是一名美国移植外科医师 , 科学家, 和作者。 目前在纽约长岛执业。 他是 诺斯威尔健康集团北岸大学医院外科创新主任兼外科系
  • 哈利勒·阿尔滕托普哈利勒·阿尔滕托普(土耳其语:Halil Altıntop,1982年12月8日-)土耳其足球运动员,现时为捷克足球甲级联赛俱乐部布拉格斯拉维亚的球员之一。哈利勒·阿尔滕托普与其弟哈米德·阿尔
  • 勒黑镇勒黑镇(缅甸语:လဟယ်မြို့နယ်,英语:Lahe Township)为缅甸实皆省那加自治区的镇区。2014年人口48,526人,区域面积3,941.2平方公里。该镇下分82个村庄。勒黑为该镇之首府