※ 引述《CHOIP ()》之銘言：
: 我根據XII的模型，試圖作了一些小小的修正
: 目前得到的結果如下：
: 假設X是一個G步的轉法，可以還原方塊成原來的樣子
: 那我們可以寫成：
: X = "ABCDEF......XYZ"，|X| = |G|
: \_____共G步___/
其實這樣寫會有一個問題, 就是
A 算一步, 但是 A "可以轉幾下"?
A 可以是 RUR'U' 4下, 也可以是 (Ry)^60 60下
如果沒規定 A,B,... 可以轉幾下的話
這樣寫出的 X =ABC...XYZ 是沒意義的
原因如下:
你可以先把這 |G| 種組合方式排順序 A(1), A(2),..., A(|G|)
令A(0)=A(|G|)=拼好的方塊
A(0) 利用步驟 A 拼成 A(1), A(1) 利用步驟 B 拼成 A(2)
(只要步數夠多一定都辦得到)
.....
A(|G|-1) 利用步驟 Z 拼成 A(|G|)
這樣只是硬拼...
: 到這裡，少了一個基本的定義，令這個運算元為+ (也就是原作者的*)
: 所以，X應該寫成：A+B+C+...+X+Y+Z，可以簡寫成"ABC...XYZ"
: （因此："RU" = R+U，"UR" = U+R，而且，"+"這個運算子，並無「交換律」）
: 再來，定義X(n)
: X(0) = ""
: X(1) = "A"
: X(2) = "AB"
: X(3) = "ABC"
: ： ：
: X(|G|) = "ABCDEF...XYZ" = X(0)
: （註：這邊的 X(n) 與原作者所描述的 X^n 未必相同）
: 下一步，定義' 與2
: 假設R = X(r) = "ABCD.....K"
: \____r___/
: 則R' = X(r)' = "K之後的步數....XYZ"
: \____|G|-r_______/
: （註：當然，因為R'也是所有組合之一，所以R'也會等於X(p)，p為某數，且p =/= r）
: R2 = X(r)+X(r) = "ABCD.....K" + "ABCD.....K"
: 同時推導得知：
: ==> R2 = (R')2
: = "K之後的步數....XYZ" + "K之後的步數....XYZ"
: ==> R2 = (R2)'
: （註：R2 = X(q), 且p =/= q =/= r）
: =======================================================
: 目前大概可以整理成這樣
: 所以，在上述的定義之下
: 若假設R = X(m), U = X(n)
: 則"RU"可以寫成：
: "RU" = R+U = X(m) + X(n) = "ABC...M" + "ABC...N"
: \__m__/ \__n__/
: 同理："UR" = U+R = X(n) + X(m) = "ABC...N" + "ABC...M"
: 這樣就很明顯可以看出，"RU"本來就不等於"UR"
: 當然
: 我不是很了解原作者"^"運算元的定義
: 如果今天真的存在一個^的運算式子
: 那應該可以描述出來才對
我稍微補了上一篇
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.118.13
※ 編輯: XII 來自: 59.121.118.13 (10/21 00:04)