・コラッツの予想                     S.H氏

 世の中に、「コラッツの予想(Collatz Problem)」と呼ばれるものがある。

 2以上の自然数 n に対して、

   n が偶数ならば、2で割り、n が奇数ならば、3倍して1を加える

という操作を行い新しい自然数を作る。

 このとき、任意の自然数から始めて、この操作を繰り返し行うと最終的には必ず

1になる。


 この予想は、未だ未解決らしい。

 偶数のときは、2で割るので確実に数の大きさは減るが、奇数だと3倍して1加えるという
ところが曲者ですね。

 ただ奇数の場合は、次は必ず偶数になって、2で割った数がもとの奇数より大きいか小さ
いかはっきりしないと言う点がこの予想の難しいところなのだろう。

例 2>1

  3>10>5>16>8>4>2>1

  4>2>1

  5>16>8>4>2>1

  7>22>11>34>17>52>26>13>40>20>10>5>16>8>4>2>1

  8>4>2>1

  9>28>14>7>22>11>34>17>52>26>
                         13>40>20>10>5>16>8>4>2>1

 Webからの情報によれば、1996年時点で、4兆までの自然数に対して、この予想が正
しい事が確認されているそうである。

 上の例からも察せられるように、もし、最後が1で終われば必ずその直前の数は2であり、
そのまた直前の数は4、そのまた直前の数は8、そのまた直前の数は16、でなければなら
ない。

 すなわち、コラッツの予想が正しければ、

     「 n>・・・・・・・・>16>8>4>2>1 」である。

 このコラッツの予想を意識した問題が、市川中学入試問題(2009)に出題されている。
市川中学は4000人近い小学生が受験すると言われる私立中学である。

 2以上の自然数 n に対して、

   n が偶数ならば、2で割り、n が奇数ならば、1を加える

ことにより次の自然数を作るという操作を繰り返し行う。

 この操作を繰り返して、初めて1になったときに、この操作は終わりとする。

(1) 整数9は、この操作を何回行うと終わりになるか。

(2) この操作を4回行うと終わりとなるような自然数を全て求めよ。


(解) (1) 9>10>5>6>3>4>2>1 で、7回の操作で終わりとなる。

(2) 題意より、 A>B>4>2>1 の形で終わる。

   A:偶数、B:偶数のとき、 16>8>4>2>1

   A:偶数、B:奇数のとき、 6>3>4>2>1

   A:奇数、B:偶数のとき、 7>8>4>2>1

  したがって、 求める自然数は、 6、7、16 の3個。 (終)

(コメント) 終わり方が、「A>B>4>2>1 の形」ということに気がつくことがポイントです
      ね!


 「変形コラッツ予想」と題して、GAI さんからの投稿です。(平成28年3月12日付け)

 証明はされていないが、確実に成立すると思われるものに、コラッツの予想というものがあ
る。そこで、規則を少し改変して、初期値が偶数の場合でも、最初のステップだけはnに3か
けて1を足すことから始め、その次からは通常のコラッツの規則で進むものとする。

 こうすると、

2->7->22->11->34->17->52->26->13->40->20->10->5->16->8->4->2(->1)

4->13->40->20->10->5->16->8->4(->2->1)

6->19->58->29->88->44->22->11->34->17->52->26->13->40->20->10->5->16->8->4->2->1

・・・・・・・・・・・・・・・・・・・・・・・・

のような経過を辿り、初期値にとった偶数が再び出現して1へ到達することになるもの(2,4,・・・)
とそうでないもの(6,・・・)が起こる。

 そこで、元の数へ戻る初期値の偶数は何か?(その個数がいくつあるか?)


 moonlightさんからのコメントです。(平成28年3月16日付け)

 ruby で探してみたら,

 2, 4, 8, 10, 14, 16, 20, 22, 26, 40, 44, 52, 106, 184, 206, 244, 274, 322, 526, 650, 668, 790,
 866, 976, 1154, 1300, 1438, 1732, 1780, 1822, 2308, 2734, 3238, 7288

 10000まででこれだけでした。意外に少なくて驚いてます。(ほぼ何も考えてません)
(→ 参考:「平方根のアルゴリズム」)


 らすかるさんからのコメントです。(平成28年3月16日付け)

 10000どころか2000000000(20億)まででもそれで終わりでした。


 moonlightさんからのコメントです。(平成28年3月17日付け)

 だから「これだけだ」となるかどうかはちゃんと考えんと判らんよ!ってところが面白いという
かなんというか。


                                             投稿一覧に戻る