计算的目的是洞察,而不是数字。
如果你想知道一家公司的价值,看看它的股价。
Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.