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
760
Other Decks in Programming
See All in Programming
レベル1の開発生産性向上に取り組む − 日々の作業の効率化・自動化を通じた改善活動
kesoji
0
220
設計やレビューに悩んでいるPHPerに贈る、クリーンなオブジェクト設計の指針たち
panda_program
6
2.1k
Hack Claude Code with Claude Code
choplin
4
2.1k
すべてのコンテキストを、 ユーザー価値に変える
applism118
3
1.3k
プロダクト志向ってなんなんだろうね
righttouch
PRO
0
190
AIともっと楽するE2Eテスト
myohei
6
2.6k
たった 1 枚の PHP ファイルで実装する MCP サーバ / MCP Server with Vanilla PHP
okashoi
1
260
Team operations that are not burdened by SRE
kazatohiei
1
310
AI時代の『改訂新版 良いコード/悪いコードで学ぶ設計入門』 / ai-good-code-bad-code
minodriven
14
5.2k
AI駆動のマルチエージェントによる業務フロー自動化の設計と実践
h_okkah
0
150
5つのアンチパターンから学ぶLT設計
narihara
1
170
Discover Metal 4
rei315
2
140
Featured
See All Featured
Build your cross-platform service in a week with App Engine
jlugia
231
18k
Bootstrapping a Software Product
garrettdimon
PRO
307
110k
Product Roadmaps are Hard
iamctodd
PRO
54
11k
Improving Core Web Vitals using Speculation Rules API
sergeychernyshev
18
970
The World Runs on Bad Software
bkeepers
PRO
69
11k
Being A Developer After 40
akosma
90
590k
Building a Scalable Design System with Sketch
lauravandoore
462
33k
How GitHub (no longer) Works
holman
314
140k
The Straight Up "How To Draw Better" Workshop
denniskardys
234
140k
Unsuck your backbone
ammeep
671
58k
Documentation Writing (for coders)
carmenintech
72
4.9k
Making the Leap to Tech Lead
cromwellryan
134
9.4k
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