[논문 리뷰] Elimination Distances, Blocking Sets, and Kernels for Vertex Cover

Eva-Maria C. Hols, Stefan Kratsch외 1명|arXiv (Cornell University)|2020. 01. 01.

Advanced Graph Theory Research인용 수 9

한 줄 요약

이 논문은 차단 집합과 구조적 그래프 계열로의 제거 거리 개념을 도입하여 정점 커버의 다항식 커널화 결과를 통합하고 일반화한다. 최소 차단 집합 크기가 다항식 커널화에 필수적이지만 충분하지 않음을 증명하며, 차단 집합이 유계이면서 계산 가능할 경우 모듈레이터의 여집합 내 컴포넌트 수를 O(|X|^d)로 효율적으로 감소시킬 수 있음을 보이며, 이는 산림, 이분 그래프, CLP 그래프 등의 계열에 대해 제거 거리 매개변수를 통해 다항식 커널화를 가능하게 한다.

ABSTRACT

The Vertex Cover problem plays an essential role in the study of polynomial kernelization in parameterized complexity, i.e., the study of provable and efficient preprocessing for NP-hard problems. Motivated by the great variety of positive and negative results for kernelization for Vertex Cover subject to different parameters and graph classes, we seek to unify and generalize them using so-called blocking sets. A blocking set is a set of vertices such that no optimal vertex cover contains all vertices in the blocking set, and the study of minimal blocking sets played implicit and explicit roles in many existing results. We show that in the most-studied setting, parameterized by the size of a deletion set to a specified graph class ?, bounded minimal blocking set size is necessary but not sufficient to get a polynomial kernelization. Under mild technical assumptions, bounded minimal blocking set size is showed to allow an essentially tight efficient reduction in the number of connected components. We then determine the exact maximum size of minimal blocking sets for graphs of bounded elimination distance to any hereditary class ?, including the case of graphs of bounded treedepth. We get similar but not tight bounds for certain non-hereditary classes ?, including the class ?_{LP} of graphs where integral and fractional vertex cover size coincide. These bounds allow us to derive polynomial kernels for Vertex Cover parameterized by the size of a deletion set to graphs of bounded elimination distance to, e.g., forest, bipartite, or ?_{LP} graphs.

연구 동기 및 목표

• 다양한 그래프 계열에 걸쳐 기존의 다항식 커널화 결과를 통합하고 일반화하기 위해 차단 집합 개념을 사용하여 정점 커버의 다항식 커널화 결과를 통합하고 일반화한다.
• 트리깊이와 CLP 그래프를 포함한 유계 제거 거리에 대한 유전적 계열에 대해 최소 차단 집합의 정확한 최대 크기를 규명한다.
• 그래프 계열 C로의 삭제 거리로 파arameterized된 정점 커버에 대해 다항식 커널화가 존재하기 위한 필요 및 충분 조건을, 유계 차단 집합 크기 이외의 조건으로 설정한다.
• 모듈레이터 여집합 내 연결 컴포넌트 수를 O(|X|^d)로 효율적으로 감소시키는 전처리 절차를 개발한다.
• 정수 및 분수 정점 커버 크기가 일치하는 CLP(비유전적 계열)와 같은 비유전적 계열로의 확장에서, (CLP, d)-모듈레이터를 사용하여 커널화 결과를 확장한다.

제안 방법

• 최소 정점 커버에 포함되지 않는 집합으로서의 차단 집합을 정의하며, 포함 관계에 대한 최소 차단 집합에 중점을 둔다.
• 그래프 계열 C로의 제거 거리를 구조적 매개변수로 도입하여 트리깊이 및 기타 계층 기반 매개변수를 일반화한다.
• NP ⊆ coNP/poly에 기반한 하한 감소를 사용하여, C 내 최소 차단 집합 크기가 다항식 커널화에 필수적임을 증명한다.
• C가 강건하고 차단 집합이 계산 가능할 경우, G−X 내 연결 컴포넌트 수를 O(|X|^d)로 효율적으로 감소시키는 알고리즘을 개발한다.
• Nemhauser-Trotter 정리와 선형계획법(LP) 근사 기법을 사용하여 반정수 해를 분석하고 OPT(G)−LP(G)의 상한을 유도한다.
• 제거 거리와 차단 집합 크기의 결과를 조합하여 (CLP, d)-모듈레이터가 정점 커버에 대해 랜덤화된 다항식 커널을 유도함을 보인다.

실험 결과

연구 질문

• RQ1 그래프 계열 C에 대해 최소 차단 집합 크기가 다항식 커널화에 필수적이며 충분한가? 즉, C로의 삭제 거리로 파arameterized된 정점 커버에 대해 다항식 커널화가 존재하기 위해 C 내 최소 차단 집합 크기가 필요하고 충분한가?
• RQ2 유전적 그래프 계열 C로의 제거 거리가 d인 그래프에서 최소 차단 집합의 정확한 최대 크기는 얼마인가?
• RQ3 CLP는 정수 및 분수 정점 커버 크기가 일치하는 그래프 계열이므로, (CLP, d)-모듈레이터의 크기로 파arameterized된 정점 커버에 대해 다항식 커널화가 달성 가능한가?
• RQ4 C로의 제거 거리는 트리깊이 및 기타 구조적 매개변수를 어떻게 일반화하여 커널화를 가능하게 하는가?
• RQ5 C에 대해 강건성과 차단 집합의 계산 가능성과 같은 온건한 가정 하에 컴포넌트 감소 단계를 효율적이고 날카로운 방식으로 수행할 수 있는가?

주요 결과

• 그래프 계열 C에 대해 최소 차단 집합 크기가 다항식 커널화에 필수적이지만 충분하지 않다. 즉, 삭제 거리로 파arameterized된 정점 커버에 대해 다항식 커널화가 존재하기 위해 C 내 최소 차단 집합 크기가 필요하지만 충분하지 않다.
• 유전적 계열 C로의 제거 거리가 d인 그래프에서 최소 차단 집합의 최대 크기는 정확히 d+1이며, 이러한 모든 계열에 대해 날카로운 상한이 성립한다.
• 비유전적 계열인 CLP와 같은 경우 최대 차단 집합 크기는 최대 2d이며, 이는 더 약한 상한이지만 여전히 유용하다.
• 정점 커버가 (CLP, d)-모듈레이터의 크기로 파arameterized될 경우 랜덤화된 다항식 커널이 존재하며, 이는 이전 결과들을 포함하고 일반화한다.
• C가 강건하고 차단 집합이 계산 가능할 경우, G−X 내 연결 컴포넌트 수를 다항식 시간 내에 O(|X|^d)로 감소시킬 수 있으며, 이는 알려진 하한과 일치한다.
• 최적의 (CLP, d)-모듈레이터의 크기는 정수 및 분수 정점 커버 크기의 차이의 두 배 이내이며, d-트리깊이 모듈레이터의 크기 이내이다.