無聊去看千禧年大獎 P vs. NP 的官方敘述
https://www.claymath.org/sites/default/files/pvsnp.pdf
發現果然現在 NP 都是用可以多項式時間驗證來定義了
不去提 nondeterministic turing machine 的定義
頂多說是名字的由來