4:名無しNIPPER
2024/04/09(火) 20:08:18.47 ID:pQEOMo+80
P「ということで今日はSNSとも関係するグラフ理論について話そうかな」
比奈「随分無理やりな導入じゃないっスか！？」
加蓮「プロデューサーも語りたいんだよ 奈緒もよくこんな感じで唐突に語り始めるし」
5:名無しNIPPER
2024/04/09(火) 20:08:48.12 ID:pQEOMo+80
P「ふむ…わざと専門的な言い方をしたがやっぱり分からないよな…」
奏「全く…普段からかっていることの仕返し？」
加蓮「そうだそうだー！マキノは兎も角私や比奈さんは数学のことさっぱりだー！」
6:名無しNIPPER
2024/04/09(火) 20:09:28.37 ID:pQEOMo+80
0.グラフ理論基礎
P「じゃあ早速グラフ理論について話していこう まずはノード…これは点のことだ SNSで例えるならユーザーのことだ」
比奈「ふむふむ…」
7:名無しNIPPER
2024/04/09(火) 20:10:10.17 ID:pQEOMo+80
比奈「応用…例えばどんなのっスか？」
P「例えばエッジに向きをつけたり これでSNSで片方だけのフォローか相互フォローかを表せるな」
マキノ「あとは…そうね エッジに重みをつけたりとかかしら？」
8:名無しNIPPER
2024/04/09(火) 20:11:05.56 ID:pQEOMo+80
1.四色定理
P「基礎も説明したし早速事例について話そうか まずは四色定理について…ということで突然ですが比奈に問題です」
比奈「アタシっスか！？」
9:名無しNIPPER
2024/04/09(火) 20:11:56.50 ID:pQEOMo+80
奏「妙に歯切れが悪いわね…何か問題でもあるの？」
加蓮「あ、分かった！まだ証明されてないんでしょ！」
マキノ「いや、証明はされた、と言われてはいるの ただその方法がコンピュータを使った証明で…」
10:名無しNIPPER
2024/04/09(火) 20:12:34.69 ID:pQEOMo+80
P「当然反発も起きてな…今でも分類が減ったりはしているがコンピュータ無しでの証明方法は未だに発表されていない」
マキノ「エレガントな証明の対比としてエレファントな証明なんて言われてしまっているわ」
奏「見えているのに人の手では届かないなんて、歯がゆいものね…」
11:名無しNIPPER
2024/04/09(火) 20:13:14.83 ID:pQEOMo+80
2.巡回セールスマン問題
P「ともあれ、四色定理でコンピュータの貢献も説明したことだし次はコンピュータの限界について話そうか 巡回セールスマン問題だな」
奏「セールスマンが回る地点をノード、通るルートをエッジにする、といったところかしら？」
12:名無しNIPPER
2024/04/09(火) 20:14:08.42 ID:pQEOMo+80
奏「多すぎてちょっと考えたくなくなってくるわね…」
加蓮「もしかして、この問題って解決出来ないの？」
P「そう、点が増えれば増えるほどに最適解の導出は困難になっていく」
13:名無しNIPPER
2024/04/09(火) 20:15:08.40 ID:pQEOMo+80
P「勿論、より良いアルゴリズムの開発も続けられてはいる…人の手でな」
加蓮「そっか…なんでもコンピュータに任せるわけにはいかないんだね…」
奏「ふふっ…それこそ、私達アイドルの活動もコンピュータには任せられないでしょう？」
14:名無しNIPPER
2024/04/09(火) 20:15:38.12 ID:pQEOMo+80
P「…話したいことを適当に話していただけだったが以外といいところに着地出来たな」
比奈「その一言で台無しっスよ！」
15Res/9.52 KB
↑[8] 前[4] 次[6]
書[5]
板[3] 1-[1] l20
