NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。
孔子站在岸上指着河水说:“时光的流逝就像这河水一样!日夜不停地流去。”