—— 请按键盘 空白键 开始游戏 ——

Don't look for the needle in the haystack. Just buy the haystack!
不要在干草堆里找针。直接买下整个干草堆!
NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。