Educational Codeforces Round 34 G. Yet Another Maxflow Problem
バチャでやってて結構面白かったので。
問題概要
以下のように構成される、頂点数 ・辺数 の有向グラフを考える。
- 頂点は 個ずつの2グループに分類され、それぞれAパート・Bパートと呼ぶ。頂点を 、 と表記する。
- について、 から に伸びる容量 の辺と から に伸びる容量 の辺が存在する。
- それらに加えて、Aパートに属する頂点からBパートに属する頂点に伸びる辺が 本与えられる。
このグラフについて を始点、 を終点とする最大流量を求めたい。初期状態および以下のようなクエリを順に 個処理したそれぞれの時点において、この最大流量を求めよ。
- 整数 が与えられる。 から に伸びている辺の容量を に変更する。
制約
- 与えられる辺は問題概要に記した条件を満たし、容量は 以上 以下
解法
最大流量を求める貪欲アルゴリズム
説明の都合で呼び名がほしいので、Aパートの頂点からBパートの頂点に向かう辺のことを「AB辺」と呼ぶことにします。
クエリ対応は後で考えるとして、まずはあるグラフの状態についての最大流量の求め方を考えます。今回のグラフの構成から、最大流は以下のように求めることができます。
- まず、 から直接伸びるAB辺でBパートに行くようなフローを流せるだけ流す。
- 次に、 と流れ、 から伸びるAB辺でBパートに行くフローを流せるだけ流す。
- ...
- 最後に、 と流れ、 から伸びるAB辺でBパートに行くようなフローを流せるだけ流す。
つまり になるべく近いところから伸びるAB辺から貪欲に流せるだけ流していくことで、全体の最大流量を求めることができます。
その正当性はFord-Fulkersonのアルゴリズムの動作から証明することができます。Ford-Fulkersonは流量が増加するパスを好きに選んで流せるだけ流すことを繰り返して良い、ただし既にフローを流している辺を逆流して相殺する可能性は考慮すること、というアルゴリズムです。
先ほどの貪欲アルゴリズムの動きを追ってみます。 から伸びるAB辺を考える時に既に使われている辺は、 以前を始点とする辺とBパート内部の辺だけです。これらの辺は逆流しても得をしません。Bパート内部だけを逆流することに全く意味はないですし、Aパート側に戻ったとしてもその後に結局 に戻ってくることになります(Aパートに戻った後に より手前でBパートに移りゴールするようなパスがあるなら、そのパスはとっくに使われているはずです)。
つまり既に流したフローを逆流することは考えなくて良いため、先ほどの貪欲が正しく動作することが分かります。
Aパート内部の辺容量を無限大として前計算
Aパート内部の辺容量はクエリで変わってしまうので、それに依存しない値を前計算して活用できないでしょうか。具体的には、まずAパート内部の辺容量を全て無限大と仮定してしまいましょう。この状態で先ほどの貪欲法を考え、どれだけフローを流せるかを計算します。求めたいフローは、こうして求めたフローのうちの一部がAパート内部で「詰まった」ような形になります。
と順番に、これらから伸びるAB辺を用いたフローを考えます。 から に伸びるAB辺を用いて流せる最大流量は、このAB辺の容量と から までに通る辺全ての残容量の最小値になります。これはBパート内部の辺容量をセグメント木で管理しておけば、最小値を求める処理は区間min、実際に容量を使ってフローを流す処理は区間addで計算できます。
これを前から貪欲に行い、 から伸びるAB辺で流せた合計流量を と書くことにします。こうするとグラフは結局、以下のようなものと同一視できることになります。
クエリの処理方法
では実際にAパート内部の辺容量が有限である場合の計算方法を考えます。このとき先ほど求めた流量が、Aパート内部が「詰まる」ことにより流せなくなってきます。つまり先ほど求めた を前からフロー1単位ずつ見たときに、その途中までを流せるということになります。
では、ある整数 について が全て流しきれるような条件は何でしょうか。Aパート内部の辺容量と各流量が満たすべき条件を整理しましょう。
までを全て流した上で、 の辺に流せる流量を とします。これは1つ上で余った流量とこの辺の容量の最小値、つまり と計算できます。これが 以上であれば が全て流せることになります。
この を順次展開していくと、結局 が全て流せる条件は
の全てについて、 が成り立つこと
となり、これはさらに の累積和 を用いると
の全てについて、 が成り立つこと
と簡潔に表現することができます。
この条件を満たす最大の は、 をセグメント木で管理しておくことで二分探索で求めることができます。そのような を求めることができれば、あとは から流せるフローを のうちどれだけ流せるかを計算して足すことで答えを求めることができます。
計算に使う値のうち、 はクエリで変化せず、クエリで が変化することはセグメント木で対応できます。これでクエリが処理できました。
ACコード
Submission #71505130 - Codeforces
なんか公式Editorialは初手で最小カットに言い換えていて全然方針が違ったんですが、考察を進めると非常にキレイな構造になって解けたので面白かったです。