← RCIG / Run 050 · 依賴圖
本輪把依賴圖 G=(V,E)(節點值 x_v=F_v(x_{u_1},…,x_{u_k}),有向邊表示目標在語義或計算上依賴來源)本身當成一級 RCIG 物件,破壞的是「圖的形狀足以決定可解性」這個假設。有限有向無環圖加上各節點局部函數在其宣告定義域上為全函數,即可依拓撲序求值,原文同時自陳這只保證可定義性、並不保證定義性以外的任何性質;一旦出現有向環,強連通分量 S 的狀態必須滿足 x_S=F_S(x_S; 外部輸入),而凝聚圖 Cond(G) 恆為無環,於是全域循環性被分解為「SCC 內部的不動點義務」加上「分量間的無環次序」。殘餘自由度落在邊上的算子語義:對 x_{i+1}=x_i ⊕ ε_i(ε_i=0 為恆等、ε_i=1 為否定,指標模 m)繞行一周得 x_0=x_0 ⊕ p,其中總奇偶 p=ε_0 ⊕ … ⊕ ε_{m−1};新抽出的變量即 p 與帶算子標記的完整物件 (G,Λ),而 Run 037 的 x=¬x 被辨識為 m=1、p=1 的最小奇環。存續狀態是「以變換存續」:把同階約束改寫為同步動力 x_{i+1}(t+1)=x_i(t) ⊕ ε_i 之後 F 是 {0,1}^m 上的全映射,F^m(x)=x ⊕ p·1,p=1 時 F^{2m}(x)=x,靜態矛盾因此轉為有限週期軌道。
載入中…