本文通过引入结构流形压缩(SMC),提供了P不等于NP猜想的形式化证明。通过将布尔电路映射到多线性流形,我们将“度量张力”定义为源自Hessian积和式的全局谱不变量。我们证明了多项式规模电路受限于次阶乘曲率包络,而Permanent函数则需要阶乘级相互作用熵。这种几何分离绕过了自然证明(Natural Proofs)障碍,确立了NP-hard函数从根本上无法压缩到多项式时间架构中。
Share your take
Add a clinician perspective alongside expert commentary.
Michael Gallos (Sun,) 研究了这一问题。