FDRS / FCSR Classical Cube Foundations I

起源重建：從 FCSR 色位展平到可驗證魔方計算

英文題名： Origin Reconstruction: From FCSR Flat Color-State Representation to Verifiable Cube Computation
系列： FDRS / FCSR Classical Cube Foundations
系列編號： EML-FDRS-FCSR-CUBE-01
版本： v0.1
日期： 2026-08-19
作者： Neo.K
機構： 一言諾科技有限公司（EveMissLab）
狀態： Orthodox Origin Continuation / 起源正統延續稿

摘要

FDRS（Flattened Dimensional Reconstructive Theory，展平式維度重構理論）的早期發展並非先從抽象算子或一般高維結構開始，而是由 FCSR（Flat Color-State Resolution）魔術方塊模型出發：將標準魔方的立體外觀展開為平面色位表示，使立體旋轉可以被轉寫為有限位置集合上的離散狀態遷移。其後，FDRS 才逐步由具體魔方模型推廣至一般結構映射、維度重構與 RDCM。

本文回到此一起源線，重新建立一個不依賴後期 FDRS 2.x 抽象算子框架的經典魔方計算基礎。本文保留早期 FCSR 的核心直覺，但修正三個重要混淆。第一，魔方從立體視圖展開為二維網格，首先是一種表示變換，不等同於組合狀態空間本身必然降維或變小。第二，合法魔方狀態不是任意的 $6\times9$ 色彩矩陣，而是由合法機械轉動所生成的可達狀態子集。第三，求解器的正確性、完備性與最短性是彼此不同的性質，不應混為「能解」單一命題。

在此基礎上，本文把標準經典魔方定義為有限狀態轉移系統，將 FCSR 定位為該系統的一個觀察／表示層，並以交換圖刻畫立體表示、展平表示與抽象狀態遷移之間的一致性。本文進一步定義 solver contract，使任何 BFS、A*、IDA*、Two-Phase 或後續 AI solver 都可以共享同一個「解序列可被獨立驗證」之語義基礎。此重建使 FCSR 從早期的直觀展平模型轉化為後續形式驗證、演算法比較、多表示同步可視化與多類 twisty puzzle 泛化的共同地基。

關鍵詞： FCSR、FDRS、Rubik's Cube、twisty puzzle、狀態表示、置換、有限狀態系統、solver verification、可視化計算、形式驗證

1. 起源：FDRS 先從魔方開始

2025 年 FDRS 起源文本的核心路徑可以重建為：

\text{Rubik-like Cube} \rightarrow \text{FCSR} \rightarrow \text{Flattening} \rightarrow \text{Transformation} \rightarrow \text{Reconstruction} \rightarrow \text{FDRS / RDCM}.

原始 FCSR 的直覺非常直接：對人類而言，立體魔方要求同時維持多面空間關係；若把六個面展開為十字形或其他平面網格，原本的立體鄰接可以轉寫成平面位置關係，而面轉動則可以寫成色位的機械化遷移規則。

這個起點具有兩個不同層次。

第一層是認知與可視化層：同一個魔方狀態可以在不同觀察形式中呈現。

第二層是計算層：一旦位置與操作被離散化，魔方就可以被視為一個有限狀態轉移系統。

早期文本曾把兩者緊密地描述成「高維到低維展平」。本文保留這個歷史語義，但在現代重建中把它們分開，以避免把「畫面上的幾何降維」直接等同於「組合問題的計算複雜度下降」。

因此，本系列中的 FCSR 不再被定義為「魔方求解法」，而被定義為：

一套把同一個 twisty puzzle 抽象狀態投影到可讀、可操作、可同步驗證之表示空間的觀察層。

2. 現代基線：經典 $3\times3\times3$ 已是一個成熟計算問題

對標準 $3\times3\times3$ 魔方而言，計算求解早已不是「是否存在算法」的問題。標準合法狀態空間共有

43{,}252{,}003{,}274{,}489{,}856{,}000

個可達位置。2010 年的完整計算結果證明，在 half-turn metric（HTM）下，每個合法位置都可在至多 $20$ 步內解決；2014 年進一步確立 quarter-turn metric（QTM）的對應最壞情況為 $26$ 步。

因此，本文不把「電腦能解魔方」視為新結果。真正值得重建的是：

狀態應如何被精確表示；
不同表示是否共享同一個底層語義；
move 如何在不同表示間保持一致；
solver 輸出的解如何被獨立驗證；
搜尋過程如何被可視化；
後續如何將同一架構泛化到更多 twisty puzzle。

現代經典高效方法亦已展示「表示選擇」對求解效率的重要性。Kociemba Two-Phase Algorithm 將完整狀態先送入子群

G_1=\langle U,D,R^2,L^2,F^2,B^2\rangle,

第一階段使用角塊朝向、邊塊朝向與 UD-slice 等座標，搭配 IDA* 與 pruning table 尋找進入 $G_1$ 的路徑；第二階段再於受限 move set 中完成排列。這說明「求解性能」並不只取決於搜尋器名稱，而高度依賴狀態座標、商空間、下界估計與剪枝結構。

對 FCSR/FDRS 而言，這不是競爭關係，而是一個重要提醒：

\text{representation} \neq \text{visual appearance only}.

表示可以直接改變計算代價。

3. 第一個修正：幾何展平不等於狀態空間降維

令抽象合法狀態集合為 $\mathcal{S}$ 。

一個具體魔方狀態 $s\in\mathcal{S}$ 可以有多個表示：

R_{3D}:\mathcal{S}\rightarrow\mathcal{V}_{3D},

R_{\mathrm{flat}}:\mathcal{S}\rightarrow\mathcal{V}_{2D},

R_{\mathrm{facelet}}:\mathcal{S}\rightarrow\mathcal{C}^{54},

R_{\mathrm{cubie}}:\mathcal{S}\rightarrow\mathcal{K},

R_{\mathrm{perm}}:\mathcal{S}\rightarrow\mathfrak{S}_{54}.

這些表示描述的是同一個底層狀態，但它們的資料結構、認知負荷與演算法效率可以不同。

因此，從三維視覺模型切換到二維 FCSR net，比較精確的說法不是：

\text{state dimension }3\rightarrow2,

而是：

R_{3D}(s)\rightarrow R_{\mathrm{flat}}(s).

其幾何呈現維度下降，但底層有限組合狀態並沒有因此自動縮小。

這個修正並不否定早期 FDRS 的核心洞見。相反，它把洞見變得更精確：

複雜性可能來自表示；改變表示可以改變觀察、操作與搜尋成本，但不能在沒有額外證明的情況下宣稱底層組合複雜度已被消除。

4. 經典魔方的有限狀態轉移模型

定義一個經典 twisty puzzle：

\mathcal{P}=(\mathcal{S},\mathcal{A},T,s_\star,\mu),

其中：

$\mathcal{S}$ 為合法狀態集合；
$\mathcal{A}$ 為基本操作集合；
$T:\mathcal{S}\times\mathcal{A}\rightarrow\mathcal{S}$ 為狀態轉移；
$s_\star\in\mathcal{S}$ 為 solved state；
$\mu$ 為 move metric。

對標準 $3\times3\times3$ ，可取基本 face move 生成元：

\mathcal{G}=\{U,D,L,R,F,B\}.

若把逆轉與半轉直接納入 move alphabet，常用搜尋 move 集可以寫成：

\mathcal{A}_{18} = \{U,U',U^2,D,D',D^2,L,L',L^2,R,R',R^2,F,F',F^2,B,B',B^2\}.

每個 move 都是可逆的，因此對任意 $a\in\mathcal{A}$ 存在 $a^{-1}$ ，滿足：

T(T(s,a),a^{-1})=s.

對 move sequence

p=(a_1,a_2,\ldots,a_k),

定義其延伸轉移：

T^\ast(s,p) = T(\cdots T(T(s,a_1),a_2)\cdots,a_k).

這就是所有經典 solver 的共同語義地基。

5. 第二個修正：Facelet array 不是合法狀態集合本身

早期 FCSR 使用 $54$ 個色位表示魔方，這是合理且非常適合可視化的 encoding。但若令顏色集合為 $\mathcal{C}$ ，則

\mathcal{C}^{54}

包含大量不可能由合法魔方轉動產生的配置。

因此應區分：

\mathcal{E}_{54}=\mathcal{C}^{54}

與

\mathcal{S}_{\mathrm{legal}} \subsetneq \mathcal{E}_{54}.

FCSR facelet encoding 是映射：

E_{\mathrm{FCSR}}: \mathcal{S}_{\mathrm{legal}} \rightarrow \mathcal{E}_{54}.

它提供完整觀察資料，但「任何 $54$ 格顏色排列都是魔方狀態」並不成立。

這個區分對後續形式驗證非常重要。若 solver 接受任意 facelet array，就必須先執行 legality validation；若 solver 的輸入型別本身已被限制為合法狀態，則合法性可以由型別或構造證明攜帶。

6. Move 的置換語義

對固定 facelet index set

P=\{0,1,\ldots,53\},

每個基本 move $a$ 可以表示為位置集合上的雙射：

\sigma_a:P\rightarrow P.

因此：

\sigma_a\in\mathrm{Sym}(P).

若 facelet state 寫為

x:P\rightarrow\mathcal{C},

move 的作用可以表示為：

(T_a x)(i)=x(\sigma_a^{-1}(i)).

由於 $\sigma_a$ 為雙射，立刻得到 move 可逆性。

這裡應特別注意：置換語義不是因為 FCSR 把魔方「畫平」才成立。它來自魔方本身的離散可逆操作結構。FCSR 的價值在於把這個置換作用以人類可見的形式同步呈現出來。

7. FCSR 的核心定理應重寫為「表示－操作交換性」

令

R_i:\mathcal{S}\rightarrow\mathcal{V}_i

為第 $i$ 種表示。

若對每個 move $a$ ，存在表示域中的對應操作

\widetilde{T}_{i,a}:\mathcal{V}_i\rightarrow\mathcal{V}_i,

使得對所有 $s\in\mathcal{S}$ ：

R_i(T(s,a)) = \widetilde{T}_{i,a}(R_i(s)),

則稱表示 $R_i$ 對 move semantics 是一致的。

其交換圖為：

\begin{array}{ccc} \mathcal{S} & \xrightarrow{T_a} & \mathcal{S} \\ \downarrow R_i & & \downarrow R_i \\ \mathcal{V}_i & \xrightarrow{\widetilde{T}_{i,a}} & \mathcal{V}_i \end{array}

這個命題比「展平保持所有高維本質」弱得多，但也精確得多，而且可以直接被程式測試與 Lean 形式化。

對 FCSR 而言，真正需要證明的是：

R_{\mathrm{flat}}(T(s,a)) = \widetilde{T}_{\mathrm{flat},a}(R_{\mathrm{flat}}(s)).

若它成立，則在平面 net 上看到的 move 與抽象魔方狀態中的 move 是同一事件的兩種表示。

8. Solver Contract：能解、總能解、最短解是三件事

令 solver 為：

\mathrm{Solve}: \mathcal{S} \rightarrow \mathrm{Option}(\mathcal{A}^{\ast}).

8.1 Soundness

若 solver 回傳路徑 $p$ ，則必須真的解掉魔方：

\mathrm{Solve}(s)=\mathrm{some}(p) \Rightarrow T^\ast(s,p)=s_\star.

這是最基本的 solver correctness。

8.2 Completeness

若輸入是可達合法狀態，solver 最終應能回傳某個解：

s\in\mathcal{S}_{\mathrm{legal}} \Rightarrow \exists p,\; \mathrm{Solve}(s)=\mathrm{some}(p).

這比 soundness 更強。

8.3 Optimality

對 metric $\mu$ ，若 solver 回傳 $p$ ，還可以要求：

\forall q,\; T^\ast(s,q)=s_\star \Rightarrow \mu(p)\leq\mu(q).

這才是最短解。

因此：

\text{sound} \not\Rightarrow \text{complete} \not\Rightarrow \text{optimal}.

後續 BFS、IDA*、Two-Phase 與 AI solver 都應放進同一 contract 下比較，而不是只以執行時間或 move count 混合評價。

9. 最短路徑存在性：應限定在合法可達域

對固定合法魔方，move 生成一個有限圖：

\Gamma=(V,E),

其中：

V=\mathcal{S}_{\mathrm{legal}},

且若存在 $a\in\mathcal{A}$ 使得

T(s,a)=s',

則 $(s,s')\in E$ 。

由於每個 move 可逆，對標準魔方的合法可達分量，任意狀態與 solved state 之間存在有限路徑。又因圖有限，所有解路徑長度的非空集合在自然數上存在最小值，因此最短解存在。

這裡不需要先使用 God's Number 才能證明「最短解存在」。God's Number 回答的是更強的全域直徑問題：

\max_{s\in\mathcal{S}_{\mathrm{legal}}} d(s,s_\star).

在 HTM 下此值為 $20$ ；QTM 下為 $26$ 。

10. FCSR 新定位：Observer Layer，而非 Solver 本身

本文建議把 FCSR 重新定位為：

\boxed{ \text{FCSR} = \text{State Representation} + \text{Operation Projection} + \text{Synchronized Visualization}. }

它不與 BFS、IDA* 或 Two-Phase 競爭。

相反，solver 可以被插入 FCSR：

\text{State} \rightarrow \text{Solver} \rightarrow \text{Move Sequence},

同時每一步都同步顯示：

R_{3D}(s_t), \quad R_{\mathrm{flat}}(s_t), \quad R_{\mathrm{perm}}(s_t), \quad R_{\mathrm{cubie}}(s_t), \quad R_{\mathrm{search}}(s_t).

因此，FCSR 的工程優勢是讓使用者同時看到：

魔方現在長什麼樣；
展平後如何表示；
哪些位置被 move 置換；
solver 如何評估當前狀態；
哪些搜尋分支被剪掉；
最終解序列如何被逐步驗證。

這比單純顯示「Solved in 0.02 s」更接近本研究的核心。

11. 從 2025 Demo 到新版實驗室

2025/2026 已有 FDRS 魔方網頁原型實作 permutation-based engine、IDA*、adjacency graph、連通分量、FSM 與 $3D\leftrightarrow2D$ 連續 morph。

新版不應推翻該原型，而應將其拆成可驗證的模組：

\text{Twisty State Kernel}

+

\text{Representation Adapters}

+

\text{Solver Interface}

+

\text{Search Instrumentation}

+

\text{Visualization Runtime}.

最關鍵的工程原則是：

所有畫面表示必須讀取同一個 canonical state；所有 solver 必須透過同一個 move semantics 修改狀態；任何表示都不能私自維護一套不同的魔方真相。

12. 形式驗證的第一批目標

後續 Lean 形式化不應先從「證明 IDA* 很快」開始，而應從最小可信核心開始。

第一批建議目標：

F1. Move invertibility

\forall s,a,\; T(T(s,a),a^{-1})=s.

F2. Sequence composition

T^\ast(T^\ast(s,p),q) = T^\ast(s,p\mathbin{+\!\!+}q).

F3. Representation consistency

R_i(T(s,a)) = \widetilde{T}_{i,a}(R_i(s)).

F4. Solution certificate correctness

\mathrm{Check}(s,p)=\mathrm{true} \Rightarrow T^\ast(s,p)=s_\star.

F5. Solver soundness

\mathrm{Solve}(s)=\mathrm{some}(p) \Rightarrow \mathrm{Check}(s,p)=\mathrm{true}.

一旦 F1--F5 完成，任何未形式化的高速 solver 也可以先作為「不可信搜尋器」，只要它輸出的解序列交給已形式化 checker 驗證，就可以得到可信的最終求解結果。

這是後續把高效工程與嚴格形式驗證拆開的關鍵。

13. 與人類速解的關係

本研究不以取代或貶低 speedcubing 為目的。

人類 speedcubing 的主要限制與優化對象包括感知、模式識別、公式重編碼、記憶、預判與手部動作；計算機 solver 則主要處理狀態編碼、搜尋、剪枝、子群分解、查表與證書驗證。兩者共享同一個 puzzle，但優化的資源完全不同。

因此本系列的 KPI 不設定為「比人快」，而設定為：

\text{correctness}, \quad \text{coverage}, \quad \text{representation clarity}, \quad \text{verifiability}, \quad \text{algorithm observability}, \quad \text{generality}.

換句話說，我們更在乎：

能否讓人與 AI 清楚看到同一個有限狀態世界，是如何被不同表示、不同算法與不同證明層共同處理。

14. 本文核心命題

本文將 FCSR 的正統起源命題重新收斂為以下五項。

命題 O1：抽象狀態優先

魔方本體的計算語義由合法狀態與 move transition 定義； $3D$ 、 $2D$ 、facelet、cubie 與 permutation 都是其表示。

命題 O2：展平是表示轉換

FCSR 的 $3D\rightarrow2D$ 首先是 observation / representation transform，不自動推出組合狀態空間縮小。

命題 O3：操作必須跨表示一致

任何可接受的 FCSR 表示必須滿足 move semantics 的交換性。

命題 O4：solver 與表示解耦

solver 應作用於 canonical state 或其經證明等價的 coordinate representation，而可視化只是同步觀察層。

命題 O5：解應可被獨立驗證

solver 的核心輸出不是「相信我已經解了」，而是一個可重播、可檢查、可形式驗證的 move certificate。

15. 結論

FCSR 的歷史價值不在於它曾提出另一套人類魔方公式，而在於它把魔方視為「同一狀態在不同觀察空間中仍可保持操作語義」的具體示範。

早期 FDRS 從這個具體問題向一般維度重構理論展開；後續 FDRS 2.x 又進一步進入抽象算子與鏈複形。本系列現在做的是另一件事：回到起點，把當年沒有充分形式化的具體計算地基重新完成。

因此，本系列的第一個核心公式不是新的求解捷徑，而是：

\boxed{ R_i(T(s,a)) = \widetilde{T}_{i,a}(R_i(s)). }

它說明同一個 move 可以被立體視圖、FCSR 平面網格、置換結構、cubie state 與搜尋器同時理解，而且這些理解必須對同一個底層事件保持一致。

一旦這個地基成立，下一步才能合理地比較不同表示、不同搜尋算法、不同 heuristic、不同證明策略，以及最終擴張到多類 twisty puzzle。

在更遠的未來，當經典固定規則域被完整處理後，才有充分基礎解除其 stationary assumptions，進入 Dynamic Cube / Dynamic Twisty Systems。

參考資料與來源定位

起源文件

[F2025-A] Neo.K，《展平式維度重構理論：完整數學架構與概念解析》，2025 年 8 月。
[F2025-B] Neo.K，《展平式維度重構理論：從 FCSR 到 FDRS 的完整數學架構》，2025 年 8 月。
[F2025-C] Neo.K & Claude，《展平式維度重構理論作為通用問題解決框架：機會與風險的平衡分析》，2025 年 9 月。
[F2026-D] FDRS_展開收斂_同步性.html，FDRS/FCSR 魔方可視化與 IDA* 實驗原型。
[F2026-E] 《展平式維度重構理論 II：連接算子統一框架 v2.1》，2026 年 6 月。本文僅用其確認後期理論分支歷史，不以其覆寫 FCSR 起源定義。

外部計算基線

[R1] Tomas Rokicki, Herbert Kociemba, Morley Davidson, John Dethridge，God's Number is 20，2010。用於 HTM 全域直徑與標準合法狀態總數基線。
[R2] Tomas Rokicki, Morley Davidson，God's Number is 26 in the Quarter-Turn Metric，2014。用於 QTM 全域直徑基線。
[R3] Herbert Kociemba，The Two-Phase Algorithm / Two-Phase Algorithm Details。用於 $G_1$ 、coordinate、IDA*、pruning table 與 two-phase 設計基線。
[R4] World Cube Association，WCA Regulations，2026。用於現代競賽規則與 move / event 語境參照。

版本註記

v0.1 的任務不是宣稱 FCSR 已經證明一般性的「高維無損降維」，而是把其魔方起源重新寫成可以被程式、演算法與形式證明逐步驗證的有限離散命題。

後續第二篇將處理：

《合法狀態與群作用：魔方狀態空間的嚴格計算模型》。

FDRS _ FCSR Classical Cube Foundations I