[논문 리뷰] Multiparameterizations for max k-set cover and related satisfiability problems

Édouard Bonnet, Vangélis Th. Paschos외 1명|arXiv (Cornell University)|2013. 09. 18.

Advanced Graph Theory Research참고 문헌 20인용 수 4

한 줄 요약

이 논문은 최대 k-집합 커버 문제 및 관련 만족 가능성 문제의 다중 매개변수 복잡도를 조사하며, 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.

연구 동기 및 목표

• 최대 k-집합 커버 문제의 매개변수 복잡도를 k와 max|Si|, 그리고 f(모든 단일 요소를 커버하는 최대 집합 수)와 같은 다중 매개변수 조합 하에서 분석하는 것.
• k와 p(커버해야 할 요소 수) 매개변수에 대해 최대 k-집합 커버의 매개변수 근사 가능성에 대해 연구하는 것.
• 최대 k-집합 커버 문제와 관련된 만족 가능성 문제 사이의 연결 고리를 탐색하며, 구조적 및 복잡도 이론적 유사성을 확립하는 것.
• 기수성 제약 조건을 가진 W[·]-경우의 문제의 완전성을 더 잘 포착하는 데 초점을 맞춘 개선된 W[·] 클래스 계층 구조를 제안하는 것.

제안 방법

• 가족 내 임의의 집합의 최대 크기인 max|Si|와 함께 선택할 집합 수인 k에 의한 공동 매개변수화 하에서 최대 k-집합 커버를 분석한다.
• 모든 단일 요소를 포함하는 최대 집합 수로 정의된 매개변수 f를 고려하여, 그가 매개변수화된 접근 가능성에 미치는 영향을 평가한다.
• k와 p 매개변수 하에서 알고리즘의 성능을 평가하기 위해 매개변수 근사 기법을 적용한다.
• 기존의 W[2]-완전 문제에서 (k, max|Si|) 매개변수화 하에서 최대 k-집합 커버로의 감소를 통해 복잡도를 입증한다.
• 특히 집합 커버와 만족 가능성 문제를 포함한 기수성 제약 조건이 있는 문제들을 더 잘 분류하기 위해 개선된 W[·] 계층 구조 프레임워크를 도입한다.
• 구조적 분석과 매개변수화 감소를 통해 최대 k-집합 커버를 특정한 구조적 유사성을 가진 만족 가능성 문제와 연결한다.

실험 결과

연구 질문

• RQ1 최대 k-집합 커버 문제의 매개변수 복잡도는 (k, max|Si|) 쌍으로 매개변수화되었을 때 어떻게 되는가?
• RQ2 요소 커버링의 최대 빈도 f는 최대 k-집합 커버 문제의 매개변수 복잡도에 어떻게 영향을 미치는가?
• RQ3 k와 p(커버해야 할 요소 수)를 고려할 때 최대 k-집합 커버 문제는 매개변수 설정에서 효율적으로 근사 가능한가?
• RQ4 최대 k-집합 커버 문제와 논문에서 다루는 관련된 만족 가능성 문제 사이의 구조적 관계는 무엇인가?
• RQ5 기수성 제약 조건을 가진 W[·]-경우의 문제의 복잡도를 더 잘 포착하기 위해 W[·] 계층 구조는 어떻게 확장될 수 있는가?

주요 결과

• 최대 k-집합 커버 문제는 k로만 매개변수화되었을 때 W[2]-경우의 복잡도를 가지며, 이 복잡도는 max|Si|와의 공동 매개변수화 하에서도 유지된다.
• 문제는 k와 f로 매개변수화되었을 때도 W[2]-경우의 복잡도를 유지하며, 이는 집합 수와 요소 최대 빈도가 모두 본질적인 비결정성 원인임을 시사한다.
• k와 p 매개변수에 대해 최대 k-집합 커버의 매개변수 근사 가능성은 분석되었으며, 이러한 매개변수 하에서 강력한 근사 비율 확보의 한계가 드러났다.
• 최대 k-집합 커버와 밀접하게 관련된 만족 가능성 문제가 확인되었으며, 이 문제의 매개변수 복잡도는 집합 커버 변형과 유사한 것으로 나타났다.
• 특히 집합 커버와 만족 가능성 문제를 포함한 기수성 제약 조건이 있는 문제들의 복잡도를 더 잘 포착하기 위해 개선된 W[·] 계층 구조가 제안되었다.