它。因此在学习变换技巧前，先熟悉各种不同类型的NPC问题是很有用的。
历史.前述定义是史提芬·古克所提出。虽然NPC这个词并没有出现在这篇论文上任何地方。在这个资讯科学会议上，资讯科学家激动地讨论NPC问题是否可以在一个确定型图灵机上以多项式时间求解。John Hopcroft总结与会众人的共识，认为由于没有人能对某一命题提出驳倒对方的证明，此问题不会于现在解决。此命题就是知名的一开始很难相信NPC问题是实际存在的，但着名的古克-李芬定理说明了一切（由与Cook独立证出SAT问