最小有向全域木を求める | Chu-Liu/Edmonds' algorithm
これはなに
最小全域木問題の有向グラフバージョン。
無向グラフに対する最小全域木は、クラスカル法とかプリム法とかで求められるけど、有向グラフの場合はどうすればいいのか気になったので調べてみた。
Chu-Liu/Edmonds' algorithmというアルゴリズムで計算量は 。頑張ったら や とかにできるらしい。 のやつはフィボナッチヒープを使うとのこと。
この記事では のアルゴリズムについてまとめる。
アルゴリズムとその証明
以下
- :単純有向グラフ
- :コスト関数
とする。
また、誤解を与えないためにパスに関する包含関係の記号を次のように定義する。
パス について
- に辺 が含まれる
- に頂点 が含まれる *1
- 、 の否定をそれぞれ 、
とする。
Def.1 有向全域木
\begin{align} ^\forall v \in V-\{r\}, ^{\exists !}P\subset F: r\text{-}v\text{パス} \end{align} を満たす の部分グラフ を( の に関する)有向全域木(spanning arborescence)という。ここで とは、 を始点、 を終点としたパスを意味する。
Def.2 最小有向全域木
の有向全域木 のうち、 が最小となる を( の に関する)最小有向全域木という。
Prop.3 有向全域木の存在性
が に関する有向全域木 をもつ
proof
( を示す)有向全域木の定義(Def.1)と より明らか。
( を示す) に関する幅優先探索木が構成でき、これがちょうど有向全域木となる
- 以下、 は有向全域木を持つと仮定する。
- さらに の有向全域木は有限個なので最小有向全域木の存在性も仮定された。
E.g.
左から1番目のグラフを とすると
- 2番目のグラフは、 の に関する有向全域木であるが最小有向全域木ではない。コストは 。
- 3番目のグラフは、 の に関する有向全域木かつ最小有向全域木である。コストは 。
- 4番目のグラフは、パスが複数あるため の有向全域木ではない。
Def.4 最小有向全域木問題
最小有向木全域問題を以下で形式化する。
\begin{align} \text{Input: }& G=(V, E): \text{単純有向グラフ}\\ & c: E\rightarrow \mathbb{R}: \text{コスト関数}\\ & r \in V\\ \\ \text{Output: }& T=(V, F): r\text{に関する最小有向全域木}\\ &\text{または}\displaystyle \sum_{e\in F}c(e) \end{align}
- これを解くアルゴリズムを議論する前に、有向全域木に関する性質についてから議論する。
Prop.5
を の部分グラフとする。このとき
\begin{align} & T \text{ が}r\text{に関する有向全域木} \Leftrightarrow{} (\\ &\hspace{2em} T \text{ は有向閉路をもたない } \land \\ &\hspace{2em} ^\forall v \in V-\{r\}, ^{\exists !}u\in V \text{ s.t. } (u, v)\in F\\ &) \end{align}
が成り立つ。
proof
有向全域木の定義(Def.1)と が単純グラフ・有限グラフであることから示せる
Def.6
を の に関する有向全域木とする。このときProp.5より \begin{align} V-\{r\}\ni v \mapsto (u, v) \in F \end{align} となる全単射が一意に存在する。 有向全域木 によって定まるこの写像を と定義する。
Def.7
に対して を満たす を選んで(複数ある場合は任意に一つ選ぶ)できる辺集合を とおく(つまり、を満たす)。
また、とおく。
Prop.8
\begin{align} T^* \text{ が } G \text{ の有向全域木 } \Leftrightarrow T^* \text{ が } G \text{ の最小有向全域木} \end{align}
proof
( を示す)
が有向全域木なので、 が定まる(Def.6)。ここで、をとって固定する。
の定義より
\begin{align}
^\forall v\in V - \{r\}, c \left(f_{T^*}\left( v \right)\right) \leq c \left(f_T\left( v \right)\right)
\end{align}
が成り立つ。よって
\begin{align}
\sum_{e\in F^*} c \left(e\right) = \sum_{ v \in V - \{r\} } c \left( f_{T^*} \left( v \right) \right) \leq \sum_{ v \in V - \{r\} } c \left( f_T \left( v \right) \right) = \sum_{e\in F} c \left(e\right)
\end{align}
が成り立つ。したがって は の最小有向全域木である。
( を示す)
定義(Def.1, Def.2)より明らか
Prop.9
\begin{align} &T^* \text{ が } G \text{ の有向全域木}\textbf{でない } \Leftrightarrow \\ &T^* \text{ には } r\not\Subset C \text{ となる有向閉路 }C\text{ が存在する} \end{align}
proof
( を示す)
の定義より
\begin{align}
^\forall v \in V-\{r\}, ^{\exists !}u\in V \text{ s.t. } (u, v)\in F^*
\end{align}
を満たし、また、 は有向全域木ではない。
よってProp.5より には有向閉路 が存在する。
さらに の定義より が成り立つ。
したがって、となる。
( を示す)
をとって固定する(これは より存在する)。
と仮定すると、 について となる はただひとつしか存在しないので となる。 これは に矛盾する。 よって パス は存在しない。 したがって は有向全域木でない
Prop.10
\begin{align} &T^* \text{ に }r\not\Subset C \text{ となる有向閉路が存在する} \Rightarrow \\ &^\exists T=(V, F): \text{最小有向全域木},\, ^\exists v_0 \Subset C \\ &\text{ s.t. } \left( f_T(v_0) \notin C \land\, ^\forall v\Subset C, v\neq v_0 \Rightarrow f_T(v)\in C\right) \end{align}
proof
をとって固定する。
Prop.5より には有向閉路が存在しないので \begin{align} ^\exists v_0 \Subset C \text{ s.t. } f_T(v_0) \notin C \end{align} が成り立つ。ここで
と定めると、 は有向全域木である( から へのパスの変化に注目すると、有向全域木であることが示せる)。
について
- のとき
- ()
- それ以外のとき
- ()
が成り立つ。よって \begin{align} \sum_{e\in F'} c \left(e\right) = \sum_{ v \in V - \{r\} } c \left( f_{T'} \left( v \right) \right) \leq \sum_{ v \in V - \{r\} } c \left( f_T \left( v \right) \right) = \sum_{e\in F} c \left(e\right) \end{align} が成り立つ。さらには最小有向全域木だったので \begin{align} \sum_{e\in F'} c \left(e\right) = \sum_{e\in F} c \left(e\right) \end{align} となる。したがって も最小有向全域木である。
よって題意を満たす最小有向全域木 が構成できた
Prop.11
- \begin{align}c'\left(\left(u, v\right)\right) = \begin{cases} c\left(\left(u, v\right)\right) & v\neq v_0 \\ c\left(\left(u, v\right)\right) - \alpha & v = v_0 \end{cases}\end{align}
とする。このとき \begin{align} &T \text{ が }c\text{ における最小有向全域木 } \Leftrightarrow \\ &T\text{ が }c'\text{ における最小有向全域木 } \end{align} が成り立つ。
proof
( を示す)
が における最小有向全域木だとする。
をとって固定する。
最小有向全域木の定義(Def.2)より \begin{align} \sum_{e\in F} c(e) \leq \sum_{e\in F'} c(e) \end{align} が成り立つ。つまり \begin{align} \sum_{v\in V-\{r\}}c\left(f_T\left(v\right)\right) \leq \sum_{v\in V-\{r\}}c\left(f_{T'}\left(v\right)\right) \end{align} が成り立つ。 と の定義より \begin{align} \sum_{v\in V-\{r\}}c'\left(f_T\left(v\right)\right) &= \left( \sum_{v\in V-\{r\}}c\left(f_T\left(v\right)\right) \right) - \alpha \\ \sum_{v\in V-\{r\}}c'\left(f_{T'}\left(v\right)\right) &= \left( \sum_{v\in V-\{r\}}c\left(f_{T'}\left(v\right)\right) \right) - \alpha \end{align} となる。したがって \begin{align} \sum_{v\in V-\{r\}}c'\left(f_T\left(v\right)\right) \leq \sum_{v\in V-\{r\}}c'\left(f_{T'}\left(v\right)\right) \end{align} つまり \begin{align} \sum_{e\in F} c'(e) \leq \sum_{e\in F'} c'(e) \end{align} が成り立つ。したがって、 は における最小有向全域木である。
( を示す)
のときと同様にして成り立つ
以上の議論から次のアルゴリズムが考えられる。
Chu-Liu/Edmonds' algorithm
\begin{align} \text{Input: }& G=(V, E): \text{単純有向グラフ}\\ & c: E\rightarrow \mathbb{R}: \text{コスト関数}\\ & r \in V\\ \\ \text{Output: }& T=(V, F): r\text{に関する最小有向全域木} \end{align}
Chu-Liu/Edmonds
を構成する。
If
上のコストを修正し とする。
を1つのスーパーノードに縮約してグラフ とコスト関数 を構成する。
に の辺を、1本を除いてすべて加えることで の有向全域木 に拡張する。
を返す。
Else
を返す。
Endif
操作の詳細
各操作を詳しく書くと次のようになる。
(1)
Def.7で定義されている を構成する。
(2)
に有向閉路があるかを判定する。発見した場合、その有向閉路を とする。
(3)
を次のように構成する。
\begin{align} c_0\left(\left(u, v\right)\right) = \begin{cases}\displaystyle c\left(\left(u, v\right)\right) - \min_{(u, v)\in E}c\left(\left(u, v\right)\right) & v\Subset C \\ c\left(\left(u, v\right)\right) & v\not\Subset C \end{cases} \end{align}
(4)
、、 から、有向閉路 をスーパーノードとして縮約したグラフとコスト関数 をつくる。具体的には次のように構成する。
- \begin{align} E' &= \{(u, v)\in E \mid u, v\not\Subset C\}\\ &\cup \{(u, C) \mid ^\exists v \Subset C \text{ s.t. } (u, v) \in E \land u\not\Subset C \}\\ &\cup \{(C, v) \mid ^\exists u \Subset C \text{ s.t. } (u, v) \in E \land v\not\Subset C \} \end{align}
- \begin{align} c'\left(\left(u, v\right)\right) = \begin{cases} c_0\left(\left(u, v\right)\right) & u \neq C \land v\neq C \\ \min \{ c_0\left(\left(u, w\right)\right) \mid (u, w)\in E \} & v = C \\ \min \{ c_0\left(\left(w, v\right)\right) \mid (w, v)\in E \} & u = C \end{cases} \end{align}
(5)
Chu-Liu/Edmonds で得た の最小有向木を とする。
(6)
において となる辺 を見つける。 (4)においてグラフを縮約したときに のもととなった辺を とする(つまり、 を満たす)。
を次のように構成して、 を に拡張する。 \begin{align} F = (F'-\{e'\}) \cup \{e\} \cup \{(w_1, w_2) \in C \mid w_2 \neq v \} \end{align}
アルゴリズムの正当性
Prop.8, 9により、「 に有向閉路が存在しないならば が最小有向全域木である」ことがわかる。有向閉路 が見つからなかった場合は、 をそのまま返してよい(操作(7))。
次に、有向閉路 が見つかった場合について考える。
操作(3)でコスト関数を修正するが、Prop.11により修正後に得られる最小有向全域木に変化しないことが保証される。なお、Prop.11における は に対応する。
Prop.10より、 に入る辺 がちょうど1本と、 上の辺がちょうど 本もつような辺集合 が存在して、 が の最小有向全域木となる。
さらに、修正後のコスト関数 に関して有向閉路 上の辺のコストはすべて である。よって、この 上の頂点は同一視できる。よって を一つの頂点として縮約したグラフ 上から最小有向全域木を見つけたのち、縮約した部分を元に拡張すれば、最終的に欲しかった の最小有向全域木が手に入る。(操作(4),(5),(6))
アルゴリズムの計算量
、 とする。
(5)で再帰して計算をするが、縮約するたびに頂点数が少なくとも だけ減るので、再帰の回数は 。また、(1),(2),(3),(4),(6)の操作はすべて で計算できる。
よって、このアルゴリズム全体の計算量は となる。
アルゴリズムの挙動の例
- これをグラフ とし、 とコスト関数 も図に従うとする。
- この最小有向全域木を求めたい。
- を構成する(操作(1))。
- また、有向閉路 が検出できる(操作(2))。
- 有向閉路 に入る各辺のコストを修正する(操作(3))。(赤字が修正箇所)
- に関して縮約したグラフ とコスト関数 を構成する(操作(4))。
- 次に、この縮約したグラフに関して再帰的に最小有向全域木を求める(操作(5))。
- ただし、名前が被ってしまうので説明の都合上、グラフ 、コスト関数 とする。
- を構成する(操作(1))。
- また、有向閉路 が検出できる(操作(2))。
- 有向閉路 に入る各辺のコストを修正する(操作(3))。(赤字が修正箇所)
- に関して縮約したグラフとそのコスト関数を構成する(操作(4))。
- 次に、この縮約したグラフに関して再帰的に最小有向全域木を求める(操作(5))。
- 説明の都合上、グラフ 、コスト関数 とする。
- を構成する(操作(1))。
- 有向閉路が検出できない(操作(2))ため、 を の最小有向全域木として返す(操作(7))。
- 得られた の最小有向全域木からグラフを拡張して の最小有向全域木を構成する(操作(6))。
- できた の最小有向全域木を返す。
- 得られた の最小有向全域木からグラフを拡張して の最小有向全域木を構成する(操作(6))。
- できた の最小有向全域木を返す。
- 得られた最小有向全域木と元のコスト関数を表示するとこのようになる。
- 無事、最小有向全域木は求められ、さらに最小コストは であることがわかる。
実装
実際にD言語で実装してみた。
import std.range; import std.algorithm; import std.container : DList; // Chu-Liu/Edmonds' algorithm // 最小有向全域木を求める class ChuLiuEdmonds(T) { private: size_t _size; Vertex[] _vertices; Vertex _root; public: this(size_t size, size_t rootIndex) { _size = size; _vertices = size.iota.map!(i => new Vertex(i)).array; _root = _vertices[rootIndex]; } void addEdge(size_t startIndex, size_t endIndex, T weight) { if (endIndex == _root.index) return; // rootに入る辺は除外する(最小木に含まれる可能性がないため) if (startIndex == endIndex) return; // 自己ループは除外する Vertex start = _vertices[startIndex]; Vertex end = _vertices[endIndex]; end.edges ~= Edge(start, end, weight); } // O(V(V + E)) = O(VE) T solve() { foreach(v; _vertices) { v.onCycle = false; v.isVisited = false; if (!v.hasEdge) continue; v.minEdge = v.edges.minElement!"a.weight"; } // v を含む閉路を縮約したグラフの最小コストを返す T rec(Vertex v) { auto sub = new ChuLiuEdmonds!T(_size, _root.index); auto getIndex = (Vertex u) => u.onCycle ? v.index : u.index; foreach(u; _vertices) { foreach(e; u.edges) { sub.addEdge( getIndex(e.start), getIndex(e.end), e.weight - (u.onCycle ? u.minEdge.weight : 0) ); } } return sub.solve; } // 閉路検出 auto list = DList!Vertex(); size_t[] cnt = new size_t[_size]; foreach(v; _vertices) { if (v.hasEdge) cnt[v.minEdge.start.index]++; } foreach(i, c; cnt) { if (c==0) list.insertBack(_vertices[i]); } while(!list.empty) { Vertex v = list.front; list.removeFront; if (v.hasEdge) { size_t i = v.minEdge.start.index; if (--cnt[i]==0) { list.insertBack(_vertices[i]); } } } foreach(i, c; cnt) { if (c > 0) { // 閉路が検出された Vertex v = _vertices[i]; Vertex u = v; do { u.onCycle = true; u = u.minEdge.start; } while(u !is v); return rec(v) + _vertices.filter!"a.onCycle".map!"a.minEdge.weight".sum; } } // 閉路が検出されなかったとき return _vertices.filter!"a.hasEdge".map!"a.minEdge.weight".sum; } private: class Vertex { size_t index; Edge[] edges; // assert(edges.all!(e => e.end is this)) Edge minEdge; bool onCycle; bool isVisited; this(size_t index) { this.index = index; } bool hasEdge() { return edges.length > 0; } } struct Edge { Vertex start, end; T weight; } }
この問題でACが取れたことを確認した。
参考文献
www.kyoritsu-pub.co.jp https://www.maruzen-publishing.co.jp/item/b294196.htmlwww.maruzen-publishing.co.jp
*1: の記号はここでは便宜上使っているだけで、一般的に使用されている記法ではないです。