[論文レビュー] Quadratically constrained quadratic programs on acyclic graphs with application to power flow

Subhonmesh Bose, Dennice F. Gayme+2 more|arXiv (Cornell University)|Mar 26, 2012

Vehicle Routing Optimization Methods被引用数 33

ひとこと要約

本稿は、制約行列に技術的条件が満たされる場合、非凸な二次制約付き二次プログラム（QCQPs）が木構造（非巡回グラフ）上で多項式時間で解けることを証明する。この結果を非巡回配電網における最適潮流（OPF）に応用し、半定値緩和（SDR）とランク回復を用いて全般最適解が得られることを示し、条件を満たさない場合には摂動に基づくヒューリスティックを提案する。

ABSTRACT

This paper proves that non-convex quadratically constrained quadratic programs can be solved in polynomial time when their underlying graph is acyclic, provided the constraints satisfy a certain technical condition. When this condition is not satisfied, we propose a heuristic to obtain a feasible point. We demonstrate this approach on optimal power flow problems over radial networks.

研究の動機と目的

• 非凸なQCQPsが非巡回グラフ上に存在する場合、非凸性にもかかわらず多項式時間で解けるクラスを同定すること。
• ランク1回復の十分条件を同定することで、半定値緩和（SDR）の適用範囲を非凸QCQPsに拡張すること。
• 非巡回グラフ構造を持つ径路型配電ネットワークにおける最適潮流（OPF）問題に理論的結果を応用すること。
• 十分条件を満たさないQCQPsに対して、摂動に基づくヒューリスティックを開発し、妥当な近似最適解を保証すること。
• シミュレーションを通じて、径路型ネットワークにおけるOPF問題に対して、このヒューリスティックが常に近似最適な妥当解を信頼性高く生成することを示すこと。

提案手法

• 複素変数とヘルミート行列を用いたQCQPを定義し、目的関数と制約が二次形式であることを前提とする。
• 制約行列および目的関数行列のスパarsityパターンから無向グラフを構築し、変数を頂点とし、行列成分が非ゼロであるペア間に辺を張る。
• 得られたグラフが木（非巡回かつ連結）であり、かつ制約行列が最小半定値ランク関連の技術的条件を満たす場合、SDRを用いてQCQPが多項式時間で解けることを証明する。
• 摂動技術を導入：目的関数行列に小さな正定値行列を加えることで、SDRを厳密に凸化し、ランク1解の回復を保証する。
• 減少する摂動パラメータδを用いた一連の摂動問題を解き、各SDRの解が元のQCQPの全般最適解に収束するようにする。
• ランク1条件を満たさない場合、小さな固定δを用いた摂動法を適用し、最適値からε以内の妥当解を多項式時間で得ることを保証する。

実験結果

リサーチクエスチョン

• RQ1 非凸QCQPsが非巡回グラフ上で多項式時間で解ける条件は何か？
• RQ2 制約行列が半正定値でない場合、非巡回グラフ上のQCQPの半定値緩和（SDR）が全般最適解をもたらすことができるか？
• RQ3 最小半定値ランク条件が、SDRからのランク1回復を保証するために果たす役割は何か？
• RQ4 十分条件を満たさない場合、摂動に基づく手法をどのように用いて近似最適な妥当解を得られるか？
• RQ5 このアプローチは、径路型配電ネットワークにおける最適潮流（OPF）問題に効果的に適用可能か？

主な発見

• 制約行列が最小半定値ランク関連の技術的条件を満たす場合、非巡回グラフ上での非凸QCQPsは多項式時間で解ける。
• 非巡回グラフ上のQCQPのSDRがランク1解を出力する場合、元のQCQPの最適解を正確に回復できる。
• SDR解がランク1でないQCQPsに対しては、摂動技術により多項式時間で最適値からε以内の妥当解を計算可能である。
• 摂動法により、誤差がユーザーが定義した許容誤差以内に抑えられ、真の最適値に限りなく近い妥当点に収束することが保証される。
• 理論的枠組みは、非巡回構造のおかげで効率的にSDRとランク回復が可能な径路型ネットワークにおける最適潮流（OPF）に成功裏に適用された。
• シミュレーションにより、十分条件を満たさない場合でさえ、このヒューリスティックが常に径路型ネットワークにおけるOPF問題の近似最適な妥当解を生成することが示された。