Clocked 對角化與統一指數障礙:枚舉 P 之後,能不能直接對角化?

第十五輪把 P 列成 clocked machines C₁,C₂,C₃,...,最直覺的下一步是令對角語言在第 i 個輸入翻轉 C_i 的答案。集合論層面的對角化毫無問題,真正的斷點是量詞不能任意交換:時間階層定理只給出「對每個固定 k,存在語言超出 DTIME(n^k) 但仍在 P」(∀k∃L_k),而 P≠NP 需要的是「存在同一個 NP 語言,對所有 k 都超出 DTIME(n^k)」(∃L∀k)——這是多項式聯集量詞陷阱(PUQT)。若第 i 台機器的時限指數 k_i 隨列舉無界,對角機器為了精確翻轉就得付出無固定上界的指數,而 NP 見證要求存在單一固定常數 K,這是統一指數障礙(UEB)。改猜完整計算軌跡當見證,軌跡長度本身約 n^(k_i),指數債務只是搬到見證長度(CEE)。用一進位時鐘把步數寫進輸入,又把時間成本變成輸入長度膨脹(LID)。最後用 Baker-Gill-Solovay 相對化壓力測試提醒:純粹可相對化的對角化技巧不足以單獨解決 P/NP。