如果電腦無法使用演算法來解決一組問題, 寫出包含答案的情況. 這可能是1到20個句子. 背景:
複雜性類別P通常被視為一個數學抽象模型, 這項假設被稱為Cobham-Edmonds論述. 另一方面,複雜性型別NP包含許多人們想有效解決的問題, 但對此沒有有效的演算法是已知的, 如布林的滿足性問題, 哈密爾頓的路徑問題和頂點覆蓋問題. 既然決定性圖靈機器是特殊的非決定性圖靈機器, 很容易觀察到P中的每個問題也是NP類的成員.