P (复杂度)

✍ dations ◷ 2025-09-11 00:19:25 #复杂度类,最优化

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

相关

  • 抗生素抗细菌药(英语:antibacterial)也称为“抗细菌剂”,是一类用于抑制细菌生长或杀死细菌的药物。在不引起歧义的情况下,抗细菌药也可简称为“抗菌药”,包括抗生素(英语:antibiotic) 由微
  • 爱德华·吉约埃都尔德·吉约(法语:Édouard Guillaud,又译爱德华·吉约,1953年7月10日-)法国海军退役上将。他曾参与戴高乐号航空母舰的设计,曾担任法军国防参谋总长。
  • 纳豆纳豆是日本常见的传统发酵食品,由黄豆通过Bacillus subtilis natto(枯草杆菌亚种之一)借由菌种发酵所释放的酵素转化蒸煮过黄豆的营养成分所制成的豆制品,气味浓烈,有黏性,不仅保
  • 罗民兴罗民兴(1963年6月-),浙江湖州人,主要从事量子场论和粒子物理理论的研究。1983年取得浙江大学物理系学士学位,1990年取得美国宾州大学物理系博士学位。1994年开始在浙江大学物理系
  • 武丁武丁(?-前1192年),子姓,根据《今本竹书纪年》名昭,是中国商朝第23位国君,共在位59年(约前1250年—前1192年在位),“武丁”是他逝世后获得的谥号,殷末又追谥庙号为“高宗”(但在殷墟卜辞中
  • 特赦特赦指以行政权免除罪犯全部或部分的服刑。宋代以前中国即存在特赦,有所谓“八议”之同罪异罚之说。学者认为特赦权的开始始于19世纪的英国君主,在司法独立以及国会扩权的时代
  • 坎特伯雷大学坎特伯雷大学(毛利语:Te Whare Wānanga o Waitaha,英语:University of Canterbury)位于新西兰的克赖斯特彻奇,成立于1873年,是新西兰成立较早的大学之一,由牛津大学的学者创建。该
  • 台北市联外桥梁列表台北市联外桥梁列表介绍台北市与新北市的互联桥梁。台北市因为淡水河系环绕,与新北市间的交通往来大多有赖桥梁衔接;此外阳明山北面,阳金公路一带则为磺溪水系。桥梁的命名如同
  • LastPassLastPass是一款Freemium的跨平台在线密码管理工具。旨在通过将用户的密码集中在云端以解决密码疲劳(英语:Password fatigue)。LastPass使用Web界面为基础,但还提供使用于许多现
  • 类 (计算机科学)类(英语:class)在面向对象编程中是一种面向对象计算机编程语言的构造,是创建对象的蓝图,描述了所创建的对象共同的属性(英语:Attribute (computing))和方法。类的更严格的定义是由某