基于计算拓扑与范畴论的P类问题与NP类问题的同调分离

本文通过基于范畴论的新型同调代数方法，建立了复杂度类 $\mathbf{P}$ 与 $\mathbf{NP}$ 的分离。我们构建计算范畴 $\mathbf{Comp}$，将计算问题及其化简嵌入统一的范畴框架中。通过发展计算同调理论，为每个问题 $L$ 构造链复合物 $C_{\bullet}(L)$，其同调群 $H_n(L)$ 捕获计算过程的拓扑不变量。我们的主要结果表明，$\mathbf{P}$ 类问题具有平凡计算同调 ($H_n(L) = 0$ 对所有 $n > 0$)，而诸如 SAT 等 $\mathbf{NP}$-完备问题则具备非平凡同调 ($H_1(\mathrm{SAT}) \neq 0$)。这种同调区别提供了首个基于拓扑方法对 $\mathbf{P} \neq \mathbf{NP}$ 进行严格证明的途径。我们的工作开创了计算拓扑作为复杂度分析新范式的先河，提供比传统组合方法更细致的区分，并在结构复杂性理论与同调不变量之间建立了联系。