[논문 리뷰] Dual Parameterization of Weighted Coloring

Júlio Aráujo, Víctor Campos외 4명|arXiv (Cornell University)|2018. 01. 01.

Advanced Graph Theory Research인용 수 2

한 줄 요약

이 논문은 가중 색칠 문제의 이중 매개변수화를 제안하며, 목표는 가중 크로마틱 수 σ(G, w)가 총 가중치에서 매개변수 k만큼 빼기 이하인지 여부를 판단하는 것이다. 9^k · n^O(1) 시간에 실행되는 FPT 알고리즘, 최대 (2k−1 + 1)(k−1)개의 정점으로 구성된 커널, 그리고 간격 그래프와 특정 스플릿 그래프에 대해서는 다항식 커널을 제시하며, 일반 스플릿 그래프에 대해서는 다항식 커널이 존재하지 않음을 입증한다. 이는 NP ⊆ coNP/poly가 성립하지 않는 한 성립한다.

ABSTRACT

Given a graph $G$, a proper $k$-coloring of $G$ is a partition $c = (S_i)_{i\in [1,k]}$ of $V(G)$ into $k$ stable sets $S_1,\ldots, S_{k}$. Given a weight function $w: V(G) o \mathbb{R}^+$, the weight of a color $S_i$ is defined as $w(i) = \max_{v \in S_i} w(v)$ and the weight of a coloring $c$ as $w(c) = \sum_{i=1}^{k}w(i)$. Guan and Zhu [Inf. Process. Lett., 1997] defined the weighted chromatic number of a pair $(G,w)$, denoted by $\sigma(G,w)$, as the minimum weight of a proper coloring of $G$. The problem of determining $\sigma(G,w)$ has received considerable attention during the last years, and has been proved to be notoriously hard: for instance, it is NP-hard on split graphs, unsolvable on $n$-vertex trees in time $n^{o(\log n)}$ unless the ETH fails, and W[1]-hard on forests parameterized by the size of a largest tree. In this article we provide some positive results for the problem, by considering its so-called dual parameterization: given a vertex-weighted graph $(G,w)$ and an integer $k$, the question is whether $\sigma(G,w) \leq \sum_{v \in V(G)} w(v) - k$. We prove that this problem is FPT by providing an algorithm running in time $9^k \cdot n^{O(1)}$, and it is easy to see that no algorithm in time $2^{o(k)} \cdot n^{O(1)}$ exists under the ETH. On the other hand, we present a kernel with at most $(2^{k-1}+1) (k-1)$ vertices, and we rule out the existence of polynomial kernels unless ${\sf NP} \subseteq {\sf coNP} / {\sf poly}$, even on split graphs with only two different weights. Finally, we identify some classes of graphs on which the problem admits a polynomial kernel, in particular interval graphs and subclasses of split graphs, and in the latter case we present lower bounds on the degrees of the polynomials.

연구 동기 및 목표

• 가중 색칠 문제의 계산적 난이도를 이중 매개변수화를 통해 다루기 위해 제안한다.
• 정점 가중치 그래프 (G, w)와 정수 k에 대해 σ(G, w) ≤ Σw(v) − k 여부를 판단하는 데 있어 매개변수 복잡도를 연구한다.
• 문제가 다항식 커널을 가질 수 있는 그래프 클래스를 규명하고, 커널 크기의 날카로운 하한을 설정한다.
• 표준 복잡도 가정 하에 FPT 알고리즘과 커널화 한계를 포함한 종합적인 복잡도 분석을 제공한다.

제안 방법

• 총 정점 가중치에서의 부족분을 측정하는 매개변수 k를 사용한 이중 매개변수화를 제안한다.
• 제한된 탐색과 색 클래스 분해를 활용한 FPT 알고리즘 설계로, 9^k · n^O(1) 시간에 실행된다.
• 최대 클리크와 색 클래스에 기반한 감소 규칙을 사용하여, 최대 (2k−1 + 1)(k−1)개의 정점으로 그래프를 축소하는 커널화 알고리즘을 개발한다.
• 간격 그래프와 스플릿 그래프에 대해 구조적 그래프 분해 기법을 적용하며, 클리크-안정집합 구조를 활용한다.
• 커널 하한을 입증하기 위해 Set Cover 및 d-Set Cover로의 감소를 사용하며, NP ⊆ coNP/poly를 가정한다.
• 이론적 한계에 도달하는 명시적 구성 방법을 통해 커널 경계의 날카로움을 입증한다.

실험 결과

연구 질문

• RQ1 가중 색칠 문제는 이중 매개변수화 하에서 고정 매개변수 다항 시간(FPT) 알고리즘을 갖는가?
• RQ2 간격 그래프 및 스플릿 그래프에서 이중 매개변수화 가중 색칠 문제의 최적 커널 크기는 무엇인가?
• RQ3 밀도가 높은 그래프 클래스, 예를 들어 스플릿 그래프와 간격 그래프에서 이중 매개변수화가 다항식 커널을 허용하는가?
• RQ4 FPT 알고리즘의 실행 시간은 향상시킬 수 있으며, 초기 시간 가설(Exponential Time Hypothesis) 하에서의 한계는 무엇인가?
• RQ5 특히 스플릿 그래프에서 커널화에 내재된 제약 조건은 무엇인가?

주요 결과

• 이중 가중 색칠 문제는 9^k · n^O(1) 시간에 실행되는 FPT 알고리즘을 갖는다. ETH가 성립하지 않는 한, 2^o(k) · n^O(1) 시간에 실행되는 알고리즘은 존재하지 않는다.
• 최대 (2k−1 + 1)(k−1)개의 정점으로 구성된 커널이 존재하며, 이 경계는 명시적 그래프 구성으로 날카로움을 입증한다.
• 간격 그래프에 대해서는 다항식 커널이 존재하며, 크기가 O(k^3)인 삼차 커널이 존재하며, 이 경계는 날카롭다.
• 각 클리크 정점이 안정집합 내에서 최대 d개의 비이웃을 갖는 스플릿 그래프에 대해서는 크기 O(k^d)의 커널이 존재하며, O(k^{d−3/2−ε}) 크기의 커널은 존재하지 않는다. 이는 NP ⊆ coNP/poly가 성립하지 않는 한 성립한다.
• 일반 스플릿 그래프에 대해서는 다항식 커널이 존재하지 않으며, 이는 두 가지의 서로 다른 가중치만 존재하더라도 마찬가지다. 이는 NP ⊆ coNP/poly가 성립하지 않는 한 성립한다.
• 커널 크기 경계는 구성 방법을 통해 날카로움을 입증되었으며, 이는 이론적 한계에 도달하고, 커널화 규칙에 의해 더 이상 축소되지 않는다.