【１】コラッツ予想

任意の自然数ｎに対して

［１］ｎが奇数ならば，３ｎ＋１

［２］ｎが偶数ならば，ｎ／２

にする．この工程（ＨＯＴＰＯ手順，half or triple plus one）を繰り返し行うと常に１に到達するというのがコラッツ予想である（１９３０年代）．

　１９６０年代に，角谷静夫がこの問題を知り，母校のエール大学に広めたが誰も解決することはできなかった．最近証明が発表されたが，その証明は不完全であって，いまのところ未解決である．

コラッツ予想は

　　２^n＝３ｍ＋１

の整数解（ｎ，ｍ）をすべて求めよという問題と関連している．コラッツ予想は要するに「自然数は３ｎ＋１と２のベキ乗の範囲内で二分木で一意に表される」という話なので，簡単に解決できてしまいそうな気がするが，はたして，このアルゴリズムは必ず終結するだろうか？　最後が１にならない数が存在することを証明できれば，自然数を結びつける新たなパターンから予想外の展開に繋がる可能性があるのだそうだ．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝