复杂度关系韦恩图
在計算複雜度理論中，**P**（）是在複雜度類別問題中可於確定型圖靈機以多項式量級（或稱多項式時間）求解的決定性問題。

**P**通常表示那類可以「有效率地解決」或「溫馴」的可計算型問題，就算指數級非常高也可以算作「溫馴」，例如**RP**與**BPP**問題。當然P類別存在很多現實處理上一點也不溫馴的問題，例如一些至少需要n1000000指令來解決的問題。很多情況下存在著更難的複雜度問題

在P中令人注目的問題
----------

**P**包含了很多已知的自然問題，例如決定性版本的线性规划，計算最大公因數，以及發現最大匹配。在2002年，判別一個數是否為質數也被人解出是一個**P**問題。與功能性問題相關的類別是**FP**。

與其他類別的關係
--------

**P**的擴大集合是**NP**，此複雜度類別是一個可在多項式時間以非確定型圖靈機決定答案的問題的集合。因此我們可知道**P**是**NP**的子集，且雖然未證明，但大部分專家相信P是NP的嚴格子集（即NP一定大於且包含P集合）。

**P**也已知至少大於**L**一個可在對數量級的記憶體空間上決定的問題的類別。一個判定演算法使用了O(log *n*)的空間就不可能使用超過2O(log *n*)=*n*O(1)的時間，因為這是所有可能組合方式的總數，因此**L**是**P**的子集合。另一個重要問題是：**L**是否相等於**P**？我們已知**P**=**AL**（問題可在對數記憶體上以交替式图灵机解決的問題之集合），而**P**也已知不大於**PSPACE**（可在多項式空間判定的問題）。再一次，我們面對**P**是否等於**PSPACE**的未知問題。整理一下上述問題：

{\mbox{L}}\subseteq {\mbox{AL}}={\mbox{P}}\subseteq {\mbox{NP}}\subseteq {\mbox{PSPACE}}\subseteq {\mbox{EXPTIME}}
**EXPTIME**指的是可在指數時間解答的問題類別。在上列的類別關係中，只有兩個嚴格包含關係是確定的：

* **P**嚴格包含於**EXPTIME**之中。因此所有**EXPTIME**-hard問題在**P**集合之外，且最少一個**P**右方的包含關係是嚴格的（事實上，大部分人認為**P**右邊三個集合都是嚴格包含**P**）。
* **L**嚴格包含於**PSPACE**集合中。

在P問題中最困難的是P-完全問題。

另一個**P**的擴大集合是**P/poly**，或**非統一多項式時間**。若一個問題落於**P\poly**，則它可以在依據輸入內容的長度下給予提示字串（advice string）的情況下，以確定性多項式時間解決。然而，不像**NP**，此多項式時間機器不需要偵測偽造提示字串；因為它不是一個驗證機器。**P/poly**是一個幾乎包含所有實際演算法的巨大類別，包含所有**BPP**。如果**P/poly**包含了**NP**，則整個多項式譜系將會下降到第二階層。另一方面，它也包含一些不切實際的演算法，包含一些可決定問題，例如一元版的任何非決定性問題。

性質
--

多項式時間演算法擁有**組裝封閉性**。換句話說，若我寫了一個內容是多項式時間的函數（若視函數呼叫為固定時間），且其它被本函數呼叫的副函數也屬於多項式時間，則整個組合起來的演算法也會是多項式時間。因此**P**是自我低陷的，這也是**P**被認為是無關機器類型的主要理由：任何機器特徵（例如隨機存取）可以用多項式時間演算法模仿的話，可在一些更簡單的機器以其他多項式時間演算法組合並化約而成，且時間複雜度依然是P。

歷史
--

Kozen指出Cobham與Edmonds是最可信，最早創造**多項式時間**這個名詞的人。

註釋
--

1. ↑  Manindra Agrawal, Neeraj Kayal, Nitin Saxena, "PRIMES is in P （页面存档备份，存于）", *Annals of Mathematics* 160 (2004), no. 2, pp. 781–793.
2. ↑  Johnsonbaugh, Richard; Schaefer, Marcus, *Algorithms*, 2004 Pearson Education, page 458, ISBN 978-0-02-360692-2
3. ↑  Kozen, Dexter C.. Springer. 2006: 4. ISBN 978-1-84628-297-3.

參考資料
----

* C. Papadimitriou. Computational Complexity. Addison-Wesley, 1994. ISBN 978-0-201-53082-7.
* Complexity Zoo: P，P/poly
* Thomas H. Cormen，Charles E. Leiserson，Ronald L. Rivest，and Clifford Stein。*Introduction to Algorithms*, Second Edition. MIT Press and McGraw-Hill, 2001. ISBN 978-0-262-03293-3. Section 34.1: Polynomial time, pp.971–979.
* Michael Sipser.. PWS Publishing. 1997. ISBN 978-0-534-94728-6.  Section 7.2: The Class P, pp.234–241.


|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
重要的複雜度類（完整列表） |
| --- |
|  |
| 易解复杂度类 | 

|  |  |
| --- | --- |
| 对数空间相关 | 
* DLOGTIME
* AC0（英语：）
* ACC0（英语：）
* TC0（英语：）
* L · FL · SL · NL
* NC
* SC
* PolyL

 |
|  |
| 多项式空间相关 | 
* P（P-完全）
* FP（英语：）
* ZPP
* RP
* BPP
* BQP（QMA（英语：）
* PostBQP（英语：）
* EQP（英语：））

 |

 | P、NP、反NP与PSPACE之间的关系 |
|  |
| 怀疑难解复杂度类 | 
* UP
* NP（NP完全
* NP困难
* 反NP
* 反NP完全（英语：））
* FNP（英语：）（TFNP（英语：））
* PH
* PP
* #P（#P-完全（英语：））
* PSPACE（PSPACE完全（英语：））

 |
|  |
| 难解复杂度类 | 
* EXPTIME
* NEXPTIME
* EXPSPACE
* ELEMENTARY
* PR
* R
* RE
* ALL

 |
|  |
| 复杂度类的谱系 | 
* 多項式譜系
* 指數譜系
* Grzegorczyk谱系（英语：）
* 算术谱系

 |
|  |
| 相关复杂度族 | 
* DTIME
* NTIME
* DSPACE（英语：）
* NSPACE
* 可能性核对证明（英语：）
* 交互式证明系统
* 量子复杂性理论

 |

 |