[논문 리뷰] Finding Cuts of Bounded Degree: Complexity, FPT and Exact Algorithms, and Kernelization

Guilherme C. M. Gomes, Ignasi Sau|arXiv (Cornell University)|2019. 01. 01.

Advanced Graph Theory Research인용 수 3

한 줄 요약

이 논문은 각 정점이 정점 분할을 가로질러 최대 d개의 이웃을 가진 Matching Cut 문제의 일반화인 d-Cut 문제를 도입하고 연구한다. 트리너비, 클러스터 거리, 기타 구조적 파라미터에 기반한 FPT 알고리즘을 제시하고, 클러스터 거리에 기반한 다항식 커널을 제공하며, (2d+2)-정규 그래프에서의 NP-난이도를 증명한다. 주요 기여는 클러스터 거리에 기반한 d-Cut에 대해 크기 O(d²dc(G)²ᵈ⁺¹)의 다항식 커널을 제공함으로써 기존 Matching Cut 결과를 향상시킨 것이다.

ABSTRACT

A matching cut is a partition of the vertex set of a graph into two sets A and B such that each vertex has at most one neighbor in the other side of the cut. The Matching Cut problem asks whether a graph has a matching cut, and has been intensively studied in the literature. Motivated by a question posed by Komusiewicz et al. [IPEC 2018], we introduce a natural generalization of this problem, which we call d-Cut: for a positive integer d, a d-cut is a bipartition of the vertex set of a graph into two sets A and B such that each vertex has at most d neighbors across the cut. We generalize (and in some cases, improve) a number of results for the Matching Cut problem. Namely, we begin with an NP-hardness reduction for d-Cut on (2d+2)-regular graphs and a polynomial algorithm for graphs of maximum degree at most d+2. The degree bound in the hardness result is unlikely to be improved, as it would disprove a long-standing conjecture in the context of internal partitions. We then give FPT algorithms for several parameters: the maximum number of edges crossing the cut, treewidth, distance to cluster, and distance to co-cluster. In particular, the treewidth algorithm improves upon the running time of the best known algorithm for Matching Cut. Our main technical contribution, building on the techniques of Komusiewicz et al. [IPEC 2018], is a polynomial kernel for d-Cut for every positive integer d, parameterized by the distance to a cluster graph. We also rule out the existence of polynomial kernels when parameterizing simultaneously by the number of edges crossing the cut, the treewidth, and the maximum degree. Finally, we provide an exact exponential algorithm slightly faster than the naive brute force approach running in time O^*(2^n).

연구 동기 및 목표

• 각 정점이 분할을 가로질러 최대 d개의 이웃을 가진 d-Cut으로 Matching Cut 문제를 일반화한다.
• 트리너비, 클러스터 거리, 정점 커버 등의 구조적 파라미터에 대해 d-Cut의 매개변수화 복잡도를 조사한다.
• d-Cut에 대해 효율적인 FPT 및 정확한 지수 시간 알고리즘을 개발한다.
• 커널화 결과를 수립하며, 특히 클러스터 거리에 기반한 다항식 커널과 특정 복합 파라미터 하에서의 다항식 커널 존재 불가를 포함한다.

제안 방법

• 클러스터의 구조와 컷에 속한 정점의 차수 제약 조건에 기반한 새로운 분할 및 축소 프레임워크를 제안한다.
• Komusiewicz 등 [IPEC 2018]의 기법을 응용하여, 클러스터 거리에 기반한 d-Cut에 대해 크기 O(d²dc(G)²ᵈ⁺¹)의 다항식 커널을 유도한다.
• 클러스터의 크기와 그 이분할에 대한 동적 프로그래밍 및 케이스 분석을 통해 탐색 공간을 제한한다.
• 트리너비 기반 알고리즘을 적용하여, Matching Cut에 대해 기존에 알려진 최선의 실행 시간을 향상시킨다.
• 클러스터 그래프로의 축소를 적용하고, 잔류 정점들을 유한 크기의 집합에서 완전 탐색을 통해 처리한다.
• 케이스 분석과 구조적 분해의 조합을 통해 후보 분할의 수를 제한한다.

실험 결과

연구 질문

• RQ1 최대 차수 2d+2인 그래프에서 d-Cut이 NP-난이도인지 여부와, 이 경계를 향상시킬 수 있는지 여부?
• RQ2 d-Cut이 클러스터 거리에 기반해 다항식 커널을 가질 수 있으며, 그 크기는 얼마인가?
• RQ3 d-Cut이 트리너비, 클러스터 거리, 교차 간선 수 등의 파라미터에 대해 FPT 알고리즘을 갖는가?
• RQ4 d-Cut에 대한 정확한 지수 시간 알고리즘의 실행 시간을 기존의 O*(2ⁿ) 접근 방식을 초월해 향상시킬 수 있는가?
• RQ5 d에 독립적으로 작동하는 일관된 다항식 커널이 d-Cut이 클러스터 거리에 기반해 매개변수화되었을 때 존재하는가?

주요 결과

• d-Cut은 (2d+2)-정규 그래프에서 NP-난이도이며, 내부 분할 추측과의 연결으로 인해 이 경계를 향상시키기 어려울 것으로 예상된다.
• d-Cut이 클러스터 거리에 기반해 크기 O(d²dc(G)²ᵈ⁺¹)의 다항식 커널을 가지며, 이는 이 문제에 대해 처음으로 제시된 커널이다.
• d-Cut에 대한 트리너비 기반 FPT 알고리즘은 O*(12^tw(G)) 시간에 실행되며, Matching Cut에 대해 기존에 알려진 최선의 알고리즘보다 향상된다.
• d-Cut에 대한 정확한 지수 시간 알고리즘은 O*(2ⁿ) 시간에 실행되며, 단순한 브루트 포스 접근 방식보다 略로 빠르다.
• 교차 간선 수, 트리너비, 최대 차수를 동시에 매개변수로 삼을 경우, d-Cut에 다항식 커널이 존재하지 않으며, NP ⊆ coNP/poly가 성립하지 않는 한 그러한 커널은 존재하지 않는다.
• 최대 차수 d+3에서 2d+1 사이인 그래프에 대해서는 여전히 미해결 상태이며, 특히 d=2이고 Δ(G)=5인 경우가 특히 해결되지 않은 상태이다.