The best way to refactor a program is to refactor it.
NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。
We are all obsessed with the idea of the frontier, but it's a frontier that keeps receding.