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
ネットワークフロー問題
Search
NearMeの技術発表資料です
June 30, 2023
Technology
0
110
ネットワークフロー問題
NearMeの技術発表資料です
June 30, 2023
Tweet
Share
More Decks by NearMeの技術発表資料です
See All by NearMeの技術発表資料です
OR-Toolsの中⾝ -VRPの解法について-
nearme_tech
0
48
GTFSのデータを Streamlitで可視化してみた
nearme_tech
0
38
Offset / Cursor Paginationについて
nearme_tech
2
77
⼤規模⾔語モデルの拡張(RAG)が 終わったかも知れない件について
nearme_tech
23
15k
VRPを深層強化学習で解く
nearme_tech
0
71
Let’s go monorepo - intro to Nx.dev
nearme_tech
0
23
Dynamic Vehicle Routing のシミュレーションを Streamlitで作ってみた
nearme_tech
0
65
ログ監視ツールについて調べてみた
nearme_tech
0
59
(インターン生が大学院で行なっている)研究紹介
nearme_tech
0
48
Other Decks in Technology
See All in Technology
Autonomous Database Cloud 技術詳細 / adb-s_technical_detail_jp
oracle4engineer
PRO
15
35k
Babylon.js JAPAN活動紹介 (2024/4)
limes2018
1
120
EM完全に理解した と思ったけど、 やっぱり何も分からなかった話 / EM Night Fukuoka #1
hirutas
0
310
LLM開発・活用の舞台裏@2024.04.25
yushin_n
3
1.3k
LangSmith入門―トレース/評価/プロンプト管理などを担うLLMアプリ開発プラットフォーム
os1ma
5
780
AWSやJAWS-UGとの出会いを振り返る
yoyoyopg
1
170
止まらないLinuxシステムを構築する_高信頼性クラスタ入門
koedoyoshida
3
2.3k
チームでロジカルシンキングに改めて向き合っている話 〜学習環境と実践⽅法〜
sansantech
PRO
3
3.3k
自らを知り外と繋がる、日経のエンジニア採用とDevRel活動/devreljp92
nishiuma
1
110
MLOpsの「壁」を乗り越える、LINEヤフーの Data Quality as Code
lycorptech_jp
PRO
8
670
VSCodeの拡張機能を作っている話
ebarakazuhiro
1
840
類似ロジック実装をiOS/Android間で合わせる道標No.1
fumiyasac0921
0
110
Featured
See All Featured
Documentation Writing (for coders)
carmenintech
60
4k
Music & Morning Musume
bryan
41
5.6k
A Tale of Four Properties
chriscoyier
153
22k
Done Done
chrislema
178
15k
Web development in the modern age
philhawksworth
203
10k
Raft: Consensus for Rubyists
vanstee
133
6.3k
Building a Modern Day E-commerce SEO Strategy
aleyda
22
6.4k
Pencils Down: Stop Designing & Start Developing
hursman
117
11k
Fontdeck: Realign not Redesign
paulrobertlloyd
76
4.9k
JavaScript: Past, Present, and Future - NDC Porto 2020
reverentgeek
41
4.4k
ReactJS: Keep Simple. Everything can be a component!
pedronauck
660
120k
Why Our Code Smells
bkeepers
PRO
331
56k
Transcript
0 ネットワークフロー問題 2023-06-30 第50回NearMe技術勉強会 Yuki Nonaka
1 目次 1. グラフの連結度 2. 最小カット問題 3. ネットワークフロー 4. ネットワークフロー問題
1
2 頂点sから頂点tまでの経路で、互いに辺を共有しないs-tパスは最大 で何本とれるでしょう? 問題 2 s 2 1 3 4
5 6 7 9 t 8 10
3 2本 答え 3 s 2 1 3 4 5
6 7 9 t 8 10
4 S 頂点集合Sから出ている辺が2本しかないのでこれ以上にはならない。 考え方 4 s 2 1 3 4
5 6 7 9 t 8 10
5 前ページの値をグラフの2頂点s,tに対する辺連結度という。これは、グラフネット ワークの頑健性を評価するものとして研究されている。互いに辺を共有しないこと を辺素であるという。 辺連結度 5 s 2 1 3
4 5 6 7 9 t 8 10
6 T S 頂点の集合VをS,Tに分割することをカットといい、Sに始点を持ちTに終点を持つ 辺の本数をカットの容量 c(S,T)と定義した時、最小のc(S,T)はいくつか。 最小カット問題 6 s 2
1 3 4 5 6 7 9 t 8 10 T S s 2 1 3 4 5 6 7 9 t 8 10 c(S,T) = 4 c(S,T) = 2
7 辺連結度とカットの最小容量について次のことが成り立つことがわかる。 さらに次のことも成り立つことが証明されている。 辺連結度と最小カット問題の関係 7 辺素なs-tパスの最大本数 ≦ s-tカットの最小容量 T S
s 2 1 3 4 5 6 7 9 t 8 10 辺素なs-tパスの最大本数 = s-tカットの最小容量
8 基本的にs-tパスを取れなくなるまでとるという 貪欲法に基づいたアルゴリズムで求める。しか し、パスを取った後はパス上の辺に対して逆向 きの有向グラフを張り直した残余グラフを用い て処理を繰り返す。(下図) 辺連結度の求め方 8 s 2
1 3 4 5 6 7 9 t 8 10 s 2 1 3 4 5 6 7 9 t 8 10 パスの本数をf = 0 で初期化 残余グラフG’を元のグラフGで初期化 while G’においてs-tパスPが存在するならば: fを1増やす G’をPに関する残余グラフにする return f アルゴリズム
9 T S T S • 元のグラフGにおいてSから出ている任意の辺は辺素 なs-tパスのいずれかの中に含まれている。 • 元のグラフGにおいてSへ入っている任意の辺は辺素
なs-tパスのいずれにも含まれていない。 辺連結度の求め方 9 s 2 1 3 4 5 6 7 9 t 8 10 s 2 1 3 4 5 6 7 9 t 8 10 S→Tの辺は辺素なs-tパス に一対一対応するので、 c(S,T) = kとなり、kは辺素な s-tパスの最大本数となる。 G G’
10 グラフ構造にエッジ容量を加えたものであり、下図のように各辺には流量の上限 を表す容量c(e)が設けられている。各辺eに対して流量を表すx(e)が存在する。 ネットワークフロー 10 s 2 1 3 4
t 5 5 37 4 3 9 56 9 2
11 流量x(e)に対し、以下の条件を満たすときにフローと呼ぶ。 • 任意の辺eに対して0≦x(e)≦c(e) • 任意のs,t以外の頂点vにおいて、vに入る辺eに対するx(e)の総和と、vか ら出ていく辺eに対するx(e)の総和が等しい また、sから出るxの最大フローを求める問題を最大流問題という。 ネットワークフロー 11
s 2 1 3 4 t 5/5 4/5 1/37 4/4 3/3 2/9 0/56 7/9 2/2
12 最大流問題は最小カット問題の辺に重みがついたバージョンとして考えることが できる。最小カット問題の双対問題である辺連結度の問題があったが、「辺素」と いう条件は容量が1の辺に2以上の流量を流せないことに相当する。 最大流問題はフォード・ファルカーソン法というアルゴリズムで解くことができる。 (最小カット問題を解くアルゴリズムと本質は同じ。) 最大流問題 12
13 ネットワークフローを用いて解くことができる問題は色々ある! • 二部マッチング問題 • 点連結度 • プロジェクト選択問題(露天採鉱問題など) 応用 13
14 参考文献 ・アルゴリズムとデータ構造, 大槻兼資(著), 秋葉拓哉(監修), 講談社, 2020 14
15 Thank you