18/08/10 00:28:24.11 tK64NAzp.net
全ての場合でうまくいく訳ではありません。
star変換それぞれについて見てみます。
・3 mod 9
A[6,-4] y=4x/3-7 x=3+9t ⇒ y=3(4t-1) t=0は禁止する
B[1,-2] y=x/6-1/2 x=3+9t ⇒ y=3t/2 t:奇数は禁止する
・6 mod 9
C[4,-4] y=x/3-2 x=6+9t ⇒ y=3t t=0は禁止する
D[3,-2] y=2x/3-1 x=6+9t ⇒ y=3(2t+1) オールオッケー
・0 mod 9
E[2,-4] y=x/12-3/4 x=9t ⇒ y=(3/4)(t-1)
t-1が4の倍数でない時禁止する
F[5,-2] y=8x/3-3 x=9t ⇒ y=3(8t-1) オールオッケー
変換後のコラッツ値が、0や負や分数になるものを禁止すれば、
この変換は、3の倍数から3の倍数に写ります。
これで得られる割数列を「拡張完全割数列」「拡張コラッツ予想」と呼ぶ事にします。