The P versus NP problem asks whether every problem in NP, whose membership can be verified in polynomial time given a suitable certificate, can be decided by a deterministic Turing machine in polynomial time. In this paper, we present a proof that P = NP by constructing a deterministic polynomial-time algorithm for NP problems based on a graph-based computation framework. We introduce a structured computation model in which the transitions of a deterministic Turing machine are incrementally realized in the corresponding computation graph via edge extensions. Each extension step enforces a local feasibility condition that preserves consistency with valid NP verification paths across all possible certificates, ensuring that the maintained computation graph remains feasible at every stage. The total number of extension steps is polynomially bounded in the input size, and each step can be verified in polynomial time. As a result, the entire graph construction process runs in deterministic polynomial time and decides NP problems without enumerating certificates. This provides a direct and constructive resolution of the P versus NP question. Our result has significant implications for cryptography, combinatorial optimization, and artificial intelligence, where NP-complete problems play a central role.
翻译:P与NP问题探讨的是:对于NP类中的每个问题(给定适当证明时,其成员资格可在多项式时间内验证),是否都能通过确定性图灵机在多项式时间内判定。本文通过构建一种基于图计算框架的NP问题确定性多项式时间算法,给出了P = NP的证明。我们提出一种结构化计算模型,其中确定性图灵机的状态转移通过边扩展在对应的计算图中逐步实现。每个扩展步骤强制执行局部可行性条件,该条件确保与所有可能证明对应的有效NP验证路径保持一致性,从而保证所维护的计算图在每一阶段均保持可行性。扩展步骤的总数在输入规模上呈多项式有界,且每一步均可在多项式时间内验证。因此,整个图构建过程以确定性多项式时间运行,且无需枚举证明即可判定NP问题。这为P与NP问题提供了直接且构造性的解决方案。我们的研究成果对密码学、组合优化及人工智能等领域具有重大意义,这些领域均以NP完全问题为核心。