äžèšã¯é·ããã 1100 ã®æååã§ãããæéãããã°ãã©ã®ãããªèŠåã§äœãããŠãããæšæž¬ããŠã¿ãŠãã ããã
01001101101001001101001101101001101001001101101001101001001101101001001101001101101001001101001101101001101001001101101001001101001101101001101001001101101001101001001101101001001101001101101001101001001101101001001101001101101001001101001101101001101001001101101001101001001101101001001101001101101001101001001101101001001101001101101001001101001101101001101001001101101001101001001101101001001101001101101001001101001101101001101001001101101001001101001101101001101001001101101001101001001101101001001101001101101001001101001101101001101001001101101001001101001101101001101001001101101001101001001101101001001101001101101001101001001101101001001101001101101001001101001101101001101001001101101001101001001101101001001101001101101001001101001101101001101001001101101001001101001101101001101001001101101001101001001101101001001101001101101001101001001101101001001101001101101001001101001101101001101001001101101001101001001101101001001101001101101001101001001101101001001101001101101001001101001101101001101001001101101001101001001101101001001101001101101001001101001101101001101001001101101001001101
ãã®è³ªåã®æå³ã¯æååã®çŽ å æ°åè§£ã«çžåœããLyndon word ã«åè§£ãããšè§£éããŠãããã§ããããïŒ
ãªãã°1100åã®é·ãã®æååã¯æ¬¡ã®7åã®ãã®ã«åè§£ãããã
[[0, 1],
[0, 0, 1, 1, 0, 1, 1, 0, 1],
[0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1],
[0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1],
[0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1],
[0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1],
[0, 0, 1, 0, 0, 1, 1, 0, 1]]
ã©ãããã£ããè¡ããªãã£ãã®ã§ãããäžåºŠèãçŽããŠã¿ãŸããã
A=010,B=011
ãšçœ®ããš
X=AB=010011,Y=BA=011010ã§
XX=010011010011
ãªã®ã§Xã3ãããå·Šã«ããããš
011010=YãåºçŸ
å³ã¡
0->010011,1->011010
ãšãã倿Žã§äžŠã¹ãèŠåã§è¡ããš
0->010011->(010011)(011010)(010011)(010011)(011010)(011010)=010011011010010011010011011010011010
ãšãªãé æžã®1100æ¡ã®æååã®æåã®36åãåºçŸããã
åŸã£ãŠæåã®216åã®é
åã
010011ã011010ã010011ã010011ã011010ã011010
010011 ; X1
010011ã011010ã011010ã010011ã011010ã010011
011010 ; Y1
010011ã011010ã010011ã010011ã011010ã011010
010011 ; X1
010011ã011010ã010011ã010011ã011010ã011010
010011 ; X1
010011__011010__011010__010011__011010__010011
011010 ; Y1
010011__011010__011010__010011__011010__010011
011010 ; Y1
ããã¯
X1Y1X1X1Y1Y1(010011ã«å¯Ÿå¿)
åããç¶ã216åã®æ§å
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010011010010011011010010011=Y1
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010010011010011011010011010=X1
X1Y1Y1X1Y1X1(011010ã«å¯Ÿå¿)
åããç¶ã216åã®æ§å
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010010011010011011010011010=X1
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010011010010011011010010011=Y1
X1Y1X1X1Y1Y1(010011ã«å¯Ÿå¿)
åããç¶ã216åã®æ§å
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010010011010011011010011010=X1
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010011010010011011010010011=Y1
X1Y1X1X1Y1Y1(010011ã«å¯Ÿå¿)
åããç¶ã216åã®æ§å
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010011010010011011010010011=Y1
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010010011010011011010011010=X1
X1Y1Y1X1Y1X1(011010ã«å¯Ÿå¿)
ãããŸã§ã§216*5=1080å
æ®ã20åã以äžã®é
å
01001101101001001101
ãã¶ãç¶ãã¯0011011010011010ãšãªã
X1Y1Y1X1Y1X1(011010ã«å¯Ÿå¿)ãçŸãããã®ãšæãããŸãã
ãã®ããã«å
ã«è§0->010011,1->011010ã®å€åã0ããã¹ã¿ãŒãããèªå·±èªèº«ã«ç¹°ãè¿ãæäœããŠãã£ãŠçã¿åºãããŠãé
åã®æ§ã§ãã
GAI ããã埡æå¯ã§ãã
äžèšã®çœ®æã«ãŒã«ãæ°åç¹°ãè¿ãããã®ã§ããã
"é
ç®","äžããããèšå®"
"倿°","0,1"
"宿°","ãªã"
"åæç¶æ
","0"
"眮æèŠå","0â010011,ã1â011010"
1906幎ããã«ãŠã§ãŒã®æ°åŠè
ã¢ã¯ã»ã«ã»ãã¥ãšïŒAxel ThueïŒã¯ã
äžèšã®ãããªçœ®æãäžã«åºããŸããã
(äžèšã¯ L-system ã®æžãæ¹ã®ç䌌ãããŠããŸãã®ã§ã宿°ãèšè¿°ããŠããŸã)
"é
ç®","äžããããèšå®"
"倿°","0,1"
"宿°","ãªã"
"åæç¶æ
","0"
"眮æèŠå","0â01,ã1â10"
â¥â¥â¥
ã¢ã«ãã¡ãããã®ãAããšãBãã®2æåã ãã§ãã©ããŸã§ãç¶ãé·ãæååãäœããšæ³åããŠãã ããããã ããã²ãšã€ã ãã«ãŒã«ããããŸãã
âãã«ãŒã«ã
ã©ããªã«çããã®ã§ãããŸã£ããåããããŸãã3åé£ç¶ããŠç¶ã䞊ã³ïŒäŸïŒXYZXYZXYZïŒãäœã£ãŠã¯ãªããªãã
âãããæºããæååããæ°åŠã®äžçã§ã¯ããã¥ãŒãããªãŒã»ã¯ãŒãïŒç«æ¹å åãå«ãŸãªãèªïŒããšåŒã³ãŸããããã¥ãŒãïŒç«æ¹äœïŒããšããã®ã¯ãæ°åŠã§ Xã»Xã»X = X^3ïŒåããã®ã3ã€äžŠã¶ããšïŒãæå³ããããã§ãã
â詊ãã«ãé©åœã«æåã䞊ã¹ãŠã¿ãŸãããã
âA B A B A B â AB ã3åç¹°ãè¿ãããŠããŸãããããã¯ã«ãŒã«éåïŒãã¥ãŒãå«ãïŒã§ãã
âã§ã¯ãA B B A A B B A ã¯ã©ãã§ãããïŒ
âA (1)
âB B (2 - ããã¯2åã ããã»ãŒã)
âA A (ã»ãŒã)
âB B (ã»ãŒã)
ã§ã¯ã3åé£ç¶ããéšåã¯ãããŸããïŒ ãã£ããæ¢ããŠã¿ãŠãã ãããã©ãã«ããããŸããïŒ
â¥
å
ã»ã©ç޹ä»ãã
Thue ãäœã£ã眮æã¯
ãããªãäžä»£(眮æã«ããæ¬¡äžä»£ãçæ)ã§ã
Cubefree word ãšãªã£ãŠããŸãã
â¥
ä»åç§ãã玹ä»ããäžèšã®çœ®æãã
ã©ããã Cubefree ãšãªã£ãŠããããã§ãã
é
ç®","äžããããèšå®"
"倿°","0,1"
"宿°","ãªã"
"åæç¶æ
","0"
"眮æèŠå","0â010011,ã1â011010"
â» Thue ã«ãã
"眮æèŠå","0â01,ã1â10"
ããã£ãšçšãã§
"眮æèŠå","0â??0??1,ã1â??1??0"
ãšééããããŠ
?? ã« 01 ãåœãŠã¯ãããã®ã
ä»åç§ããæ¡å
ããŠãã
"眮æèŠå","0â010011,ã1â011010"
ãšãªããŸãã
æ£æ©äžã«ãããªãµãã«ãããã©ããªãã®ããšæãã€ããŠ
å®éã«ãã£ãŠã¿ãããšããããã§ãã
ãªãã管ç人ããããŸãšãããŒãžã§
ç¹°ãè¿ããã¿ãŒã³ã®ããã«ã¿ããŠããã§ããªãéšåã
è²ä»ãã§ç€ºããŠããã ããŸããã
æé£ã埡座ããŸãã
â»P.S. ç§ã®çœ®æã«ããã Cubefree word æ§ã®èšŒæã«ã¯
ãããé£ããå®çãåœãŠã«ããªããã°ãããªãããã§
æ®å¿µã§ãã岿ããŸã