[论文解读] A Variant of the Maximum Weight Independent Set Problem

Sayan Bandyapadhyay|arXiv (Cornell University)|Aug 31, 2014

Complexity and Algorithms in Graphs参考文献 33被引用 8

一句话总结

本文提出了最大权预算独立集（MWBIS）问题，这是经典最大权独立集（MWIS）问题的推广，其中每个顶点具有权重和预算，目标是在总预算约束下寻找最大权重独立集。作者为树、森林、环和区间图设计了精确算法，为 $d+1$-爪-free 图设计了比率为 $d$ 的近似算法，并通过扩展 Baker 技术为平面图设计了 PTAS。

ABSTRACT

We study a natural extension of the Maximum Weight Independent Set Problem (MWIS), one of the most studied optimization problems in Graph algorithms. We are given a graph $G=(V,E)$, a weight function $w: V ightarrow \mathbb{R^+}$, a budget function $b: V ightarrow \mathbb{Z^+}$, and a positive integer $B$. The weight (resp. budget) of a subset of vertices is the sum of weights (resp. budgets) of the vertices in the subset. A $k$-budgeted independent set in $G$ is a subset of vertices, such that no pair of vertices in that subset are adjacent, and the budget of the subset is at most $k$. The goal is to find a $B$-budgeted independent set in $G$ such that its weight is maximum among all the $B$-budgeted independent sets in $G$. We refer to this problem as MWBIS. Being a generalization of MWIS, MWBIS also has several applications in Scheduling, Wireless networks and so on. Due to the hardness results implied from MWIS, we study the MWBIS problem in several special classes of graphs. We design exact algorithms for trees, forests, cycle graphs, and interval graphs. In unweighted case we design an approximation algorithm for $d+1$-claw free graphs whose approximation ratio ($d$) is competitive with the approximation ratio ($\frac{d}{2}$) of MWIS (unweighted). Furthermore, we extend Baker's technique \cite{Baker83} to get a PTAS for MWBIS in planar graphs.

研究动机与目标

• 通过引入顶点特定预算和全局预算约束，研究 NP-难最大权独立集（MWIS）问题的自然推广。
• 为 MWBIS 在特殊图类（包括树、区间图和平面图）中设计高效算法。
• 扩展已知技术（如 Baker 技术）和动态规划方法，以处理 MWBIS 中的预算约束。
• 分析 MWBIS 的近似可解性，特别是在 $d+1$-爪-free 图和几何图中的表现。
• 建立 MWBIS 与调度和无线网络等实际应用之间的联系。

提出的方法

• 为区间图提出一种动态规划方法，使用二维表 $M(j,t)$ 存储前 $j$ 个区间在预算 $t$ 下的最大权重独立集，表中条目同时记录权重和包含标志。
• 对每个区间 $I_j$，计算两种情况：若预算允许则包含 $I_j$，否则排除 $I_j$，并利用预计算的前驱节点避免冲突。
• 通过预处理步骤计算 $l_j$（即满足 $l < j$ 且 $I_l$ 与 $I_j$ 不相交的最大索引 $l$），以实现 DP 表中高效的状态转移。
• 应用 Baker 技术，通过将图分解为多层并在每层上求解子问题，为平面图中的 MWBIS 设计多项式时间近似方案（PTAS）。
• 将标准 MWIS 动态规划框架改进以支持预算约束，将状态表示为权重和预算使用量的组合。
• 通过从 KNAPSACK 问题的归约，证明 MWBIS 即使在星形树中也是 NP-难的，从而确立该问题的计算困难性。

实验结果

研究问题

• RQ1 最大权独立集问题是否可以有意义地推广为包含顶点特定预算和全局预算约束？
• RQ2 能否为 MWBIS 在特殊图类（如区间图、树和平面图）中设计精确算法？
• RQ3 在 $d+1$-爪-free 图中，是否可能对无权版本（MBIS）实现常数因子近似？其与已知的 $\frac{d}{2}$-近似比在 MWIS 中的表现相比如何？
• RQ4 Baker 技术能否被扩展以在平面图中为 MWBIS 提供 PTAS，如同其在 MWIS 中的应用一样？
• RQ5 MWBIS 在多项式时间可解性方面存在哪些计算限制？哪些图类允许存在 $O(n^c)$ 时间复杂度的算法（$c$ 为常数）？

主要发现

• 为区间图中的 MWBIS 设计了一种 $O(n(n+B))$ 时间的精确算法，采用二维表的动态规划方法并结合前驱节点预处理。
• 为 $d+1$-爪-free 图中的无权 MWBIS（MBIS）设计了 $d$-近似算法，其近似比与该类图中无权 MWIS 的最佳已知比一致。
• 通过将 Baker 技术扩展以处理预算约束，为平面图中的 MWBIS 实现了多项式时间近似方案（PTAS）。
• 通过从 KNAPSACK 问题的归约，证明 MWBIS 即使在星形树中也是 NP-难的，表明其在一般情况下的强不可解性。
• 本研究识别出若干开放问题，包括在非平凡图类中是否存在 $O(n^c)$ 时间复杂度的算法（$c$ 为常数），以及将动态规划方法扩展至有界树宽图的可能性。