コラッツ予想がとけたらいいな その2
■ このスレッドは過去ログ倉庫に格納されています
>>476 規制が解けたみたいだから戻ってきちゃったよ〜ん まとめ。 ・ M.B. は自分の間違いを素直に認めて謝ることができない。 ・ 都合が悪くなると自演を始める。その自演の内容も「開発の現場なら〜」という詭弁。 クズすぎて見てられない。 ・ あまりにも都合が悪いので、後出しで別の条件を持ち出して言い逃れしようとする。 (しかし、その条件を加味しても M.B. の主張は正しくならないw) ・ あまりにも都合が悪いので、「規制を喰らったのでしばらく書き込めない」とウソをついて、 ほとぼりが冷めるまでは避難し、そのうち戻って来ようとする。クズすぎて見てられない。 まず謝るのが先じゃないんですかね。あるいは、「二度と戻って来ない」と宣言して完全逃亡するとか。 しかし、そういうこともせず、未練タラタラに戻ってくる気だけはマンマン。もちろん謝らない。 クズすぎて見てられない。 >>469 ム板の自然言語処理スレの住民の同僚に言わせると、 「語彙が少ないなぁ。『クズすぎて見てられない』が 三回も出てきてるぞ? 低能先生の予備軍か?」 だそうけでけど、なんで『コラッツ予想がとけたらいいな』 みたいまったりスレに、荒らしが現れるのかが理解できませんわ。 >>470 荒らしはお前だよ。 ・ 都合が悪くなると自演を始める。 ・ 後出しで別の条件を持ち出して言い逃れしようとする。 ・「規制された」とウソをついて避難し、そのうち戻って来ようとする。 ・ 結局、自分の間違いを謝ることをしない。 特に「自演」と「規制された(ウソ)」の部分は偽証行為に該当する。 平気で偽証行為を繰り返す人間が荒らしでなかったら一体何なんだ。 ム板とか数学板とか、もはや関係ない。お前のやっていることは明確な荒らし。 >>470 とりあえず、t(n) の件についてはきちんと謝ってもらうよ。 「 t(n) が n^2 に漸近するという主張は、わたくし M.B の勘違いでした。ゴメンナサイ 」 と言え。それ以外の書き込みをした時点で逃亡したと見なすので注意せよ。 >>472 > 注意せよ。 自然言語処理をやってる人間に、ネットで喧嘩売る若者の 無謀さに乾杯。 Q.「落石に注意」ってどういう意味ですか? 「落ちてくる石に注意しろ」なんですか? それとも 「落ちている石に注意しろ」っていう意味ですか? A.それは、道路交通局に訊いてください。 落ちてくる石に対して、「コラァ! 落ちてくるんじゃねぇ!」と 注意するのか、落ちている石に、「これこれ、こんなところに 落ちていてはいけないよ」と注意するのか、道路上に落ちている石が、 じつはオニダルマオコゼだったりミミックだったりするかもしれないから 注意しろ、というのかは、定かではありません。 まぁ、数学板のこんなマイナーなスレッドが伸びることなんてあんまり ないと思うので、賑やかしだと思って本筋の皆様は(指さしてゲラゲラ 笑いながら)生温かく見守っててください(笑)。 せっかくの良スレの雰囲気が悪くなっちゃうのは不本意なので。 >>473 自然言語処理をやっている人間は、そうやって言葉尻を捕らえて くだらない難癖をつけて謝罪から逃げ回るのが仕事なのか? それがお前の、自然言語処理の知識の使い方なのか? 人間性がクズだと、せっかくの自然言語処理の知識も しょうもない運用の仕方しかできないようだな。 >>473 >せっかくの良スレの雰囲気が悪くなっちゃうのは不本意なので。 雰囲気を悪くしているのはお前だよ。 お前の行為は明確に荒らし行為だが、俺の行為は全く荒らしに該当しない。 なぜなら、俺は主にオーダーの話だけをしており、特に t(n) の話がメインであり、 t(n) に関するお前の間違いを数学的に丁寧に指摘してきただけだからだ。 その合間の別のレスは、お前の荒らし行為を糾弾するためのレスであり、 これも荒らし行為に該当していない。その一方で、お前がやってきたことは ・ 都合が悪くなると自演を始める。 ・ 後出しで別の条件を持ち出して言い逃れしようとする。 ・「規制された」とウソをついて避難し、そのうち戻って来ようとする。 ・ 結局、自分の間違いを謝ることをしない。 ・ 言葉尻を捕らえてくだらない難癖をつけて謝罪から逃げ回る (new!) という、クズエピソード満載の荒らし行為ばかりである。 この期に及んで謝罪の1つもないとは、俺はお前のことを心の底から軽蔑するよ。 >>473 もう一度言う。>>459-460 及び >>465-466 により、 「ρ(n) ≦ 2 + o(1) が成り立つにも関わらず、 t(n) が n^2 に漸近しないケースが存在する ( "例外となるnは少数" を加味してもなお) 」 という事実が確定している。このことに異論はあるか?異論がある場合は、 「ρ(n) ≦ 2 + o(1) が成り立つなら、t(n) は n^2 に必ず漸近する」 ことを証明してみせよ(そうならない具体例が提示されているので証明不可能だが)。 異論が無い場合は、 「 t(n) が n^2 に漸近するという主張は、わたくし M.B の勘違いでした。ゴメンナサイ 」 と素直に謝罪せよ(つまり、お前は謝罪するしかない)。 >>474 数学をやっている人間は、そうやって言葉尻を捕らえて くだらない難癖をつけて謝罪から逃げ回るのが仕事なのか? それがお前の、数学の知識の使い方なのか? 人間性がクズだと、せっかくの数学の知識も しょうもない運用の仕方しかできないようだな。 >>477 これも他人のフリか?ID:Fu1mV0Fm が完全に一致してるぞ M.B. 君。 >>478 レスが続けば続くほど、お前のクズエピソードが増えていくなw >数学をやっている人間は、そうやって言葉尻を捕らえて >くだらない難癖をつけて謝罪から逃げ回るのが仕事なのか? >それがお前の、数学の知識の使い方なのか? 何言ってるんだこいつ。レスの内容が支離滅裂。お前からの謝罪要求は1つも来ていない。 にも関わらず、俺が謝罪から逃げているとは、一体どういうことだね? 考えもなしに表面的にオウム返しをしようとするから、そういう支離滅裂な返答になるんだよ。 これが自然言語処理をやってる人間のレスなのか?あたま悪すぎ。というか人間性がクズすぎる。 何か謝ってほしいことがあったら、何について謝ってほしいのか具体的に書いてみろよ。 俺から先に書くぞ。何度も言っているが、M.B. には 「 t(n) が n^2 に漸近するという主張は、わたくし M.B の勘違いでした。ゴメンナサイ 」 と素直に謝罪してほしい。これが、お前に対する俺からの謝罪要求である。 次はお前の番だ。お前は何に対して謝罪してほしいんだ? 老害に多いけど、学問で謝罪を要求するのは何なんだろうね。 マウント取るのを学問と考えるのは下衆の極みだわな。 >>481 間違いを素直に認めない奴が避難されるのは当たり前。 これをマウント取りと混同するのは詭弁。しかも M.B. の場合は ・ 都合が悪くなると自演を始める(自演の内容も詭弁というクズっぷり)。 ・ 後出しで別の条件を持ち出して言い逃れしようとする。 ・「規制された」とウソをついて一旦逃げ、ほとぼりが冷めた頃に戻ってくることを画策する。 ・ 結局、自分の間違いを素直に謝ることをしない。 ・ 言葉尻を捕らえてくだらない難癖をつけて謝罪から逃げ回る。 ・ 表面的なオウム返しで支離滅裂な返答をしてくる。(new!) というクズエピソードの目白押し。1ミリも擁護できるところが無い。 >>482 がロアは二十歳で死んだはずだが。 ガウスも晩節を汚した話も聞かないし。 ベルヌーイか誰かと間違えてはいないんだよな? 蛇蔵『決してマネしないでください。』(講談社) p.43 ニュートンは、その偉大さに反比例して狭量だった。 ニュートン「微分積分を考えたのは私なのに ライプニッツがパクッた!! ライプニッツはドロボ―― ライプニッツのうんこ――」 ライプニッツ「あんたとは別ルートで思いついたって 言ってんだろ!!!」(事実) ―― まぁ、数学的な才能と品性は別物、っていうコトですかね。 蛇蔵『決してマネしないでください。』(講談社) p.44 ロバート・フック「万有引力の法則を発見したのは、 私のヒントがあったからじゃないか!! お礼の 一言ぐらいあってもいいだろう?」 ニュートン「絶対に絶対に絶対に絶対に、 お礼なんか言いません ――。むしろ著作からお前の名前を 消してやるわ!!」 フック「私が生きているうちは、学会で自由に させないよ!!」 ニュートン「お前が死んだら、お前の肖像画を ぶっ壊してあげるから、よろしく!!」(本当にやった) 数学は心理的にも肉体的にも、人間に無理を強いるものかも しれない (-_-!)。 これは竹内 均先生の証言だが、 サー・ハロルド・ジェフリーズは アルフレッド・ウェゲナーの大陸移動説を 五十年間にわたって潰しつづけ、 「ただ一人で、地球物理学の進歩を 五十年間止めた男」として知られているという。 で、竹内先生はフレッド・ホイルと同窓だったので、 毎年クリスマスカードを貰っていたという。その文面が、 「サー・ジェフリースは、まだ生きている」。 九十過ぎてなお、大学まで自転車で通っていたそうだ。 「 t(n) は n^2 に漸近する」と言い出したのは M.B. の方である。その後の議論でも、 M.B. は普通に t(n) についてレスのやり取りをしていたし、>>456 では俺のレスに不満があったのか > ( ´_ゝ`)フーン > 数学屋さんって、みんな この程度のものなんだ。 > 幻滅しちゃうなぁ。 > あ、嘘だけどね。真面目に数学してる人が大多数なのは > 存じております m(_ _)m。 > あたしは数学を貶めている半可通が嫌いなだけですので。 などと皮肉めいたことまで言っていてやる気マンマンだったのである。 にも関わらず、>>456 の後に具体的な反例が提示されると一気にトーンダウンして t(n) の話から逃げるようになり、挙句の果てには >>485-486 で > ―― まぁ、数学的な才能と品性は別物、っていうコトですかね。 > 数学は心理的にも肉体的にも、人間に無理を強いるものかもしれない (-_-!)。 という新しい詭弁が登場w どうしたよ M.B. 君。 数学を貶めている半可通は嫌いなんだろ? 俺の方としては、半可通ではないように具体的な反例をキチンと提示して決着をつけてやろうとしているのに、 いざお前が間違っていることが確定すると、M.B. の方が半可通になって決着をつけることから 逃げ回っているじゃないか。ちょっと都合が良すぎませんかね。 上のレスと重複するが、今回のやり取りの中で決定的なのは >>456 である。 この時点での M.B. は明らかにやる気マンマンで、 > あたしは数学を貶めている半可通が嫌いなだけですので。 こんなことまで豪語して前のめりで議論に参加していたのである。 よって、マウント取りがどうこうという>>481 の批判は全く当てはまらない (こういう状況でなくても当てはまらないが)。 俺の方としては、半可通ではないように具体的な反例をキチンと提示して決着をつけてやろうと しているのに、いざ M.B. が間違っていることが確定すると、M.B. の方が半可通になって 決着をつけることから逃げ回っており、現在進行形でクズエピソードが量産されている。 なーにが「あたしは数学を貶めている半可通が嫌いなだけですので」だよ。 自分が不利になった瞬間から保身に走りまくりじゃないか。反例が提示された時点で 「そうなのか。こっちの勘違いだったようだ。すまん」 と言うだけでこの話は終わっていたのに、何をズルズルと言い訳を重ねて逃げ回っているのだ。 >>490 もうおねがい ゆるして ゆるしてください おねがいします ほんとにもう おなじことはしません ゆるしてください ゆるして きのうぜんぜんできてなかったこと これまでまいにちやってきたことを なおします >>491 いくら何でも、お前がそこまで地に落ちたクズだとは思わなかったぞ。 ttps://www.sankei.com/affairs/news/180606/afr1806060014-n1.html この虐待死事件でノートに残されていたメモからの、ほとんど丸コピペじゃないか。 お前自身の言葉ではなく、他人の言葉からのコピペで謝罪を済ませようとする神経が信じられないし、 そもそもコピペ先として選んできたのが上記のノートっていう発想自体が不謹慎でキチガイすぎるし、 それを目立つように age て書き込むという暴挙。 不謹慎というレベルを遥かに超えている。最後の最後の謝罪の場面ですら こんなクズエピソードが出てくるとは思わなかったぞ。 これが本当に、自然言語処理をやってる人間のレスなのか? >>492 「あんたはサディストだ」 「殺してやる! 殺してやる!」 『十二人の怒れる男』より。 >>493 何が言いたいのか分からない。俺がサディスト(=虐待者)ということは、 俺が「虐待者の役」で M.B. が「子供の役」で、 皮肉で >>491 のような書き込みをしたということだろうか? もしそうなら、その発想自体があり得ない。 そういう意図では無かったとしても、虐待死事件のノートから コピペしてくるという発想自体が既に "終わっている"。 反例が提示された時点で 「そうなのか。こっちの勘違いだったようだ。すまん」 と言うだけでこの話は終わっていたのに、どうしてこんなにも 醜態をさらす方向でレスを重ねていくんだろう。 >>491 これまで一応中立の立場で横から見てましたけど、さすがにこれは無理です。 あなたは異常です。 少なくとも私はもう、あなたと分かり合うことはできません。 私には人を追い出す権限はありませんが、あなたがスレから出ていくことを願います。 以降、私はあなたとは関わりません。 ID:huQMTm13 さんもその辺にしといたらどうでしょう。 荒らしに構うのも荒らしと言いますし、 数学的にはあなたが正しいということはみんな分かってますから。 >>491 を引っ張り続けるのも茶化してる点では同じだろう >>490 なら、その挑発について謝罪を要求すべきで、間違いに謝罪を要求するのは筋違い。 マウント取ろうとしているアスペにしか見えんわ。 今回の話は、>>491 が投下された時点で全てが消し飛んでしまい、 俺としても、もうやり取りする気は無いのだが、何やら野次馬が 新しいレスをつけているので、昨日の騒動の残り火だと思って、 ちょっとだけ勘弁してくれw >>498 ID:02nFAly/ 君よ、間違ったときにゴメンナサイするのは常識だろ? 君には「道徳」が無いのか?しかも、 「こっちの勘違いだったようだ。すまん」 と軽くゴメンナサイするだけでこの話は終わっていたと何度も言っている。 これのどこがマウント取りなんだね?俺のことをどうしてもマウント取りのアスペに 仕立て上げたい君の、悪意ある難癖にしか見えないね。 たぶん、「アスペ」の部分が君の本音で、俺をアスペに仕立て上げるためには、 君はどんな難癖だってつけるんだろう。君のレスに「道徳」が無いのも、 こう考えると筋が通る。だから、君の発言には説得力が1ミリもない。 それとも、本当に君は「挑発レスに対して謝罪を要求していれば満足だった」のかね? たかがその程度の形式的な差異が、本当に君にとっての不満点なのかね? …こう考えると、やっぱり君は難癖をつけているようにしか見えないね。 そもそも、この程度の形式的な差異を問答無用で重要視して道徳を完全無視する君の方が、 よっぽどアスペに見えるぞ。 一応、レスの内容にも返答しておくか(他の住人のみなさん、ゴメンナサイ)。 >>498 >なら、その挑発について謝罪を要求すべきで、間違いに謝罪を要求するのは筋違い。 同じことだよ。対象となっている「数学を貶めている半可通が嫌い」という挑発レスには、 「少なくともこの話題に関しては、自分は半可通ではない(=わたしの主張は数学的に正しい)」 という意図が込められている。よって、相手からすれば、これについて謝罪することは、 自身の間違いを認めて謝罪するのと ほとんど同じ意味になってしまう。 … (1) すると、仮に俺が挑発レスの方に謝罪を要求していたとしても、ID:02nFAly/ は 「表面的にはその挑発レスに対して謝罪を要求しているが、上記の(1)のとおり、 実際には間違いに謝罪を要求しているのと同じだから、これは結局マウント取りだ」 などと、もっともらしい理屈で俺に難癖をつけることが可能になってしまう。あるいは、 上記の挑発レスのうち、数学的な意図を取り除いて "煽り成分だけ" を抽出して、 そこにのみ謝罪を要求していたとすると、今度は 「そんなに "挑発されたことそのもの" が悔しいのか?数学の話に集中しろよ」 という別の批判が飛んでくるようになる。結局、この話題はどこまで突っ込んでも 難癖にしかならない。このことからも、ID:02nFAly/ の発言には何の説得力も無い。 以上。 >>67 >乗法群とは、「積に関して逆元を持つ要素を集めた群」です (群がよく分からなければ集合と読み替えてください)。 (^〜^) >>504 あ、そういうことですか。 >>67 は>>51 や>>64 で現れた「乗法群」、すなわち環や体の乗法群について説明したものです。 当時は文脈上この書き方で問題なかったと思いますが、 後からここだけ見ると確かに誤解を生みかねない表現ですね。反省します。 炎上しているところを申し訳ないんですけれど、 ちょっと聞き捨てならない NG ワードが出てしまったので復帰しました。 悪意がないのは重々承知しておりますが、 > マウント取ろうとしているアスペにしか見えんわ。 は、 「マウント取ろうとしている反社会性パーソナリティ障害にしか見えんわ。」 に、訂正していただけるとありがたく存じますm(_ _)m 「アスペルガー症候群」というのは、青少年犯罪との絡みで有名になった 言葉ですので、俗称としての「アスペ」っていうのが通用しているのは ほとんど気にしていませんし、こっち側(はい、あたしもアスペです) の「高機能広範性発達障礙」の方に「これだからアスペは(笑)」と いうのは洒落で済むんですが、侮蔑的な表現として使われるのは 不本意なので。 カリフォルニアで仕事をしてたときに、「敵性国民である日本人に対して “ジャップ”と言うのは当然だけれども、アメリカ市民権を得たアメリカ国民である 日系人を“ジャップ”と呼ぶのはいかがなものか?」みたいな話をしたら、 なんか一目置かれちゃったので居心地が悪うございました(w。 だけど、「ムース(日本人の娘さん)」はやめて欲しかったなぁ。 >>500 > 間違ったときにゴメンナサイするのは常識だろ? > 君には「道徳」が無いのか? 「道の道というべきは、常の道に非ず」。 君は「道徳経」を、ちゃんと読んだことがあるのかい? 「これのどこがマウント取りなんだね?俺のことをどうしてもマウント取りの アスペに仕立て上げたい君の、悪意ある難癖にしか見えないね。」 明らかにマウント取りにしか見えないので、君に自分が「マウント取りの 反社会的パーソナリティ障害者であることを疑ってみることを強く奨めて いる」だけだと思う。 善意による助言であり、「悪意ある難癖にしか見えない」ならば、 カウンセラーさんに相談したほうがいい。 ついでながら、うちらは『自然言語処理スレッド その4』 (ttps://mevius.5ch.net/test/read.cgi/tech/1401741600/)と いう過疎ったスレッドでのたくっているので、存分に荒らしてくれると 言語的なデータが取れてうれしい。歓迎する。 >>500 > 君の発言には説得力が1ミリもない。 電通 鬼十則の 8 > 自信を持て! 自信が無いから君の仕事には、迫力も粘りも、そして > 厚みすらがない。 キミは電通の社員か(笑) だいたい数学の話で 1 ミリってなんだよ。何の量を基準としてミリを 定義してるんだよ。数学は量の学問じゃないだろ? >>500 > 対象となっている「数学を貶めている半可通が嫌い」という挑発レスには、 > 「少なくともこの話題に関しては、自分は半可通ではない(=わたしの主張は > 数学的に正しい)」 > という意図が込められている。 連体修飾詞には、「暗黙の主語」が存在するので、「彼は恥ずかしい」は 「彼は私をして“恥ずかしい”と感じせしめる人物である」を含意する、 という話はしたよね? あたしは半可通ですけれどもね、数学に対しては敬意をもって接して います。 だからこそ、「(数学を貶めている(半可通))が嫌い」なのであって、 それを、よりにもよって敬愛する数学板の住民(もちろん、このスレ の住民)に「挑発レス」呼ばわりされるっていうのは不本意です。 と、いうわけで、 > 「少なくともこの話題に関しては、自分は半可通ではない(=わたしの主張は > 数学的に正しい) というのは妄想であって、それこそ「だったら証明しなさいよ!」と言わせて もらいます。 >>507-510 少なくとも、>>491 を投下するような君が道徳を語る資格は全く無い。 そして、君がどんな道徳の知識を持っていたとしても、 自演やウソばかりの君の見苦しい行動、そして >491 という決定打を見る限り、 君の道徳の知識は全く生かされてないと言える。今回のレスにしたって、 なぜか君は M.B. と Mr.Moto という2つのコテを使い分けている。 が、ID:+NKwYrVS が完全一致しているので同一人物である。 まさかこれも自演ではあるまいな? また、>>507-510 は、俺と野次馬とのレスに君が横やりを入れているだけであり、 これは完全にスレ違いである。無意味に話を長引かせるのはやめたまえ。 (ただし、>>506 には文句はつけない。これは内容的に許容しなければならない。) まあ、俺の方もちょっとケンカ腰が過ぎたかなという反省はある。 その点については君に謝るよ。すまなかった。 そして、>>499 の繰り返しになるが、今回の話は、>>491 が投下された時点で 全てが消し飛んでしまった。俺としては、もう君とやり取りする気は全く無い。 なので、君とのやり取りは、このレスで最後とさせてもらう。 なんか>>508 で言語処理のスレッドを俺に勧めているようだが、 俺はそういう話題には興味がないので、そのスレに行くことは無い。 ここから先は、君が俺にレスをしてきても、俺の方からは何の反応も無いことを約束する。 もう一度書くが、俺の方もちょっとケンカ腰が過ぎたかなという反省はある。 その点については君に謝るよ。すまなかった。 ではさようなら、M.B. さん。 分数を小数に展開すると繰り返しになるよね コラッツの無限に発散する数列も ある地点からパターンが現れるかどうかは考察できないかな? >>513 循環小数になるか有限小数になるかは、数学板の別スレで議論 されてて、「分母の基数が何で表されるか」と、「分子が分母の 基数の約数の積の形で表されるかどうか」という点に帰着するのよね。 その観点から考えると、群論によるアプローチは有意義だと 思うんだけど、「そんなにうまくゆくんだったら、コラッツ問題は そろそろ解決されていそうに思うんですけど?」とも思うんですよ。 まぁ、このスレが解決に貢献できたら、「おめでとー!」って 言いますけどね。 とりあえず、collatz_max(n) を考えると、少なくとも (コラッツ予想が正しければ)collatz_max(n) はただ一つ なんですよね?(でなかったら循環しちゃうので) そうなると、n から collatz_max(n) までのルートと、 collatz_max(n) から 1 までのルートに分けられると 思うんですよ。で、collatz_max(n) が “何か” と考えると、 2 の冪乗という「下り」系列と、(3n + 1) / 2 という 「上り」系列に引っかからざるを得ないわけです。 それを考えると、collatz_max(n) に着目して、 「どういう上り系列に引っかかって、どういう下り系列に 乗っかれるか?」を考えるというアプローチは、あるかと 思います(「やれ」と言われると困るけど)。 >>513 例えば偶奇について言うと、 ある初期値からコラッツ操作を繰り返してループに到達しないとすると、 「ある地点から先で同じ偶奇のパターンが無限に繰り返される」ということは起こらないことが証明できます。 前786氏は本当は群論が苦手で無理してるような気がす そのあたりの議論については、たぶん >>113-116 あたりの話につながりそうに思うので、 そこいらからツッコミをいれてくれると 分かりやすいと思います。 >>516 の命題を証明します。 以降、奇数に対しては「3倍して1を足して2で割る」までをひとつの操作とします。 また、面倒な条件付けを避けるため、整数の範囲で考えることにします。(さらに広げることもできますが、省略します) コラッツ操作を f で表します。 まず、後で使う補題をひとつ用意します。 補題 任意の整数 a,k に対して、f(a+2k)=f(a)+ck, ただし c=1 or 3 証明 a が奇数の場合 f(a+2k) = (3(a+2k)+1)/2 = ((3a+1)/2)+3k =f(a)+3k a が偶数の場合 f(a+2k) = (a+2k)/2 = (a/2)+k = f(a)+k □ 次に「コラッツ展開」を定義します。 (私が勝手に作った言葉であり、一般的な言い方ではありません) 定義 整数 a に対して、数列 {a[n]} を a[1]=a a[n+1]=f(a[n]) (n≧1) によって定める。 次に、0 と 1 からなる無限列を a[n] が偶数なら第 n 項は 0、a[n] が奇数なら第 n 項は 1 として構成する。 こうしてできる無限列を a のコラッツ展開と呼ぶことにする。 例えば a=5 のとき数列{a[n]} は 5,8,4,2,1,2,1,2,… となるので、5 のコラッツ展開は 1,0,0,0,1,0,1,0,… となります。 一般に、f(a) のコラッツ展開は a のコラッツ展開の初項を除いたものになります。 補題 a,b を整数とする。このとき a と b のコラッツ展開が少なくとも第 n 項まで等しい ⇔ a≡b (mod 2^n) 証明 n=1の場合 コラッツ展開の初項が等しい ⇔ a と b の偶奇が等しい より成り立つ。 n=m まで成り立つとして、n=m+1 の場合を示す。 左⇒右: 少なくとも第 m 項まで等しいので、ある整数 k を用いて a=b+2^m*k と表せる。a,b にコラッツ操作を m 回施して得られる数を a', b' とすると、前補題より a'=b'+3^e*k (e は非負整数) と表せる。仮定より、a' と b' の偶奇は等しいので k は偶数。 よって a≡b (mod 2^(m+1)) 右⇒左: 整数 k を用いて a=b+2^(m+1)*k と表せる。a,b にコラッツ操作を m 回施して得られる数を a', b' とすると、前補題より a'=b'+3^e*2k (e は非負整数) と表せる。よって、a' と b' の偶奇は等しいので、a と b のコラッツ展開の第 m+1 項は等しい。□ 系 整数 a,b に対し、両者のコラッツ展開が一致するならば a=b >>516 の命題の対偶を証明します。 命題 整数 a のコラッツ展開が、有限個の項を除いて循環しているとする。 このとき、a にコラッツ操作を繰り返し施すとループに到達する。 証明 a のコラッツ展開が第 n 項から循環しているとし、k 項ずつ繰り返しているとする。 このとき、a にコラッツ操作を n 回施して得られる数を b、 a にコラッツ操作を n+k 回施して得られる数を c とすると、 b と c のコラッツ展開は一致するので、系より b=c したがって、a にコラッツ操作を繰り返し施すとループに到達する。□ ん、なんか上手くいき過ぎな気がするが かといって間違えを指摘できるわけでもない ちょっと考えてみます うん。概念的に理解しやすいのがいい。 久々のビッグウェーブが来た予感。 今後の展開に期待。 たとえばだけど任意の有限長の01列に対してそのコラッツ展開をもつ整数が存在する とかは言えるの? ちょっと言い方がおかしいか 任意の有限長の01列(長さn)に対してコラッツ展開の初項から第n項が一致する整数が存在する はいえるの? なら通じるかな >>527 これは言えます。 1 から 2^n までの自然数のコラッツ展開を考えます。 どの2つを見ても、>>521 の補題より、初項から第 n 項までが一致することはありません。 長さ n の 01 列は全部で 2^n 通りあるので、全てのパターンが現れていることになります。 例えば長さ 3 の場合を考えると、 1→101 2→010 3→110 4→001 5→100 6→011 7→111 8→000 となって、全てのパターンが現れていることが確認できます。 えっなんかすげくね? ここから対角線論法つかってごにょごにょしたら なんか出てきそうな気もするけどそんな甘くないかな >527 f(x×2+0)=x×1+0 f(x×2+1)=x×3+2 xの係数は奇数なので、この奇偶はxの奇偶によって定まる。 さらに x→x×2+0, x→x×2+1 で置き換えてコラッツ操作を行うと 4x+y(y=0,1,2,3)について長さ2のコラッツ展開は全て異なることがわかる 以下繰り返すことにより f^k(x×2^n+y)のnの係数は奇数(3の冪)であり、 y=0,1,…,2^n-1に対し長さnのコラッツ展開は全て異なることが示せる いくら場合わけしてもとり尽せない理由もこのへんにあるのかなぁ これに気づいた時点で「単純な分類でとうにかするのは無理だ」とは考えました 上位ビットを適当に選べば、増加を繰り返すものが必ずあるのか、と 突破するにはパラダイムシフトが必要でしょうね…… たとえば√2を2進数で表したとして、 その第n桁までコラッツ展開が一致する数のうち最小のもをa_nとおいて F(√2)=lim n->∞ a_n とでもして F(√2)が有限の値をとるかどうかは考察できる? >>534 おおう、まじか。 チェックありがとうございます。 ちなみにe5fE+xPzとVbgF2ohAは同一です >>536 手柄とかは どうでもいいんじゃね? 論文に名前が出るかっていう話なら、 有限群の分類とか新素粒子の発見の論文みたいに、 著者の名前のリストのほうが本文より長かったりするんじゃねーの? おれの名前は入ってなくていーや。 でなかったら『電車男』の「電車」と「エルメス」みたいに 「righ1113」と「前786」と「その他協力者のみなさん」とか。 あー、なんか厭な予感がしてきた。 べつに >>516 以降の議論を尊重しないわけじゃないけど、 >>146 あたりの議論を考えると、たぶん全射にならないんじゃないかと 思うんですけどね。そこを避けるための手当をすればイケる感じは あると思います。 「コラッツ展開」の精密化と、関数 f() の性質について、さらに検討すれば、 >>530 氏のいう > 突破するにはパラダイムシフトが必要でしょうね …… のあたりに到達できそうな気はするんですけど …… 「また元に戻ってきてガックリ」みたいな話は、ありそうに 思うんですけどね。 任意の{0,1}無限列に対して、 コラッツ展開が一致する正整数が存在するかと言えば否。 00000…には0, 11111…には-1が対応する。 では整数に拡張すれば大丈夫かと言えば、これも否で、 2進整数(2-adic integer)まで拡張する必要がある 任意の{0,1}無限列に対し、 先頭のn項がコラッツ展開と一致する非負整数はZ/2^nZで一意になり、また、nの増加とともに下位を共有しなから伸びていくのはすでに示された通りだけど、 これがちょうど2-進整数の条件を満たしている >>1 に頼みたいんだが以下の仕様でプログラム組んでくれない? n(自然数)を入力とする nビット以下の01列とそれに対応するコラッツ展開をもつ2^n以下の自然数を列挙する 例 n=3の時 0:{2,4,6,8} 1:{1,3,5,7} 00:{4,8} 01:{2,6} 10:{1,5} 11:{3,7} 000:{8} 001:{4} 010:{2} 011:{6} 100:{5} 101:{1} 110:{3} 111:{7} お願いします。 なにかグレイコードっぽい雰囲気を感じる あくまで雰囲気だけど コラッツ展開は 2 進展開に似ていますが、 以下のようにして明確に類似物であることを説明できます。 コラッツ操作 f の代わりに x が奇数のとき g(x)=(x-1)/2 x が偶数のとき g(x)=x/2 という操作 g を考えます。 操作 g を用いて、整数( 2 進整数でも可)に対してコラッツ展開と同様に 0,1 からなる無限列が得られますが、 この無限列(を逆の順で並べたもの)は初期値の 2 進展開に一致します。 実際の 2 進展開の手順と見比べてみればわかると思います。 同様に、奇数 p,q を固定して x が奇数のとき h(x)=(px+q)/2 x が偶数のとき h(x)=x/2 という操作 h を考えれば、同じ手順で 01 列への展開が得られ、 >>521 >>522で示した事実の類似が成り立ちます。 >>545 おお、仕事速いっすな。 ありがとうございます。 Python版 def collatz_bits(n): result = [0] * pow(2,n) for i in range(1, pow(2,n)+1): x = i s = "" for j in range(n): s += str(x % 2) x = x // 2 if x % 2 == 0 else (3*x+1) // 2 result[int(s,2)] = i return result def print_collatz_bits(n): for bits, k in enumerate(collatz_bits(n)): print(f"{bits:0{n}b}:{k}") >> collatz_bits(3) [8, 4, 2, 6, 5, 1, 3, 7] >>545 動かしてみました。 確かになんらかの法則性があるように見えますが、うまく言語化できないorz うーん。なんだろうこれは 前786さんならなにかピンとくるものがあるかも知れませんねぇ >>1 へ とりあえず前786さんにも見ていただきたいのですが、 前見たく出力結果をgithubにあげていただけませんか? とりあえずn=10位がいいかなぁ あるビット列xに対し対応するコラッツ展開を持つ数を昇順にならべたものを[a_1,a_2,,,,a_2n] とすると x+'0'に対応するコラッツ展開をもつ数は[a_1,a_3,a_5,,,a_(2n-1)] x+'1'に対応するコラッツ展開を持つ数は[a_2,a_4,a_6,,,a_2n] になる? いや、ちょっとちがうな。 でも添え字が偶数のものと奇数のものに分かれるのは言えそう。 >>552 ありがとうございます。 前786さんもぜひご覧になってなにか法則性がないか考察お願いします。 すいません。また>>1 にお願いがあるのですが 今10進で表示されている数字をnビット先頭0埋め2進数で表示させられませんか? ひょっとしたら法則性が見えやすくなるかもしれないのですが。 あげました〜 https://github.com/righ1113/CollatzMod/blob/master/CE_n%3D10b.txt プログラムでやりたい場合は、 最新版のCollatzExpansion.hsの 74行目をコメントアウトして、 75行目のコメントを外すと、バイナリになります。 おお、ありがとうございます。 さらに追加で要求でもうしわけないんですが、 10進版とバイナリ版のexeもgithubに上げてもらえませんか exeなら前786さんやほかの方も抵抗が少ないだろうし 上げました。 https://github.com/righ1113/CollatzMod CollatzExpansion.exe CollatzExpansionB.exe です。 おお、何度もありがとうございます。 >>1 にも聞いてみたいですが結構法則性ありそうに見えますよね? >>559 2進数で左右反転しているのと、そうでないのとがありますね。 あまり期待はしないで下さいな。 出力の並び順ですが、 00000 10000 01000 11000 : : のようにしてもいいかもしれません。可能ならば。 >>544 で言ったようにコラッツ展開を2進展開の類似物と捉えると、 コラッツ展開の初項が一の位に対応するので。 もしくは2進展開にならってコラッツ展開も右から左に書くことにするとか。 ぜんぜん関係のない話なんで、スレ汚しスマン。 以前、原始ピタゴラス数の絡みで、直角二等辺三角形に 収束する数列を、スターン=ブロコット木の上で追いかけていたら、 そこにフィボナッチ数列が出てきたことがある。 どういう境界条件で左右反転が起きるのかは、追いかけてみたら 面白そうな気がする。 (私が面白そうな気がするだけで、結果についてはいっさい責任は 取らないということは、いうまでもないが) 桁数:左右反転している個数 1: 2 2: 4 3: 6 4: 10 5: 16 6: 22 7: 30 8: 44 9: 58 10: 68 11: 80 12: 96 13: 122 14: 144 15: 162 16: 182 17: 200 18: 212 19: 228 20: 254 割合的には急激に減る 桁数をnとすると、n*log nくらいのオーダーか? さらに>>1にお願いしたいが 入力nに対して丁度nビットの01列とそれに対応するコラッツ展開をもつ2^n以下の自然数を列挙 コラッツ展開と自然数を2進であらわしたものが反転してる関係にあるものは行頭に空白4個入れる 反転ではないものは行頭に空白を入れずに表示 でプログラムお願いできない? 左右反転になるもの 1 [0, 1] 2 [0, 1, 2, 3] 3 [0, 2, 3, 4, 6, 7] 4 [0, 3, 4, 6, 7, 8, 11, 12, 14, 15] 5 [0, 3, 6, 8, 11, 12, 14, 15, 16, 19, 22, 24, 27, 28, 30, 31] 6 [0, 6, 11, 12, 15, 16, 22, 24, 28, 30, 31, 32, 38, 43, 44, 47, 48, 54, 56, 60, 62, 63] 7 [0, 12, 15, 22, 24, 30, 32, 43, 44, 47, 48, 56, 60, 62, 63, 64, 76, 79, 86, 88, 94, 96, 107, 108, 111, 112, 120, 124, 126, 127] 8 [0, 15, 24, 30, 43, 44, 48, 60, 63, 64, 79, 86, 88, 94, 96, 107, 111, 112, 120, 124, 126, 127, 128, 143, 152, 158, 171, 172, 176, 188, 191, 192, 207, 214, 216, 222, 224, 235, 239, 240, 248, 252, 254, 255] 9 [0, 30, 43, 48, 60, 63, 79, 86, 88, 96, 120, 126, 128, 158, 171, 172, 176, 188, 191, 192, 214, 222, 224, 235, 240, 248, 252, 254, 255, 256, 286, 299, 304, 316, 319, 335, 342, 344, 352, 376, 382, 384, 414, 427, 428, 432, 444, 447, 448, 470, 478, 480, 491, 496, 504, 508, 510, 511] 10 [0, 60, 79, 86, 96, 120, 126, 158, 171, 172, 176, 191, 192, 240, 252, 255, 256, 316, 342, 344, 352, 376, 382, 384, 428, 444, 448, 470, 480, 496, 504, 508, 510, 511, 512, 572, 591, 598, 608, 632, 638, 670, 683, 684, 688, 703, 704, 752, 764, 767, 768, 828, 854, 856, 864, 888, 894, 896, 940, 956, 960, 982, 992, 1008, 1016, 1020, 1022, 1023] 左右反転については考えたことは無かったですね。 とりあえず偶数は奇数に帰着されるので、奇数だけ見るのがいいような気がします。 ■ このスレッドは過去ログ倉庫に格納されています
read.cgi ver 07.5.1 2024/04/28 Walang Kapalit ★ | Donguri System Team 5ちゃんねる