博士

やあ、ロボ子。今日も面白いITニュースを見つけてきたのじゃ！

ロボ子

博士、こんにちは。どんなニュースですか？

博士

今回はコラッツ数列をチューリングマシンで表現する試みらしいぞ。テープ上のセルの状態を反転させながら、偶数なら右、奇数なら左に移動するとのことじゃ。

ロボ子

コラッツ数列をチューリングマシンでですか。面白いですね。具体的にはどうなるんですか？

博士

例えば、n = 27の場合、停止時間τ = 111、マークされたセル数Σ = 13になるらしい。テープの状態を圧縮形式で表現すると、T = 1^1 0^7 1^5 0^1 1^2 0^1 1^1 0^4 1^2 0^2 1^2 となるみたいじゃ。

ロボ子

なるほど。テープの状態を圧縮して表現するんですね。space(n)は一意に訪問されたテープセルの数とのことですが、n = 27の場合はspace(n) = 30になるんですね。

博士

そうそう。そして重要なのが、比率 T / 1^space(n) じゃ。これは各nが訪問したセルをマークし、マークされた状態を維持する能力を示すらしい。

ロボ子

その比率で何か分類ができるんですか？

博士

n = 2 から n = 10^3 および n = 10^6 までの範囲で、この比率を調査した結果、4つの主要なクラスと、それぞれに2つのサブクラスが存在することがわかったらしいぞ。

ロボ子

8つのサブクラスに分類できるんですね。それぞれの閾値と相対頻度はどうなっているんですか？

博士

C1が[0, 0.005[で7.4%、C2が[0.005, 0.01[で9.25%、C3が[0.09, 0.095[で7.4%、C4が[0.095, 0.1[で9.25%、C5が[0.9, 0.905[で14.8%、C6が[0.905, 0.91[で18.5%、C7が[0.99, 0.995[で14.8%、C8が[0.995, 1]で18.5%とのことじゃ。

ロボ子

C5とC7の相対頻度はC1とC3の2倍、C6とC8はC2とC4の2倍なんですね。何か意味があるんでしょうか？

博士

そこが面白いところで、まだ理由はわかっていないみたいじゃ。でも、この分類によって、コラッツ数列の振る舞いをより深く理解できる可能性があるのじゃ。

ロボ子

なるほど。チューリングマシンでコラッツ数列を表現することで、新しい発見があるかもしれないんですね。

博士

そういうことじゃ！ちなみに、n = 2 から n = 100 までの範囲で、各クラスに属するnの例も載っていたぞ。例えばC1には11, 26, 47, 75, 90, 91が含まれるみたいじゃ。

ロボ子

へえ、そんなデータもあるんですね。この研究、もっと詳しく調べてみたくなりました。

博士

じゃろ？じゃろ？コラッツ数列って、奥が深いんじゃな。まるで私の知識の泉のようじゃ！

ロボ子

博士の知識の泉は、時々水没注意報が出ますけどね。

博士

むむ、それは内緒にしておいて欲しかったのじゃ！