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
Algorithm and Data Structre -Graph Algorithm-
Search
uoo38
October 29, 2019
Programming
1
170
Algorithm and Data Structre -Graph Algorithm-
uoo38
October 29, 2019
Tweet
Share
More Decks by uoo38
See All by uoo38
プログラミング初心者のぼくが陥った落とし穴 / Traps for programming beginner
uoo38
1
230
コンパイラ開発から学ぶ大規模開発 / Large-Scale Development Learned from Compiler Development
uoo38
0
1.3k
Cコンパイラ自作 / Progress of Developing C Compiler
uoo38
0
770
Other Decks in Programming
See All in Programming
testingを眺める
matumoto
1
130
Namespace and Its Future
tagomoris
6
670
Vue・React マルチプロダクト開発を支える Vite
andpad
0
110
Jakarta EE Core Profile and Helidon - Speed, Simplicity, and AI Integration
ivargrimstad
0
270
『リコリス・リコイル』に学ぶ!! 〜キャリア戦略における計画的偶発性理論と変わる勇気の重要性〜
wanko_it
1
620
サイトを作ったらNFCタグキーホルダーを爆速で作れ!
yuukis
0
740
モバイルアプリからWebへの横展開を加速した話_Claude_Code_実践術.pdf
kazuyasakamoto
0
290
パッケージ設計の黒魔術/Kyoto.go#63
lufia
3
390
250830 IaCの選定~AWS SAMのLambdaをECSに乗り換えたときの備忘録~
east_takumi
0
350
Honoアップデート 2025年夏
yusukebe
1
880
Nuances on Kubernetes - RubyConf Taiwan 2025
envek
0
220
Claude Codeで挑むOSSコントリビュート
eycjur
0
190
Featured
See All Featured
CSS Pre-Processors: Stylus, Less & Sass
bermonpainter
358
30k
Improving Core Web Vitals using Speculation Rules API
sergeychernyshev
18
1.1k
[RailsConf 2023 Opening Keynote] The Magic of Rails
eileencodes
30
9.6k
Become a Pro
speakerdeck
PRO
29
5.5k
VelocityConf: Rendering Performance Case Studies
addyosmani
332
24k
A designer walks into a library…
pauljervisheath
207
24k
How GitHub (no longer) Works
holman
315
140k
Cheating the UX When There Is Nothing More to Optimize - PixelPioneers
stephaniewalter
284
13k
Rails Girls Zürich Keynote
gr2m
95
14k
Fireside Chat
paigeccino
39
3.6k
Performance Is Good for Brains [We Love Speed 2024]
tammyeverts
11
1.1k
Making the Leap to Tech Lead
cromwellryan
134
9.5k
Transcript
アルゴリズムとデータ構造 グラフアルゴリズム編 Twitter: @uoo38
自己紹介 ソーシャルアカウント Twitter: @uoo38 GitHub: uoo38 趣味 ロケットリーグ 車でサッカーするゲーム 是非一緒にプレイしよう
⚠注意⚠ ガチめなコンピュータ・サイエンスの講義をします 割とむずめな内容です そもそも5分で解説できる内容じゃない けど頑張って分かりやすく解説する努力はするよ 全て理解する必要はありません 5分で理解できたら天才 こんな概念があるんだなーくらいに思ってもらえれば十分 興味持ってあとで調べてくれたら最高
題材:トポロジカルソート DAGのノードを順序付けするアルゴリズム どのノードもその出力先のノードより前にくるように並べ替え 身近な利用例 Makefileで指定されたファイルのコンパイル・リンク順序決定 出典:Wikipedia
None
DAGとは 有向非巡回グラフ (directed acyclic graph) 以下の特徴を持つグラフ エッジ(辺)は向きがある(一方通行) 閉路が存在しない DAGの例 DAGじゃない例
DAGをソート? DAGの場合,ノードを横一列に並べたとき,エッジの方向を揃える並べ方が存 在する これをするのがトポロジカルソート トポロジカルソートの結果は一意とは限らない 具体的な実装方法は割愛 あとで質問してくれたら答えるかも(チラッ) 3 1 2
5 4 1 2 3 4 5 ソート前 ソート後
どこで使うの? みなさんMakefile書いたことありますか? なぜmakeがコンパイル順序を決定できるか疑問に思ったこと ありませんか?
makeの仕組み トポロジカルソートを使うとコンパイル順序が決定可能 具体的に順を追って説明するよ
Makefileは実質DAG MakefileをDAGで表現してみる A: A.c … B: A … C: A
B … D: E … E: E.c … C A B E D E.c A.c Makefile DAG
なんとなくソートしちゃう DAGをソートしてみる C A B E D E.c A.c A
B C D E A.c E.c ソート前 ソート後
いい感じに順番決まった ソート結果を順番にコンパイルする コンパイル・リンク順序 A.c A B E.c E D C
A B C D E A.c E.c ソート結果
まとめ トポロジカルソートはDAGをソートするアルゴリズム makeはトポロジカルソートによってコンパイル順序を決定 もう少し一般化すると,スケジューリング問題を解決する ときに使われる
One more thing…
トポロジカルソートの実装 L ← トポロジカルソートされた結果の入る空の連結リスト for each ノード n do visit(n)
function visit(Node n) if n をまだ訪れていなければ then n を訪問済みとして印を付ける for each n の出力辺 e とその先のノード m do visit(m) n を L の先頭に追加 3 1 2 5 4 L 擬似コード出典:Wikipedia
トポロジカルソートの実装 L ← トポロジカルソートされた結果の入る空の連結リスト for each ノード n do visit(n)
function visit(Node n) if n をまだ訪れていなければ then n を訪問済みとして印を付ける for each n の出力辺 e とその先のノード m do visit(m) n を L の先頭に追加 3 1 2 5 4 L 擬似コード出典:Wikipedia
トポロジカルソートの実装 L ← トポロジカルソートされた結果の入る空の連結リスト for each ノード n do visit(n)
function visit(Node n) if n をまだ訪れていなければ then n を訪問済みとして印を付ける for each n の出力辺 e とその先のノード m do visit(m) n を L の先頭に追加 3 1 2 5 4 L 擬似コード出典:Wikipedia
トポロジカルソートの実装 L ← トポロジカルソートされた結果の入る空の連結リスト for each ノード n do visit(n)
function visit(Node n) if n をまだ訪れていなければ then n を訪問済みとして印を付ける for each n の出力辺 e とその先のノード m do visit(m) n を L の先頭に追加 3 1 2 5 4 L 擬似コード出典:Wikipedia
トポロジカルソートの実装 L ← トポロジカルソートされた結果の入る空の連結リスト for each ノード n do visit(n)
function visit(Node n) if n をまだ訪れていなければ then n を訪問済みとして印を付ける for each n の出力辺 e とその先のノード m do visit(m) n を L の先頭に追加 3 1 2 5 4 L 擬似コード出典:Wikipedia
トポロジカルソートの実装 L ← トポロジカルソートされた結果の入る空の連結リスト for each ノード n do visit(n)
function visit(Node n) if n をまだ訪れていなければ then n を訪問済みとして印を付ける for each n の出力辺 e とその先のノード m do visit(m) n を L の先頭に追加 3 1 2 5 4 L 擬似コード出典:Wikipedia