多項式表示變換閉包與閉包悖論:逃生門能否被形式化?

若每次不等號隊指出某表示很大,等號隊都能說「還有另一種未知表示」,那能否把所有低成本表示革命一起收進一個可分析的閉包?本輪建立表示變換圖,卻立刻證明 Tractable-Reachability Equivalence 引理:L∈P 若且唯若存在統一多項式時間映射把 L 送到固定可處理目標——對 SAT 而言,SAT 能否到達可處理正規形,跟 P=NP 完全同義。這產生本輪核心的「表示閉包悖論」:閉包太寬就與原問題同義反覆,閉包太窄又只能得到受限模型下界。研究焦點因此從「表示大小」轉向「變換下保存了什麼」,Schaefer 二分定理與 CSP polymorphism 理論成為下一步的成功範例。