真相很少是纯粹的,也从不简单。
Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.