P (复杂度)

✍ dations ◷ 2025-07-17 01:52:28 #复杂度类,最优化

在计算复杂度理论中,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是最可信,最早创造多项式时间这个名词的人。

相关

  • 吞噬吞噬作用(英语:phagocytosis,来自古希腊语φαγεῖν)亦称吞食、噬菌作用,是吞噬细胞和原生动物通过细胞膜从周围环境摄取固体颗粒,并在其内部形成吞噬体的过程。吞噬作用是细胞
  • NMTN-甲基色胺(英语:N-Methyltryptamine,NMT)是一种色胺衍生物。它作为一种生物碱,很可能在机体内由L-色氨酸合成,常见于几种植物的树皮、嫩芽(英语:shoot)和叶,包括维罗拉(英语:Virola)、金
  • 楠梓加工出口区加工出口区楠梓园区,旧称楠梓加工出口区,位于台湾高雄市楠梓区,成立于1969年。加工区内有日月光半导体、楠梓电子、华泰电子、国巨、万宝至马达、台弟工业等公司设厂,通用验证(SG
  • 出世拒绝社交,也就是一般所谓的排挤,是指故意将个体拒于社交关系和社会互动之外的行为。社交拒绝涵盖人际关系上的拒绝、同侪拒绝、排挤、告白被拒绝、家庭隔阂(英语:familial estra
  • 港安医院港安医院可以指:
  • 沙漠猫(F. margarita)沙漠猫(学名:Felis margarita)是种小型猫科动物,生活在非洲和亚洲的沙漠中。在饲养的情况下可生活13年。体长大约50厘米,尾长30厘米,成年平均体重大约在2.7公斤左右。头部很宽;耳大
  • 液体火箭发动机液体推进剂火箭发动机(英语:Liquid Propellant Rocket Engine,缩写为LPRE),简称液体火箭发动机:2或液态火箭发动机,是指采用液态的燃料和氧化剂作为能源和工质的火箭发动机。液体
  • 大韩航空902号班机空难大韩航空902号班机(KAL902,KE902)是一架大韩航空的波音707民航客机,于1978年4月20日在苏联境内的摩尔曼斯克附近被苏联国土防空军机击中,109名乘客和机组人员中有2名乘客死亡,13人
  • 小臣小臣,先秦时期的官职名,也叫少臣。商代时,一些出身卑微的奴仆、战俘在君主身边执役,被君主赏识而得到要职,掌管占卜、祭祀、田猎、征伐甚至监督众人耕田,就称为“小臣”。伊尹、傅
  • 可测试性可测试性是有关实验假说的一种性质,包括二个方面:简单来说,若假说有可测试性,表示实际上有可能可以根据结果判断假说的正确与否。