Matematika na Rubikovej kocke

Miroslav Ploica

PF UPJ, Koice

May 21, 2013

Histria

Vynlezca: madarsk priemyslov nvrhr E. Rubik

Vrchol popularity: 80. roky (majstrovstv sveta, rekordy...)
Podobn hlavolamy: in mnohosteny, gula, ui, vea, 15-ka....
(niektor starie ako RK)

Miroslav Ploica Matematika na Rubikovej kocke

o chceme dosiahnut

Matematick rozbor hlavolamu me

popsat dosiahnuteln (regulrne) pozcie;
pre nedosiahnuteln pozcie dokzat nerieitelnost;
pre dosiahnuteln pozcie njst algoritmus rieenia.

Miroslav Ploica Matematika na Rubikovej kocke

Permutcie

RK sa sklad z 27 malch kociek:

1 vntorn neviditeln (v skutonosti je tam namiesto nej
otac mechanizmus);
6 stenovch (pri otan nemenia polohu, len orientciu);
12 hranovch;
8 vrcholovch;
Kad pozcia (dosiahnuteln i nedosiahnuteln) uruje nejak
permutciu na mnoine 12 hranovch a 8 vrcholovch kociek.
(Orientciu predbene zanedbme.)

Miroslav Ploica Matematika na Rubikovej kocke

Permutcie

Prklad:

rb rg rw ry bg gw wy yb ob oy ow og
rg rw ry rb bg gw wy yb ob oy ow og


rby rbg rgw rwy oby oyw owg ogb
rbg rgw rwy rby oby oyw owg ogb

Miroslav Ploica Matematika na Rubikovej kocke

Permutcie veobecne

Permutcia na mnoine A je bijektvna funkcia A A. Naprklad

 
1 2 3 4 5 6
2 3 6 5 4 1

je funkcia, ktor zobrazuje 1 do 2, 2 do 3, 3 do 6, atd.

Miroslav Ploica Matematika na Rubikovej kocke

Prne a neprne

Transpozcia je pecilna permutcia, ktor dva prvky vymen a

ostatn nech na mieste. Skladanm transpozcii (t.j. postupnm
robenm 2-vmen) mono dosiahnut akkolvek permutciu.
Permutcia je prna, ak je zloenm prneho potu transpozci.
Naprklad horeuveden permutcia je prna, lebo

123456 213456 231456 236451 236541

s 4 vmeny.
Netrivilny matematick fakt: kad permutcia je jednoznane
prna alebo neprna (t.j. t ist permutciu nemono sasne
dosiahnut prnym aj neprnym potom vmen).

Miroslav Ploica Matematika na Rubikovej kocke

Pravidl skladania

Zloenie
dvoch prnych permutci je prna;
dvoch neprnych permutci je prna;
prnej a neprnej permutcie je neprna.

Miroslav Ploica Matematika na Rubikovej kocke

Permutcie na RK

Fakt: Otoenie jednej steny na RK je prna permutcia.

Dsledok: Kad dosiahnuteln pozcia (permutcia) na RK je

prna
Dsledok: neprne pozcie s nerieiteln.

Miroslav Ploica Matematika na Rubikovej kocke

Trojcykly

Trojcyklus je permutcia, ktor cyklicky zamen 3 prvky a ostatn

nech na mieste.
Tvrdenie: Kad prna permutcia je zloenm trojcyklov.
Fakt: Na RK mono urobit 3-cyklus na hranovch aj na
vrcholovch kockch.
Dsledok: Kad prna permutcia na RK je rieiteln. (Ked
neberieme do vahy orientciu.)

Miroslav Ploica Matematika na Rubikovej kocke

Orientcia - hranov kocky

Potrebujeme definovat "sprvnu" a "nesprvnu" orientciu aj pre

kocky, ktor nie s na svojom mieste. Urobme to nasledovne.
Vyberieme si jednu dvojicu protilahlch stien a nazveme ich
dominantn. alia dvojica protilahlch stien bude recesvna, a
zvyn 2 steny bud neutrlne. Hranov kocka bude sprvne
orientovan, ak
ak kocka s dominantnou (recesvnou) plkou le v
dominantnej (recesvnej) stene, mus v nej byt touto plkou;
dominantn plka nele v recesvnej stene a naopak.
.

Miroslav Ploica Matematika na Rubikovej kocke

Orientcia - hranov kocky

Fakty:
1 Otoenie dominantnej alebo recesvnej steny nemen orientciu
iadnej hranovej kocky.
2 Otoenie neutrlnej steny zmen orientciu vetkch 4 v nej
leiacich hranovch kociek.
3 V zkladnej pozcii s vetky kocky orientovan sprvne.
Dsledok: V kadej rieitelnej pozcii je poet nesprvne
orientovanch kociek prny.

Miroslav Ploica Matematika na Rubikovej kocke

Orientcia - rohov kocky

Rohov kocka m 3 mon orientcie, z ktorch iba 1 je "sprvna".

Ako to vyhodnotit ?
Zvolme si dve protilahl steny za dominantn. Takto m kad
rohov kocka presne jednu dominantn plku. Povieme, e kocka
je sprvne orientovan, ak jej dominantn plka le v dominantnej
stene. alie dve orientcie s nesprvne. Aby sme ich rozlili,
priradme im seln hodnoty takto:
Ak je kocka od sprvnej polohy vychlen o 120 proti smeru
hodinovch ruiiek (pri pohlade spredu), povieme, e m
orientciu 1.
Ak je kocka od sprvnej polohy vychlen o 120 po smere
hodinovch ruiiek, povieme, e m orientciu 2.
(Sprvne orientovan kocka m orientciu 0.)

Miroslav Ploica Matematika na Rubikovej kocke

Orientcia - rohov kocky

Kadmu stavu kocky priradme rohov orientan slo (RO):

set orientci vetkch rohovch kociek. V zkladnej polohe je
RO= 0. A teraz:
Otoenie okolo dominantnej steny orientcie rohovch kociek
nemen.
Otoenie okolo nedominantnej steny oto 2 rohov kocky proti
smeru hodinovch ruiiek (schma 0 1 2 0), a dalie
2 opane (schma 0 2 1 0). o to urob s RO?

Miroslav Ploica Matematika na Rubikovej kocke

Orientcia - rohov kocky

Tvrdenie: Otoenie o 90 okolo nedominantnej steny zmen RO

o nsobok 3.
Tvrdenie sa d dokzat preverenm vetkch monost, ale
elegantnejie je pouit tzv. stanie modulo 3:

+ 0 1 2
0 0 1 2
1 1 2 0
2 2 0 1

Pri takomto stan sa k orientcim dvoch kociek pripota 1, od

dalch dvoch sa 1 odpota. Celkov zmena bude 0, o zodpoved
nsobku 3.

Miroslav Ploica Matematika na Rubikovej kocke

Orientcia - zhrnutie

Dsledok: Rieiteln pozcia mus mat RO deliteln 3.

Podobne, pri hranovch kockch sme mohli pouit stanie mod 2.
Sprvne orientovanej hranovej kocke priradme orientciu 0,
nesprvne 1. Hranov orientan slo (HO) bude set orientci
vetkch hranovch kociek.
Dsledok: Rieiteln pozcia mus mat HO deliteln 2.

Miroslav Ploica Matematika na Rubikovej kocke

Ako zloit kocku

Predpokladajme, e kocka je v rieitelnej pozcii. Pouitm 3-cyklov

docielime, e kad kocka je na svojom mieste. Treba ete
"opravit" orientcie. To sa d, pretoe
existuje postup, ktor zmen orientcie dvoch hranovch kociek
(a nezmen ni in);
existuje postup, ktor oto dve rohov kocky v opanch
smeroch ( a nezmen ni in).

Miroslav Ploica Matematika na Rubikovej kocke

Poet rieitelnch pozci

Poet vetkch pozci je

12! 8! 212 38 .

(12! permutci hranovch kociek, 8! permutci vrcholovch kociek,

212 orientci hranovch kociek, 38 orientci vrcholovch kociek)
Z tchto pozci m presne polovica prnu polohov permutciu. Z
tejto polovice m polovica aj sprvne HO a tretina sprvne RO.
Take poet rieitelnch pozci je
1 1 1
12! 8! 212 38 = 43 252 003 274 489 856 000.
2 2 3

Miroslav Ploica Matematika na Rubikovej kocke

Ako navrhnt ta hlavolam

Vetky znme permutan hlavolamy sa vyznauju tm, e sa na

nich daj vhodnmi tahmi dosiahnut transpozcie alebo trojcykly -
to umouje njst pomerne jednoduch algoritmus rieenia.
a hlavolam by mal byt zaloen na permutanej grupe (=
mnoine permutci uzavretej na skladanie), ktor by
neobsahovala iadnu transpozciu ani trojcyklus;
bola dostatone bohat.
Njst tak grupy nie je jednoduch, ale existuj.

Miroslav Ploica Matematika na Rubikovej kocke

Mathieuova grupa M12

Patria do nej vetky permutcie na mnoine {1, 2, 3 . . . , 12}, ktor

vieme zskat skladanm nasledujcich troch permutci.
 
1 2 3 4 5 6 7 8 9 10 11 12
a=
2 3 4 5 6 7 8 9 10 11 1 12
 
1 2 3 4 5 6 7 8 9 10 11 12
b=
1 2 7 10 6 4 11 3 9 5 8 12
 
1 2 3 4 5 6 7 8 9 10 11 12
c=
12 11 6 8 9 3 10 4 5 7 2 1
(M 95040 prvkov.)

Miroslav Ploica Matematika na Rubikovej kocke