>>125
> アイディアがあるなら具体的に頼む。
ありがとう。

生煮えなので申し訳ないのだが、右（２の冪乗）から来る
値は、n ≡ 1(mod 3)か n ≡ 2(mod 3) だというのが
解っている（3 の倍数だったら、下((2n -1 が 3 の倍数になるので、
(3n + 1) / 2 の逆操作ができない)へ行けない)）と思う。
そうすると、わりとスケスケな感じで自然数の空間が
視えてくるような気はするのだが、「数直線」という
言葉があるように、フツーは自然数というのは一次元なんだよな？

そのあたり、なんかしらのパラダイム・シフトが必要な気はするんだが、
「それが具体的に何か」と訊かれても、「う〜ん …」になっちゃうのだ。

「6 で割って 2 余る」とか「4 で割って 1 余る」とかいった話は
あるんだけど、6 と 4 の最小公倍数って 12 なんで、「(mod 12) って
ありそうな感じじゃねぇ？」とか言ってみただけな部分はあるわけですよ。

具体的な話をすると、「場合分けがパンクする」っつっても、
Tic-Tack-Toe＜（n-th Queen ではない）8-Queen ＜ make 10
＜ ペントミノ ＜ 四色問題 と並べてみると、組合せ的な話であれば
ペントミノ程度の話なんじゃねーかと思ってるワケですよ。

ただ、「どういうコンセプトで捉えたら、数学的かつ計算器数学的な
問題に落とせるか」っていう切り口がわからんのよね。

そんなわけで、「アイディアがあるなら具体的に頼む。」という問いには、
「こっちが知りてぇよ」と応えざるを得ない。済まぬ m(_ _)m。