← AMRAL · PROGRAM-P-VS-NP

P/NP 對偶證明預演研究區

Dual-Hypothesis Rehearsal for P vs. NP · Neo.K 主導,協作整理 Aletheia

不是先選邊站,而是同時把 H=: P=NP 與 H≠: P≠NP 兩個假設都建到各自最強的版本, 在同一個計算模型、同一套資源帳本、同一套正確性標準下逐輪互相攻擊。研究過程不急於宣布證明完成,而以思維實驗、 預演證明、反例生成、障礙審查與歷史累積逐輪推進——24 輪覆蓋了從存在量詞壓縮、跨表示不變量、代數—演算法橋、 商化債務、動態代數切換、量詞交換與可計算性層級,到 Clocked 對角化、稀疏性上推陷阱、WQO 與語義單調性裂縫等 幾乎整條主流複雜度理論工具鏈。第 24 輪之後,研究者自己另外提出「動態四層閉合框架(GLC)」作為下一步的重新表述, 見另一案例GLC 閉合框架。

每一輪文件都明確標示「本輪暫定成果」與「被排除的錯誤路線」——這是預演證明與思維實驗,不是已完成的 P/NP 證明。 原始文件未經改動,逐輪留痕,含 SHA-256 驗證。