Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
ゆる計算理論ラジオ / P vs NP for beginner
Search
megane42
March 17, 2023
Science
1
200
ゆる計算理論ラジオ / P vs NP for beginner
megane42
March 17, 2023
Tweet
Share
More Decks by megane42
See All by megane42
Immutable ActiveRecord
megane42
0
160
Rails deprecation warning に立ち向かう技術 / v.s. rails deprecation warnings
megane42
0
570
OSS コミットゴルフのすすめ / Let's play OSS-contribute-golf
megane42
0
84
How to Make "DJ giftee"
megane42
1
870
Rails 6 Upgrade "Practical" Guide
megane42
6
1.3k
updated_at に依存したら大変なことになった / Don't depend on updated_at
megane42
0
530
本当は怖い Rails の `build_xxx` / The Hard Facts of `build_xxx` of Rails
megane42
0
170
Other Decks in Science
See All in Science
Collective Predictive Coding Hypothesis and Beyond (@Japanese Association for Philosophy of Science, 26th October 2024)
tanichu
0
110
小杉考司(専修大学)
kosugitti
2
650
As We May Interact: Challenges and Opportunities for Next-Generation Human-Information Interaction
signer
PRO
0
460
04_石井クンツ昌子_お茶の水女子大学理事_副学長_D_I社会実現へ向けて.pdf
sip3ristex
0
320
生成AIと学ぶPythonデータ分析再入門-Pythonによるクラスタリング・可視化をサクサク実施-
datascientistsociety
PRO
3
1.1k
How were Quaternion discovered
kinakomoti321
2
1.2k
システム数理と応用分野の未来を切り拓くロードマップ・エンターテインメント(スポーツ)への応用 / Applied mathematics for sports entertainment
konakalab
1
280
応用心理学Ⅰテキストマイニング講義資料講義編(2024年度)
satocos135
0
130
01_篠原弘道_SIPガバニングボード座長_ポスコロSIPへの期待.pdf
sip3ristex
0
350
非同期コミュニケーションの構造 -チャットツールを用いた組織における情報の流れの設計について-
koisono
0
250
マルチオミクスデータ解析のためのカーネルテンソル分解による新しい特徴選択法
tagtag
1
100
Design of three-dimensional binary manipulators for pick-and-place task avoiding obstacles (IECON2024)
konakalab
0
170
Featured
See All Featured
We Have a Design System, Now What?
morganepeng
52
7.5k
Fight the Zombie Pattern Library - RWD Summit 2016
marcelosomers
233
17k
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
tammyeverts
52
2.4k
Thoughts on Productivity
jonyablonski
69
4.6k
Raft: Consensus for Rubyists
vanstee
137
6.9k
Testing 201, or: Great Expectations
jmmastey
42
7.5k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
227
22k
Improving Core Web Vitals using Speculation Rules API
sergeychernyshev
13
820
Embracing the Ebb and Flow
colly
85
4.7k
Chrome DevTools: State of the Union 2024 - Debugging React & Beyond
addyosmani
5
590
Fontdeck: Realign not Redesign
paulrobertlloyd
84
5.5k
Building Better People: How to give real-time feedback that sticks.
wjessup
367
19k
Transcript
ゆる計算理論ラジオ 2023/03/17 giftee TechBash @megane42
クイズ P = NP? P ≠ NP?
P = NP だと思った人は ひらめきや創造性を伴う、人間の聖域とも言えるクリエイティブな活動を全て機械で代 替可能だと思ってるってことですよね?
自己紹介 @megane42 趣味: かっこいいワンタイムパスワード集め
背景 どんな施策でも実施できる 柔軟なキャンペー ン設計システムを作りたかった 少し考えた結果、オートマトンというやつに 構造が似ている気がしてきた どんな施策でも実施できる ことを数学的に言 えたりしないだろうか なんかチューリング完全的な?
参考図書 計算理論とオートマトン言語理論 [第2版] 丸岡 章 著
結論 わからなかった 考えていたシステムがチューリングマシ ン(詳細は割愛)に変換可能であること が言えれば、並大抵のキャンペーンは実 施できそうだったが、その証明が困難だ った 一方、その過程で面白い事柄を学べた P 対
NP 問題
P 対 NP 問題 P とか NP というのは 問題のクラス (種類)のこと
P = NP なのか P ≠ NP なのかで一生揉めている 今のところ P ≠ NP っぽいと思われているが、誰も証明できていない P ⊆ NP であることはわかっている
クラス P の定義 答えを効率よく見つけられる問題 ざっくりいうと「しらみつぶしに頑張る」より効率的な手段があるタイプの問題
クラス P の例 ソート クイックソートみたいな効率の良いアルゴリズムが存在する 100 冊のマンガを 1 巻から順に並び替えたいときに、「全ての取りうる並び順を洗 い出したあと、順番に並んでいるパターンが見つかるまでしらみつぶしにチェック
する」みたいなことはしない
クラス NP の定義 答えの検証だけは効率よくできる問題 効率的に解けるかどうかについては触れていないことに注意 まず答えの検証が効率良くできたら、その問題はクラス NP 更に答えの探索が効率良くできたら、その問題はクラス P
クラス NP の例 パズル(ハミルトン閉路問題) 与えられたグラフの全点を 1 度ずつ通って最初の点 に戻ってくるような経路は存在するか? 答えが与えられたら、その答えの検証は簡単にでき るので、クラス
NP 今のところ効率よく解く方法は見つかっていない 取りうる経路のパターンを全て列挙してチェッ クするしかない 見つかってないだけで存在するかもしれない
P 対 NP 問題 再掲 P = NP ? P
≠ NP ? ハミルトン閉路問題のような NP 問題に対して、効率良い解き方が 存在するけど人類が まだ見つけてないだけなのか (P = NP なのか) どうかが一生わかっていない
身近な NP 身の回りの問題は、実は NP であることが多い 全てのバイトの希望を満たすシフト表の作成 タンパク質の構造の最適化 ロジスティクスの最適化 P =
NP が判明すれば、世の中が劇的に変わる(効率が良くなる)
帰着と NP 完全 一般に、ある問題を変形して別の問題に置き換える(帰着させる)ことができる NP 完全 な問題とは、任意の NP 問題をそれに帰着できるような問題のこと NP
問題の母みたいなことです NP 完全問題のうち 1 つでも P であることが証明できると、たちどころに全ての NP が P であることが言える (すなわち P = NP) 実は ハミルトン閉路問題は NP 完全 他にも NP 完全問題がたくさん見つかっている が、そのいずれも効率的なアルゴリズムが一生見つかっていない・・・
NP 問題と創造性 (1) 数学の定理の証明 ある定理の証明が与えられたときに、それを検証するのは簡単 NP 問題の定義を満たすので、数学の定理の証明は NP 問題
NP 問題と創造性 (2) 良い俳句をつくる ある俳句が与えられたときに、それがグッと来るかどうか検証するのは簡単 NP 問題の定義を満たすので、俳句の作成は NP 問題
NP 問題と人間 人間は全パターンを洗い出したりしないけど、正解を見 つけることがある この世の定理全ての組み合わせを列挙したりせずに 定理の証明を思いつく 17 文字の 50 音全ての組み合わせを列挙したりせず
に良い俳句を思いつく 人間は ひらめき という神秘的な能力で答えを見つける ことができる もし P = NP だとすると、人間のひらめきに大した価値 が無い気がしてきませんか?
まとめ 名前しか知らなかった「P 対 NP 問題」について、解像度が高まった 効率の良い解き方が存在はするけど、人類が見つけられてないだけ? もし P = NP
だった場合、世の中のいろいろな問題が一挙に効率化されてしまう 特に NP 完全問題が狙い目 もし P = NP だった場合、人間の持つ「ひらめき」という神秘的な能力の価値が低くなる 気がする
寄り道: 「効率が良い」の定義 効率が良い = 入力のサイズ n に対して、n の多項式時間で解ける 例: n
冊のマンガを並べ替えたいとき 最低でも n^2 ステップで並べ替えができる方法 → 効率が良い 最低でも 2^n ステップで並べ替えができる方法 → 効率が悪い しらみつぶしに全パターン網羅しようとすると、得てしてパターンは指数関数的に 増えるので、効率が悪い(多分)
寄り道: NP 問題の別の定義 非決定性チューリングマシン で効率良く解ける問題 非決定性チューリングマシンとは、超ざっくりいうと、同じ入力が与えられたとき のふるまいが一意に決まってないような機械のこと 入力: グラフ ふるまい:
どの経路に着目するか 各経路 1 つずつの検証は効率良く行える たまたま正解の経路に着目すれば答えが見つかる ありうる全パターンを同時に並列処理できるなら効率良く解ける、みたいなことを 言っている NP は Non-deterministic Polynomial の略で、Not P ではないです
参考 計算下界の解明 ー その意義とシナリオ (徳山 豪) https://researchmap.jp/read0065631/misc/31636571 https://researchmap.jp/read0065631/misc/31636564 第14回 P≠NP予想について考える(前編) (辻真吾)
https://www.school.ctc-g.co.jp/python/columns/tsuji/tsuji14.html 第15回 P≠NP予想について考える(後編) (辻真吾) https://www.school.ctc-g.co.jp/python/columns/tsuji/tsuji15.html