19/05/09 08:26:35.55 c2RXSWlw.net
ところで、
>>686から書いている2-進整数とは少し違うものが英語版Wikipediaにあった。
URLﾘﾝｸ(en.wikipedia.org)
の"Iterating with odd denominators or 2-adic integers"
例えば、コラッツ展開(1011001)のループを考える。
このコラッツ展開の長さn=7で、"1"の個数m=4。
"1"のビット位置k_0,...k_(m-1)は、0, 2, 3, 6。
これらを元に、
(3^(m-1)*2^k_0 + ... + 3^0*2^k_(m-1))/(2^n - 3^m)
を計算すると、151/47になる。
この数を分数でコラッツ操作すると、
151/47 → 250/47 → 125/47 → 211/47 → 340/47 → 170/47 → 85/47 → 151/47 → ...
となって、確かにループしている。偶奇のコラッツ展開とも一致している。
(10)からは1が得られるし、(110)からは-5が得られる。
一つのループから一つの有理数が得られるようだ。
これも2-進整数って言うのかなあ。