[论文解读] 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的网格图中寻找哈密顿路径这一 NP-难问题到干扰最小化问题的多项式归约。
• 证明网格图中的哈密顿路径对应于所构造节点集中的生成树，其干扰度至多为3。
• 通过反证法证明，任何干扰度 ≤3 的生成树必须仅通过伙伴卫星连接顶点部件，从而防止出现非预期的长距离连接。
• 验证任何超出伙伴对的连接都会导致干扰度 ≥4，从而证明哈密顿结构对于实现低干扰是必要的。

实验结果

研究问题

• RQ1 在平面上的节点集合中，判断是否存在最大干扰至多为3的生成树是否为 NP-难问题？
• RQ2 在对称无线网络中，干扰最小化问题是否能在多项式时间内近似到小于 4/3 的因子？
• RQ3 若度为3的网格图中存在哈密顿路径，则其对应的节点配置中是否存在低干扰的生成树？
• RQ4 如果生成树未遵循哈密顿路径，网络拓扑是否存在结构性约束，导致干扰超过3？
• RQ5 在对称通信和连通性约束下，基于磁盘的干扰模型是否能高效地最小化干扰？

主要发现

• 判断网络是否存在最大干扰至多为3的生成树是 NP-完全的，这是该干扰最小化问题已知的第一个难解性结果。
• 即使要求对称通信图连通且传输半径基于生成树中到最远邻居的距离选择，该问题仍为 NP-难。
• 任何干扰度 ≤3 的生成树必须仅通过伙伴卫星连接顶点部件，从而强制形成等价于原始网格图中哈密顿路径的路径结构。
• 若一个顶点部件通过非伙伴节点与超过两个其他部件连接，则卫星节点的干扰度将超过3，违反该界限。
• 该归约证明了除非 P = NP，否则干扰无法在多项式时间内近似到小于 4/3 的因子。
• 该结果弥合了已知的 O(√n) 干扰上界与不可近似性阈值之间的差距，表明该问题本质上是困难的。