[論文レビュー] Minimizing the Maximum Interference is Hard

Kevin Buchin|arXiv (Cornell University)|Feb 15, 2008

Mobile Ad Hoc Networks参考文献 6被引用数 40

ひとこと要約

この論文は、無線センサーネットワークにおける最大干渉を最小化する問題——特に、接続された対称的通信グラフを維持するために最適な送信範囲を選択する問題——がNP完全であることを証明している。著者らは、3未満の干渉が達成可能かどうかを決定する問題が計算的に困難であることを示すために、3次グリッドグラフにおけるハミルトンパス問題へ還元している。これにより、干渉に配慮したネットワーク設計におけるトポロジー制御の根本的な難解性が確立された。

ABSTRACT

We consider the following interference model for wireless sensor and ad hoc networks: the receiver interference of a node is the number of transmission ranges it lies in. We model transmission ranges as disks. For this case we show that choosing transmission radii which minimize the maximum interference while maintaining a connected symmetric communication graph is NP-complete.

研究の動機と目的

• ディスクベースの干渉モデル下で、無線センサーネットワークにおける最大干渉を最小化する問題の計算複雑性を確立すること。
• ネットワークが最大干渉 ≤3 を達成可能かどうかを決定する問題がNP完全であることを証明し、トポロジー制御分野における長年の未解決問題に解答を与えること。
• 対称的通信グラフと最適送信範囲選択が行われても、干渉最小化が依然として計算的に困難であることを示すこと。
• 既知の上界（O(√n)）と干渉最小化の近似困難性のギャップを埋めること。

提案手法

• グリッドグラフの各ノードに対して、中心ノードと特定のオフセット（xまたはy方向に±1/4）に配置された3つの衛星ノードからなる頂点ガジェットを構築する。
• 送信範囲を、各ノードを中心とするディスクとし、スパニングツリー内での最も遠い隣接ノードまでの距離に等しくする。
• 3次グリッドグラフにおけるハミルトンパス問題（NP困難）を、干渉最小化問題へ多項式還元する。
• グリッドグラフ内にハミルトンパスが存在する場合、構築されたノード集合において干渉が3以下となるスパニングツリーが存在することを示す。
• 背理法を用いて、干渉 ≤3 である任意のスパニングツリーは、頂点ガジェットを相手の衛星ノードを通じてのみ接続しなければならず、不正な長距離接続を防ぐことを証明する。
• 相手ペア以外のノードを介した任意の接続が干渉 ≥4 を引き起こすことを検証し、低干渉を達成するにはハミルトン構造が必須であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 平面上のノード集合が最大干渉が3未満となるスパニングツリーを有するかどうかを決定することは、NP困難であるか？
• RQ2 対称的無線ネットワークにおける干渉最小化問題は、多項式時間内で4/3未満の近似比で近似可能か？
• RQ3 3次グリッドグラフにハミルトンパスが存在することは、対応するノード配置において低干渉スパニングツリーが存在することを示唆するか？
• RQ4 スパニングツリーがハミルトンパスに従わない場合、ネットワークトポロジーの構造的制約が干渉を3を超えるように強いるか？
• RQ5 対称的通信と接続性の制約のもとで、ディスクベースの干渉モデル下で干渉を効率的に最小化できるか？

主な発見

• 最大干渉が3未満となるスパニングツリーが存在するかどうかを決定する問題がNP完全であることが示され、この干渉最小化問題に対する最初の既知の難解性結果が確立された。
• 対称的通信グラフが接続されていることと、送信範囲がスパニングツリー内での最も遠い隣接ノードまでの距離に基づいて選択されるという制約のもとでも、問題は依然NP困難のままである。
• 干渉 ≤3 である任意のスパニングツリーは、頂点ガジェットを相手の衛星ノードのみを通じて接続しなければならず、これは元のグリッドグラフにおけるハミルトンパスに相当するパス構造を強制する。
• 頂点ガジェットが非相手ノードを介して2つ以上の他のガジェットに接続される場合、衛星ノードにおける干渉は3を超えるため、制約を満たさない。
• 還元により、P = NPでない限り、干渉は多項式時間内で4/3未満の近似比で近似できないことが証明された。
• この結果により、干渉の既知のO(√n)上界と近似不能性の閾値のギャップが埋められ、問題が本質的に困難であることが示された。