[论文解读] Multiparameterizations for max k-set cover and related satisfiability problems

Édouard Bonnet, Vangélis Th. Paschos+1 more|arXiv (Cornell University)|Sep 18, 2013

Advanced Graph Theory Research参考文献 20被引用 4

一句话总结

本文研究了最大 k-集合覆盖问题及其相关可满足性问题的多参数复杂度，分析了如 (k, max|Si|) 和 (k, f) 等参数对，其中 f 为元素覆盖的最大频率。在这些参数组合下建立了 W[2]-难性，并提出了一种增强的 W[·] 层次结构框架，以更好地捕捉基数约束问题的复杂性。

ABSTRACT

We study the complexity of several parameterizations for max k-set cover as well as for some related satisfiability problems. Given a family of subsets S = {S1,...,Sm} over a set of elements X = {x1,...,xn} and an integer p, max k-set cover consists of finding a set T of at most k subsets covering at least p elements. This problem, when parameterized by k, can be easily shown to be W[2]-hard. Here, we settle the multiparameterized complexity of max k-set cover under pairs of parameters as max{k,�}, where � = maxi{|Si|} and max{k,f}, where f = maxi |{j|xi 2 Sj}|. We also study parameterized approximability of the problem with respect to parameters k and p. Then, we investigate some similar parameterizations of a satisfiability problem that is linked to max k-set cover in a sense explained in the paper. Finally, we sketch an enhancement of the classes of the W[·] hierarchy that seems more appropriate for showing completeness of cardinality constrained W[·]-hard problems.

研究动机与目标

• 分析在多个参数组合下最大 k-集合覆盖问题的参数复杂度，特别是 (k, max|Si|) 和 (k, f)，其中 f 为任意单个元素被覆盖的最多集合数。
• 研究最大 k-集合覆盖在参数 k 和 p（需覆盖的元素数量）下的参数可近似性。
• 探索最大 k-集合覆盖与相关可满足性问题之间的联系，建立结构与复杂性理论上的关联。
• 提出一个优化的 W[·] 类别层次结构，以更好地捕捉基数约束的 W[·]-难问题的完备性。

提出的方法

• 在 k（需选择的集合数量）和 max|Si|（集合族中任意集合的最大大小）的联合参数化下分析最大 k-集合覆盖问题。
• 考察参数 f，即任意单个元素被包含的最多集合数，以评估其对参数可解性的影响。
• 应用参数化近似技术，评估在参数 k 和 p 下算法的性能表现。
• 通过将一个已知的 W[2]-完全问题归约到在 (k, max|Si|) 参数化下的最大 k-集合覆盖问题，证明其难解性。
• 提出一种增强的 W[·] 层次结构框架，以更好地对具有基数约束的问题进行分类，特别是涉及集合覆盖和可满足性问题的情形。
• 通过结构分析与参数化归约，将最大 k-集合覆盖与具有类似组合结构的特定可满足性问题关联起来。

实验结果

研究问题

• RQ1 当以参数对 (k, max|Si|) 参数化时，最大 k-集合覆盖问题的参数复杂度是什么？
• RQ2 元素覆盖的最大频率 f 如何影响最大 k-集合覆盖问题的参数复杂度？
• RQ3 在考虑参数 k 和 p 的参数化设置下，最大 k-集合覆盖能否被高效近似？
• RQ4 最大 k-集合覆盖与本文研究的相关可满足性问题之间存在何种结构关系？
• RQ5 如何扩展 W[·] 层次结构，以更好地捕捉基数约束的 W[·]-难问题的复杂性？

主要发现

• 当仅以 k 参数化时，最大 k-集合覆盖问题是 W[2]-难的，且在与 max|Si| 联合参数化下，该难解性依然成立。
• 即使在以 k 和 f 参数化时，问题仍为 W[2]-难，表明集合数量与最大元素频率均为固有的难解来源。
• 对最大 k-集合覆盖在参数 k 和 p 下的参数化可近似性进行了分析，揭示了在这些参数下难以实现较强的近似比。
• 识别出一个与最大 k-集合覆盖密切相关可满足性问题，其参数复杂度与集合覆盖变种保持一致。
• 提出了一种增强的 W[·] 层次结构，以更好地捕捉具有基数约束问题的复杂性，特别是涉及集合覆盖与可满足性问题的情形。