有理数の成長速度と似た原理でできる定跡を紹介しましょう.
今回も説明のため,小数や分数の数値を用いることにします.
いきなりですが,次のコードを見てみてください:
a(T):sa(T-1)ra(T+10.25)
最初に例えばa(11)と与えたとすると,まずs^11が実行されたあと,a(T+10.25)の"おかわり"で
a(11.25)が呼び出されますね.さらにs^12が実行されたあとa(11.5)が呼び出されます.
a(11)→s^11r→a(11.25)→s^12r→a(10.50)→s^11r→a(10.75)→s^11r→a(11)
となり,ここでループに入ります.結果として
[s^11rs^12rs^11rs^11r]
の繰り返しを作ることに成功しました.小数ではHOJで上手く動かないので実際のコードは全ての数値を4倍して
a(T):sa(T-4)ra(T+41), a(44)
のようになります.初めてこの構文を見る人はEditなどで動かしてみるとよいでしょう.
今度は数値を変えてみましょう.やはり小数を使って説明します.:
a(T):sa(T-1)ra(T+10.4), a(11)
どういう数列が現れるか分かりますか??
11 11.4 10.8 11.2 10.6 11
となって周期5でもとに戻り,結果として
[11,12,11,12,11]
の繰り返しが得られます.当然HOJで動くコードはa(T):sa(T-5)ra(T+52), a(55)ですね.
さてさて,上記で紹介した2つのコード
a(T):sa(T-4)ra(T+41), a(44)
a(T):sa(T-5)ra(T+52), a(55)
の数値設定の意味について理解を深めておくと,かなり自在に数列を作り出すことができます(もちろん制限はあります).
例えば[5,6,6,5,6,5,6]という周期7を実現するには?という状況で簡単に数値設定を見つけることができます.
まず上の具体例をよく観察してみましょう.初期値a(44), a(55)などは「どのような繰り返しになるか」という点では実はあまり重要ではないです.
例えばa(1)にしても(ちょっと違う向きにはなるけど)同じ挙動をすることが分かるでしょう.
そこで残りの数値に注目します:
T-4,T+41[11,12,11,11]
T-5,T+52→[11,12,11,12,11]
規則は分かりますか?結論から言うと,
T-A, T+Bという数値設定をした場合,周期はA.そのA回の周期に合計A+B個のsが配置される.
というのが規則です.例えば後者の例で考えると,
T+52がちょうど5回呼び出されると,結局数値を260足していることになり,
それに応じて「数値を5消費しながら配置されるs」が52個(=B).
さらにもう引けなくなったときの「数値を消費しないのに配置されるs」が周期中に5個(=A)あり
結局周期中にA+B個のsが配置されるというわけです.
例えば上の[5,6,6,5,6,5,6]の例だと
a(T):sa(T-7)ra(T+32)
のようなコードを書けば良いわけですね.あとは初項ですが…これはややこしいので
色々試して見つけるのは速いのではないでしょうか(^^;
初項は,特殊な初項的に自由な回数sを実行したあと,mod7での値に応じて
周期のどこかに突入しますが,ここを理論的に調整するのは結構面倒です(少なくとも自分の理解では).
色んな周期の数列が自在に作れるようになりましたか?
もちろん作れる数列には制限があります.まず自然に数値設定を考えた結果
255を超える数値が出てくるとNGですね.例えば
a(T):sa(T-100)ra(T+199)
などの数値設定も直接は255以上の数値設定が出てきていませんが,
「これ以上100を引けなくなると199を足す」というルールなので,
最大で100+199=299の数値が出てきてしまいアウトです.
もう1つの制限として,ある程度偏りのない数列しか実現できないということがあります.
(数学的思考が苦手でない人は想像してもらえればよいですが,
等差数列の整数部分の差分を拾っていった数列なので大体平等になっちゃいます)
例えば「3,3,5,3,3,5」のように値が飛ぶものは(そのままでは)作れませんし
「2,2,3,3,2,2,3,3」のように,値が大きい地帯と小さい地帯に分離するようなものも(そのままでは)作れません.
前者の例でいくと,周期3の中に11を均等に配分すると3,3,5ではなく「3,4,4,3,4,4」のようになってしまいますし
後者の例でいくと,周期4の中に10を均等に配分すると「2,3,2,3」のようになってしまいます.
それぞれ回避する方法もありますが,それはまた後の講座で扱うことにします.
以上で構文の基本説明は終わりますが,結局どんな形が作れるでしょうか??
いろいろEditなどで試してみてください.偏りの少ない長さを4方向に
ばら撒いていくので,実は多くの場合,正方形にかなり近いものになります.
正方形からちょっと外れながらでも付近をうろうろして戻りますね.
もう少し派手な動きをするものもあるので紹介しておきます.
これは無理やり4方向に偏りを強調することで,(同じ場所をうろうろするのではなく)
特定の方向に進んでいくというものです.最初にあげた「12,11,11,11」もその一例です.
このように正方形が1方向に進行していくというものもありますが,これをさらに変形させてみましょう.
アイデアを分かりやすくするため,小数で説明します.
a(T):sa(T-1)ra(T+10.250001)
(このままだと数値が255を超えますが,説明のためということでw)
もちろん,「約10.25」を意識した数値設定です.そのためこれを実行すると,
「a(T+10.25)」とかなり近い挙動を示します.「0.000001」の誤差が関係してくるのは
「T+10.250001」が1000000回呼び出された後で,そこで初めて1の誤差が生じます.
結果として,基本的には正方形を描いて1方向に進むが,誤差が蓄積した瞬間
パターンが1つズレて進行方向が変わるという現象が生じます.
実際にHOJ上で動くコードで確かめてみましょう.ポイントは
10.250001のように,1/4に非常に近い有理数(あるいは3/4に近いものでもよい)を使うことです.
具体的には「A/(4A±1)」という分数に整数を加えたものを用いるとよいです.
例えば「83/37」という分数を利用して
a(T):sa(T-37)ra(T+83)
というコードを(適当な初項を与えて)実行してみてください.
正方形から正方形を繰り抜いた形をぐるぐる回っていますね??
この構文では最も特徴的で汎用性がある形だと思います.
この形が使える問題も結構ありますので探してみてください!
戻る