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の技術発表資料です
PRO
June 30, 2023
Technology
0
280
ネットワークフロー問題
NearMeの技術発表資料です
PRO
June 30, 2023
Tweet
Share
More Decks by NearMeの技術発表資料です
See All by NearMeの技術発表資料です
今だからこそ入門する Server-Sent Events (SSE)
nearme_tech
PRO
3
180
ReactNative のアップグレード作業が (意外に)楽しかった話
nearme_tech
PRO
2
76
強化学習アルゴリズムPPOの改善案を考えてみた
nearme_tech
PRO
0
8
Apple Containerについて調べて触ってみた
nearme_tech
PRO
0
120
Rust 並列強化学習
nearme_tech
PRO
0
23
並列で⽣成AIにコーディングをやらせる
nearme_tech
PRO
1
150
希望休勤務を考慮したシフト作成
nearme_tech
PRO
0
40
Hub Labeling による高速経路探索
nearme_tech
PRO
0
100
Build an AI agent with Mastra
nearme_tech
PRO
0
82
Other Decks in Technology
See All in Technology
AIエージェント開発用SDKとローカルLLMをLINE Botと組み合わせてみた / LINEを使ったLT大会 #14
you
PRO
0
110
「何となくテストする」を卒業するためにプロダクトが動く仕組みを理解しよう
kawabeaver
0
400
Generative AI Japan 第一回生成AI実践研究会「AI駆動開発の現在地──ブレイクスルーの鍵を握るのはデータ領域」
shisyu_gaku
0
160
allow_retry と Arel.sql / allow_retry and Arel.sql
euglena1215
1
160
現場で効くClaude Code ─ 最新動向と企業導入
takaakikakei
1
240
Evolución del razonamiento matemático de GPT-4.1 a GPT-5 - Data Aventura Summit 2025 & VSCode DevDays
lauchacarro
0
190
Codeful Serverless / 一人運用でもやり抜く力
_kensh
7
400
2つのフロントエンドと状態管理
mixi_engineers
PRO
3
100
なぜSaaSがMCPサーバーをサービス提供するのか?
sansantech
PRO
8
2.8k
生成AIでセキュリティ運用を効率化する話
sakaitakeshi
0
670
人工衛星のファームウェアをRustで書く理由
koba789
15
7.8k
エラーとアクセシビリティ
schktjm
1
1.2k
Featured
See All Featured
Designing Experiences People Love
moore
142
24k
A Modern Web Designer's Workflow
chriscoyier
696
190k
Bootstrapping a Software Product
garrettdimon
PRO
307
110k
How to Think Like a Performance Engineer
csswizardry
26
1.9k
Designing Dashboards & Data Visualisations in Web Apps
destraynor
231
53k
Optimizing for Happiness
mojombo
379
70k
Making Projects Easy
brettharned
117
6.4k
Faster Mobile Websites
deanohume
309
31k
Building an army of robots
kneath
306
46k
Why You Should Never Use an ORM
jnunemaker
PRO
59
9.5k
Embracing the Ebb and Flow
colly
87
4.8k
The Pragmatic Product Professional
lauravandoore
36
6.9k
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