P (复杂度)

✍ dations ◷ 2025-09-17 03:28:41 #复杂度类,最优化

在计算复杂度理论中,P(polynomial time class)是在复杂度类问题中可于确定型图灵机以多项式量级(或称多项式时间)求解的决定性问题。

P通常表示那类可以“有效率地解决”或“温驯”的可计算型问题,就算指数级非常高也可以算作“温驯”,例如RP与BPP问题。当然P类别存在很多现实处理上一点也不温驯的问题,例如一些至少需要n1000000指令来解决的问题。很多情况下存在着更难的复杂度问题

P包含了很多已知的自然问题,例如决定性版本的线性规划,计算最大公因数,以及发现最大匹配。在2002年,判别一个数是否为质数也被人解出是一个P问题。与功能性问题(function problem)相关的类别是FP。

P的扩大集合是NP,此复杂度类是一个可在多项式时间以非确定型图灵机决定答案的问题的集合。因此我们可知道P是NP的子集,且虽然未证明,但大部分专家相信P是NP的严格子集(即NP一定大于且包含P集合)。

P也已知至少大于L一个可在对数量级的存储器空间上决定的问题的类别。一个判定算法使用了O(log )的空间就不可能使用超过2O(log )=O(1)的时间,因为这是所有可能组合方式的总数,因此L是P的子集合。另一个重要问题是:L是否相等于P?我们已知P=AL(问题可在对数存储器上以另类图灵机(alternating Turing machine)解决的问题之集合),而P也已知不大于PSPACE(可在多项式空间判定的问题)。再一次,我们面对P是否等于PSPACE的未知问题。整理一下上述问题:

EXPTIME指的是可在指数时间解答的问题类别。在上列的类别关系中,只有两个严格包含关系是确定的:

在P问题中最困难的是P完备问题。

另一个P的扩大集合是P/poly,或非统一多项式时间。若一个问题落于P\poly,则它可以在依据输入内容的长度下给予提示字符串(advice string)的情况下,以确定性多项式时间解决。然而,不像NP,此多项式时间机器不需要侦测伪造提示字符串;因为它不是一个验证机器。P/poly是一个几乎包含所有实际算法的巨大类别,包含所有BPP。如果P/poly包含了NP,则整个多项式层次结构将会下降到第二层次结构。另一方面,它也包含一些不切实际的算法,包含一些可决定问题,例如一元版的任何非决定性问题。

多项式时间算法拥有组装封闭性。换句话说,若我写了一个内容是多项式时间的函数(若视函数调用为固定时间),且其它被本函数调用的副函数也属于多项式时间,则整个组合起来的算法也会是多项式时间。因此P是自我低陷的,这也是P被认为是无关机器类型的主要理由:任何机器特征(例如随机存取)可以用多项式时间算法模仿的话,可在一些更简单的机器以其他多项式时间算法组合并化约而成,且时间复杂度依然是P。

Kozen指出Cobham与Edmonds是最可信,最早创造多项式时间这个名词的人。

相关

  • 传说时代传说时代,又称传疑时代,是指依靠口耳相传所描述的远古历史时代,是中国地区古代传说和神话的一部分,在汉字记载出现之前,历史靠世世代代的口述而流传,这些内容到后来才被文字记录下
  • 金矿矿坑金矿开采是指从富含金的地层中开采黄金的过程。目前有多种技术可以从地层中开采出黄金,最原始的方法是淘金。目前工业上多用氰化法提纯金,但氰化物有毒,因此正在开发新的提金试
  • 平壤水族馆《平壤水族馆:我在北韩古拉格的十年》(法语:Les aquariums de Pyongyang: dix ans au goulag nord-coréen)是一本由朝鲜出逃者姜哲焕及法国作家李古乐(法语:Pierre Rigoulot)合撰
  • Β反转录病毒属β反转录病毒是反转录病毒科下的一个属,此属的病毒具有B型或C型的外观。老鼠乳癌病毒(mouse mammary tumour virus)就是一个例子。
  • 亨利·施维里亨利·施维里(西班牙语:Henri Schwery;1932年6月14日-)是天主教瑞士籍司铎级枢机及锡永教区荣休主教。亨利于1932年6月14日在瑞士南部地区瓦莱州的城镇圣伦纳德出生。他分于锡安
  • 徐筱宁徐筱宁(1982年5月6日-),客语流行音乐歌手,台湾新竹县人,发有两张录音室专辑。2004年参加闹热打擂台歌唱赛,获得首奖。同年录制第一张个人专辑《靓细妹》,获得金曲奖最佳客语演唱新人
  • 贝蒂尔·奥林贝蒂尔·戈特哈德·奥林(Bertil Gotthard Ohlin,1899年4月23日-1979年8月3日),瑞典经济学家和政治家。学士(B.A.)就读于隆德大学,硕士就读斯德哥尔摩经济学院与哈佛大学分别取得 M
  • 建黑高速公路建三江—黑瞎子岛高速公路,简称建黑高速,是绥芬河—满洲里高速公路的联络线,道路编号为G1012。公路起点在黑龙江省建三江,终点在黑龙江省黑瞎子岛。该高速公路于2016年8月22日通
  • 马胖鼓楼坐标:25°56′38″N 109°35′03″E / 25.94389°N 109.58417°E / 25.94389; 109.58417马胖鼓楼位于中国广西壮族自治区三江侗族自治县八江乡马胖村,是侗族鼓楼中最大的一座,1
  • 丧女丧女(日语:喪女)是一种源自日本的网络流行语。此为约在2004年期间出现的词汇,是对不受欢迎的女人的称呼。用法和干物女、毒男等等都属于消极且负面的。丧女主要用在影射没与男性