ダンツィーグ・ウルフ分解法

ダンツィク・ウルフ分解法（ダンツィク・ウルフぶんかいほう、ダンツィク・ウルフの分解原理、）とは、特殊な構造を持つ線形計画問題を解くアルゴリズムの一種である。1960年にジョージ・ダンツィーグ（ダンツィク）およびにより提案された解法である。線形計画問題を扱う多くの教科書において紹介される分解法である。

ダンツィク・ウルフ分解法は列生成法において大規模線形計画問題を扱いやすい問題へと変形することができる。多くの線形計画問題では反復法の改訂単体法によって解かれることが多いが、各反復で大多数の列（変数）が基底にはならない。このことから、問題を複数の小さな部分問題へと分割し、それら部分問題の解の一部の列の下で、再び部分問題から列を求めて、元の問題の解を改善することを行っている。

 ダンツィク・ウルフ分解法が適用されやすい構造 
ダンツィク・ウルフ分解法を用いるために、線形計画問題の制約行列が特殊な構造を持っている必要がある。制約の集合の中から多くの変数の係数が非ゼロの値を持つような制約（「接続性」、「連結性」、「複雑化性」）を特定する必要がある。残った他の制約の集合ではそれぞれが独立した部分行列に分割する。すなわち、ある変数が一つの部分行列内において非ゼロの係数を持っているならば、その他の部分行列内においては非ゼロの係数を持たないようにする。これらの構造は以下のように図示される:

File:DW Block Angular Matrix.jpg

 の行列は連結性の制約を表す制約行列を表し、各  の行列は独立した部分行列を表している。なお、部分行列  が一つしか存在しない場合でもダンツィク・ウルフ分解法は適用可能であることに注意する。

 問題の再定式化 
必要な形式に表現することができれば、元の問題は主問題と  個の部分問題を持つ問題へと書き換える（再定式化）ことができる。この書き換えは各部分行列によって表される凸多面体の任意の点がその多面体の端点の凸結合によって表すことができるという事実に基づいて行われている。

新たな主問題の各変数はある部分問題の一つの解に対応している。主問題は部分問題によって表現されている解の組み合わせが連結性などの制約を満たすことを制約として保証する役割を果たしている。また部分問題では通常、解の一部に対応した列のみを保持した状態で表現される。反復において主問題の制約を満たしつつ、元の問題の目的関数値を改善するような部分問題の列を追加していく。

 アルゴリズム 
実装上ではいくつかの主流が存在しているが、一般的なダンツィーグ・ウルフ分解法は以下の手順で行われる:

 変数が限定された主問題の実行可能解から始め、各部分問題を新たな目的関数に再定式化し、各部分問題によって主問題の現在の目的関数値を改善できるような解を求められると考えられる。
 部分問題で実際に新たな目的関数の下で解き直し、その部分問題の最適解を主問題に追加する。
 主問題では、各部分問題によって生成された解を全部または一部のみを列（変数）へと追加する。
 主問題を単体法により解く。
 もし目的関数値が改善されるならば、ステップ1へ戻る。そうでなければ、続ける。
 主問題において部分問題からの新たな列によってこれ以上値を改善することができないため、終了。

 実装 
ダンツィク・ウルフ分解法の実装例としてはやGAMSのような数理モデリングソフトウェアが挙げられる.。また、やのような並列処理が可能なオープンソースソフトウェアなども存在している。

ダンツィク・ウルフ分解法に含まれる各部分問題は互いに独立した問題であるため、それらの問題を並列して解くことが可能である。その場合、主問題では部分問題によって構成された列（変数）をどのように組み合わせるかを考慮する必要がある。主問題は各部分問題の実行が終わるまで待機し、その後目的関数値が改善される変数を新たに導入することが可能であり、またその変数の一部のみを取り入れることも可能である。別の方法としては再定式化後に最初に得られた列のみから始め、その後部分問題の計算を始めるといったことが挙げられる。

また、実装において考えられる選択肢としては各反復において基底から外れる列の扱いについてである。これらの列はその後の反復においても保持されることもあれば、即座に削除することや、以後の反復の後にある基準に従って削除する（例として、十回の反復ごとにすべての非基底列を削除する）ことが挙げられる。

2001年、Tebboth により、並列計算を用いたダンツィク・ウルフ分解法の計算機実験が行われた。

 脚注 

 関連項目 
 列生成法
 ベンダーズ分解法

Category:線型計画法
Category:数学に関する記事
Category:最適化アルゴリズムとメソッド