[論文レビュー] 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

ひとこと要約

この論文は、max k-set cover問題および関連する充足可能性問題の多パラメータ複雑性を調査し、f が要素のカバー頻度の最大値である (k, max|Si|) および (k, 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.

研究の動機と目的

• max k-set cover のパラメータ化複雑性を、f が任意の要素をカバーするセットの最大数である (k, max|Si|) および (k, f) という複数のパラメータ組み合わせにおいて分析すること。
• パラメータ k および p（カバーすべき要素数）に関して、max k-set cover のパラメータ化近似可能性を調査すること。
• max k-set cover と関連する充足可能性問題との間の関係を明らかにし、構造的および複雑性理論的リンクを確立すること。
• 基数制約付き W[·]-困難問題の完全性をよりよく捉えるために、洗練された W[·] クラスの階層を提唱すること。

提案手法

• 家族内の任意のセットの最大サイズである max|Si| と選択するセット数である k による共同パラメータ化の下で、max k-set cover を分析する。
• 任意の単一の要素を含むセットの最大数として定義される f を評価し、それがパラメータ化可能性に与える影響を検討する。
• k および p というパラメータにおけるアルゴリズムの性能を評価するために、パラメータ化近似技術を適用する。
• 既知の W[2]-完全問題から (k, max|Si|) パラメータ化の下で max k-set cover への還元を確立し、困難性を証明する。
• 特にセットカバーおよび充足可能性問題を含む基数制約付き問題の複雑性をよりよく分類できるように、強化された W[·] 階層フレームワークを導入する。
• 構造的分析およびパラメータ化還元を用いて、max k-set cover を特定の組合せ的構造が類似する充足可能性問題と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 パラメータペア (k, max|Si|) でパラメータ化された場合、max k-set cover のパラメータ化複雑性は何か？
• RQ2 要素カバー頻度の最大値 f は、max k-set cover のパラメータ化複雑性にどのように影響するか？
• RQ3 パラメータ k および p を考慮したパラメータ化設定において、max k-set cover は効率的に近似可能か？
• RQ4 max k-set cover と本稿で研究された関連充足可能性問題との構造的関係は何か？
• RQ5 W[·] 階層は、基数制約付き W[·]-困難問題の複雑性をよりよく捉えるためにどのように拡張可能か？

主な発見

• max k-set cover 問題は k のみでパラメータ化した場合に W[2]-困難であり、max|Si| との共同パラメータ化においてもこの困難性は維持される。
• k および f でパラメータ化した場合でも、問題は W[2]-困難のままであり、セット数および要素頻度の最大値が、両方とも本質的な計算困難の原因であることが示された。
• k および p というパラメータにおける max k-set cover のパラメータ化近似可能性が分析され、これらのパラメータ下で強力な近似比を達成する制限が明らかになった。
• max k-set cover と密接に関連する充足可能性問題が同定され、そのパラメータ化複雑性がセットカバー変種と一致することが示された。
• 特にセットカバーおよび充足可能性問題を含む基数制約付き問題の複雑性をよりよく捉えるために、強化された W[·] 階層が提案された。