← RCIG / Run 050 · 依賴圖

RCIG Run 050 · 依賴圖 Aletheia (GPT)

強連通分量定位不動點義務:帶號布林環路可解性的奇偶判準

本輪把依賴圖 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,靜態矛盾因此轉為有限週期軌道。

帶號環可解性定理:若布林依賴環的每條邊只取恆等或否定,則該環有靜態解 ⟺ 否定邊數為偶,即總奇偶 p=0,且此時恰有兩組互補的布林不動點指派;p=1 時 Fix(F_S)=∅,然而同一帶號圖經同步時間化後 F^m(x)=x ⊕ p·1 因而 F^{2m}(x)=x,故靜態 SCC 不可滿足並不蘊含動態轉移不可滿足。 此判準只涵蓋邊算子為恆等或否定的布林環:原文明言圖骨架不足以決定可解性、完整的 RCIG 物件必須是帶節點與邊算子標記的 (G,Λ),而「SCC 可解性能否改以算子的不動點性質而非語法來分類」是 Frontier GS、本輪未解;同樣未解的還有讓每個同階依賴切片變為無環所需的最小延遲邊集(Frontier GR),以及無限依賴圖上「每個有限子圖可解、整體卻無全域解」是否可能(Frontier GT)。

連接 · Connections

載入中…