Dominating Set Reconfiguration with Answer Set Programming

要約

支配集合再構成問題は、特定の支配集合問題とその実行可能解のうちの 2 つについて、特定の隣接関係に従う一連の実行可能解を介して一方が他方から到達可能かどうかを判断するものとして定義されます。
この問題は一般的に PSPACE で完了します。
支配セットの概念は、ワイヤレス ネットワーク、ソーシャル ネットワーク、センサー ネットワークの分析に非常に役立つことが知られています。
我々は、Answer Set Programming (ASP) に基づいて支配的なセット再構成問題を解決するアプローチを開発します。
私たちの宣言的アプローチは高レベルの ASP エンコーディングに依存しており、基礎付けタスクと解決タスクの両方が ASP ベースの組み合わせ再構成ソルバーに委任されます。
私たちのアプローチの有効性を評価するために、新しく作成したベンチマーク セットで実験を実施します。

要約(オリジナル)

The dominating set reconfiguration problem is defined as determining, for a given dominating set problem and two among its feasible solutions, whether one is reachable from the other via a sequence of feasible solutions subject to a certain adjacency relation. This problem is PSPACE-complete in general. The concept of the dominating set is known to be quite useful for analyzing wireless networks, social networks, and sensor networks. We develop an approach to solve the dominating set reconfiguration problem based on Answer Set Programming (ASP). Our declarative approach relies on a high-level ASP encoding, and both the grounding and solving tasks are delegated to an ASP-based combinatorial reconfiguration solver. To evaluate the effectiveness of our approach, we conduct experiments on a newly created benchmark set.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google