Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.
NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。
如果你不去追求你想要的,你将永远得不到它。
The ultimate aim of artificial intelligence is to make computers do things that would require intelligence if done by humans.