P NP和NP是否完全澄清？

Question

這是我在堆棧溢出時找到的答案

NP是一個復雜性類，代表所有決策問題的集合，對於這些問題，答案為“是”的實例具有可以在多項式時間內驗證的證明。

這意味着，如果有人給我們一個問題的實例，並且答案為是的證明（有時稱為見證人），我們可以檢查它在多項式時間內是否正確。

我的問題是誰在檢查多項式時間內解是否正確？ 它是一個程序，還是從字面上看意味着一個人坐下來在紙上工作？

Answer 1

在經典定義中，它是圖靈機。 我相信已經證明，從復雜性理論的角度來看，我們今天使用的計算機與圖靈機大致相同（一個多項式時間是另一個的多項式時間），請參見： https：//en.wikipedia .org / wiki / Turing_machine＃Comparison_with_real_machines