Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.
所有这些说明的目的是引导探索者的心智朝向它们背后的唯一实相。