コラッツ予想がとけたらいいな　その2

コラッツ予想がとけた ..

124:１３２人目の素数さん
18/05/26 19:04:19.46 mODZs90x.net
具体的にプログラム言語は何使えんのよ？

125:１３２人目の素数さん
18/05/26 19:04:56.28 mODZs90x.net
ちなみに>>1はhaskell使いらしい

126:１３２人目の素数さん
18/05/26 19:52:05.47 SzRdqnm/.net
>>124
> 具体的にプログラム言語は何使えんのよ？
わしゃぁのう、年寄りじゃけん、本当はアセンブラしか解らんのじゃ。
じゃけんども、C とか LISP とかは、理屈がよう分るんじゃ。
Pascal は、P-system があったんで、Java んような「中間言語」とか
「仮想マシン」っちゅーたらコンセプトは分らんでもないんじゃ。
年取ったけん、IDE がなけりゃプログラムなんぞ書けんように
なってしもうた。
そんなわけで、ようやく Java を使ってなんとかプログラムを
書いとるんじゃ。
ごめんつかぁさい。

127:１３２人目の素数さん
18/05/26 20:15:39.62 mODZs90x.net
中身のある話振ってくれるなら歓迎するけどね。
アイディアがあるなら具体的に頼む。

128:１３２人目の素数さん
18/05/26 20:56:17.99 SzRdqnm/.net
>>127
> アイディアがあるなら具体的に頼む。
ありがとう。
生煮えなので申し訳ないのだが、右（２の冪乗）から来る
値は、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。

129:１３２人目の素数さん
18/05/26 22:12:44.62 mODZs90x.net
逆にxn+1問題で無限大に発散する場合もあるxを探すというのは？

130:１３２人目の素数さん
18/05/26 22:44:42.03 9vYDmViG.net
コラッツ予想をセルオートマトンで可視化する事を試してみました。
URLﾘﾝｸ(dotup.org)
キーは3nplus1です。
大まかに４つのパターンを図示してみました。
1）完全にランダムなパターン
2）1のビットが長く続くパターン(2^n-1)
3）最下位ビットと最上位ビットの間が0のビットで隔てられてるパターン(2^n+1)
4）1のビットが長く続き、さらに離れて最上位ビットが存在するパターン((2^n+1)*2^m-1)
最下位ビットが0の行は赤に塗ってあります。
プログラムに間違いがあればすいませんが、結構興味深い遷移がみられました。

131:１３２人目の素数さん
18/05/26 23:12:06.85 9vYDmViG.net
>130 まとめ
○コラッツ操作を行った際に操作前よりも数が増えるのは最下位ビットから2ビット以上1が連続した場合のみ。それで増加する桁数は連続していた1の桁数よりもおそらく少なくなる。
○0が2ビット以上続いた箇所でグループを分けた場合(1011001101→1011　001101)、コラッツ操作3n+1のうち+1の影響を受けるのは最下位のグループのみ。それ以上のグループは3nの挙動となる。
○n桁の連続した1は3n+1操作で10(n-2桁の1)01になる。これが最下位グループなら+1操作で最下位ビットが繰り上がり10(n-1桁数の1)となる。
とりあえず挙げられるのはこんなところでしょうか。
既知の情報でしたら申し訳ない。

132:１３２人目の素数さん
18/05/26 23:26:44.26 mODZs90x.net
整数をビット列とみなして考えるのは>>1がかなりやってたから>>1の意見を聞きたいね。
まあ、この程度の成果では驚きはないだろうけど。

133:１３２人目の素数さん
18/05/26 23:31:56.87 mODZs90x.net
結構きれいな絵だけどきれいなものだけ抜き出したの？
よくわからんが全部きれいになるならもしかして凄いのかな？

134:１３２人目の素数さん
18/05/27 00:11:19.66 PUTG2O+S.net
>133
綺麗なパターンが出る値を選んでます。
大抵は増えて減ってを繰り返すパターンになると思いますが、その出現に規則性が見られるように思えます。
まぁ勘違いかもしれないんですが orz

135:１３２人目の素数さん
18/05/27 07:33:04.20 hLMSuDSm.net
>>131
「最下位ビットから2ビット以上1が連続した場合」については、
以下のようなことを考えたことがある。
「ここで、新たな操作を追加する。
　（３）n' = 3n + 2
である。
　たとえば "11101" のように、左に '1' が二個以上連続した部分（m 個）が
あるとする。これを、m - 1 個の '1' と '1' に分ける。 "11101" だったら
"11" と "101" だ。このとき、"11101" は、"**"と「 "101" に（３）の操作を
二回施した結果」で表される。
"11" -> "*" + "101"
"111" -> "**" + "10001"
"1101" -> "*" + "10001"
"1111" -> "***" + "101011"
"11001" -> "*" + "10111"」
その他の悪戦苦闘っぷりは
URLﾘﾝｸ(animaleconomicus.blog106.fc2.com)
を参照されたい。

136:１３２人目の素数さん
18/05/27 08:58:45.44 hLMSuDSm.net
逆コラッツ操作を行なうプログラムの中で、ずっと
「ｎを二倍して１を引いたものが３で割りきれたら３で割る」
とかいうロジックを使っていたのだが、よく考えたら
「ｎを３で割って２余る」（n ≡ 2(mod 3)）でよかったことに、
いま気づいた。
2*(m + 2) - 1 = 2m + 4 - 1 = 2m + 3
なんだから、3|m（「m が 3 で割切れる」あるいは「m は 3 の倍数」。
遠山啓さんの『初等整数論』のスタイルだと「3)m」）なら
当たりまえじゃん（だから数学は苦手なんだと(ry）。
　そうすると、
１）ｎを３で割って２余るなら、二倍して１を引いてから２で割る。（それが終わったら、次にｎを二倍して右を探す）
２）ｎを３で割って１余るなら、右に逃げる（ｎを二倍して右を探す）。
３）ｎが３で割りきれるなら、下には行けないし右側にも奇数へ向かう枝が出ないので、ひとつ前（根に近い数）に戻る。
という操作で再帰をかければ、「逆コラッツ操作で出てくる奇数の木を探索する」ことができるはずだ。
こうなったら奇数偶数関係ねぇじゃん。orz

137:１３２人目の素数さん
18/05/27 13:50:43.81 OB+BVTS7.net
個人的最近色々とデータをいじっているんだが、1になるまでの回数にちょっとした発見があるんだけど需要ある??

138:１３２人目の素数さん
18/05/27 13:53:03.11 OB+BVTS7.net
あとは逆コラッツとフィボナッチの関連性やn次のコラッツ、コラッツに群の導入などなど

139:righ1113
18/05/27 14:30:36.56 TGwE04e6.net
>>130-131
残念だけど目新しい情報はないかなあ。

140:１３２人目の素数さん
18/05/27 17:28:34.65 hLMSuDSm.net
>>137
> 個人的最近色々とデータをいじっているんだが、1になるまでの回数に
> ちょっとした発見があるんだけど需要ある??
>>138
> あとは逆コラッツとフィボナッチの関連性や、n 次のコラッツ、コラッツに群の
> 導入などなど
ここは、たぶん「『需要ある??』とか、つまんねぇ遠慮なんかしてるんじゃねぇ！　さっさと晒せよ！」
…… っつースレですから。燃料を投下していただければ、いくらでも。

141:１３２人目の素数さん
18/05/27 19:19:29.97 Eccfjv+j.net
スレがにぎわい始めましたね。
あとは>>786の議論についていけるレベルの人が来てくれればいい感じなのですが。

142:１３２人目の素数さん
18/05/27 19:52:38.57 hLMSuDSm.net
>> 139
> あとは（前スレの）＞＞786の議論についていけるレベルの人が来てくれればいい感じなのですが。
つーても、数学板は敷居が高いのよ。
前スレの＞＞8 の
> 最初に偶数はアウト（１に収束）
> ４の倍数になったらアウト
っつーのも、
×「最初に偶数はアウト」
〇「最初に２の冪乗数はアウト」（つーか、２で割り続ければ奇数に帰着するので、
奇数について証明できればオッケー。てなワケで「４の倍数になったらアウト」と
いうのも、ここに帰着）
とかいったツッコミ（つーか、解説）を誰かしてくれよ、みたいな話にはなる。
むしろ、素人目線の解説を丁寧にしてくれるヒトがいてくれると、もっと盛り上がる
ような気がするのだが。

143:１３２人目の素数さん
18/05/27 21:51:55.33 Lbd03fNz.net
藤林丈司

144:前786
18/05/27 22:57:17.76 oX99EjGQ.net
なんだか盛り上がってますが
とりあえず>>94の出力が正しいことの説明がやっと書けそうなので、投下してから見ます。

145:前786
18/05/28 00:37:34.73 juv57CZY.net
頭の中では図と数式だけしかないから大したことない議論に思えるけど
ちゃんと書こうとするとどうも長くなってしまう…

>>94の出力が正しいことの説明。
Z/nZ を図で表すイメージを導入します。
まず n が素数のときは、アルゴリズム (1) のようにグループ分けし、
URLﾘﾝｸ(i.imgur.com)
図のように 2 倍すると右に 1 マス進むように数を並べます。
各グループの左端と右端は繋がっているイメージです。
n が素数べきの場合も同様です。
さらに一般の n でも同様の表現が可能ですが、ここでは別の表現を導入します。
p,q を相異なる素数とするとき、Z/pqZ は
Z/pZ を横軸、Z/qZ を縦軸にとった二次元配列で表せます。
URLﾘﾝｸ(i.imgur.com)
「Z/pqZ は (Z/pZ)×(Z/qZ) と同型」というのはこのことを表します。
例えば下図の赤マスは
URLﾘﾝｸ(i.imgur.com)
mod 7 で 4、mod 3 で 2 であるような数、すなわち 11 を表します。
Z/pqZ の図で数を 2 倍すると、右上のマスに移ります。
ただし、各ブロックで左右の端、上下の端はそれぞれつながっています。
URLﾘﾝｸ(i.imgur.com)
図は一部のみ示していますが、どの矢印も 2 倍を表しています。

146:前786
18/05/28 00:38:11.51 juv57CZY.net
ここから>>94の出力の話。
19n+1 版で、プログラムに 7 を入力して、A'={3,5,6} とした状況を考えます。
B は Z/133Z において、
「 19 の倍数でも 7 の倍数でもなく、mod 7 で 3,5,6 出ない数」
を考えるので、Z/133Z の下図の部分だけを見れば十分です。
URLﾘﾝｸ(i.imgur.com)
グループ分けを考えると、2 倍すると右上に進むことから
図のように 3 つのグループに分かれます。
URLﾘﾝｸ(i.imgur.com)
縦のマス数 18 が 3 の倍数であることに注意。
次に {3,5,6} に 19 をかけて 1 を足すと
3*19+1=58≡2 (mod 7)
5*19+1=96≡5 (mod 7)
6*19+1=115≡3 (mod 7)
より 3 に対してのみ B のグループが対応します。
58≡1 (mod 19)、58≡2 (mod 7) より
58 は図の位置になります。
URLﾘﾝｸ(i.imgur.com)
よって、緑グループのみ得られます。

147:前786
18/05/28 00:38:52.08 juv57CZY.net
次の C は、Z/(7・19^2)Z において下図の部分を考えることになります
URLﾘﾝｸ(i.imgur.com)
縦は 18・19 マスです。グループは 2 つ得られます。
緑マスの数に 19 をかけて 1 を足すわけですが、まず mod 7 だけで考えると
1*19+1=20≡6 (mod 7)
2*19+1=39≡4 (mod 7)
4*19+1=77≡0 (mod 7)
なので、緑マスの中でも mod 7 で 2 である数しか C のグループに対応し得ません。
対応するマスは mod 7 で 4 の列 (一番右の列) のどこかになります。
一方 mod 19 で考えると、ある数に 19 をかけて 1 を足すわけですから、
当然結果は mod 19 で 1 になります。
Z/(19^2)Z で 1 に 2 をかけていくと、mod 19 で 1 である数は 18 回に 1 回現れます。(2 が Z/19Z の原始根であることから)
したがって、緑マスの数に 19 をかけて 1 を足した数は、下から数えて 18k+1 (k∈N) 番目に現れます。
mod 7、mod 19 の話を合わせれば、
緑マスの数に 19 をかけて 1 を足した数は、青グループにしか対応しないことが分かります。
プログラムの出力でいえば、C のうち 1 つだけが得られた、という部分に当たります。
最後に C' の部分ですが、
青グループの数に 19 をかけて 1 を足すことを考えると、
C での議論と全く同じになり、黄グループの数に対応しないことが分かります。
したがって、出力は>>94の通りになります。

148:１３２人目の素数さん
18/05/28 06:02:47.38 DIMEHMYY.net
>>131 と >>134 から、なんとなく証明への道筋らしきものが見えてきた。
もちろん“道筋らしきもの”なので、完璧な証明に到達できるかどうかは別の話なのだが。
まず、ごく初歩的な話だが、「メルセンヌ数」の話をしておく。「メルセンヌ数」を「メルセンンヌ素数」だと思っているような人は
数学板にはいないだろうが、「素数であるメルセンヌ数」が「メルセンヌ素数」で
あって、メルセンヌ数は単なる「2^n - 1」の形をした数である。
　メルセンヌ数が素数であるかどうかは「リュカ検定（ルーカス・テスト）」に
よって比較的効率よく行えるので、「メルセンヌ素数は無限に存在するか？」
「（偶数の）完全数は無限に」という問題と関連して、コンピュータによる
探索が行なわれている。そうやって見つかった素数は桁数が大きいので
「現在知られている最大の素数」みたいな形で話題になる。
つぎに、任意の有限な数 n をビット列で表したときの、最初のオンビットから
最後のオンビットまでの部分を、“コラッツむし”と呼ぶ。

149:１３２人目の素数さん
18/05/28 06:04:45.60 DIMEHMYY.net
４で割って１余る（n ≡ 1(mod 3)）コラッツむし以外のコラッツむしは、
下位に「２個以上連続したオンビット部分」を持っている。ここで、m 個並んだ
オンビットがあるとして、そのうちの下位側の m - 1 個のビットを
「メルセンヌ部分」、残りを「本体」とする。このとき、本体部分に m - 1 回の
「3n + 2」操作を行なったものが、コラッツむしの“真の体長”だと
思うことにしよう。
つまり、n がメルセンヌ部分を持っているときは、メルセンヌむしは
“縮んでいる”わけだ。
3n + 1 操作を受けた“伸びた”コラッツむしの下位側には、0（二進数表記。
オフビット）が現れる。ただし、任意個の 0 は“ないのと一緒”なので、
コラッツむしの体長には含まれない。
そこで、「コラッツ予想が正しいかどうか？」は、「コラッツむしの“真の体長”が
際限なく伸びてゆく場合があるか？」という問題に帰着する。
そうなると、本体部分は「４で割って１余る素数」だ。これに 3n + 1 操作を
行なったときに、メルセンヌ部分がどう表れるかという話になる。この
メルセンヌ部分が際限なく表れると、コラッツむしの真の体長が伸びて、
メルセンヌ予想が破綻する。

150:１３２人目の素数さん
18/05/28 06:06:43.64 DIMEHMYY.net
じゃあ、「『メルセンヌ部分を持たないコラッツむし』が『メルセンヌ部分を
持つコラッツむし』に変態する頻度と、変態後の“真の体長”の変化は、
どのようなものか？」という話になる。
“真の体長”が伸びる可能性があるとすれば、それは操作 3n + 1 による。
このとき、3n + 1 操作が可能なのは n ≡ 2(mod 3) の場合だけだ。で、
これに 3n + 1 操作を行なうと、n' は n' ≡ 1(mod 3) になるので 3n + 1 操作は
「一回休み」になる。
2n 操作によって、mod 3 は 1 -> 2 -> 1 -> 2 と変化する。
また、メルセンヌ数の mod 3 は、桁数が多くなるごとに 1・２・１・２と
変わる。
つまるところ、「真の体長を伸ばすようなメルセンヌ部分が、どれだけ
出てくるか？」という話になる。
「山よりでかい猪は出ない」わけで、真の体長よりも“長い”メルセンヌ部分が
出ることはない。これを踏まえて、「コラッツむしの真の体長が無限に伸びる
ことがあるのか？」という話になる。このあたりが mod 3 と mod 4 の
絡み合いで組合せによって解決できて、「伸びるにしても限度がある」ことが
示されれば、メルセンヌ予想は肯定的に解かれたことになる。
こう考えるとわりと単純な話なので、数学の素人でも手を出しやすいような気が
する。もっとも、コラッツ問題自体が「素人にも手をだしやすいが、素人の手には
負えない」問題なんだから、解けるかどうかはまた別の問題なのだが。

151:１３２人目の素数さん
18/05/28 08:14:16.23 DIMEHMYY.net
一応、まとめてみる。
自然数 p と q を考えよう。
とりあえず、p は措いておいて q について考える。
2^q - 3 は、2 < q のときに、二進数で q - 1 桁になる。いちおう、
「q が 1 のとき、結果がマイナスになるのだが、ちゃんと考えてるか？」
とかいった話もあるが、ここでは正の数だけを考えることにする。
つぎに、メルセンヌ数 p^2 - 1 を考える。これは p - 1 桁の数になる。
これを結合したビット列を考えよう。それは (2^p - 1) + 2^p × (2^q - 3) であり、
桁数としては (p - 1)+(q - 1) 桁であるから、p + q - 2 となる。
このとき、「2^q - 3 に『三倍して２を足す』操作を p 回繰り返した結果に
コラッツ操作を施すことで、どれほどの桁数（これを n とする）になり、
最下位に何桁（これを m とする）のメルセンヌ数が出てくるか？」を
考える（m < n であることに注意）。
m と n を p と q の関数で表して、 n - m が q - 1 よりもどんどん大きく
なっていったら、コラッツ予想は「はずれ」だということになる。
おそらく、最悪のケースで見積もると、“爆発”（無限大に発散）すると思う。
そうでなかったら、コラッツ問題はとっくに解決しているはずだ。
だから、相当にややこしいテクニックを駆使して「最悪のケース」を避けて
「無限大には発散しない」ことが示せれば、コラッツ予想は肯定的に証明される
ことになる。
そんなにうまくゆくとも思えないし、可能だとしても相当に苦労するだろうとは
思うのだが、方向性としてはちょっと新しいように思うので、「難しい」とか
「ダメっぽい」とか「ここから先で行き詰まった」くらいの実績は残しておいても
いいと思う。
コラッツ予想に関する「やってみたけどダメだった」的な論文というのは
山ほどあるのだから、いまさら何本かのクズ論文が増えたところで
文句を言う奴もおるまい。

152:128
18/05/28 08:25:18.74 /SyHFjrG.net
>139
既知の情報だったようですね。失礼いたしました
>148
何かしらのお役に立てたのなら幸いです。

153:１３２人目の素数さん
18/05/28 09:44:13.47 DIMEHMYY.net
>>152 ＞＞128
> 既知の情報だったようですね。失礼いたしました
いやいや、２ちゃん（今は「５ちゃん」だが）でガイシュツは恥ではない。
お気にならさず。
> 何かしらのお役に立てたのなら幸いです。
本当に役に立った。ありがとう m(_ _)m
ついでながら、>>151 の
> 2^q - 3 は、2 < q のときに、二進数で q - 1 桁になる。
というのは、「５以上の４で割って１余る奇数」のうち、いちばん
みっしりビットが詰まったやつのことである。
このあたりのコンセプトの整理には、本スレに参加している諸氏の意見が
非常に役立った。併せて感謝申し上げる。ありがとうm(_ _)m

154:１３２人目の素数さん
18/05/28 12:54:56.22 DIMEHMYY.net
ようやく前786氏の言ってることがちょっとだけ理解できたような気がする。
「Z/pZ」（つーか、どうせ自然数なんだから「N/pN」で構わんと思うんだが、
それは「整数論」という括りでいうと「自然数に 0 が入っちゃまずいだろう」という
配慮があるんだろうと思う）というのは、単なる剰余系であって、
「何に関して閉じているか」っつーのは、また別の話なんだよな？
そもそも、「+1 する」という操作に対して p の剰余系 Z/pZ は閉じているので、
「Z/nZ（+1）」は閉じているわけだ。
で、n が p の原始根だとすると、Z/pN が「Z/nZ（×n）について閉じていて、
しかも網羅的である」っつー話なんだよな？
だけど、Z/pZ に対して、任意の i かなんかを持ってくると、Z/nZ（×i）というのは
、「全部廻れる」わけじゃないので、Z/pZ の部分群の和集合という形に
なるんだよな？
で、たぶん前786氏は、「そのあたりを、（Z/pZの）すべての p に対して
（すべての i に対して）ツブしていけば、どっかで何とかなりそうな気がする」と
いう気がするので、「i = 2」に関してツブしてゆこう、という話ではないかと思う。
オレは何かヘンなことを言っていると思ったら、ツッコミを入れてほしい。歓迎する。

155:前786
18/05/28 15:03:52.79 juv57CZY.net
2 に注目しているのは、
コラッツ操作の「偶数を 2 で割る」
逆操作の「2 をかける」
から来ています。
証明を考えていくと自然とそうなりました。

>「Z/pZ」（つーか、どうせ自然数なんだから「N/pN」で構わんと思うんだが、
>それは「整数論」という括りでいうと「自然数に 0 が入っちゃまずいだろう」という
>配慮があるんだろうと思う）というのは、単なる剰余系であって、
>「何に関して閉じているか」っつーのは、また別の話なんだよな？
ここで何を気にされてるのかいまいちよく分かりませんが、
「閉じている」という表現は全体の一部分を見ているときに使う表現なので、この場合適切でないと思います。
例. 整数全体の中の奇数の集合は、積について閉じていて和について閉じていない。
「どういう演算を考えているか」を気にしているということでしょうか？

あと一応もう一つ言葉にツッコんでおきますと、
>だけど、Z/pZ に対して、任意の i かなんかを持ってくると、Z/nZ（×i）というのは
>、「全部廻れる」わけじゃないので、Z/pZ の部分群の和集合という形に
>なるんだよな？
この「部分群」もちょっと用法がおかしいです。
例えば Z/7Z を {0},{1,2,4},{3,5,6} に分ける、というような操作に関しての発言だと思いますが、
これを表現したければ「軌道」と言うのが適切かと思います（群論の言葉です）。

156:前786
18/05/28 15:04:43.97 juv57CZY.net
2 に注目していることについては、
例えば次のような問題を考えれば納得できると思います。
問. どんな自然数からでも、コラッツ操作とコラッツ逆操作を繰り返すことで 9 の倍数に到達できるか？

157:１３２人目の素数さん
18/05/28 15:27:05.72 DIMEHMYY.net
スレの流れからいうと不規則発言なので、「そういうコトを言っている香具師がいる」
くらいに思ってほしい。
なんとなく問題の本質が見えてきたような気がするので、「コラッツ予想」
「コラッツ問題」に関して「他の研究者は、どんなアプローチを取っているんだろうか？」と
思って検索してみた。
　そうすると、「3n + 1 問題」の 3 を「一般の k に拡張したときに」とかいう話が
多いんだよね。
　「逃げちゃダメだ、逃げちゃダメだ、逃げちゃダメだ」と思う。そんなもん、
「3n + 1」を解決してから考えろ、と思う。
mod k からアプローチするのは、基本的に“あり”だと思う。だけど整数論
（群とか環とか体とか）に関していうと、あんまり道具としては使いやすくないので
、「果たして有効だろうか？」と思う。まぁ、数学の素人が言うこったから、
「ふぅーん、あんたはそう思うのね？」くらいの感じで聞き流してくれても
まったく問題がないのだが。
だいたい、「数学」っつーのは“無限”を相手にすることが多い。「実用的な範囲で、
どれくらい抑え込めるのか？」っつーのは、どっちかっていうと有限組合せ数学とか
の範囲の仕事なのだ。だから、純粋数学畑の人はあんまり興味を持たないと思うし、
数式処理システムとか実験数学とかいったものとかとは距離を置きたいと思うのが
当然だと思う。
あとは「整数論方面のほうからのアプローチがどこまで通じるか」という期待が
あるのだが、そっち方面の研究って、あんまり進んでないような気がする。
「有限束の数え上げ」とか「魔円陣（完全ゴロム環）」とかいった話題は、
もう十年以上も取りあげられていないような気がする。
てなワケで、燃料を投下してみた。敲いてくださって結構。かかってらっしゃい。
数学はまるでダメだが、伊達に長年ネットでのたくっていたワケでもないので、
口だけは達者だ。

158:１３２人目の素数さん
18/05/28 15:54:28.71 DIMEHMYY.net
>>155
おお、数学屋さんがマトモに応答してくれるとは光栄だ。これは皮肉ではない。
本当にそう思っている。
> 2 に注目しているのは、
> コラッツ操作の「偶数を 2 で割る」
> 逆操作の「2 をかける」
> から来ています。
私はビット列として考えているので、“コラッツむし”みたいな概念で「シフト演算」
あるいは「ヌルビットの除去」というイメージで捉えているのだ。このあたり、
プログラマという商売柄がある。そんなわけで、「だったら、コテハン（固定ハンドル）を
使って立場を明確にしろ」ということであれば、対応するつもりだ。

159:１３２人目の素数さん
18/05/28 15:56:30.55 DIMEHMYY.net
>>155 つづき
>>「Z/pZ」（つーか、どうせ自然数なんだから「N/pN」で構わんと思うんだが、
>> それは「整数論」という括りでいうと「自然数に 0 が入っちゃまずいだろう」という
>> 配慮があるんだろうと思う）というのは、単なる剰余系であって、
>> 「何に関して閉じているか」っつーのは、また別の話なんだよな？
> ここで何を気にされてるのかいまいちよく分かりませんが、
> 「閉じている」という表現は全体の一部分を見ているときに使う表現なので、
> この場合適切でないと思います。
>
> 例. 整数全体の中の奇数の集合は、積について閉じていて和について閉じていない。
>
> 「どういう演算を考えているか」を気にしているということでしょうか？
「群論」というと、整数論をちょっと齧った人間としては、まず「循環群」
（その集合の要素をすべて網羅すること）を連想してしまうのだよ。
だから、「2 をかける」という操作よりも、「3n + 1 という操作に関して、
その有限集合が閉じているか？」が気になってしまうのだ。そういう意味では、
「どういう演算を考えているか」が気になる。

160:１３２人目の素数さん
18/05/28 15:57:44.90 DIMEHMYY.net
>>155 さらにつづき
> あと一応もう一つ言葉にツッコんでおきますと、
>> だけど、Z/pZ に対して、任意の i かなんかを持ってくると、Z/nZ（×i）というのは、
>> 「全部廻れる」わけじゃないので、Z/pZ の部分群の和集合という形に
>> なるんだよな？
> この「部分群」もちょっと用法がおかしいです。
> 例えば Z/7Z を {0},{1,2,4},{3,5,6} に分ける、というような操作に関しての
> 発言だと思いますが、
> これを表現したければ「軌道」と言うのが適切かと思います（群論の言葉です）。
済まぬ m(_ _)m。「軌道」という言葉は別のサイトで使っちゃってたので、
あえて避けた部分がある。
「軌道」によって排他的（重なる要素がない）集合に分割される「群」の
部分集合、という意味で「部分群」という言葉を使っただけだ。
コラッツ集合を表す「木」という言葉も、「根本のほうで循環してるんだから、
『木』っておかしくねぇか？」みたいな議論は前スレでもあったと思うが、
「ビット列の中で、最初のオンビットから最後のオンビットまでを
“コラッツむし”と命名する」みたいなコンセプトで、「根っこが 1 ビットである
木構造」と捉えると、「木」と呼んでもしっくりくると思うのだが。

161:１３２人目の素数さん
18/05/28 16:37:50.04 DIMEHMYY.net
>>156
> 問）どんな自然数からでも、コラッツ操作とコラッツ逆操作を繰り返すことで
> 9 の倍数に到達できるか？
なんとなく意味は分かるのだが、どういう問題意識があるのかがピンとこない。
mod p の木に奇数 m があり、mod q の木に奇数 q があったとすると、（p と q が
互いに素だとして）Z/pqZ 上では「根である 1 まで下がって、また上がってくりゃ
いいだけの話じゃん？」と思う。
　「p と q の直近の（いちばん近い）共通の奇数 x があり、それぞれコラッツ操作に
よって x -> p と x -> q に至るルートを（効率よく）求める方法を（コラッツ操作と
コラッツ逆操作をそれぞれ用いることで）示せ」っつーんなら、「ひょっとしたら、
なんとかなるかも知れん（オレが出来るとは言わんが）」くらいのことは言えるが。

162:前786
18/05/28 17:29:14.11 juv57CZY.net
>>161
私が考えているのは
「コラッツ予想は、初期値が n で割って k 余る数だけ考えれば十分である」
というのがどんな n, k についても成り立つか、という問題です。
それを証明するための一つの手段として、
「どんな自然数からでも、コラッツ操作とコラッツ逆操作を繰り返すことで n で割って k 余る数に到達できる」
を示そうと思っています。
ところで「mod p の木」とか「mod q の木」などと私は一度も言っていませんが、何の話でしょうか。
Z/pqZ 上では「根である 1 まで下がって、また上がってくりゃいいだけの話じゃん？」、というのも意味がよく分かりません。

163:Mb
18/05/28 19:08:02.21 DIMEHMYY.net
>>162
要するに、
> 「コラッツ予想は、初期値が n で割って k 余る数だけ考えれば十分である」
> というのがどんな n, k についても成り立つか
というのは、
「コラッツ予想は、x ≡ k(mod n) だけ考えれば十分であるというのが、
どんな n, k についても成り立つか？」っつーのと同じことを謂っているように
思うのだが、うちらは「そのあたりに関しては、mod 3 と mod 4 の絡み合いに
関係していそうなので、なんだかんだで場合分けがややこしいことになりそうだ」
という話をしているだけなのだ。
そこで、
> それを証明するための一つの手段として、
> 「どんな自然数からでも、コラッツ操作とコラッツ逆操作を繰り返すことで
> n で割って k 余る数に到達できる」
> を示そうと思っています。
というのが、「コラッツ操作」と「コラッツ逆操作」を混在させてしまうと、
なんとなく迷走してしまいそうで、心配しているだけだ。
その発想だと、「共通の“節点”であるどこか」を経由しないといかんような気が
するので、「根であるところの 1 へのルートをそれぞれについて求めて、
その差分を取る」みたいなアプローチが成功しそうに思う。
あくまで個人的な感想なのだが。

164:Mb
18/05/28 19:28:33.47 DIMEHMYY.net
>>162
> ところで「mod p の木」とか「mod q の木」などと私は一度も言っていませんが、
> 何の話でしょうか。
原始根は複数個ありうるので、巡回群（剰余系における、全部の要素を辿る乗数系）も
複数個ありうるのだが、「一部の要素」をフォローする（単一の）乗数と、「その他の
要素」をフォローする乗数（その他大勢）が、全体として Z/pZ を隈なく覆う、
という「グループとしての、木の集まり」というものを考えて、「その集まりを
考えたときに、木の本数が、ある一定数よりも大きくならない」ということを
謂っているんだろうと思っているのだ。
それを考えると、「どこかの木に属している」ということは、「他の木に属していない」
という意味になりそうな気がするわけで、そうした「排他的な木」としての
「mod p の木」とか「mod q の木」という概念はあっていいような気がするし、
それぞれの木が排他的に「すべての自然数」を所有しているとすると、
「グループとしての、木の集まり」がコラッツ問題をカバーしていることになり、
Z/(全部の木の基数の積)Z の存在を示すことができれば、コラッツ予想が肯定的に
証明できることになるような気がする。

165:前786
18/05/28 21:38:47.13 juv57CZY.net
>>163
mod 3 と mod 4 の絡み合いでややこしくなるとか、コラッツ操作とコラッツ逆操作を混在させて迷走しそうとか
心配はありがたいのですが、既に多数の n や k について証明できているのは見ていただけてるでしょうか。
「なんとなく」の印象だけで話されても困ります。
>>164
>「一部の要素」をフォローする（単一の）乗数
原始根にならない元のことでしょうか。よく分かりません。
数学の言葉でお願いします。
>「その他の要素」をフォローする乗数（その他大勢）
ここはもっとよく分かりません。
>Z/pZ を隈なく覆う、という「グループとしての、木の集まり」
軌道のことでしょうか。
>「その集まりを考えたときに、木の本数が、ある一定数よりも大きくならない」ということを謂っている
なんのことでしょうか。

166:righ1113
18/05/28 22:20:56.19 7MfED6re.net
>>144-147
説明ありがとうございます。完全に理解したとは言えないのですが……
このプログラムの実行には12時間以上かかったので、無駄にならなくて良かったです。

167:１３２人目の素数さん
18/05/28 22:30:29.54 vACmorEE.net
若干スレが荒れぎみですがこれも2chの華ですかね？

168:前786
18/05/29 08:17:04.68 uipUXNvy.net
>>166
よく粘りましたねｗ
逆に言えば、プログラムで数千、数万回計算して得られた結論がたった３レスで説明できた訳ですから、
この考え方をうまくプログラムに落としこめれば計算量を大幅に削減できる可能性も……
>>167
私の発言でそう思わせてしまったなら申し訳ありません。

169:１３２人目の素数さん
18/05/29 14:20:35.00 hqRqM8Wt.net
「すべての自然数 N に対して、偶数は（素因数分解したときの 2 の乗数について
割ったら）奇数に帰着する。
「『４で割って３余る奇数』は、ビット列で表現したときに、下位のオンビット列
（一個以上のビット列が並んでいるビットパターン）」に帰着するので、
「４で割って３余る奇数」に帰着する。
そうすると、「４で割って１余る奇数」に帰着するすべての自然数が、3n + 1 操作に
対して、「４で割って１余る奇数」に帰着するかどうかが問題になるわけだから、
「ある『n ≡ 1(mod 4)の数が、(3n + 1)/2 操作によって、『n' ≡ 1(mod 4)の数』に
なるとき、n' が単調増加して無限大に発散するかどうか？」という話に帰着する。
そんなわけで、そのとき、2 で割ったときに、「『2 < n| 2^n - 1』が無限連鎖するか？」という話になる。
自分は数学屋ではないので、数式を追っかけて解決する自信がない。
数値実験で見当をつけようと思う。
ロジックに穴があったら指摘していただきたい。m(_ _)m

170:righ1113
18/05/29 18:52:19.94 MoZwWLVJ.net
>>169
最後がよく分からないです。
>　2 で割ったときに、「『2 < n| 2^n - 1』が無限連鎖するか？」
詳しい説明が欲しいです。
例えば、ビット列で言うとこう、とか
プログラム(アルゴリズム)で書くとこう、とか。

171:１３２人目の素数さん
18/05/29 19:02:13.73 4lgsCN3f.net
>>168
まあここまでが順調過ぎましたからね
今の方が本来の2chの姿に近いかも
あまりガッカリせずに気長に行きましょう

172:１３２人目の素数さん
18/05/29 21:09:33.77 hqRqM8Wt.net
>>169
> 最後がよく分からないです。
>>　2 で割ったときに、「『2 < n| 2^n - 1』が無限連鎖するか？」
> 詳しい説明が欲しいです。
あ、ごめん。言葉が足りなかった。
最下位に「連続した２個以上のオンビットがある」というのが
n ≡ 3(mod 4)
ということなわけで、
その場合は「下位のメルセンヌ部分を除去したビット列に、
3n + 2 操作を行ないつづけることで、n ≡ 1(mod 4) に帰着する」
ということが謂える。
だから、「メルセンヌ部分を除いた本体が、増えるか減るか」が
肝心なところであって、「最下位に一個以上の 0 があって、本体の長さが
減る」のか、「最下位に二個以上の 1 が現れて、本体の長さが増える」のかが
問題になるわけだ。
その部分に着目すると、コラッツ操作の逆操作を考えたときに、かなり計算量が
減るように思うので、「コラッツ予想は 5 × 2^60 までは成り立つ」みたいな
ショボい話（IEEE の long よりも小さい）ではなくて、メルセンヌ素数的な
デカい数まで（たとえば 10^100 とかまで）コラッツ予想は成り立つことが、
“数値実験的に”ではなく、“数学的に”（といっても、コンピュータによる
実験的な検証が入っているので、数学的な厳密性に欠けているという点については
完璧ではないのだが）「コラッツ予想は成立する」と断言しちゃっていい、
みたいな話になると思うのだ。

173:１３２人目の素数さん
18/05/29 21:10:17.02 hqRqM8Wt.net
少なくとも、「フツーにプログラムを動かしていたら、例外が見つかった」とか、
飛行機が堕ちて死ぬとか巨大彗星が堕ちてきて人類が滅亡するとか、そういった
確率の何百万分の１以下のところまで絞りこめれば、「実用的には、コラッツ問題は
解決した」（とはいえ、コラッツ問題の実用性というのが、あるとは思えないが）と
言っちゃっていいと思う。
暗号理論だって、「偶然、解読のための鍵が見つかっちゃう確率は 0 ではない」という
意味では完璧ではないわけで、「じゃあ、具体的には、コラッツ予想は、どこまでの
範囲で成り立つのか？」という限界を、「可能性がありそうな部分を、一個づつ
ブルート・フォース・アプローチによって潰してゆく」より効率のよさそうな方法で
ツブしてゆくというアプローチがありそうに思う。
で、その過程で、「なんか、こっから先にはなんにもなさそうな気がする」という
限界がうっすらと見えてきたら、そこから逆に「じゃあ、このあたりには何があるの？」とかいった見当がつくのかもしれない、と思う。
コラッツ予想はメルセンヌ素数 8,191 に絡んで、2^8191 - 1 あたりで組合せ論的には
頭打ちになると思う。実際にメルセンヌ数から出発してメルセンヌ数に落ちるケースは
127 かなんかが最高だったので、あとは「メルセンヌ数ではない数から出発して、
3n + 1 操作“のみ”によってメルセンヌ数に落ちる」ケースを潰してゆけば、
コラッツ予想が成立する限界点はもっと先まで確認できるように思うし、
ひょっとしたら（四色問題や有限群の分類みたいに）「この先は、組合せ論的にいって
ありえない」みたいなコトになるかもしれない（とはいえ、私は数学の専門家では
ないので、数学者の誰かが証明できたとしても、その証明を理解できる自信は
まったくないのだが(-_-!)）。
てなワケで、現在探索を続行中。

174:１３２人目の素数さん
18/05/29 21:15:32.62 f2WjLLel.net
>>173
探索を実行中ってことはもうプログラムがあるってこと？
なんなら>>1みたいに晒してくれてもいいのよ？

175:１３２人目の素数さん
18/05/29 21:38:00.75 hqRqM8Wt.net
>>170
ごちゃごちゃ長文を書いてしまって申し訳ない。m(_ _)m
要するに、「いままで、『n 以下までにはコラッツ予想の
反例はない』というのを示すのに O(n) の手間がかかって
いたのだが、それを O(lon(n)) に持ってくことができたら、
5*2^60 とかいうショボい話じゃなくて、 2^127 くらい
までは（できれば 2^4095 くらいまでは）持ってけねぇか？」
っつー話。
>>174
> 探索を実行中ってことはもうプログラムがあるってこと？
『Java の宿題ここで答えます』の回答者側の常連だったので、
「とりあえず動く」レベルのものはあるのだが、やっつけで
書いたもんだから（これが Hacker というものだ）あんまり
フツーのプログラマが見て分かりやすいモンじゃねぇんだよな(-_-!)
自前でやってる WebLog のほうに、近々さらすことにして、
ソーズはもうちょっと洗濯させてくれ m(_ _)m

176:righ1113
18/05/29 22:09:23.31 HdpfadtL.net
>>175
今ひとつ分からないので、自分はソースを待ちます。

177:１３２人目の素数さん
18/05/29 22:34:19.60 f2WjLLel.net
やはり>>786が論理を構築し>>1がその論理をプログラムで実装するというのがこのスレのベストプラクティス。
なにかいいネタはないかな。

178:righ1113
18/05/29 22:53:33.64 HdpfadtL.net
>>177
>>113とか、どうですかね?

179:１３２人目の素数さん
18/05/29 23:17:54.07 f2WjLLel.net
いまいちよくわかってないんだが>>113の①②③はそれぞれ別々に証明する必要があるってこと？
で①②③がいえれば④がいえるってこと？

180:前786
18/05/29 23:19:19.88 z3i0m55/.net
>>177
プログラムの結果を参考にして証明を進める、までできれば私としてはベストですね。
今は>>168で書いた案について考え中。
>>178
>>113の①はなんとかなるかもしれません。
「繰り返すと１つになる」というよりは「繰り返しても集合の個数が増えない」という論法になりそうです。
ちょうど>>168のアイデアにも関連します。
このあと軽く説明します。

181:righ1113
18/05/29 23:30:01.77 HdpfadtL.net
>>179
①と②は対偶関係なので、
①を証明する→③を証明する→④が言える
です。

182:前786
18/05/29 23:38:41.79 z3i0m55/.net
そもそも>>94の説明がなぜあれだけで済んだのかというと
・mod 7*19 で考えるところを、mod 7 と mod19 に分けた。
・mod 7*19^2 で考えるところを mod 7 と mod 19^2 に分け、
　さらに mod 19^2 で考えるところは実質 mod 19 で考えるだけで済んだ。
ということが効いているんじゃないかと思います。
それで、一つ目はおいといて二つ目の
　mod 19^2 で考えるところが mod 19 で済む
という部分がポイントで、
こういうのが許されるのはちょうど「C を繰り返して集合が増えないとき」になりそうなんです。
さらに、プログラムを進めていくとどこかで「繰り返しても集合が増えない」となることも証明できそうなので、
これを利用してプログラムの計算量を減らせそう、という考えです。
時間があるときにちゃんと考えようと思います。

183:前786
18/05/29 23:51:01.24 z3i0m55/.net
（実際のところ、>>156が分かる人がどのくらいるのかちょっと気になる）

184:righ1113
18/05/30 00:00:21.34 SjK0M6Ur.net
>>183
自分は分かっている……つもりです……

185:１３２人目の素数さん
18/05/30 05:29:09.70 BsxBoGmV.net
2倍の繰り返しで
1→2→4→8→16≡7→14≡5→10≡1
0→1
3の倍数が残るけど2で割り続けて奇数になったあと
3n→3n×3+1≡1
でおしまい
2倍は「好きなだけ遡れる」ところがポイントかね

186:１３２人目の素数さん
18/05/30 07:45:42.08 pjE9OVg/.net
13 だったらまだ理解できるんだがな。
1 → 2 → 4 → 8 → 16 ≡ 3 → 6 → 12 → 11 → 9
→ 18 ≡ 5 → 10 → 20 ≡ 7
つーても、これがコラッツ予想の解決とどう結びつくのかがわからんが。

187:１３２人目の素数さん
18/05/30 07:46:53.88 pjE9OVg/.net
あ、
×

188:１３２人目の素数さん
18/05/30 07:48:45.57 pjE9OVg/.net
あ、
× 12 → 11 → 9
〇 12 → 24 ≡ 11 → 22 ≡ 9
だった。

189:１３２人目の素数さん
18/05/30 08:09:47.45 pjE9OVg/.net
mod 7、三倍（原始根は 3）
1 → 3 → 9 ≡2 → 6 → 18 ≡ 4 → 12 ≡ 5 → 15 ≡ 1
mod 19、二倍（原始根は 2）
1 → 2 → 4 → 8 → 16 → 32 ≡ 13 → 26 ≡ 7 → 14 →
28 ≡ 9 → 18 → 36 ≡ 10 → 20 ≡ 1
あたりが関係してくるらしいのは見当がつくんだが、
3n + 1 で巡回することを考えてみたらいいのか、
それとも 3 で割って 2 余る数について逆操作の (2n - 1)/3 を
考えたらいいのか …… わからん。

190:前786
18/05/30 08:32:25.52 8DwWThhE.net
>>185
残念
Z/9Z において 0→1 (3倍して1を足す) は可逆でないので、これだと不十分です。
実際、この方針で例えば 16 から 9 の倍数を作ろうとすると、
2 を 2 回かけて 16→32→64
1 を引いて 3 で割って 64→21
で、9 の倍数になりません。
>>186
確かに私の予想が証明できてもすぐにはコラッツ予想に繋がりませんが、
まあ外堀を埋めるような感覚です。
それに、もし万が一私の予想に反例が見つかれば、その時点でコラッツ予想も不成立となるので、
そういう意味ではコラッツ予想を直接攻めていると言えなくもないかなと。

191:１３２人目の素数さん
18/05/30 15:44:56.54 pjE9OVg/.net
>> 174
> 今ひとつ分からないので、自分はソースを待ちます。
ただ待たせっぱなしにするのも気づまりなので、
「メルセンヌ数から 1 に落ちる途中でメルセンヌ数を経由する」
という例は挙げておこうと思う。
7 <- メルセンヌ素数の 2 番
31 <- メルセンヌ素数の 3 番
127 <- 1 メルセンヌ素数の 4 番
511: 7 を経由
2047: 127 を経由
4095: 127 を経由
8191: 127 を経由
16383: 127 を経由
131071 <- メルセンヌ素数の 6 番。経由せず。
262143: メルセンヌ素数の 7 番。経由せず。
524287: 7 を経由
1048575: 7 を経由
2097151: 31 を経由
4194303: 31 を経由
でもって、
2^61 - 1 -> 31
2^62 - 1 -> 31
2^63 - 1 -> 31
2^64 - 1 -> 31
とかいう話になっているので、「コラッツ予想は数値実験によって
5*2^60 まで正しいことが確認されている」とかいった WikiPedia の
記述は、このあたりに絡んでいるのかもしれないと思う。

192:righ1113
18/05/30 18:37:06.75 0W4YjiD/.net
>>191
下位に2^n-1が出てくるだけじゃなくて、実際のメルセンヌ数も絡むの?!
ますます分からなくなる(>_<)

193:１３２人目の素数さん
18/05/30 19:01:13.88 pjE9OVg/.net
>>192
> 下位に2^n-1が出てくるだけじゃなくて、実際のメルセンヌ数も絡むの?!
> ますます分からなくなる(>_<)
だからコラッツ問題は面白いんじゃないですか (^_^)v

194:１３２人目の素数さん
18/05/30 21:14:57.31 fCXVi6t2.net
そういえば剰余コラッツ予想(前>>786の予想)の反例が見つかったと仮定して、
その反例から元のコラッツ予想の反例を求めることは簡単なの？

195:前786
18/05/30 23:24:08.24 8DwWThhE.net
>>194
（その名前使ってくれてありがとう）
これは簡単です。
剰余コラッツ予想の反例があるということは、
ある自然数 a,n,k が存在して
「a からコラッツ操作、コラッツ逆操作を繰り返しても、n で割って k 余る数に到達できない」
ということです。
このとき特に、a から k に到達することができません。
ここで、もし a,k が共にコラッツ操作で 1 になるとすると、
a→1→k のルートで a から k に到達できてしまい矛盾します。
したがって、a,k のいずれかがコラッツ予想の反例となります。

196:１３２人目の素数さん
18/05/30 23:43:24.81 fCXVi6t2.net
え、じゃあa,kのいずれかは5*2^60より大きくなきゃいけないってことか

197:前786
18/05/31 00:03:29.44 sTlF47Ao.net
>>196
あ、ほんとだ
素で気づいてませんでした。
ちょっとこれは認識を改めないといけないかもしれない

198:righ1113
18/05/31 00:15:22.71 hTYeS4Jm.net
プログラムもそこまでとか、ムリだからねっ

199:righ1113
18/05/31 00:24:01.59 hTYeS4Jm.net
>>197
ちなみに今のプログラムで反例が見つかっても>>195に繋げられる?

200:前786
18/05/31 00:41:52.06 sTlF47Ao.net
>>199
ちょっとまだ分かりません。
反例が見つかったら考えようと思っていました。
ちなみに今のプログラムは剰余コラッツ予想を完全に確かめられるものではない（>>103の話）ので、
5*2^60 以下でもプログラムでの反例が見つかる可能性はあります。

201:righ1113
18/05/31 00:46:19.98 hTYeS4Jm.net
弱い成果が得られるやつですよね。

202:前786
18/05/31 00:58:27.40 sTlF47Ao.net
そうですそうです。

203:１３２人目の素数さん
18/06/02 21:15:03.31 2LuxVRMt.net
n ≡ 1 (mod 4) に 3n + 2 操作を（連続して）行なったときに
何が出てくるかと、
n ≡ 1 (mod 4)に 3n + 1 操作を行なったときに、
n ≡ 0 (mod 2) と 1 ≡ 3 (mod 4) がどんなふうに
出てくるかと、
四進法で 11111 …… がどんなふうに出てくるかで
（これはどっちかというと効率上の問題）、
どうやら 2^63 の壁は突破できそう。
ただ、アルゴリズムの効率がいまひとつなので計算機パワーに
頼っているのと、数学的に理解しやすい表現に落ちないんだよな ……
連分数による無理数の近似を行なおうとすると、φがいちばん
誤差が収束しづらいとか、そんな話になりそうなんだよな。
遠山啓先生の『初等整数論』の終わりのほうにもそんな話が
出てきてて、「うーん、オレが求めているのは、
そういう結果じゃないんだけどな」と思ってはいるんだが。

204:１３２人目の素数さん
18/06/07 19:47:31.27 ddCD53Qi.net
スレが止まってるが大丈夫か？

205:righ1113
18/06/07 21:30:24.45 hy9kJ5h9.net
特に進展がないのです……

206:１３２人目の素数さん
18/06/07 21:38:46.18 GMXTgnWv.net
>>204
「大丈夫だ。問題ない」… とは言えんな。
いまのところ２つのアプローチを考えている。
「下位のオンビット列を切り離して、3n + 2 操作を繰り返したあとに
残った 1(mod 4) に 3n + 1 操作を加えたときに
下位に何が（オンの連続かオフの連続か）出るか（そこで 0(mod 4) が
出るまではいいとしても）」、数学的に考えると「下位のオンビット列を
切り離す」操作をどう考えたらいいかとか、操作が複数になるので
理論的にややこしくなるという問題がある。
かといってそれを素直にビット列で考えてコンピュータで
処理しようと思うと、桁数が多くなる（2^63 を超えたあたり）と
31（2^5 - 1）とかが出てきて収拾がつかなくなりそうな
気がする。
数学的素養にしろコンピュータの性能にしろ、
「そんな装備で大丈夫か？」的な不安はある。

207:１３２人目の素数さん
18/06/08 13:40:04.11 gOsCxwff.net
数学板でこれを言ったらボロクソに叩かれるのは承知しているが、
「1 ビットに収束するという制約を外して、セルオートマトンで表現する」
とかいった形で画像にしてみて、
その画像に FFT とかウェーブレット変換とかをかけて挙動を推測する、
とかいうアプローチはあるんじゃねぇ？
画像で表現したときに、「最終的にONな 1 ビットが移動するだけ」になるのは
（実験的には）確認されているんだから、画像的に逆三角形が「どん」という
感じで出現するかどうか、っつー話なわけだから。

208:１３２人目の素数さん
18/06/08 20:05:54.99 ID4JGGod.net
アイディアを出すのは構わないが実装するのはきみだ

209:１３２人目の素数さん
18/06/08 20:12:20.69 gOsCxwff.net
>>208
> アイディアを出すのは構わないが実装するのはきみだ
解ってる。問題は「他にできる奴がいねぇ」っつー点なんだわ。
やんなくていいから、せめてまともなツッコミくらい
入れてくれないと、気分が萎えるんだよ。

次ページ