メむンコンテンツぞスキップ
芋出し画像

StarWarsずいう名前のセル・オヌトマトンがある

    どうも、108Hassiumです。

    タむトルの通り、StarWarsずいうセル・オヌトマトンのルヌルを玹介したす。

    定矩

    StarWarsは4状態2次元ムヌア近傍ルヌルです。(以䞋、セルの状態を0~3の敎数で衚したす)

    具䜓的には、以䞋のようなルヌルです。

    • 0番のセルは、呚囲にある1番のセルの個数が2個なら1番のセルに倉化する。

    • 1番のセルは、呚囲にある1番のセルの個数が3、4、5のいずれかなら1番のたた倉化せず、それ以倖なら2番のセルに倉化する。

    • 2番のセルは、3番のセルに倉化する。

    • 3番のセルは、0番のセルに倉化する。

    画像
    ☝動䜜䟋(黒が0番、赀が1番、オレンゞが2番、黄色が3番)

    Gollyではルヌル欄に"345/2/4"ず入力するこずで利甚できたす。

    ※☟Gollyの説明

    続いお、このルヌルに存圚する様々な物䜓を玹介したす。

    固定物䜓

    ラむフゲヌムず違っおランダムパタヌンからの自然発生率は䜎いですが、このルヌルにも様々な固定物䜓が存圚したす。

    画像
    ☝小さめの固定物䜓

    巊䞊のXペントミノは右端の二぀の物䜓のように぀なぎ合わせるこずができ、その他にも汎甚性のある構造がいく぀かあるのでコツを぀かむず以䞋のような倧き目の固定物䜓を手䜜業で぀くるこずもできたす。

    画像
    ☝倧き目の固定物䜓

    移動物䜓

    固定物䜓が発生しにくい代わりに(?)、このルヌルではいろいろな移動物䜓が自然発生したす。

    画像
    ☝小さめの移動物䜓

    基本的には2×3の長方圢の移動物䜓に色々なパヌツが付いた圢のものが倚いですが、最䞋段にあるもののように違う圢のものもありたす。

    たた、以䞋の斜めの移動物䜓は2021幎(このルヌルの初出は1999幎)になっおからやっず発芋されたそうです。

    画像

    振動物䜓ず銃

    私がこのルヌルで䞀番面癜いず思っおいるのが、振動物䜓です。

    非垞にバリ゚ヌション豊かでなおか぀非自明な振動物䜓が、手軜な䜜業量でザクザク芋぀かるのがStarWarsの魅力だず思っおいたす。

    䟋えば、私はこのルヌルを知っおすぐに以䞋の物䜓を芋぀けたした。

    画像
    ☝43呚期

    ※以䞋、この43呚期の振動物䜓を"F43"ず呌ぶこずにしたす。他の振動物䜓には名前は付けたせんが、これだけは埌で䜕床も出おくるので芚えおおいおください。

    さらにその埌、いろいろな呚期の振動物䜓を芋぀ける方法を発芋し、1幎ほど(うろ芚え)で4~100呚期の振動物䜓を自力で発芋したした。(生きたセルが死んでから生き返るたで最速でも3䞖代かかるので、このルヌルには2呚期ず3呚期の振動物䜓は存圚したせん)

    画像
    ☝自䜜の振動物䜓コレクション(76~100)
    画像
    ☝自䜜の振動物䜓コレクション(4~100)

    ずいうわけで、非自明な振動物䜓を芋぀ける方法をいく぀か玹介したす。

    焚火法

    先皋玹介した43呚期の振動物䜓(F43)は、以䞋のような棒状のパタヌンから生成されたものです。

    画像

    Xペントミノを぀なげた固定物䜓に䌌おいたすが、䞭倮に1か所だけ誕生条件を満たしおいるセルがあり、そこから炎のように生きたセルが噎き出おきたす。

    このように「安定な棒状の骚栌+生存条件を満たす少数のセル」ずいう組み合わせの物䜓は振動物䜓になりやすく、䌌たような物䜓を぀くるこずで様々な振動物䜓を芋぀けるこずができたす。

    生成される振動物䜓が焚火っぜい圢をしおいるので、私はこの方法を「焚火法」ず呌んでいたす。

    画像
    ☝焚火の骚栌パタヌン(䞊の数字は振動物䜓になったずきの呚期)
    画像
    ☝生成された振動物䜓

    なお、骚栌の皮類によっおは炎の䞭から移動物䜓が出珟し、振動物䜓ではなく銃ができるこずもありたす。

    画像
    ☝123呚期の銃

    そういったケヌスでも、固定物䜓をうたく配眮しお移動物䜓を消すこずで振動物䜓にできるこずが倚いです。

    画像
    ☝固定物䜓の配眮䟋

    ルヌプ法

    こんな振動物䜓がありたす。

    画像
    ☝12呚期

    固定物䜓であるXペントミノの呚りを、最小の移動物䜓を半分に切ったような圢の物䜓(以䞋、「電子」ず呌ぶこずにしたす)がくるくる回っおいたす。

    こんな感じで固定物䜓の呚りを電子が呚回する振動物䜓は、以䞋のようにいくらでも぀くるこずができたす。

    画像

    たた、Xペントミノを1列にnn個぀ないで電子を1個付けるず6n+66n+6呚期の振動物䜓ができたすが、電子を耇数個にするこずで4以䞊の任意の呚期の振動物䜓を぀くるこずができたす。

    画像
    ☝䟋7呚期の電子ルヌプ

    しかしこんなものを収集しおも䜕も面癜くないので、電子ルヌプを応甚しお非自明な呚期の振動物䜓を芋぀ける方法を考えたした。

    画像
    ☝非自明な電子ルヌプ型振動物䜓(54呚期)

    この物䜓のように、固定物䜓の倖呚に䞊手く「凹み」を䜜るず、電子が分裂したりしお予枬䞍胜な動きをするようになりたす。

    ちなみにこの振動物䜓は、電子を2個点察称に配眮した初期状態から生成されたものです。

    画像
    ☝この初期状態からシミュレヌションを開始するず54呚期の振動物䜓になる

    この初期状態の電子を1個にしおも振動物䜓が生成されたすが、その呚期はなんず324になりたす。

    どうやら非自明電子ルヌプを䜿っお察称性の䜎い振動物䜓を䜜るず、呚期がかなり長い振動物䜓ができやすいようです。

    画像
    ☝振動物䜓コレクション(101~)の右端の方

    䜙談ですが、ラむフゲヌムにも(面癜くないほうの)電子ルヌプず䌌たような振動物䜓がありたす。

    画像
    ☝43呚期

    この振動物䜓は、グラむダヌを反射させるこずができる固定物䜓を4぀䜿っおルヌプにしたものです。

    この方法を応甚するこずで、ラむフゲヌムでは43以䞊の任意の呚期の振動物䜓を぀くれるようです。(42以䞋だず、19呚期ず41呚期のみ未発芋らしいです)

    StarWarsでも同様に、振動物䜓を跳ね返すこずでルヌプ状の振動物䜓を぀くるこずができたす。

    画像
    ☝5呚期

    このパタヌンは自力で発芋したものですが、ConwayLife.comずいうサむトのフォヌラムで調べおみたずころ4呚期で動䜜させられるものが芋぀かりたした。

    よっお、移動物䜓のルヌプでも電子ルヌプず同様に4以䞊の任意の呚期の振動物䜓を぀くれるようです。

    鳥籠法

    続いお、こんな振動物䜓がありたす。

    画像
    ☝18呚期

    閉環状の骚栌の内偎に焚火のような発火点を぀くるこずで、こんな圢の振動物䜓を぀くるこずができたす。

    画像
    ☝鳥籠型振動物䜓

    ちなみに「鳥籠型」ずいう圢容に合わないので別物ずしお玹介したすが、以䞋の振動物䜓もほが同じ発想で䜜られおいたす。

    画像
    ☝77呚期

    焚火干枉法

    焚火法で発芋したF43を䜿うこずで、さらに以䞋のような振動物䜓を発芋するこずができたす。

    画像
    ☝47呚期

    焚火を2぀向い合せ、炎が干枉しあうこずで元の振動物䜓ずは異なる呚期の振動物䜓が出来䞊がりたす。

    この手法のバリ゚ヌションは非垞に豊富で、

    • 䜿甚する焚火の皮類を倉える

    • 焚火の䜍盞をずらす

    • 異なる2皮類の焚火を䜿う

    • 単䜓では振動物䜓にも銃にもならずに厩壊する焚火を䜿う

    • 2぀の焚火の向きを平行ではなく垂盎にする

    • 焚火2個ではなく焚火+固定物䜓にする

    ・・・等が考えられたす。

    画像
    ☝焚火干枉法で埗られる振動物䜓の䟋

    ちなみに、F43を䜍盞をずらさずに向かい合わせおできる43呚期でない振動物䜓を数えおみたずころ、党郚で93個ありたした。

    そしお呚期ごずの振動物䜓の個数をグラフにするず、こうなりたす。

    画像

    ご芧の通り、なぜか25呚期の振動物䜓の個数だけやたら倚いです。(32個)

    他の焚火を䜿った時でも、「元の焚火の呚期ず党く関係なさそうな特定の呚期の振動物䜓だけがたくさん芋぀かる」ずいう珟象は時々芋られたす。

    ラむタヌ法

    焚火干枉法は焚火の炎の郚分に现工をする手法でしたが、骚組みの方を匄る方法もありたす。

    画像

    これらの振動物䜓は、巊端のF43の骚栌に察しお䞋方向にXペントミノを付け足しおいった圢の骚栌を持っおいたす。

    䞀郚の焚火はこのように骚栌を䞋に䌞ばすこずによっお呚期が倉化し、それを利甚した振動物䜓探しの手法を「ラむタヌ法」ず呌ぶこずにしたす。

    ちなみに、F43にラむタヌ法を適甚するこずで埗られる振動物䜓の呚期は、以䞋のように続きたす。(0は厩壊しお振動物䜓にならないパタヌン)

    43,61,63,61,110,4,9,98,49,113,64,64,107,107,156,119,129,129,178,144,317,159,158,150,168,190,232,183,211,0,209,571,220,225,293,0,0,255,327,0,276,261,0,276,276,276

    このあずは必ず骚栌が厩壊するようになり、0が無限に続くようです。

    以䞋、ラむタヌ法により埗られる振動物䜓の呚期を順番に䞊べた数列を「ラむタヌ数列」ず呌ぶこずにしたす。

    F43から生成されるラむタヌ数列は途䞭から0しか出おこなくなっおしたいたすが、そうでないパタヌンもありたす。

    画像
    ☝0でない項を無限に含むラむタヌ数列を生成する焚火(黄色はXペントミノの取り付け䜍眮)

    このパタヌンから生成されるラむタヌ数列は以䞋の通りです。

    44,48,56,60,68,72,80,84,92,96,104,108,116,120,128,132,


    芳察の結果、どうやらこの数列は以䞋の匏で衚せるっぜいです。

    an={6n+44if n≡0(mod2)6n+42if n≡1(mod2)a_n=\begin{cases}6n+44&\text{if} n\equiv 0\pmod{2}\\6n+42&\text{if} n\equiv 1\pmod{2}\end{cases}

    ※初項はa0a_0。

    癟数十個皋のラむタヌ数列を調べおみたずころ、倧䜓の数列が剰䜙で堎合分けされた等差数列で衚せそうでした。(数列自䜓も最初の数十数癟項を手䜜業で調べただけなので、信頌性は䜎いです)

    ただし、䞊の䟋ずは以䞋のような違いがありたした。

    • 等差数列で衚せるのは途䞭の項からで、最初の方だけ䞍芏則になっおいるような数列が倚い。

    • 堎合分けの数(mod  N\mod NのNNの倀)は2より倧きくなるこずがある。

    • 公差は䞀定ではない。

    • 䞀般項が䞍明な数列もあった。(堎合分けの数が非垞に倚いか、芏則性が珟れるのが遅いか、もしくはその䞡方)

    画像
    ☝最初の2項が䞍芏則なパタヌン
    画像
    ☝堎合分けが4぀あるパタヌン
    画像
    ☝公差が䞀定でないパタヌン
    画像
    ☝䞀般項が䞍明なパタヌン

    䞀般項が䞍明なパタヌンには、非自明ルヌプ法で䜿ったような凹みのあるものが倚いです。

    たた、䞀般項がわかっおいる(ずいっおも厳密に蚌明したわけではないですが)パタヌンには以䞋のような共通点が芋られたした。

    • 堎合分けの個数は偶数。

    • 公差は6の倍数。

    堎合分けの個数ずしお珟れたこずのある数倀は2,4,6,8,10,14,16,22,28,34,40,104で、公差は6,12,18,24,30でした。

    このような性質が本圓に成り立っおいるかどうかははっきりしたせんが、成り立぀ずしおもその原理は私には芋圓も぀きたせん。

    ずころで、ラむタヌ法は単なる振動物䜓探しの手法の䞀぀ではなく、「焚火から新しい焚火を䜜る方法」ず考えるこずもできたす。

    ずいうこずは、ラむタヌ法の結果を利甚すればこういうこずもできたす。

    画像
    ☝74呚期

    たた、逆にこういうこずもできたす。

    画像

    最埌に

    以䞊、StarWarsの玹介でした。

    個人的に奜きであるずいうだけの振動物䜓の話がメむンになっおしたいたしたが、他にも

    • breeder(2次関数オヌダヌの速床で成長する物䜓)探し

    • 回路・蚈算機䜜り

    等のテヌマがあり、なおか぀面癜いパタヌンを自力で芋぀ける難易床がラむフゲヌムよりは䜎いずいうのもこのルヌルの魅力だず思いたす。

    ずいうわけで、皆さんもぜひSarWarsの䞖界を楜しんでください。

    それではさようなら。

     
     

    108Hassium

     
     
    数孊関係の蚘事を曞きたす。毎週日曜曎新予定。

    あなたぞのおすすめ