前回
下位ビットの状態遷移図
イメージ
イメージとしては、(nが正の場合)左上の001
から出発して、
中央のループをぐるぐる回って、
最後に右下の4-2-1ループ
に辿り着くかんじだ。
現存する4種類のループがあらわれている
この図で未知のループは存在するか?
下位ビットでのあるループ候補は実はループではなかった → (コラッツ予想としての)対応するループ候補もループではない
は対偶論法で言えると思うので。
イメージとしては、(nが正の場合)左上の001
から出発して、
中央のループをぐるぐる回って、
最後に右下の4-2-1ループ
に辿り着くかんじだ。
下位ビットでのあるループ候補は実はループではなかった → (コラッツ予想としての)対応するループ候補もループではない
は対偶論法で言えると思うので。