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
780
Other Decks in Programming
See All in Programming
機能追加とリーダー業務の類似性
rinchoku
2
1.3k
Reading Rails 1.0 Source Code
okuramasafumi
0
200
AWS発のAIエディタKiroを使ってみた
iriikeita
1
190
Android 16 × Jetpack Composeで縦書きテキストエディタを作ろう / Vertical Text Editor with Compose on Android 16
cc4966
1
220
実用的なGOCACHEPROG実装をするために / golang.tokyo #40
mazrean
1
270
go test -json そして testing.T.Attr / Kyoto.go #63
utgwkk
3
300
ProxyによるWindow間RPC機構の構築
syumai
3
1.2k
1から理解するWeb Push
dora1998
7
1.9k
Namespace and Its Future
tagomoris
6
700
デザイナーが Androidエンジニアに 挑戦してみた
874wokiite
0
410
Navigation 2 を 3 に移行する(予定)ためにやったこと
yokomii
0
210
How Android Uses Data Structures Behind The Scenes
l2hyunwoo
0
450
Featured
See All Featured
Building Adaptive Systems
keathley
43
2.7k
Principles of Awesome APIs and How to Build Them.
keavy
126
17k
Distributed Sagas: A Protocol for Coordinating Microservices
caitiem20
333
22k
Understanding Cognitive Biases in Performance Measurement
bluesmoon
29
1.9k
Easily Structure & Communicate Ideas using Wireframe
afnizarnur
194
16k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
229
22k
[RailsConf 2023] Rails as a piece of cake
palkan
57
5.8k
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
tammyeverts
53
2.9k
The World Runs on Bad Software
bkeepers
PRO
70
11k
Become a Pro
speakerdeck
PRO
29
5.5k
StorybookのUI Testing Handbookを読んだ
zakiyama
31
6.1k
Typedesign – Prime Four
hannesfritz
42
2.8k
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