一个人就像一个分数,分子是他实际的样子,分母是他对自己的看法。分母越大,分数越小。
NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。