多重反結構核心與異質黏合債務:把已知逃生門一起堵上之後,困難究竟在哪裡?

原本計畫尋找同時對六種已知商化技術都有效抵抗的「多重反結構核心」(MASC),但立刻自我修正:即使真找到,也只證明「對目前列出的武器庫困難」,不是「不在 P」——第九輪的 OBDD 反例已經示範過這個陷阱。本輪真正有價值的轉折來自反方向的思維實驗:令 R₊=x∨y∨z、R₋=¬x∨¬y∨¬z,單獨使用任一個都 trivial(全設 1 或全設 0 即可滿足),但混合使用的 Monotone 3-SAT 已知仍是 NP-complete——局部 tractability 不具簡單加法封閉性。Schaefer 二分定理正式印證:tractability 取決於整個 constraint language 是否共享足夠的 polymorphism 閉包,而非每條約束單獨是否容易。提出異質黏合債務 HGD(把局部商化與全域黏合成本分開計量)與多型交集譜 PIS,等號隊則反擊提出動態代數切換——不要求全域共享單一代數,允許演算法依局部結構切換不同求解器。