好奇...轉方塊的大家 - 魔術方塊

Table of Contents

我來稍微解釋一下

首先,魔術方塊的狀態並不是有限體,
而是有限非交換群(finite non-Abelian group)

體一定有兩個運算而且必定滿足交換律,
可是魔術方塊只有一個置換之間的合成運算,
而且明顯不滿足交換律:RU 跟 UR 的結果絕對是不同的。
普遍地,作用在一個物體上的置換群大抵都是不交換的。

不過這不太重要,因為看起來你只是搞混名詞而已。

這於同一種轉法不斷反覆到最後一定會復原,
以最通俗的方式來證明的話,確實只要利用狀態有限這個事實就可以說明。
令考慮的轉法為 A,因為狀態有限,一定遲早會遇到一個之前曾經出現過的狀態,
不妨假設為 A^n 和 A^m,n>m。那麼 A^(n-m) 就必定是不動置換。

不過進一步證明的話,還可以證明復原所需要的次數一定是總狀態的因數。
這是 Lagrange 群定理的一個古典推論。

最後,你提到是否有可能有單一一種轉法能夠生成所有的狀態,
這對有限群一般而言都不存在,包括這邊的魔術方塊在內。
具有這種性質的群稱為循環群(cyclic group),而且極易證明循環群全都是交換群,
因此立刻就知道魔術方塊群不可能是循環群。

至於你提到的與群的狀態數互質的那個概念,
那是在已經假定是循環群的前提下才會成立。

所以:無敵公式是不存在的,別找了……

--

All Comments

Puput avatarPuput2007-06-01
哩工蝦?
Anthony avatarAnthony2007-06-02
淺見 3X3是有限體....很早就有人證明了~"~ 循環群~不詳
Audriana avatarAudriana2007-06-04
數學系的~~~~衝吧..........我土木來亂的
Eden avatarEden2007-06-06
正如我說的,說它是體打從定義開始就是錯的,絕無可能
Catherine avatarCatherine2007-06-09
另外,不巧我正好就是數學系的
Franklin avatarFranklin2007-06-10
還有其他疑難雜症請參閱 http://0rz.tw/e42I0
Hedda avatarHedda2007-06-13
推數學系專家!
Zenobia avatarZenobia2007-06-15
請教「存在一個數值 k,所有可重複循環的次數均為它的
Connor avatarConnor2007-06-18
因數」這個推論,是否在群裡面可以簡易證明?抱歉我忘了
Gilbert avatarGilbert2007-06-23
簡單的說那個 k 就是群的大小
Victoria avatarVictoria2007-06-26
如果是循環群的話,結論幾乎是顯然的
一般的情況會稍微多一點,大概證個一兩頁吧
Emily avatarEmily2007-06-28
看rubiks版長知識
Freda avatarFreda2007-06-30
我覺得如果是三階方塊,因為並不是循環群,所以這個 k值
Eartha avatarEartha2007-06-30
應該小於總 case 數,不過應該存在這樣的 k。我懷疑 k
Bethany avatarBethany2007-07-02
會不會等於 1260?(尚待證明...)
Hedy avatarHedy2007-07-07
推這篇 解釋得很清楚XD
Dinah avatarDinah2007-07-07
我剛剛試了一下,k 目前是 5040
Hardy avatarHardy2007-07-08
推這篇 解釋的很清楚 但是哩公蝦~? XD
Anonymous avatarAnonymous2007-07-09
囧 那樓上在推啥..
Carol avatarCarol2007-07-12
u:看rubiks版長知識
Regina avatarRegina2007-07-13
嗯!這是數學系學的代數,在進行計算之前可以確認想法
Edith avatarEdith2007-07-13
看rubiks版長知識
Ophelia avatarOphelia2007-07-16
阿偉:異類你什麼系的 異類:商用數學系阿~~
Todd Johnson avatarTodd Johnson2007-07-18
推 數學系+1 難得看得懂 哈哈
Catherine avatarCatherine2007-07-21
rubiks版還有一個交大應數博士的DavidGuo, 真是臥虎藏龍
Faithe avatarFaithe2007-07-25
循環群都是交換群???
Rae avatarRae2007-07-30
是的!