【NHK】笑わない数学【P≠NP】

**それでも動く名無し** · 2022/08/03(水) 23:10:09.37

見るで

**それでも動く名無し** · 2022/08/03(水) 23:39:13.77

でたわね

**それでも動く名無し** · 2022/08/03(水) 23:39:14.73

やっぱり笑わない数学はおもしろいなあ
みんなも周りの声に惑わされるなよ

**それでも動く名無し** · 2022/08/03(水) 23:39:18.08

ポアンカレやんけ

**それでも動く名無し** · 2022/08/03(水) 23:39:22.33

尾形が意見出して終わるの珍しいね

**それでも動く名無し** · 2022/08/03(水) 23:39:23.93

面白そう

**それでも動く名無し** · 2022/08/03(水) 23:39:26.29

おもろそうやな

**それでも動く名無し** · 2022/08/03(水) 23:39:26.66

ロシア人が解いたやつ

**それでも動く名無し** · 2022/08/03(水) 23:39:32.11

きたポアンカレ予想

**それでも動く名無し** · 2022/08/03(水) 23:39:32.12

吉本の経理の人「草、尾形にNHK出れるわけねぇだろ向井に入れたろ！」

https://news.livedoor.com/lite/article_detail/22588943/

**それでも動く名無し** · 2022/08/03(水) 23:39:34.82

ポアンカレ予想面白そう

**それでも動く名無し** · 2022/08/03(水) 23:39:38.81

面白かった

**それでも動く名無し** · 2022/08/03(水) 23:39:40.18

>>353
>>368
調べてみるわサンガツ

**それでも動く名無し** · 2022/08/03(水) 23:39:46.71

ポアンカレ予想前やってたな

**それでも動く名無し** · 2022/08/03(水) 23:39:52.72

笑数でやるならペレルマンの陰キャいじりとかはやめてほしいわ

**それでも動く名無し** · 2022/08/03(水) 23:39:54.65

この番組の最終回は不完全性定理で締めて欲しい

**それでも動く名無し** · 2022/08/03(水) 23:39:57.18

パラシュート部隊って九州の外で久々に見た

**それでも動く名無し** · 2022/08/03(水) 23:39:58.72

未証明やなくて証明済みの物を紹介してくれたほうがスッキリするわ

**それでも動く名無し** · 2022/08/03(水) 23:40:04.94

キツネに化かされた気分や

**それでも動く名無し** · 2022/08/03(水) 23:40:05.79

位相幾何とかひも理論とか懐かしいわ
全く忘れたけど

**それでも動く名無し** · 2022/08/03(水) 23:40:11.88

>>422
草
こんなミスあるんや

**それでも動く名無し** · 2022/08/03(水) 23:40:14.15

Nスペでやってた日本人の人が証明出したけどOKかで意見が割れてるやつはなんやっけ？

**それでも動く名無し** · 2022/08/03(水) 23:40:22.08

ポアンカレ予想が証明されたので宇宙はドーナツ型ではないことが分かりました

**それでも動く名無し** · 2022/08/03(水) 23:40:26.12

>>371
還元って手法があって、問題同士をうまい方法で変換するんや
例えばナップザック問題を巡回セールスマン問題に変換する、みたいな
今知られてるNP問題はみんなNP完全問題に変換する方法が知られとる

**それでも動く名無し** · 2022/08/03(水) 23:40:36.58

>>422
かわいそう

**それでも動く名無し** · 2022/08/03(水) 23:40:40.85

>>434
ABC予想

**それでも動く名無し** · 2022/08/03(水) 23:41:05.69

NS方程式とかやってクレメンス

**それでも動く名無し** · 2022/08/03(水) 23:41:10.76

>>434
ABC予想と宇宙際タイヒミュラー理論やっけ

**それでも動く名無し** · 2022/08/03(水) 23:41:34.43

見逃した
一挙再放送やるよね？

**それでも動く名無し** · 2022/08/03(水) 23:41:34.60

新潟やべーのによく長岡花火いけたな

**それでも動く名無し** · 2022/08/03(水) 23:41:43.57

>>434
ABC

**それでも動く名無し** · 2022/08/03(水) 23:41:47.73

オイラーの恒等式くらいのやつを尾形にはやってほしいわ

**それでも動く名無し** · 2022/08/03(水) 23:42:13.03

>>435
意味わからんな

**それでも動く名無し** · 2022/08/03(水) 23:42:41.72

すべての事象には説明ができるってことなん？P=NPって
途中から見始めた

**それでも動く名無し** · 2022/08/03(水) 23:42:50.91

>>438
サンガツ
あれは見てたら頭おかしくなりそうやったわ

**それでも動く名無し** · 2022/08/03(水) 23:43:25.33

>>430
ポアンカレ予想はトポロジーがかかわってくるから絶対は？って人出てくると思う

**それでも動く名無し** · 2022/08/03(水) 23:43:26.30

京都大学の数理解析研究所に2人も望月って人がいて草

**それでも動く名無し** · 2022/08/03(水) 23:43:30.07

>>446
ちがう

**それでも動く名無し** · 2022/08/03(水) 23:43:46.57

NPをちゃんと説明しようとすると形式言語の基本から始めてチューリングマシンを使ってまず計算とはいかにして定義されるかみたいな話をはじめにゃならんからしんどいな

**それでも動く名無し** · 2022/08/03(水) 23:44:11.56

>>446
どんな問題に対しても、総当たりの計算量でのゴリ押し無しでうまいこと答えを導けるかどうか

**それでも動く名無し** · 2022/08/03(水) 23:46:27.43

>>451
確かに定義はそうなんだけど、解が正しいかどうか多項式時間で確認可能
ていうのもTM使った定義と同値だからそこまで勉強しなくても別に大丈夫

**それでも動く名無し** · 2022/08/03(水) 23:46:57.72

>>452
NSは解析的には解けんのやろ？
無理なんちゃうんか

**それでも動く名無し** · 2022/08/03(水) 23:47:18.68

総当りせずとも裏技があるよって話なんかな
図書で読みたいな

**それでも動く名無し** · 2022/08/03(水) 23:48:21.20

>>454
すまん語弊があったわ、どんな問題でもちゃうなよう知らんが
総当たりのゴリ押しでしか解けん問題がざっくり言えばNPやったっけ

**それでも動く名無し** · 2022/08/03(水) 23:49:37.26

>>456
現状ゴリ押しでしか解けないが、効率的な方法があるかもしれないのがNP問題

**それでも動く名無し** · 2022/08/03(水) 23:49:47.56

あーみればよかったわ

**それでも動く名無し** · 2022/08/03(水) 23:50:18.62

>>436
はえー
やっぱ数学ってすごいわ

**それでも動く名無し** · 2022/08/03(水) 23:51:00.98

>>453
だから「多項式時間で検証可能」って概念の厳密な説明に結局TMが必須やん

**それでも動く名無し** · 2022/08/03(水) 23:51:18.14

>>458
先週のワイ

**それでも動く名無し** · 2022/08/03(水) 23:51:57.59

ワイこれ見逃し配信見たくてNHK+に登録してもうたわ

**それでも動く名無し** · 2022/08/03(水) 23:55:05.93

>>460
実は計算複雑性理論では計算モデルを限定してないから、TMじゃなくてもいい
計算ステップの定義も適当だからザックリn^kで計算できるってわかればいいのよ
そこを何か固定しなきゃ気持ち悪いって言うならTMでもラムダ計算でもどうぞお好きにっていう

**それでも動く名無し** · 2022/08/03(水) 23:57:17.52

なんGってどの分野にもガチ勢いるよな