【NHK】笑わない数学【P≠NP】
■ このスレッドは過去ログ倉庫に格納されています
PNP問題って解けるわけないやん
これが正しいって解けたらすべてひっくり返るやん 無限に番組作れそう
パンサー尾形の笑わない宇宙 とかそういうのやってほしい これええ番組なんやけどナビがノイズでしかない凄く残念や 水ダウやとしらみつぶしで正解見つけるまで監禁されそう 高校でやったコンビネーションの組み合わせのやつじゃないのか 晩年のハミルトンは、アルコール中毒に溺れながら誰にも理解されることのない数学研究に没頭し、暴飲暴食による痛風に苦しんだ末に1865年にダブリンの自宅で息を引き取った。 PとNPが一緒なわけないやん何故なら文字が違うから
はい証明完了
100万ドルはワイのもんや 一筆書きは分岐が奇数個の点があるかで判別できるのに点だけを見るとあかんのか これは聞いたことあるな
アルゴリズムの勉強したときに出てきた気がする このNHKの数学番組いつから始まったんや
毎回面白いわ NP問題って言い方やめろや
んなこといったら与えられた自然数が偶数かどうかを判定する問題もNP問題やぞ 海外の女子大の野球のスケジューリングで見たことあるわ 無駄があってもテキトーに組んでやってしまった方が時間の無駄を減らせて良いんじゃないか 一筆書き問題とさっきの経路のやつってどう違うんや? 北海道4000kmって北海道のリアルな時刻表再現して札幌駅から最速で全路線制覇するゲーム思い出したわ >>139
経路に関しては最短かどうかを確かめるのが難しい >>150
それの一つ前にやった点をなぞっていく方や
辺と点の違いなんかね 公務員試験の数的処理でやったわ
ワイはNPでゴリ押したが😤 ワイがおそらくなんG唯一のPvsNP専門家や
なんでも聞け レオンハルト・オイラーとか、数学の天才のお話って
超面白いよね >>195
偶数はクロスしてるということなので途中点になるので大丈夫
奇数ということはその点が始点終点のどちらにかならずなるから2個までならセーフやけど4個以上あったら始点終点のペアが2組になるので一筆書きは無理ってことになるんや >>237
水曜の落とし穴で諦めない姿勢がお眼鏡にかなったらしいで この世のすべての問題の数がわからんと結論出ないやん… >>231
言いたいことはわかるが、それを数学的にどう証明するのかがわからん はじめて見たけどかまいガチよりはるかにおもろいやんけ毎週実況立っとるんか?
思ってたより尾形汗かいてないけど >>283
尾形は自分の発してる言葉を理解することを辞めとる >>240
P = NPだったら世の中が超発展する……かもしれない
≠だったらそんなに上手くいかねーよってことがわかる
>>241
うん ひろゆき理論やな1つあら探しすればワイの勝ち理論や 上の方の難問が解けたら間にあるNP問題も一気に解決できちゃった…ってコト!? もしかして尾形の最初で最後の代表作がこの番組になるんか NP完全だのNP困難だのこの辺ちゃんと理解できる良いサイトか書籍ない? なるほど総当たりのシミュレーションが不要になるんか >>334
ちゃんと勉強したいなら無難にシプサ読めば? 面白い番組を作るための効率的な資源配分が見つかった結果尾形がいなくなりそう😭 >>334
数学ガールの乱択アルゴリズムに確かちょっと解説が書いてある
あとは渡辺治先生の解説記事がそこら辺にある 戦争をしないことが最適って答えが出されるんやないか? 先週の4色問題もやけど、ある数の問題が解ければn-1もn+1も解ける理論は訳分からん
97ヶ国の地図は駄目かもしれへんやん >>362
そもそもスパコンの最適な設計の方法も見つかるかもしれんぞ まぁイギリスがエニグマ解読して実行してたんすけどね こいつ聞きにくくてイライラするから普通に俳優使ってくれ やっぱり笑わない数学はおもしろいなあ
みんなも周りの声に惑わされるなよ 笑数でやるならペレルマンの陰キャいじりとかはやめてほしいわ 未証明やなくて証明済みの物を紹介してくれたほうがスッキリするわ 位相幾何とかひも理論とか懐かしいわ
全く忘れたけど Nスペでやってた日本人の人が証明出したけどOKかで意見が割れてるやつはなんやっけ? ポアンカレ予想が証明されたので宇宙はドーナツ型ではないことが分かりました >>371
還元って手法があって、問題同士をうまい方法で変換するんや
例えばナップザック問題を巡回セールスマン問題に変換する、みたいな
今知られてるNP問題はみんなNP完全問題に変換する方法が知られとる >>434
ABC予想と宇宙際タイヒミュラー理論やっけ オイラーの恒等式くらいのやつを尾形にはやってほしいわ すべての事象には説明ができるってことなん?P=NPって
途中から見始めた >>438
サンガツ
あれは見てたら頭おかしくなりそうやったわ >>430
ポアンカレ予想はトポロジーがかかわってくるから絶対は?って人出てくると思う 京都大学の数理解析研究所に2人も望月って人がいて草 NPをちゃんと説明しようとすると形式言語の基本から始めてチューリングマシンを使ってまず計算とはいかにして定義されるかみたいな話をはじめにゃならんからしんどいな >>446
どんな問題に対しても、総当たりの計算量でのゴリ押し無しでうまいこと答えを導けるかどうか >>451
確かに定義はそうなんだけど、解が正しいかどうか多項式時間で確認可能
ていうのもTM使った定義と同値だからそこまで勉強しなくても別に大丈夫 >>452
NSは解析的には解けんのやろ?
無理なんちゃうんか 総当りせずとも裏技があるよって話なんかな
図書で読みたいな >>454
すまん語弊があったわ、どんな問題でもちゃうなよう知らんが
総当たりのゴリ押しでしか解けん問題がざっくり言えばNPやったっけ >>456
現状ゴリ押しでしか解けないが、効率的な方法があるかもしれないのがNP問題 >>453
だから「多項式時間で検証可能」って概念の厳密な説明に結局TMが必須やん ワイこれ見逃し配信見たくてNHK+に登録してもうたわ >>460
実は計算複雑性理論では計算モデルを限定してないから、TMじゃなくてもいい
計算ステップの定義も適当だからザックリn^kで計算できるってわかればいいのよ
そこを何か固定しなきゃ気持ち悪いって言うならTMでもラムダ計算でもどうぞお好きにっていう ■ このスレッドは過去ログ倉庫に格納されています