一张填好的数独，通常很容易检查：逐行、逐列、逐个宫格核对数字是否重复即可。可如果题目很难，直接找出解答，可能要尝试许多组合。这个日常差别，指向理论计算机科学中最著名的未解之谜之一：P与NP问题。
验证答案快，求出答案也快吗
这里的“快”不是指某台电脑几秒内完成，而是看计算时间如何随问题规模增长。粗略来说，P类问题可以由算法在多项式时间内求解；NP类问题则是指，给出一个候选答案后，可以在多项式时间内验证它是否正确。数独的严格复杂度分析涉及具体规则和规模，但它可以帮助理解“找答案”与“验答案”并非同一件事。
P类问题属于NP类，因此真正的疑问是：所有能快速验证答案的问题，是否也都能快速求解？若答案是肯定的，就有P等于NP；若存在某些问题只能快速验证、却不能快速求解，则P不等于NP。迄今，数学界尚未证明其中任何一种结论。
一道难题为何牵动许多领域
NP完全问题是这场讨论的关键。它们属于NP，而且NP中的其他问题都可以通过适当转换归约到它们。满足布尔公式等问题就是典型例子：若任何一个NP完全问题都能被证明可快速求解，那么所有NP问题也都能快速求解；反过来，若能证明某个NP完全问题不存在多项式时间算法，就能推出P不等于NP。
这并不意味着一旦证明P等于NP，所有现实难题立刻迎刃而解。多项式时间算法也可能有极大的次数或常数，实际运行仍然很慢；而一项理论上的证明，也未必自动给出实用算法。不过，这个结论会深刻影响人们对优化、排程、自动证明等问题计算难度的理解。
密码学的关联，常被说得过于简单
许多公钥密码方案依赖某些数学问题难以计算这一假设，因此P与NP问题的答案可能影响密码学的理论基础。但不能简单推断“P等于NP，所有密码立刻失效”：密码安全依赖具体问题、算法和参数，P等于NP也不必然意味着相关问题存在足够快、可用于攻击的算法。反之，证明P不等于NP，也不能单独保证任何一种密码方案安全。
这道问题自上世纪七十年代逐渐成为计算复杂性理论的核心议题，并被列入千禧年大奖难题。它的难点不只是尚未找到聪明算法，而是要证明所有可能算法都不可能做到某件事，或给出足以改变整个问题版图的通用解法。这样的证明需要跨越具体案例，触及计算本身的边界。
未解，不等于毫无进展
研究者持续发现新的归约关系、分析特殊问题，并建立更精细的复杂度类别。这些成果没有直接回答P是否等于NP，却能说明哪些问题彼此相连、现有方法的能力止于何处。对普通读者而言，最值得记住的不是“电脑终将无所不能”或“某些问题永远无解”，而是验证与发现之间可能存在巨大鸿沟。
一道谜题之所以重要，不只因为它尚无答案，也因为追问答案的过程迫使我们澄清“容易”究竟意味着什么。P与NP问题至今悬而未决，正是计算机科学对知识边界的一次持续检验。