NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。
生活是世界上最罕见的事情。大多数人只是存在,仅此而已。
夜晚是一种伟大的寂静,但星星是它的音乐。
失去一种语言就是失去一种看世界的方式。
小人专门期望他人的恩惠,但受恩后就忘;君子则不轻易受人恩惠,若受恩于人,则必定想法图报。