NP 难度的结构起源与最小句法：从句法生成性与组合坍缩分析 SAT
计算机科学中的逻辑
2025-10-21 v2 计算复杂性
摘要
布尔可满足性问题（SAT）作为第一个被证明的 NP 完全问题，在计算复杂性理论中占据核心地位。由于这一角色，SAT 常被用作多项式时间归约的基准：若一个问题可归约至 SAT，则其难度至少与 SAT 相当，从而被视为 NP 完全。然而，CDF 框架提供了对这一传统观点的结构性反转。我们并非将 SAT 仅视为 NP 完全性的代表，而是探究 SAT 本身的句法结构——尤其是其 3SAT 形式——是否是 NP 问题中观察到的语义爆炸与计算难解性的根源。换言之，SAT 不仅是 NP 完全性的标尺，更可能是诱导 NP 型复杂性的结构原型。这一重构表明，P 与 NP 问题不仅深深植根于计算资源限制，更植根于问题句法的生成原理，其中 3SAT 捕捉了界定可解与难解问题边界的递归与非局部构造。
引用
@article{arxiv.2509.22995,
title = {Structural Origin and the Minimal Syntax of NP-Hardness: Analysis of SAT from Syntactic Generativity and Compositional Collapse},
author = {Yumiko Nishiyama},
journal= {arXiv preprint arXiv:2509.22995},
year = {2025}
}