ブルーフカ法

From Wikipedia, the free encyclopedia

ブルーフカ法(ブルーフカほう、: Borůvka's algorithm)とは、グラフ理論重み付き連結グラフ最小全域木を求める最適化問題アルゴリズムである。

このアルゴリズムは1926年に、チェコ数学者オタカル・ブルーフカ英語版モラヴィアでの電力網を敷く際に発見した[1][2][3]。またその後、ギュスターヴ・ショケ英語版1938[4]ウカシェヴィチら(1951[5]ソリン1965[6] がそれぞれ再発見した。前記した発見者のうち英語圏で生活していたのはソリンしかいないため、特に並列計算の分野ではソリンアルゴリズムとも呼ばれる。

アルゴリズムの解説

このアルゴリズムではまず、頂点ひとつのを全てのノードについて作成し、それぞれ全ての木について、重みが最小の探索する。この際、選ばれる辺は重複しても良い。選択された辺で繋がれた木は森(木の集合)に追加する。次に、重みが最小の辺を探索するという手順を、全ての森についても行う。これを森が一つの木になるまで繰り返す。一つの木になったらそれが最小全域木である。

イメージ 木・森 説明
{A}
{B}
{C}
{D}
{E}
{F}
{G}
アルゴリズム適用前のグラフでは、木を表す青い丸は、ノードひとつひとつについている。辺付近の数字は重みを表す。
{A,B,D,F}
{C,E,G}
アルゴリズムの反復の1回目では木の最小の重みの辺を選ぶ。辺AD, 辺CEはそれぞれ2回ずつ選択されている。グラフ全体では森がまだ2つ残っている。
{A,B,C,D,E,F,G} アルゴリズムの反復の2回目ではそれぞれの森から、他の森に繋がる最小の重みの辺である辺BEを選択する。木が一つになったためアルゴリズムは終了。

計算量

の数をEV頂点の数として、ブルーフカ法はO(log V)回の反復をするため、計算には時間O(E log V)かかる。平面グラフでは、反復するごとにふたつの木の間で重みが最小の辺以外を取り除くことにより、より線形に近い計算量で済む。

その他のアルゴリズムとの比較

クラスカル法はブルーフカ法と同じく、アルゴリズム開始時に全ての頂点でノード一つの木を作成する。それに対して、プリム法では木を最初に決定したひとつの頂点から拡大していく。

知られている最小全域木を求める最適化問題のアルゴリズムの中でもっとも効率の良い バーナード・チャゼル英語版 のアルゴリズムは O(E α(E,V)) の計算量で、ブルーフカ法を参考にしている。

脚注

参考文献

関連項目

Related Articles

Wikiwand AI