一种基于 CD 证据归一化和仪表缓冲锁定集合的 $P \neq NP$ 量力弱点之路

我们提出了一种基于 $P \neq NP$ 证明架构，基于多项式时间限制条件描述长度中的上-下冲突。我们构造了一个可有效采样的 SAT 实例族 $Y$，使得每个满足 $Y$ 的证词都产生相同的全局消息 $M(Y)$。若 $P=NP$，则标准的多项式时间 SAT 自归约从 $Y$ 中恢复 $M(Y)$，因此 $K_{\mathrm{poly}}(M(Y)\mid Y)=O(1)$。下界侧显示相反的情况。对于相同的集合，没有固定的多项式时间观察者能够在线性数量的选定消息坐标上获得实质性的预测优势。该论证将计算视为产生证据的过程：预测优势被转换为可构造的对偶证据偏斜，然后转换为消息相反世界之间的两两区别。归一化定理表明，每个目标相关的非中性证据叶子要么是安全缓冲观察，要么是隐藏仪表观察。安全缓冲观察泄露可忽略，而隐藏仪表观察受仪表秩会计的限制。这导致总消息解析优势在 $t$ 个选定坐标上为 $o(t)$。边界定律混合给出可见表面的近随机基线。将此与证据预算结合得到产品小成功，然后通过 Compression-from-Success，$K_{\mathrm{poly}}(M(Y)\mid Y)\ge \Omega(t)$ 以高概率。这与 $P=NP$ 的常数上界相矛盾。因此 $P \neq NP$。