无聊去看千禧年大奖 P vs. NP 的官方叙述
https://www.claymath.org/sites/default/files/pvsnp.pdf
发现果然现在 NP 都是用可以多项式时间验证来定义了
不去提 nondeterministic turing machine 的定义
顶多说是名字的由来