一個可以使用一組規則和輸入來確定結果的裝置, 儘管該裝置是假設的, 是什麼? 根據上一個問題,寫下一個包含答案的上下文. 這可以是1 - 20句. 背景:
複雜度類P通常被視為一種數學抽象模型,模擬那些允許有效演算法的計算任務. 這種假設被稱為Cobham-Edmonds論點. 另一方面,複雜度類NP包含了許多人們希望有效地解決的問題,但沒有有效的演算法,例如布林滿足性問題,哈密爾頓路徑問題和頂點覆蓋問題. 由於確定性圖靈機是特殊的非確定性圖靈機,因此很容易觀察到P中的每個問題也是NP類的成員.