[論文レビュー] The Complexity of DC-Switching Problems

Karsten Lehmann, Alban Grastien+1 more|arXiv (Cornell University)|Nov 17, 2014

Interconnection Networks and Systems参考文献 4被引用数 17

ひとこと要約

本稿は、電力系統におけるDCスイッチング問題の計算複雑性を分析し、実行可能性、最大スイッチングフロー（MSF）、最適送電線スイッチング（OTS）に焦点を当てている。これらの問題がNP完全であり、任意の定数要因内での近似が不可能であることを証明している。これは、最大ノード次数3の平面的ネットワーク、または次数3のカクタス構造ですら成立し、DC電力系統最適化における根本的な難解さの限界を確立している。

ABSTRACT

This report provides a comprehensive complexity study of line switching in the Linear DC model for the feasibility problem and the optimization problems of maximizing the load that can be served (maximum switching flow, MSF) and minimizing generation cost (optimal transmission switching, OTS). Our results show that these problems are NP-complete and that there is no fully polynomial-time approximation scheme for planar networks with a maximum-node degree of 3. Additionally, we demonstrate that the problems are still NP-hard if we restrict the network structure to cacti with a maximum degree of 3. We also show that the optimization problems can not be approximated within any constant factor.

研究の動機と目的

• 線形DC電力フロー・モデルにおける線路スイッチングの計算複雑性を分析すること。
• 実行可能性、最大スイッチングフロー（MSF）、最適送電線スイッチング（OTS）問題が、効率的解法可能かNP困難かを特定すること。
• 特に最大次数3の平面的およびカクタスグラフというネットワーク構造が、問題の複雑性に与える影響を調査すること。
• DCスイッチング問題の最適化バージョンの近似可能性を評価すること。

提案手法

• 既知のNP完全問題からの還元を用いて、DCスイッチングの実行可能性および最適化問題のNP困難性を確立する。
• 3分割問題および3次元マッチング問題からの多項式時間還元を構築し、MSFおよびOTSのNP完全性を証明する。
• グラフ理論的変換を用いて、ネットワーク構造を最大ノード次数3の平面的およびカクタストポロジーに制限する。
• 最大次数3の平面的ネットワークにおけるMSFおよびOTSに対して、完全多項式時間近似スキーム（FPTAS）が存在しないことを証明する。
• 構造的制約下でも、最適化問題が任意の定数要因内での近似が不可能であることを示す。
• 還元および難解性結果を含む計算複雑性理論を用いた形式的な複雑性分析。

実験結果

リサーチクエスチョン

• RQ1 DCスイッチング実行可能性問題はNP完全か？
• RQ2 最大スイッチングフロー（MSF）および最適送電線スイッチング（OTS）問題はNP完全か？
• RQ3 制限付きネットワークトポロジーにおいても、MSFおよびOTS問題は定数要因内での近似が可能か？
• RQ4 平面性および次数の上限といった構造的制約下でも、DCスイッチングの複雑性は依然として高いか？
• RQ5 最大ノード次数3の平面的ネットワークにおけるMSFまたはOTSに、完全多項式時間近似スキーム（FPTAS）は存在するか？

主な発見

• DCスイッチングの実行可能性問題はNP完全である。
• 最大スイッチングフロー（MSF）および最適送電線スイッチング（OTS）問題はNP完全である。
• 最大ノード次数3の平面的ネットワークにおけるMSFおよびOTSには、完全多項式時間近似スキーム（FPTAS）が存在しない。
• 最大ノード次数3のカクタスネットワークに制限しても、これらの問題は依然NP困難である。
• 構造的制約下でも、最適化問題は任意の定数要因内での近似が不可能である。
• DCスイッチング問題の計算難解性は、平面的およびカクタスグラフを含むさまざまなネットワークトポロジーにわたり、強く保たれる。