P (复杂度)

✍ dations ◷ 2025-04-29 02:03:58 #复杂度类,最优化

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

相关

  • 细胞分裂细胞分裂(英语:cell division)是生物体生长和繁殖的基础,通常由一个母细胞产生两个或若干子细胞,是细胞周期的一部分。产生两个不同子细胞的分裂被称为不对称细胞分裂,也称为异裂
  • 散囊菌纲散囊菌目(学名:Eurotiomycetes)是子囊菌门盘菌亚门之下的一个纲。散囊菌目原来分为以下三个分类:医学导航 · 真菌病真菌 · 分类疾病药物(抗真菌药)
  • 弥生时代弥生时代(日语:弥生時代/やよいじだい)是北海道与琉球以外的全日本列岛的一个时代划分,处于西元前10世纪到3世纪中期。弥生时代是在经历了以采集为经济主体的绳文时代之后,一个主
  • 南昌西环铁路中华人民共和国南昌西环铁路,又称为南昌铁路西环线、南昌枢纽西环线、南昌铁路枢纽西环线是一条货运线路,起点终点均连接到京九线,通车后货运列车可以不用经过南昌城区,从而解决
  • 食蟹獴(H. urva)食蟹獴(学名 Herpestes urva、crab-eating mongoose,又名棕蓑猫) 是一种产于中国南方、台湾、印度西北、尼泊尔、缅甸、东南亚等地的獴。食蟹獴于台湾保育类野生动物名录中定义
  • 寻租寻租活动(英语:rent-seeking)又称为竞租,是指在没有从事生产的情况下,为垄断社会资源、或维持垄断地位,从而得到垄断利润(亦即经济租)所从事的一种“非生产性的寻利活动”。整个寻租
  • 1910年美国人口普查1910年美国人口普查(英语:1910 United States Census)是美国历史上第13次全国人口普查,确定了美国的常住人口为91,972,266人,相比1900年美国人口普查,同比增长为21.0%。1910年的人
  • 高强度气体放电灯高强度气体放电(英文:High-intensity discharge,缩写:HID)灯泡包含了下列这些种类的电灯:水银灯、金属卤化灯、高压钠灯、低压钠灯、高压水银灯,以及较少见的短弧氙气灯。这些灯泡
  • 乔治·珀尔乔治·珀尔(英语:George Perle,1915年5月6日-2009年1月23日),美国作曲家、音乐理论家。生于新泽西州贝永,毕业于德保罗大学,曾以私人学生身份跟随克热内克学习。二战时加入过美军。1
  • 樱井翔樱井翔(日语:さくらい · しょう,英语:Sakurai Sho;1982年1月25日-),日本歌手、演员、艺人、新闻主播和主持人,同时是日本男子偶像团体岚的成员之一,隶属于杰尼斯事务所,在岚中代表颜