笑わない数学「四色問題」
■ このスレッドは過去ログ倉庫に格納されています
[総合] 2022年07月27日 午後11:00 ~ 午後11:30 (30分)
【司会】パンサー尾形
どんな地図でも四色で塗り分けることはできるのか？ １９世紀のロンドンで生まれたこの「四色問題」は、話は簡単に理解できるのに、どんな地図の場合でも正しい、という証明は天才数学者たちにもできなかった。そのあと１世紀、挑戦と失敗が続き、数学者たちは次第に恐れをなす。そして登場した最終的な証明方法は、喝采と同時に、ある物議をかもすことに‥。いわくつきのこの難問の証明に、パンサー尾形が３０分で挑む！ 俺は四色問題が好きだ！！サンキュー
今回も絶対言うだろ 4色問題はEテレの又吉の番組でやってたな(´・ω・`) 森博嗣に笑わない数学者というタイトルのミステリィがあるな
関係あるのか >>17
4色でできるって言ってるのに増やしてどうすんだよｗ >>21
ひまわりみたいにすればできる
または、ルーレット 一つの区に１０００区接してる地図がもしあったら四色じゃ無理じゃね ４色あればどんな地図も塗分けられるってことけ？
本当～？ >>33
それでもその１０００区がまたそれぞれ接してるわけじゃないから >>33
隣り合わなければいいだけだから４色でいけるんじゃね 平面または球面
※ トーラスなどの穴のある二次元はNG >>41
あれ？白使ってるか？
まあそれでも結論に変わりないけど なにが言いたいかって？
この番組しんどい、頭おかしくなりそうって言いたいんじゃない？w モルガンってド・モルガンの法則の人か
めっちゃ有名人じゃん >>33
ABF
ACF
ADF
AEF
・・・
みたいな場合にBC・DEを2色セットで塗り分けていけば4色で足りる >>57
経験則から言われてた感じ
実際に問題として取り組まれるようになったのがこの時からだったような >>74
その対象が数学的なものに見えなかったもんでね フェルマーさんなら証明思いついてたんだろうなでも紙が足りねえんだ >>87
数字が無いと数学じゃないって思ってるのが間違いじゃね？ ケーニヒスベルクの橋問題みたいに、スマートに単純化出来ないのか？ なんか回りくどいし、セリフも聞き取りづらいしだめだこりゃ >>96
どういうプログラムを描いたら検証できるのかちょっと悩んでしまった
古のBASICでもできるだろうか >>93
う～ん、それは自身を検証しないといけないな 塗り分ける途中で絵の具が切れたら色分け出来なくなるぞ 四色問題って数学的帰納法で解かれてたのか。
まあ少ない数に帰着するのは合理的に思えるけど。 ウルトラマンの科特隊とかでOKリレー作戦てありそう 日本地図で海が塗れない時点で無理やん
取り囲む国があったら塗れないんじゃないの
なんとかしたら塗れるん？ 昔フジの深夜にやってたアインシュタイン思い出すな、あの番組面白かった >>157
具体的な例から一般論に持ってくのが帰納法
一般論から個別の話に持ってくのが演繹法
あの人が○だからみんな○帰納法
みんな○だからあの人も○演繹法
って感じ >>200
算数を分かりやすく教えるためにこうしたほうがいいと提唱した教え方が新たな問題を引き起こしてるのでしたっけか なんであんな形をわざわざと思う所で思考停止
だから文系にいきました これ、論理的にはあってるけど普通の人には飛躍して感じるから説明不足に思ってしまう… 三辺国を含むってのは〇辺国の最大が3てことでいいの？ >>200
この国には
見えないところで教育を崩壊させようとしてるサヨクがごろごろいるんだよ
国力＝軍事力を減らして弱体化させようとね
光学、核反応、複素数、幾何学
大学受験でこういうのおろそかにしたりとか >>200
かけられる数×かける数にしたいんだろ（適当） 2,3,4,5辺国が必ず含まれるというのが分からんのだが >>283
一つ前の地図が塗れる前提からその条件にしてる >>280
今の高１から文系はベクトル習わないことになったわ >>262
〇個 x M人 の順番で掛け算をしないとダメって話じゃなかったかな 違ったかな >>283
nか国の地図なら塗れると仮定している。
n+1国は、塗れるかどうかを考えている
だから、-1したい >>283
nが成立してると仮定してn+1を確かめる >>302
８人に６本ずつって書いてあるのに(´；ω；`) >>327
コンクリートを遺伝的アルゴリズムでどうちゃらって卒論書いたのだけ覚えてる 色を変えられるのは盲点だけど、不可能な組み合わせってないのか >>200
８が６個
６が８個
の違いなんだが、算数得意な子には直感的にわかるから、どうでもいいんだよな >>283
最終的に4カ国の地図が塗り分けられるなら4＋1＝5カ国の地図も塗り分けられる
以外無限カ国の地図も塗り分けられる
って事にしたいから 青と黄色しか使ってないから、他の色については考えなくていいのか >>335
いや今の三色ですらうまくいかないケースあるんじゃないのけと
あ、いまやり始めたか アリエル
ウンブリエル
ミランダ
オベロン
ティタニア >>337
だから 8x6は不正解で6x8が正解になるのでは >>342
得意ではない子が理解出来るように教えるのが教育なのでは？ こういうのが面倒くさいから、中国は統一したほうがいい こういう証明で難しいのは自分では正しいと思ってることのおかしなとこを自分で見つけなきゃいかんとこだな >>342
つまり国語の問題なんだよな
8本/人×6人＝48本なら正解なのか… これがうまくいったとて証明はまた別の話だよな？
最後にｻｰｾﾝって言わせてくれよ？ でも交換できる色が４つしかないから、不可能になるパターンもありそうって思うけど >>375
詭弁であることを言うには、それを証明しなくてはならない なんで必ず止まると言えるんじゃあああああああ(発狂) 必ず2辺国～5辺国を含むっていうことはどうやって証明されるの？ パッと見ても2ヵ所は赤が隣接してたけど(´･ω･`) 数学者ってこんな事ばっかり考えて思いつくのかよ
頭おかしいだろ（褒め言葉） しかしその証明を書くには余白が狭すぎる、みたいな(´・ω・`) >>372
得意な子と得意ではない子に同じ教え方をしてるのがそもそも問題のような気がしますね ケンプさんの論文ではちゃんと抽象化して証明してるじゃないの >>348
プーチン大統領が怒り心頭で見ています、このNHKの番組を ５辺国は２３４辺国の理論の組み合わせで証明できそうだな 地図は所詮2次元だからな
3Dを塗り分けるとなると何色いるかな 尾方カンペ読み過ぎだろ
全く説得力無いしちょっとはちゃんと仕事しろよ >>419
ハハハその手には乗らんよｗ
だが念のために後でメアドを教えます 飛ばしすぎじゃねえの
先週まで以上にハテナしかないわ ドリルの問題解いててにっちもさっちもいかなくなるおれのパターンじゃねえか >>382
だけど、１人用６本を先に用意するのではなく、全員に一本ずつ配る８本束を用意してそれを６個用意してもいいんだから、やっぱ採点がおかしいんだよな。 四色問題が機械学習に応用されてAIを進化させたのか 本当は５色だったんじゃないか？
誤植なだけに＼(^o^)／ P、NP、NP完全、NP困難
↑こいつらすぐ忘れる >>442
解くにあたっての考え方は役に立つと思うよ >>372
初めの教える段階はそれでいいけど、８✕６も６✕８も同じってわかってる段階で、間違い扱いするのがおかしいのよ わお 電球がピカピカ光るコンピュータだ
これまだLEDじゃないよねたぶん 疲れを知らないコンピューターのように
時は二人を追い越していく 今の量子コンピュータにかければ一瞬で出そう(´・ω・`) やっぱりあんな風に点滅するのか 初期のコンプーターは 今のPCならどれくらいの時間でやれるんだろう
家のPCですらこれより速いんだろうな 四色問題が解決しなくても、人類がハッテンして月に行けたなら、そもそも四色問題なんて不要じゃね？ このナレーションこそ、なんか教養番組っぽいよね
だれ？ >>491
分かってるなら、分かってるように書きなよ >>510
理屈では証明できず力技で証明したのかな >>486
昔読んだ数学の本によれば、これはあんまり実りはなかったらしい。
解き方も強引だし、できる、ってことは意外と後に繋がらないって 出来ました！って言ってるだけにしか見えない
さっぱりわからん >>507
一万回ダメでへとへとになっても…一万一回目は変わるかもしれない なぜそうなるのかではなく
そうだからそうなのだ
みたいな「証明」だからな >>522が実況民であることの証明が終了した(´・ω・`) 聞いてたら具合悪くなりそう
100億ドルの懸賞金かかってる問題もこうやってもがいてんの？ >>425 それもそうだなあ
>>491 そういうもんなんかなあ 確率とかの問題もしらみつぶしでやるよりこうやってーとか言ってちゃちゃっとやられるとなるほどって思うもんな ここから分類の数は多少改善されたそうだね
でも本質的に違う考えの証明は出ていない >>539
それはなぜ。５角形はコンピュータ使ったのに６角形は必要ないんか。 6*8か8*6なんかどっちも正解やろ
これ片方を間違いにしてる方がどうかしてるわ
６本を８人だから6*8が正しい？
アホなんですか？
８人に６本分けるって考えたら間違いってなぜなんですか？ってなるわ >>382
そうなんだけど、８本用意して一人に１つずつ渡すってのを６回繰り返したと想像した場合は間違いとはならないのよね >>522
quod erat demonstrandumってラテン語な まあ入試が解けるならどんな細かく場合分けしようが、ゴリ押しだろうが関係ないよなｗ コンピュータでしか検証できないってのが美しくないんだと思う 論文をマシン語の羅列で埋め尽くすのはエレガンテじゃないんp どっかで聞いたことあるかと思ったけどこの人ってポアンカレ予想の証明で挫折した人じゃんｗ 大数でエレガントな解法って言葉覚えたけど高校生ごときでエレガントもクソもないと思った >>530
２～５辺国が１つもなく６辺国以上からしかないのはあり得ないってことなんだろうけど
そこの証明もみたい . . |
. . .. . .／＼
. . . .. .l. . .＼ ／￣￣＼. . くそがああああああああああああああああ
. . .(/＼ ＼＿| Ｕ ・. .|＿＿＿＿
. . 彡 ＼ . . ／＼＿＿＿＿＿⊃
￣￣￣￣￣￣|＼ _,／|￣￣￣￣￣￣
. . .. . .. . .| (/ ヽ) |
. . .. . .. . .| ミ. .彡 .|^ 1976年にケネス・アッペルとヴォルフガング・ハーケンは、ハインリヒ・ヘーシュにより考案された「放電法」と呼ばれる手続きを改良し、コンピュータを利用して約2000個の（後に1400個あまりに整理された）可約な配置からなる不可避集合を見出し、四色定理を「証明」するに至った。
これは一応は認められたが、人手による実行が（事実上）不可能なほどの複雑なプログラムの実行によるものであることから、ハードウェアやソフトウェア（コンピュータやそのプログラム）のバグの可能性などの懸念から、その確実さについて疑問視する向きもあった。
しかしその後、1996年にニール・ロバートソンらによりアルゴリズムやプログラムの改良が行われ、より簡易な手法（従来の放電手続きよりシンプルな放電手続きを考案し、不可避集合の数を1405個から633個に抑えた）による再証明が行われるなど、第三者による複数の改良された証明が行われ、証明は確実視されるようになっていった。
2004年にはジョルジュ・ゴンティエが定理証明系Coqを用いて、よりシンプルな証明を行うなど、コンピュータの応用手法の洗練により、より確かな手続きで証明が行われるなどしているため、現在では四色問題は解決していると捉えられている。 孤独に歩め 悪をなさず 求めるところは少なく 林の中の象のように >>571
すべての地図には、
2.3.4.5が含まれる
6の地図も、上記の4つのどれかに属するから 結局凡人にはわからんてことで
もっと誰でもわかりやすいテーマにしようよ NPとかコンピュータやったやつじゃなきゃさっぱりわからないだろ 結局、エレガントは発見されてないんだな
ても、今日は分かりやすかった エレガントにできるだろうけど人類の知能を超えてるってのはあるだろうな
散在的単純群の構造とかもそうだと言われている P対NPはよくわからんから解説してくれるのはありがたい >>594
最終的には証明できたという扱になったのか 地図は2次元だから・・・ってことなんだろうけど考えるのメンドイ >>1
え?
６面設置とか７面設置は置き去りなままなの?
結論出てないよね? >>622
いやなんでもツボツボ言うやつがバカの一つ覚えだろ >>603
きっとそうなんでしょうけど、それももう３０分かけてやって欲しかったかな これ結局「四方でそれぞれの色で分けれるから証明出来るじゃん」で駄目なの？ >>592
蜂の巣みたいな、六角形を敷き詰めるモデルになるかな >>622
一緒に楽しく見てたやつの中にも
こんなのが平然といたと思うと寒氣する
どっちの立場とか関係なく気持ち悪い レギュラー放送
1 #1「素数」 2022年7月13日
2 #2「無限」 2022年7月20日
3 #3「四色問題」 2022年7月27日（予定）
BSプレミアム先行放送 話数 タイトル 放送日
1 「素数」 2022年3月26日1:20～1:49
2 「無限」 2022年3月26日1:49～2:18
3 「四色問題」 2022年3月31日3:10～3:39
4 「P対NP問題」 2022年3月31日3:39～4:08
ここまでがBSP先行放送分か >>638
数学が苦手な人なら他にもごまんといるわけだから証明になってないんじゃないかね NP問題はアルゴリズムのマスターキーだっけか
暗号も何もかも解読れるからきっと違うだろうって自己暗示かけてるとか >>636
最大で5辺国までのパターンに分類しなおすことができるってとこもうちょいやってほしかったね 数学科学分野は
youtuberごろごろいるから
生半可だとテレビも本気で需要なくなってるぞ >>652
4回とも見たけど、全然憶えてないのでわりと楽しめてるｗ >>594
>>634
富嶽使えよ世界一なんでしょ@
ついでにπの終わりや素数の最後も計算させろよ
コロナの飛沫以外計算しないで遊んでるんだし >>655
円周率は、終わらないことが証明されてなかったっか？ >>603
6辺国を消した場合どうなるの？それは大丈夫なの？ってのが無いのがどうなんだろう？ >>603
その地図に問題があるじゃん
実在しない国でも６面設置以上はありえるし
最後は海ですから終わり、なんて逃げでしかない >>644
6/11に総合の「レギュラー番組への道」でフェルマーの最終定理を放送済み >>659
海で終わりじゃなくて
バチカンみたいに一つの国の中に
あんなごちゃついた国がいっぱいあったらどうするのかなーって(´･ω･`) >>662
その外側に接する国の色以外の3色で塗り分けないといけなくなるんだよな >>656
あれは
「正確な円はありえないから計算できない」
と言って逃げてるｱｷﾚ
サイコロでさえ６面全部同じ確率のものが作れたんだから
(実はいわゆる普通のサイコロは重力の関係で同じ確率ではない)
円も正確なもの作ってたらπは終わるはず
素数も終わるはず >>661
本気だよ
富嶽あんな性能だからそんなのやりながら他の仕事もできるようになってる なんかゲームみたいなもんやな
将棋でもテレビゲームでもなんでも
ルール作った側は何となくこうやれば解けるやろって推論のもと作ってみて
実際はプレイヤーがその解き方を攻略はしていくみたいな
将棋のAIなんかはエレファントな解法な感じがするな >>666
まずは倉庫番からチャレンジかな そこで頭を柔らかくしたらロードランナー >>664
素数が無限に続くことは紀元前に証明されてるし、πも超越数であることが証明されてる >>669
ソースわ?
おまいは
>>667
も理解できなかったのに 富士山は活火山
桜島も活火山
よって全て火山は活火山である
これだとひろゆきじみた屁理屈になるな >>672
理論上全く活動しない火山なんて存在しないからそれでOKでしょ
だから死火山という言葉が使われなくなったんだし ■ このスレッドは過去ログ倉庫に格納されています
