[論文レビュー] An Efficient Algorithm for Power Dominating Set

Thomas Bläsius, Max Göttlicher|arXiv (Cornell University)|Jan 1, 2023

Advanced Graph Theory Research被引用数 1

ひとこと要約

本稿では、新しい削減ルールと改善されたインプリシットヘッティングセットヒューリスティクスを組み合わせた、パワー支配集合（PDS）問題のための新規で効率的なアルゴリズムを提示する。PDSのパrameterized複雑性がW[P]-完全であることを証明し、そのクラスを解明した。実験により、従来の最先端手法を10倍以上上回る性能を示し、これまでに解けなかった大陸規模の送電網インスタンスを数分で解けるようになった。

ABSTRACT

The problem Power Dominating Set (PDS) is motivated by the placement of phasor measurement units to monitor electrical networks. It asks for a minimum set of vertices in a graph that observes all remaining vertices by exhaustively applying two observation rules. Our contribution is twofold. First, we determine the parameterized complexity of PDS by proving it is $W[P]$-complete when parameterized with respect to the solution size. We note that it was only known to be $W[2]$-hard before. Our second and main contribution is a new algorithm for PDS that efficiently solves practical instances. Our algorithm consists of two complementary parts. The first is a set of reduction rules for PDS that can also be used in conjunction with previously existing algorithms. The second is an algorithm for solving the remaining kernel based on the implicit hitting set approach. Our evaluation on a set of power grid instances from the literature shows that our solver outperforms previous state-of-the-art solvers for PDS by more than one order of magnitude on average. Furthermore, our algorithm can solve previously unsolved instances of continental scale within a few minutes.

研究の動機と目的

• 解のサイズをパrameterとしてパrameterized複雑性を解明するため、パワー支配集合（PDS）問題の正確なクラスを特定すること。
• 送電網監視に生じる現実世界のPDSインスタンスを解くための実用的で効率的なアルゴリズムを開発すること。
• 既存のソルバを改善するため、新しい削減ルールと、インプリシットヘッティングセットフレームワークにおける欠落したフォートを特定するより効果的なヒューリスティクスを導入すること。
• これまでに解けなかった大規模な大陸規模の送電網インスタンスを解けるようにすること。

提案手法

• 任意のウェイトの回路に対して重み付き回路充足可能性問題への還元を用いて、PDSのW[P]-完全性を証明する。
• PDSインスタンスを縮小するための包括的な12個の削減ルールを設計し、頂点／辺の削除、または頂点を「選択済み」または「禁止」として事前にアノテートする。
• 削減ルールを事前処理ステップとして統合し、より小さな、アノテーション済みのPDS-Extensionインスタンスを生成する。
• インプリシットヘッティングセットアプローチにおける欠落したフォートを特定するための新しいヒューリスティクスを開発し、ヘッティングセットソルバの効率を向上させる。
• 削減ルールとGurobiを下位のヘッティングセットソルバとして用いたインプリシットヘッティングセットソルバを統合する。
• 文献に掲載された実際の送電網インスタンスに対して、全パイプラインを評価し、最先端のソルバと性能を比較する。

実験結果

リサーチクエスチョン

• RQ1 解のサイズをパrameterとしてパrameterizedした場合、パワー支配集合問題はW[P]-完全であるか？
• RQ2 新しい削減ルールのセットは、既存のPDSソルバの性能を顕著に向上させられるか？
• RQ3 インプリシットヘッティングセットフレームワークにおける欠落したフォートを特定する新しいヒューリスティクスは、顕著な性能向上をもたらすか？
• RQ4 提案されたアルゴリズムは、大規模でかつこれまでに解けなかった大陸規模の送電網インスタンスを解けるか？

主な発見

• パワー支配集合問題はW[P]-完全であることが証明され、その正確なパrameterized複雑性が解明され、W[2]に属さない限りW[2] = W[P]でないことが示された。
• 提案された削減ルールにより、全テストインスタンスにおいてソルバの中央値実行時間が10倍以上短縮された。
• 欠落したフォートを特定するための新しいヒューリスティクスは、従来の最先端手法を上回り、全体の性能向上に顕著な貢献をした。
• 全アルゴリズムにより、これまでに解けなかった大陸規模の送電網インスタンスが数分で解けるようになった。これは従来の手法では達成できなかった。
• 他のソルバと組み合わせても、提案された削減ルールとヒューリスティクスは、大多数のベンチマークインスタンスでより速い解法を提供した。
• 同じインスタンスに対してGurobiよりも速く、パワー支配数の下界を提供できた。