# P/NP 辯論遊戲研究區｜第二十輪

## 階段控制複雜度：對數視界、指數節流與極限監視器

**Stage Controller Complexity: Logarithmic Horizons, Exponent Throttling, and a Limit Monitor for $P$ vs. $NP$**

- **主導研究者：** Neo.K（許筌崴）
- **協作整理：** Aletheia
- **機構：** EveMissLab（一言諾科技有限公司）
- **日期：** 2026 年 8 月 1 日
- **版本：** v1.0
- **研究狀態：** 第二十輪雙假設預演
- **前置文件：** `19_第十九輪_Block延遲對角化與階段控制依賴.md`
- **文件性質：** 結構研究／預演，不宣稱解決 $P$ vs. $NP$

---

## 摘要

第十九輪將 delayed diagonalization 的真正核心定位為 **stage controller**，並留下問題：是否存在一個無條件、有效、sound、而且永遠 progress 的 controller？本輪重新檢查 Ladner delayed diagonalization 與 Schöning Uniform Diagonalization 後，得到一個重要修正：**controller 的局部計算成本本身可以被嚴格壓在 polynomial time；真正無法白拿的是全域 progress guarantee。**

Ladner 型 construction 的技巧不是讓 controller 知道「某個 polynomial machine 永遠不可能解 SAT」，而是只搜尋非常小的 finite disagreement witnesses。令外層構造長度為 $N$，只檢查長度

$$
h(N)=O(\log N)
$$

的輸入。此時：

- 候選輸入數量最多為 $2^{O(h(N))}=N^{O(1)}$；
- 對長度 $h(N)$ 的 SAT 實例做暴力搜索也只需 $2^{O(h(N))}=N^{O(1)}$；
- 對第 $i$ 個 clocked polynomial machine，若時間界為 $m^{k_i}$，則只要 controller **延遲 stage advancement**，直到

$$
h(N)^{k_i}\le N^c
$$

成立，就能在外層 $N$ 的 polynomial budget 內完成有限檢查。

這形成兩個本輪新概念：

$$
\boxed{\mathrm{LHV}=\text{Logarithmic-Horizon Verification}}
$$

與

$$
\boxed{\mathrm{IET}=\text{Index--Exponent Throttling}}.
$$

兩者合起來說明：**Stage Witness Debt 的計算部分可以藉由尺度分離支付。**

然而，若某個候選 machine $C_i$ 真的與 SAT 完全相同，就永遠不存在 disagreement witness。若 $C_i\neq SAT$，則因兩個語言不同，必存在某個有限 witness $x^*$，而只要 $h(N)\to\infty$，controller 終將看到它。故對一個純粹的「逐一比較 P machines 與 SAT」監視器，可構造一個可計算、單調的 stage function $s(N)$，使其具有下列極限行為：

$$
P\neq NP
\Longrightarrow
s(N)\to\infty,
$$

而若 $P=NP$，且枚舉包含某個正確的 SAT polynomial machine，則 controller 最終會在第一個此類 machine 上穩定：

$$
P=NP
\Longrightarrow
\exists i^*\ \exists N_0\ \forall N\ge N_0,
\quad s(N)=i^*.
$$

因此，本輪建立一個 **Limit Separation Monitor（LSM）**：$P$ vs. $NP$ 可以被重新表述成一個完全可計算的序列究竟「最終穩定」還是「無界前進」。這不是決策程序，因為有限時間內無法由暫時停滯判定「永遠停滯」，也無法由目前持續前進判定「永遠不會停」。它把原本的 stage-controller 問題轉成了 **asymptotic observation problem**。

Schöning 的 Uniform Diagonalization Theorem 進一步證實：對 recursively presentable、具合適 closure 性質的 complexity classes，delayed diagonalization 可以被統一化；但 theorem 的前提仍要求存在已知位於相應 classes 之外的基準問題。換句話說，**統一化能消除 controller 的工程任意性，不能消除 separation premise。**

本輪因此修正第十九輪的 Controller Completeness Trap：

$$
\boxed{
\text{Controller Computability}
\neq
\text{Unconditional Progress}
}
$$

並把第二十一輪推進到：**Limit Observation Barrier / Quantifier Monitor Game**——能否把「最終穩定 vs. 無界」這種極限差異壓縮成有限、可驗證、非 relativizing 的數學證書？

---

# 一、上一輪留下的問題其實混了兩件事

第十九輪提出：

$$
\boxed{\mathrm{CCT}=\text{Controller Completeness Trap}}
$$

並問是否存在 controller：

$$
\mathcal C(s,N)
$$

同時具有：

1. 有效可計算；
2. polynomial resource bound；
3. sound；
4. 不靠 $P\neq NP$ 作為前提；
5. 每一個 requirement 最終都 progress。

本輪發現，這其實混合了兩種完全不同的義務。

## 1.1 Local computational obligation

在目前外層長度 $N$，controller 能否有效檢查：

$$
\exists x\in H_N
$$

使某個 requirement 已經有有限 witness？

這是計算成本問題。

## 1.2 Global semantic progress obligation

若目前 requirement 尚未出現 witness，controller 能否知道：

$$
\text{「只是還沒找到」}
$$

還是：

$$
\text{「永遠不存在」}?
$$

這是語義／極限問題。

本輪最重要的修正就是：

$$
\boxed{
\text{第一個問題其實可以被 Ladner-style delay 很漂亮地解掉；}
}
$$

$$
\boxed{
\text{第二個問題才是真正沒有免費答案的地方。}
}
$$

---

# 二、Ladner controller 為什麼可以在 polynomial time 內運作？

考慮第 $i$ 個 clocked polynomial machine：

$$
C_i.
$$

其時間界寫成：

$$
T_i(m)\le c_i(m+1)^{k_i}.
$$

如果我們直接在長度 $N$ 的輸入上完全模擬 $C_i$，第十六輪的 UEB 會再次出現：

$$
k_i
$$

無界，無法由單一固定 exponent 控制。

Ladner-style controller 不這樣做。

它只看：

$$
|x|\le h(N),
$$

其中：

$$
\boxed{h(N)=\lfloor c\log N\rfloor}
$$

或其他增長非常慢的 horizon。

這個尺度變換是整個 delayed diagonalization 的工程核心。

---

# 三、Logarithmic-Horizon Verification（LHV）

令：

$$
H_N=\{x:|x|\le h(N)\}.
$$

若：

$$
h(N)=c\log N,
$$

則：

$$
|H_N|
\le
2^{h(N)+1}
=
N^{O(1)}.
$$

所以 controller 可以在 polynomial-many 個候選輸入上搜尋 finite witness。

## 3.1 SAT 本身也能在這個小尺度被暴力計算

若公式長度：

$$
|\varphi|\le h(N)=O(\log N),
$$

最粗暴地枚舉 assignment：

$$
2^{O(|\varphi|)}
=
2^{O(\log N)}
=
N^{O(1)}.
$$

因此：

$$
\boxed{
\text{controller 不需要 SAT oracle，}
}
$$

因為它只在外層 $N$ 對數大小的 micro-instance 上問 SAT。

這是一個很重要的尺度分離：

$$
\text{exponential in micro-size}
\Rightarrow
\text{polynomial in outer size}.
$$

本輪命名：

$$
\boxed{
\mathrm{LHV}
=
\text{Logarithmic-Horizon Verification}
}
$$

---

# 四、只有對數視界還不夠：machine exponent 也要節流

即使：

$$
|x|=O(\log N),
$$

若當前 machine 的 exponent $k_i$ 巨大，模擬成本為：

$$
(\log N)^{k_i}.
$$

如果 $i$ 隨 $N$ 太快增加，這仍然可能不是：

$$
N^{O(1)}.
$$

所以 Ladner-style construction 還有第二個重要技巧：

$$
\boxed{
\text{stage index 必須比 outer scale 增長得更慢。}
}
$$

可抽象為：只有在某個固定 $c$ 下滿足

$$
h(N)^{k_i}\le N^c
$$

時，才允許對第 $i$ 個 requirement 進行完整有限檢查。

若尚未滿足：

$$
\text{wait}.
$$

因為對每個固定 $i$：

$$
k_i<\infty,
$$

而：

$$
\frac{N^c}{(\log N)^{k_i}}\to\infty,
$$

所以只要 $N$ 足夠大，該 requirement 最終一定會進入可負擔區間。

本輪命名：

$$
\boxed{
\mathrm{IET}
=
\text{Index--Exponent Throttling}
}
$$

這其實就是第十六輪 UEB 的一個合法 workaround：

> 不是建立一個同時負擔所有 $k_i$ 的固定 exponent，而是保證在任何有限 outer scale，只處理目前已成熟到可負擔的有限 stage。

---

# 五、Controller Feasibility Lemma

## 命題 5.1：尺度分離 controller

令目前 requirement $R_i$ 只需要判斷是否存在：

$$
x,
\quad
|x|\le h(N),
$$

使：

$$
C_i(x)\neq SAT(x).
$$

若：

$$
h(N)=O(\log N),
$$

且 controller 只在：

$$
h(N)^{k_i}\le N^c
$$

時對 stage $i$ 執行完整掃描，則對每個固定 stage $i$，該輪 witness search 可在：

$$
N^{O(1)}
$$

時間內完成。

### 理由

候選輸入數：

$$
2^{O(h(N))}=N^{O(1)}.
$$

每個 SAT micro-instance 的 brute-force 成本：

$$
2^{O(h(N))}=N^{O(1)}.
$$

每次 $C_i$ 模擬：

$$
h(N)^{k_i}\le N^c.
$$

因此總有限掃描仍是若干固定多項式的乘積。

### 注意

這個 lemma 只處理：

$$
\boxed{\text{controller 的單輪可計算性}}
$$

不處理：

$$
\boxed{\text{stage 是否永遠會成功前進}.}
$$

---

# 六、Finite Disagreement Witness Principle

若兩個 decision languages：

$$
A\neq B,
$$

則必存在某個有限字串：

$$
x^*
$$

使：

$$
\chi_A(x^*)\neq\chi_B(x^*).
$$

所以若：

$$
C_i\neq SAT,
$$

必存在 finite disagreement witness：

$$
x_i^*.
$$

若 horizon：

$$
h(N)\to\infty,
$$

則終有：

$$
N_i
$$

滿足：

$$
h(N_i)\ge |x_i^*|.
$$

再配合 IET，controller 最終會有某個足夠大的 outer scale，可以實際看到這個 witness。

因此：

$$
\boxed{
C_i\neq SAT
\Rightarrow
\text{stage }i\text{ 最終可被 finite evidence 推進。}
}
$$

這個結論完全不需要 controller 預先知道 witness 在哪裡。

---

# 七、那 controller 什麼時候會 freeze？

如果：

$$
C_i=SAT,
$$

則：

$$
\forall x,
\quad
C_i(x)=SAT(x).
$$

所以 disagreement witness 根本不存在。

因此一個「只有看到 witness 才能 sound 地前進」的 controller，到了這裡就會永久 freeze。

這不是 bug。

因為：

$$
C_i\in P
$$

且：

$$
C_i=SAT
$$

正好代表：

$$
\boxed{P=NP.}
$$

所以第十九輪的 Freeze-or-Separate Principle 可以強化成：

$$
\boxed{
\text{Witness-driven permanent freeze at a correct SAT machine}
\Rightarrow
P=NP.
}
$$

反之，若：

$$
P\neq NP,
$$

那麼沒有任何 clocked polynomial machine 可以等於 SAT，因此每一個 stage 都有 finite disagreement witness，controller 每個固定 stage 都會在有限時間後前進。

---

# 八、核心新結果：Limit Separation Monitor（LSM）

考慮枚舉：

$$
C_1,C_2,C_3,\ldots
$$

其中覆蓋所有 clocked polynomial machines。

定義一個 monotone stage function：

$$
s(N)\in\mathbb N,
$$

表示在 outer scale $N$ 時，controller 正在檢查第幾個 machine。

controller 使用：

- LHV；
- IET；
- finite disagreement witness search。

因此：

$$
s(N)
$$

是可計算的，而且可以設計成 polynomial-time computable in $N$。

## 8.1 若 $P\neq NP$

每一個：

$$
C_i\neq SAT.
$$

故每個 stage 最終都會找到 witness。

所以：

$$
\boxed{
P\neq NP
\Rightarrow
\forall i\ \exists N_i\ \forall N\ge N_i,
\quad s(N)>i.
}
$$

即：

$$
\boxed{s(N)\to\infty.}
$$

## 8.2 若 $P=NP$

枚舉中至少存在某個：

$$
C_j=SAT.
$$

令 $j^*$ 為第一個這樣的 index。

所有：

$$
i<j^*
$$

都與 SAT 不同，因此最終被 finite witness 擊敗。

controller 到達：

$$
j^*
$$

後，再也找不到 disagreement witness。

所以：

$$
\boxed{
P=NP
\Rightarrow
\exists j^*\exists N_0\forall N\ge N_0,
\quad s(N)=j^*.
}
$$

這是一個非常乾淨的極限表述。

---

# 九、這是不是已經「決定」 $P$ vs. $NP$？

不是。

我們只得到一個完全可計算的序列：

$$
s(1),s(2),s(3),\ldots
$$

兩種世界對應：

### 世界 A

$$
s(N)\to\infty.
$$

### 世界 B

$$
s(N)
$$

最終固定。

但任意有限時間只看得到：

$$
s(1),\ldots,s(N).
$$

若目前已經一百年沒有變：

$$
\text{可能真的永遠不變，}
$$

也可能只是下一個 disagreement witness 極端巨大。

同樣地，目前一直在增加也不能有限地保證未來不會碰到正確 SAT solver。

所以：

$$
\boxed{
\text{Computable Monitor}
\neq
\text{Finite Decider}.
}
$$

本輪把這叫做：

$$
\boxed{
\mathrm{AOB}
=
\text{Asymptotic Observation Barrier}
}
$$

---

# 十、量詞結構：為什麼極限行為會自然出現？

$P=NP$ 可用 clocked machines 寫成：

$$
\exists i\ \forall x,
\quad
C_i(x)=SAT(x).
$$

而 $P\neq NP$ 為：

$$
\forall i\ \exists x,
\quad
C_i(x)\neq SAT(x).
$$

這正好解釋 controller 的兩種行為：

## 等號世界

某個 stage：

$$
\exists i
$$

之後永遠找不到 counterexample。

## 不等號世界

對每個 stage：

$$
\forall i
$$

都最終找到某個：

$$
\exists x.
$$

所以：

$$
\boxed{
\text{stage dynamics 其實是在執行 }\exists\forall
\text{ 與 }\forall\exists
\text{ 的量詞競賽。}
}
$$

這也解釋了為什麼「找到 disagreement」永遠是有限事件，而「永遠沒有 disagreement」不是有限觀察能直接確認的事件。

---

# 十一、對第十九輪 Stage Witness Debt 的修正

第十九輪提出：

$$
\mathrm{SWD}=\text{Stage Witness Debt}.
$$

本輪應拆成：

## 11.1 Computational Stage Witness Debt

問題：

> witness 搜尋是不是太貴？

LHV + IET 可以支付很大部分：

$$
\boxed{
\mathrm{SWD}_{\mathrm{comp}}
\text{ 可透過 scale separation 控制。}
}
$$

## 11.2 Semantic Progress Debt

問題：

> witness 到底存不存在？

若候選 machine 正確，根本沒有 witness。

因此：

$$
\boxed{
\mathrm{SWD}_{\mathrm{sem}}
\text{ 不能靠等待或更大算力自動支付。}
}
$$

它取決於：

$$
C_i\stackrel{?}{=}SAT.
$$

---

# 十二、Controller Completeness Trap 的新版

舊版 CCT 太籠統。

本輪拆成：

## 12.1 Controller Feasibility Problem

能否讓：

$$
\mathcal C(s,N)
$$

在 polynomial time 內完成有限 stage check？

答案：

$$
\boxed{\text{可以，至少 Ladner-style constructions 已展示成熟模板。}}
$$

## 12.2 Controller Progress Problem

能否無條件保證：

$$
s(N)\to\infty?
$$

若這個 controller 的 stage $i$ 正是在挑戰：

$$
C_i\neq SAT,
$$

則：

$$
s(N)\to\infty
$$

本身就等價地依賴：

$$
P\neq NP.
$$

因此不能把 progress guarantee 當成 construction 的免費副產品。

本輪命名：

$$
\boxed{
\mathrm{LGP}
=
\text{Local--Global Progress Split}
}
$$

---

# 十三、Schöning Uniform Diagonalization 告訴我們什麼？

Schöning 1982 的 Uniform Diagonalization Theorem 將 delayed diagonalization 抽象成一個通用框架。

粗略地說，對合適的 recursively presentable complexity classes $C,C'$，若已有：

$$
A\notin C,
$$

以及：

$$
A'\notin C',
$$

則可以構造一個新的 diagonal problem $B$，同時避開 $C$ 與 $C'$，又保持對標記聯集／基準問題的 reduction 控制。

這非常重要，因為它表示：

$$
\boxed{
\text{delayed controller 並不是 Ladner proof 的偶然技巧；它可以被一般化。}
}
$$

但它同時也很誠實：

$$
\boxed{
\text{Uniformity 並沒有消除「基準問題確實在 class 外」這個 premise。}
}
$$

後來的 uniform diagonalization extensions 也明確把「中間問題存在」建立在 classes 不相等／已有 class-external problem 的前提上。

所以：

$$
\boxed{
\text{controller 可以 uniformize；separation premise 不能被 controller engineering 偷掉。}
}
$$

---

# 十四、等號隊的新攻擊：monitor 既然會 freeze，那 freeze 是資訊啊

等號隊說：

> 如果 $s(N)$ 長期不動，不就表示我可能找到 SAT solver 了？

是，但只有「可能」。

在任何有限 $N$，都有兩種相容世界：

### 世界 1

目前 candidate：

$$
C_i=SAT.
$$

因此永遠不再有 witness。

### 世界 2

$$
C_i\neq SAT,
$$

但最短 disagreement witness：

$$
|x_i^*|
$$

大到目前 horizon 尚未碰到。

所以 finite plateau length：

$$
N-N_{\mathrm{last\ switch}}
$$

本身不能成為 sound equality certificate。

這叫：

$$
\boxed{
\mathrm{FPCF}
=
\text{Finite Plateau Certification Fallacy}
}
$$

---

# 十五、不等號隊的新攻擊：那我只要看到 stage 一直增加

同樣不行。

對任意有限觀察期，controller 可能已經依序擊敗：

$$
C_1,\ldots,C_m
$$

但下一個：

$$
C_{m+1}
$$

就可能是真正的 SAT solver。

因此：

$$
\boxed{
\text{任意有限多個 P-machine 失敗}
\not\Rightarrow
P\neq NP.
}
$$

這正是第一輪以來一直反覆出現的有限模型覆蓋問題，現在以 stage dynamics 形式重現。

本輪稱：

$$
\boxed{
\mathrm{FPPF}
=
\text{Finite Progress Proof Fallacy}.
}
$$

---

# 十六、這和最早的「動態速率」研究線其實重新接上了

非常有趣的是，本輪的：

$$
s(N)
$$

真的是一個**動態速率變量**。

可以定義：

$$
\Gamma(N)
=
s(N+1)-s(N).
$$

通常：

$$
\Gamma(N)\in\{0,1\}
$$

或有限小值。

但真正區分兩個世界的不是某一刻的：

$$
\Gamma(N),
$$

而是長期性質：

### $P=NP$ 世界

$$
\exists N_0\ \forall N\ge N_0,
\quad
\Gamma(N)=0.
$$

### $P\neq NP$ 世界

對每個 stage 都會再出現進展：

$$
\forall i\ \exists N,
\quad s(N)>i.
$$

所以傳統 P/NP 的全稱／存在量詞，在這裡被映射成了一個 computational process 的 asymptotic phase。

但注意：

$$
\boxed{
\text{這是重表示，不是證明。}
}
$$

它的價值在於把「controller 到底缺什麼」變得非常精確。

---

# 十七、這是否是新的算法？不是

Limit Separation Monitor 不會在有限時間輸出：

$$
P=NP
$$

或：

$$
P\neq NP.
$$

它只生成一條可計算 trajectory：

$$
s(1),s(2),\ldots
$$

其無限期行為對應兩種世界。

因此它更像：

$$
\boxed{
\text{semantic monitor / limit characterization}
}
$$

而不是：

$$
\boxed{
\text{decision procedure}.
}
$$

這一點必須在任何公開版本中明確寫出，避免誤解為「用程式跑久一點就能解 P/NP」。

---

# 十八、Relativization 壓力測試

整個 monitor 使用：

- machine enumeration；
- finite simulation；
- disagreement search；
- delayed stage advancement。

這些技巧本質上高度 relativizing。

若加入 oracle $O$，同樣可以定義：

$$
s^O(N)
$$

監控：

$$
P^O\stackrel{?}{=}NP^O.
$$

而 Baker–Gill–Solovay 已知存在不同 oracle 使：

$$
P^A=NP^A,
$$

與：

$$
P^B\neq NP^B.
$$

所以：

$$
\boxed{
\text{Limit Monitor 本身仍然沒有突破 relativization barrier。}
}
$$

若未來要從 monitor trajectory 真正抽出 separation proof，需要一個不能原封不動 oracle-relativize 的新增數學成分。

---

# 十九、本輪淘汰／修正的說法

## 修正 1

舊說：

> Stage controller 要有效知道 SAT 的全域語義，所以可能根本不可計算。

修正：

> Ladner-style controller 只需在 $O(\log N)$ 的 micro-instances 上做 exact finite checks，並可透過 IET 保持 polynomial。

---

## 修正 2

舊說：

> Stage Witness Debt 主要是 witness 搜尋太貴。

修正：

> computational witness debt 可以被尺度分離支付；真正剩下的是 witness 是否存在的 semantic progress debt。

---

## 淘汰 1

$$
\text{「controller 可以 polynomial-time 執行」}
\Rightarrow
\text{「controller 無條件永遠 progress」}.
$$

錯。

---

## 淘汰 2

$$
\text{「目前 plateau 很久」}
\Rightarrow
P=NP.
$$

錯。

---

## 淘汰 3

$$
\text{「目前已擊敗很多 polynomial machines」}
\Rightarrow
P\neq NP.
$$

錯。

---

# 二十、本輪正式成果

## 20.1 Logarithmic-Horizon Verification（LHV）

透過：

$$
h(N)=O(\log N),
$$

將 micro-scale exponential exact checking 轉成 outer-scale polynomial cost。

## 20.2 Index--Exponent Throttling（IET）

透過等待 outer scale 成熟，使固定 stage 的：

$$
h(N)^{k_i}
$$

落入：

$$
N^{O(1)}.
$$

## 20.3 Local--Global Progress Split（LGP）

$$
\boxed{
\text{controller feasibility}
\neq
\text{global progress guarantee}.
}
$$

## 20.4 Limit Separation Monitor（LSM）

構造 computable stage sequence：

$$
s(N)
$$

使：

$$
P\neq NP
\Rightarrow
s(N)\to\infty,
$$

而：

$$
P=NP
\Rightarrow
s(N)
\text{ 最終穩定於第一個正確 SAT polynomial machine}.
$$

## 20.5 Asymptotic Observation Barrier（AOB）

即使 trajectory 完全可計算，

$$
\text{eventual stabilization}
$$

與：

$$
\text{unbounded progress}
$$

仍不是任何有限 prefix 可以無條件確認的性質。

## 20.6 Uniformization Is Not Separation

Schöning-style uniform diagonalization 可以統一 controller construction，但仍需要 class-separation／external-language premise；它不把 $P\neq NP$ 從無到有製造出來。

---

# 二十一、雙方戰果

## $P=NP$ 方

獲得一個很有趣的語義解讀：

$$
\boxed{
P=NP
\Longleftrightarrow
\text{某個 polynomial SAT candidate 使 monitor 最終 freeze}.
}
$$

也就是 equality world 可以表現為 computable trajectory 的 absorbing state。

等號隊說：

> 「你們一直往前跑，跑到我這台就不用跑了。」

---

## $P\neq NP$ 方

獲得：

$$
\boxed{
P\neq NP
\Longleftrightarrow
\text{每個 fixed polynomial candidate 最終都有 finite disagreement witness}.
}
$$

因此 controller 不需要一次看穿所有機器，只需逐 stage 等 finite counterexample 出現。

不等號隊說：

> 「我不需要知道下一個反例在哪；只要你是錯的，它總有一天會出現。」

---

# 二十二、本輪比分

$$
P=NP:19
$$

$$
P\neq NP:19
$$

……

這已經不是控分。

這個比分大概也是一個 eventual fixed point。（歪臉笑）

比分僅為遊戲介面，不具有證明意義。

---

# 二十三、第二十一輪入口：Limit Observation Barrier

現在問題已經非常明確。

我們有一個 polynomial-time computable monitor：

$$
s(N).
$$

其 asymptotic behavior 精確區分：

$$
\text{eventually constant}
$$

與：

$$
\text{unbounded}.
$$

下一輪要問：

$$
\boxed{
\text{能否把這個無限期差異壓成有限的數學證書？}
}
$$

具體研究：

1. 是否存在 finite stabilization certificate？
2. 是否存在 finite unboundedness certificate？
3. 這兩者分別對應什麼量詞層級？
4. 能否用 proof systems／induction／invariants 證明 monitor 必然最終 freeze 或必然無界？
5. 若證書本身需要：

$$
\forall N\exists N'>N,
$$

是否只是把 $P\neq NP$ 換了一種語法？
6. 能否找一個 non-relativizing invariant，將「無限 future behavior」壓成 finite structural obstruction？
7. 原始 P/NP 認知動力學中的「狀態收斂／不收斂」是否可在這裡得到更嚴格的數學接口？

下一輪暫名：

$$
\boxed{
\text{Quantifier Monitor Game / 極限量詞監視器}
}
$$

---

# 二十四、外部理論參照

1. **Richard E. Ladner**, *On the Structure of Polynomial Time Reducibility*, Journal of the ACM 22(1), 1975.
   - 經典 delayed diagonalization 與 NP-intermediate theorem。

2. **Phillip Rogaway**, *Two Proofs of Ladner's Theorem*（課程講義）。
   - https://www.cs.ucdavis.edu/~rogaway/classes/220/winter06/ladner-theorem.pdf
   - 清楚展示只檢查 $|x|\le \log n$ 的小輸入，並利用延遲條件保持控制函數 polynomial-time computable。

3. **Uwe Schöning**, *A Uniform Approach to Obtain Diagonal Sets in Complexity Classes*, Theoretical Computer Science 18 (1982), 95–103.
   - https://doi.org/10.1016/0304-3975(82)90114-1
   - 將 delayed diagonalization 統一化為一般 complexity-class construction framework。

4. **Friederike Anna Dziemba**, *Uniform Diagonalization Theorem for Complexity Classes of Promise Problems including Randomized and Quantum Classes*, 2017.
   - https://arxiv.org/abs/1712.07276
   - 對 Uniform Diagonalization Theorem 的現代整理與 promise-problem 擴張；亦明確指出 intermediate-problem conclusions 建立於 class inequality／external-problem premises。

5. **Baker, Gill, Solovay**, *Relativizations of the $P=?NP$ Question*, SIAM Journal on Computing 4(4), 1975.
   - relativization barrier 的經典來源。

---

## 本輪裁定

$$
\boxed{
\text{第二十輪沒有找到「萬能 controller」；反而發現 controller 的運算並不是最難的部分。}
}
$$

更準確地：

$$
\boxed{
\text{有限 witness search 可以透過尺度分離被做得很便宜；}
}
$$

但：

$$
\boxed{
\text{「永遠不會再出現 witness」或「每一 stage 最終都會出現 witness」是極限語義。}
}
$$

所以第十九輪的問題被重新定位為：

$$
\boxed{
\text{不是 Stage Controller Complexity，}
}
$$

而是更精確的：

$$
\boxed{
\text{Stage Controller Asymptotics / Limit Observation Barrier}.
}
$$

這讓下一輪不再問「controller 能不能算」，而是問：

$$
\boxed{
\text{能不能用有限數學結構證明一條可計算 trajectory 的無限期命運？}
}
$$