笑わない数学「四色問題」

**公共放送名無しさん** · 2022/07/27(水) 21:06:33.07

[総合] 2022年07月27日午後11:00 ~ 午後11:30 (30分)

【司会】パンサー尾形

どんな地図でも四色で塗り分けることはできるのか？　１９世紀のロンドンで生まれたこの「四色問題」は、話は簡単に理解できるのに、どんな地図の場合でも正しい、という証明は天才数学者たちにもできなかった。そのあと１世紀、挑戦と失敗が続き、数学者たちは次第に恐れをなす。そして登場した最終的な証明方法は、喝采と同時に、ある物議をかもすことに‥。いわくつきのこの難問の証明に、パンサー尾形が３０分で挑む！

**公共放送名無しさん** · 2022/07/27(水) 23:27:28.01

石橋？

**公共放送名無しさん** · 2022/07/27(水) 23:27:33.10

>>530
証明する必要がない

**公共放送名無しさん** · 2022/07/27(水) 23:27:36.52

そりゃ美しくないわ

**公共放送名無しさん** · 2022/07/27(水) 23:27:39.53

なぜそうなるのかではなく
そうだからそうなのだ
みたいな「証明」だからな

**公共放送名無しさん** · 2022/07/27(水) 23:27:40.21

>>522が実況民であることの証明が終了した(´・ω・`)

**公共放送名無しさん** · 2022/07/27(水) 23:27:40.80

尾形、カンペ丸読みだな

**公共放送名無しさん** · 2022/07/27(水) 23:27:46.98

うまいw

**公共放送名無しさん** · 2022/07/27(水) 23:27:47.00

少し菅さんに似てるなこの人

**公共放送名無しさん** · 2022/07/27(水) 23:27:47.02

聞いてたら具合悪くなりそう
100億ドルの懸賞金かかってる問題もこうやってもがいてんの？

**公共放送名無しさん** · 2022/07/27(水) 23:27:48.84

面白いｗ

**公共放送名無しさん** · 2022/07/27(水) 23:27:49.09

AHAHAHAHA

**公共放送名無しさん** · 2022/07/27(水) 23:27:50.48

先に言われたダジャレ elephant

**公共放送名無しさん** · 2022/07/27(水) 23:27:51.14

だれうま

**公共放送名無しさん** · 2022/07/27(水) 23:27:53.64

エレファントカシマシ

**公共放送名無しさん** · 2022/07/27(水) 23:27:53.94

エレガントじゃなくてエレファントってか

**公共放送名無しさん** · 2022/07/27(水) 23:27:55.36

うちの課長も大嫌いだったわ力技

**公共放送名無しさん** · 2022/07/27(水) 23:27:56.43

象「解せん」

**公共放送名無しさん** · 2022/07/27(水) 23:27:57.13

エレファント・マン

2022/07/27(水) 23:27:57.53

E=mc2

**公共放送名無しさん** · 2022/07/27(水) 23:27:58.78

エレファント・マンなのか

**公共放送名無しさん** · 2022/07/27(水) 23:27:59.41

象は賢い

**公共放送名無しさん** · 2022/07/27(水) 23:28:00.31

>>425　それもそうだなあ
>>491　そういうもんなんかなあ

**公共放送名無しさん** · 2022/07/27(水) 23:28:00.84

駄洒落

**公共放送名無しさん** · 2022/07/27(水) 23:28:03.32

優雅なぞうさんだっているさ

**公共放送名無しさん** · 2022/07/27(水) 23:28:06.24

確率とかの問題もしらみつぶしでやるよりこうやってーとか言ってちゃちゃっとやられるとなるほどって思うもんな

**公共放送名無しさん** · 2022/07/27(水) 23:28:09.41

マナー講師みたいなもんか

**公共放送名無しさん** · 2022/07/27(水) 23:28:10.55

たしかに宗教っぽいよな

**公共放送名無しさん** · 2022/07/27(水) 23:28:11.82

エレガントではなくエレファントだ！
だれうまｗ

**公共放送名無しさん** · 2022/07/27(水) 23:28:17.06

壺ｷﾀ━━━━(ﾟ∀ﾟ)━━━━!!

**公共放送名無しさん** · 2022/07/27(水) 23:28:23.85

いやいやあんたも宗教やっとるやろ

**公共放送名無しさん** · 2022/07/27(水) 23:28:27.16

それが数学の醍醐味じゃないの

**公共放送名無しさん** · 2022/07/27(水) 23:28:27.60

式に出来てないから美しくないってこと？

**公共放送名無しさん** · 2022/07/27(水) 23:28:28.46

ここから分類の数は多少改善されたそうだね
でも本質的に違う考えの証明は出ていない

**公共放送名無しさん** · 2022/07/27(水) 23:28:30.83

>>539
それはなぜ。５角形はコンピュータ使ったのに６角形は必要ないんか。

**公共放送名無しさん** · 2022/07/27(水) 23:28:33.96

容疑者Xの献身で出てたよな４色

**公共放送名無しさん** · 2022/07/27(水) 23:28:34.91

6*8か8*6なんかどっちも正解やろ
これ片方を間違いにしてる方がどうかしてるわ
６本を８人だから6*8が正しい？
アホなんですか？
８人に６本分けるって考えたら間違いってなぜなんですか？ってなるわ

**公共放送名無しさん** · 2022/07/27(水) 23:28:35.11

エエエエレェガントォォォ！

**公共放送名無しさん** · 2022/07/27(水) 23:28:35.23

モンテカルロ法？

**公共放送名無しさん** · 2022/07/27(水) 23:28:36.63

わかった！
e=mc2

**公共放送名無しさん** · 2022/07/27(水) 23:28:36.90

>>382
そうなんだけど、８本用意して一人に１つずつ渡すってのを６回繰り返したと想像した場合は間違いとはならないのよね

**公共放送名無しさん** · 2022/07/27(水) 23:28:37.81

>>522
quod erat demonstrandumってラテン語な

**公共放送名無しさん** · 2022/07/27(水) 23:28:40.89

鶏かおまえは
首振るな

**公共放送名無しさん** · 2022/07/27(水) 23:28:42.54

まあ入試が解けるならどんな細かく場合分けしようが、ゴリ押しだろうが関係ないよなｗ

**公共放送名無しさん** · 2022/07/27(水) 23:28:43.20

結果見せろよ

**公共放送名無しさん** · 2022/07/27(水) 23:28:44.08

コンピュータでしか検証できないってのが美しくないんだと思う

**公共放送名無しさん** · 2022/07/27(水) 23:28:45.24

>>537
ドリカムか？

**公共放送名無しさん** · 2022/07/27(水) 23:28:46.28

おまえ…

**公共放送名無しさん** · 2022/07/27(水) 23:28:49.91

>>566
宗教といえば壺
馬鹿なんだねお前

**公共放送名無しさん** · 2022/07/27(水) 23:28:50.08

論文をマシン語の羅列で埋め尽くすのはエレガンテじゃないんp

**公共放送名無しさん** · 2022/07/27(水) 23:28:51.04

どっかで聞いたことあるかと思ったけどこの人ってポアンカレ予想の証明で挫折した人じゃんｗ

**公共放送名無しさん** · 2022/07/27(水) 23:28:53.90

なに言ってんの

**公共放送名無しさん** · 2022/07/27(水) 23:28:55.30

？

**公共放送名無しさん** · 2022/07/27(水) 23:28:55.77

大数でエレガントな解法って言葉覚えたけど高校生ごときでエレガントもクソもないと思った

**公共放送名無しさん** · 2022/07/27(水) 23:28:56.42

オッケーでーす

**公共放送名無しさん** · 2022/07/27(水) 23:28:56.53

>>530
２～５辺国が１つもなく６辺国以上からしかないのはあり得ないってことなんだろうけど
そこの証明もみたい

**公共放送名無しさん** · 2022/07/27(水) 23:28:57.09

　.　　　.　　　|
.　.　..　.　.／＼
.　.　.　..　.l.　.　.＼　　　／￣￣＼.　.　くそがああああああああああああああああ
.　　　.　.(/＼　　　＼＿|　Ｕ　・.　.|＿＿＿＿
　.　　　.　彡　＼　.　　　.　　／＼＿＿＿＿＿⊃
￣￣￣￣￣￣|＼　　_,／|￣￣￣￣￣￣
.　.　..　.　..　.　.| (/ ヽ)　　|
.　.　..　.　..　.　.| ミ.　.彡　.|^

**公共放送名無しさん** · 2022/07/27(水) 23:29:00.74

1976年にケネス・アッペルとヴォルフガング・ハーケンは、ハインリヒ・ヘーシュにより考案された「放電法」と呼ばれる手続きを改良し、コンピュータを利用して約2000個の（後に1400個あまりに整理された）可約な配置からなる不可避集合を見出し、四色定理を「証明」するに至った。

これは一応は認められたが、人手による実行が（事実上）不可能なほどの複雑なプログラムの実行によるものであることから、ハードウェアやソフトウェア（コンピュータやそのプログラム）のバグの可能性などの懸念から、その確実さについて疑問視する向きもあった。

しかしその後、1996年にニール・ロバートソンらによりアルゴリズムやプログラムの改良が行われ、より簡易な手法（従来の放電手続きよりシンプルな放電手続きを考案し、不可避集合の数を1405個から633個に抑えた）による再証明が行われるなど、第三者による複数の改良された証明が行われ、証明は確実視されるようになっていった。

2004年にはジョルジュ・ゴンティエが定理証明系Coqを用いて、よりシンプルな証明を行うなど、コンピュータの応用手法の洗練により、より確かな手続きで証明が行われるなどしているため、現在では四色問題は解決していると捉えられている。

**公共放送名無しさん** · 2022/07/27(水) 23:29:05.19

いま話題の
統一場理論
↑↑

**公共放送名無しさん** · 2022/07/27(水) 23:29:05.33

この収録後のやりとりいる？

**公共放送名無しさん** · 2022/07/27(水) 23:29:05.54

テイク2行きまーす

**公共放送名無しさん** · 2022/07/27(水) 23:29:07.36

寒い演出

**公共放送名無しさん** · 2022/07/27(水) 23:29:09.00

えっ終わりかよ！

**公共放送名無しさん** · 2022/07/27(水) 23:29:11.12

孤独に歩め悪をなさず求めるところは少なく林の中の象のように

**公共放送名無しさん** · 2022/07/27(水) 23:29:11.61

エレガントな俺のすね毛占いで答えを導いてみよう

**公共放送名無しさん** · 2022/07/27(水) 23:29:13.00

これ、Eテレじゃないんだな

**公共放送名無しさん** · 2022/07/27(水) 23:29:14.45

>>571
すべての地図には、
2.3.4.5が含まれる

6の地図も、上記の4つのどれかに属するから

**公共放送名無しさん** · 2022/07/27(水) 23:29:15.67

これで終わりかーい

**公共放送名無しさん** · 2022/07/27(水) 23:29:15.67

おわた

**公共放送名無しさん** · 2022/07/27(水) 23:29:16.55

急に難しい話きたな

**公共放送名無しさん** · 2022/07/27(水) 23:29:18.08

もう尾形いらないだろ(´･ω･`)

**公共放送名無しさん** · 2022/07/27(水) 23:29:18.80

正直MC要らんのよね
BS版ではカットしてほしい

**公共放送名無しさん** · 2022/07/27(水) 23:29:19.86

今度はnpか

**公共放送名無しさん** · 2022/07/27(水) 23:29:20.79

え？エレガントに証明されてないの？

**公共放送名無しさん** · 2022/07/27(水) 23:29:21.11

エレガントな証明はしてくれないの？

**公共放送名無しさん** · 2022/07/27(水) 23:29:21.60

>>572
それで知ったわ
こんな問題あるの

2022/07/27(水) 23:29:23.24

手応えがない！！

**公共放送名無しさん** · 2022/07/27(水) 23:29:25.20

結局凡人にはわからんてことで
もっと誰でもわかりやすいテーマにしようよ

**公共放送名無しさん** · 2022/07/27(水) 23:29:30.14

難問キター

**公共放送名無しさん** · 2022/07/27(水) 23:29:31.18

P対NPキターーー.

**公共放送名無しさん** · 2022/07/27(水) 23:29:33.81

新潟局巨乳

**公共放送名無しさん** · 2022/07/27(水) 23:29:36.57

NPとかコンピュータやったやつじゃなきゃさっぱりわからないだろ

**公共放送名無しさん** · 2022/07/27(水) 23:29:45.50

組合せ爆発を見たい

**公共放送名無しさん** · 2022/07/27(水) 23:29:47.68

結局、エレガントは発見されてないんだな
ても、今日は分かりやすかった

**公共放送名無しさん** · 2022/07/27(水) 23:29:51.59

1億欲しいわ(・o・)

**公共放送名無しさん** · 2022/07/27(水) 23:29:56.70

>>585
おっ
信者か？ｗｗｗｗバカが

**公共放送名無しさん** · 2022/07/27(水) 23:30:04.81

モニターに映るかんぺの字がかなり大きいw

**公共放送名無しさん** · 2022/07/27(水) 23:30:09.44

プロデューサー対偽プロデューサー問題

**公共放送名無しさん** · 2022/07/27(水) 23:30:09.77

エレガントにできるだろうけど人類の知能を超えてるってのはあるだろうな
散在的単純群の構造とかもそうだと言われている

**公共放送名無しさん** · 2022/07/27(水) 23:30:11.20

なんで尾形が担当しているのか問題を解明してほしい

**公共放送名無しさん** · 2022/07/27(水) 23:30:15.10

P対NPはよくわからんから解説してくれるのはありがたい

**公共放送名無しさん** · 2022/07/27(水) 23:30:15.60

>>617
うp

**公共放送名無しさん** · 2022/07/27(水) 23:30:30.10

続きはこちら

数学板
【パンサー尾形】笑わない数学【NHK総合】
https://rio2016.5ch.net/test/read.cgi/math/1657715098/

**公共放送名無しさん** · 2022/07/27(水) 23:30:34.27

>>594
最終的には証明できたという扱になったのか

**公共放送名無しさん** · 2022/07/27(水) 23:30:36.85

地図は2次元だから・・・ってことなんだろうけど考えるのメンドイ

**公共放送名無しさん** · 2022/07/27(水) 23:30:46.69

なんか上手な証明もあるんだろうな

**公共放送名無しさん** · 2022/07/27(水) 23:30:49.50

節電より見てる側の目が悪くなるわ

**公共放送名無しさん** · 2022/07/27(水) 23:30:51.22

>>1
え?

６面設置とか７面設置は置き去りなままなの?

結論出てないよね?

**公共放送名無しさん** · 2022/07/27(水) 23:30:57.30

>>622
いやなんでもツボツボ言うやつがバカの一つ覚えだろ

**公共放送名無しさん** · 2022/07/27(水) 23:30:59.61

>>603
きっとそうなんでしょうけど、それももう３０分かけてやって欲しかったかな

**公共放送名無しさん** · 2022/07/27(水) 23:31:01.45

>>594
解決はしてないってことか