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
130
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
200
コンパイラ開発から学ぶ大規模開発 / Large-Scale Development Learned from Compiler Development
uoo38
0
1.1k
Cコンパイラ自作 / Progress of Developing C Compiler
uoo38
0
650
Other Decks in Programming
See All in Programming
はてなにおける CSS Modules、及び CSS Modules に足りないもの / CSS Modules in Hatena, and CSS Modules missing parts
mizdra
7
950
PHP8.3の機能を振り返る / Review of PHP 8.3 features
seike460
PRO
1
110
if constexpr文はテンプレート世界のラムダ式である
faithandbrave
3
650
効率化に挑戦してみたらモバイル開発が少し快適になった話
ryunakayama
0
130
SwiftUIで使いやすいToastの作り方 / How to build a Toast system which is easy to use in SwiftUI
lovee
3
150
Hanami and htmx
bkuhlmann
0
210
ADRを一年運用してみた/adr_after_a_year
hanhan1978
7
2.4k
PostmanでAPIの動作確認が楽になった話
h455h1
0
170
Git Lint
bkuhlmann
4
750
Netty Chicago Java User Group 2024-04-17
sullis
0
180
CDKコントリビュートの最初の壁を越えよう! -簡単issueの見つけ方-
badmintoncryer
2
120
try! Swift Tokyo 初参加報告LT
hinakko2
0
220
Featured
See All Featured
How GitHub Uses GitHub to Build GitHub
holman
468
290k
A designer walks into a library…
pauljervisheath
200
23k
XXLCSS - How to scale CSS and keep your sanity
sugarenia
241
1.2M
Designing Dashboards & Data Visualisations in Web Apps
destraynor
226
51k
Why You Should Never Use an ORM
jnunemaker
PRO
51
8.6k
Designing for Performance
lara
601
67k
Infographics Made Easy
chrislema
238
18k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
14
1.5k
Side Projects
sachag
451
41k
Building a Modern Day E-commerce SEO Strategy
aleyda
17
6.4k
Fashionably flexible responsive web design (full day workshop)
malarkey
398
65k
KATA
mclloyd
15
12k
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