[論文レビュー] Point Set Isolation Using Unit Disks is NP-complete

Rainer Penninger, Ivo Vigan|arXiv (Cornell University)|Mar 12, 2013

Computational Geometry and Mesh Generation参考文献 3被引用数 5

ひとこと要約

この論文は、平面分割問題への帰着を用いて、単位円盤を用いた点集合の分離問題がNP完全であることを証明している。さらに、幾何学的ガジェット構成を用いて単位円盤でグラフ構造を模倣することで、すべての細胞接続問題およびマルチターミナルカット問題についても、単位円盤グラフ上でのNP完全性を確立している。

ABSTRACT

We consider the situation where one is given a set S of points in the plane and a collection D of unit disks embedded in the plane. We show that finding a minimum cardinality subset of D such that any path between any two points in S is intersected by at least one disk is NP-complete. This settles an open problem raised by Matt Gibson et al[1]. Using a similar reduction, we show that finding a minimum cardinality subset D' of D such that R^2 - (D - D') consists of a single connected region is also NP-complete. Lastly, we show that the Multiterminal Cut Problem remains NP-complete when restricted to unit disk graphs.

研究の動機と目的

• 単位円盤を用いた点集合分離問題の計算複雑性に関する未解決問題を解消すること。
• 集合S内のすべての点のペアを分離するために最小の単位円盤の部分集合を求める問題がNP完全であることを示すこと。
• 点集合分離問題のNP完全性結果を、単位円盤グラフ上でのすべての細胞接続問題およびマルチターミナルカット問題に拡張すること。
• センサーネットワークの応用で一般的な幾何的制約のもとでも、これらの問題がNP完全のままであることを確立すること。

提案手法

• 整数グリッド上への幾何的埋め込みを用いて、NP完全である平面分割問題を点集合分離問題に帰着する。
• グラフの辺を模倣するための単位円盤アレイからなるエッジガジェットを構築し、異なるエッジ間で互いに交差しないようにする。
• グリッド上の点の周囲に円形に配置した単位円盤の集合として頂点ガジェットを設計し、これによりグラフの頂点を模倣するとともに、関連するエッジガジェットに接続する。
• 半径と配置の制約を用いて、頂点ガジェットと交差するのは、必ずその頂点に接続するエッジガジェットのみであることを保証し、構造の整合性を維持する。
• 同様のガジェットベースの還元を用いて、すべての細胞接続問題および単位円盤グラフ上でのマルチターミナルカット問題のNP完全性を証明する。
• 複数の並列なディスクパスを備えた重み付きエッジガジェットを用いてエッジの重みを模倣し、端点を分離するにはエッジの重みに等しい数のディスクを削除する必要があることを保証する。

実験結果

リサーチクエスチョン

• RQ1 単位円盤を用いた点集合分離問題はNP完全か？
• RQ2 幾何的還元を用いて、すべての細胞接続問題がNP完全であることを証明できるか？
• RQ3 マルチターミナルカット問題は、単位円盤グラフに制限された場合でもNP完全のままか？
• RQ4 単位円盤から構成される幾何学的ガジェットを用いて、これらの問題のNP完全性を確立できるか？
• RQ5 単位円盤の半径や平面的埋め込みといった幾何的制約のもとでも、問題の難易度は保たれるか？

主な発見

• 点集合分離問題が平面分割問題への帰着によってNP完全であることが証明された。
• 単位円盤を用いた同様の幾何学的ガジェット構成を用いて、すべての細胞接続問題がNP完全であることが示された。
• マルチターミナルカット問題は、単位円盤グラフに制限されてもNP完全のままであり、エッジの重みと最大次数が有界であっても同様である。
• 還元は解のサイズを保つ：元のグラフにおけるサイズkの解は、単位円盤グラフにおいてもサイズkの解に対応する。
• 構成により、頂点ガジェットと交差するのは必ずその頂点に接続するエッジガジェットのみであり、非接続のガジェット同士は互いに交差しない。これにより還元の正しさが保たれる。
• これらの結果により、センサーネットワークの現実的な制約のもとでも、これらの幾何的ネットワーク問題が計算的に困難であることが確認された。