[논문 리뷰] Structural Parameterizations for Two Bounded Degree Problems Revisited

Michael Lampis, Manolis Vasilakis|arXiv (Cornell University)|2023. 01. 01.

Advanced Graph Theory Research인용 수 4

한 줄 요약

이 논문은 트리너비, 경로너비, 트리깊이, 정점커버와 같은 핵심 구조적 파라미터에 대해 유계 차수 정점 삭제 및 열악한 색칠 문제의 종합적인 복잡도 분석을 제공한다. SETH 및 ETH 기반의 감소를 통해, 표준 동적 프로그래밍 알고리즘의 표 크기 $(\Delta+2)^{tw}$ 및 $(\chi_d(\Delta+1))^{tw}$ 가 트리너비와 경로너비에 대해 본질적으로 최적임을 보이며, 트리깊이나 정점커버와 같은 더 제한적인 파라미터일지라도 더 빠른 알고리즘이 존재하지 않음을 입증함으로써, 이러한 문제들에 대한 복잡도 갭을 완전히 닫는다.

ABSTRACT

We revisit two well-studied problems, Bounded Degree Vertex Deletion and Defective Coloring, where the input is a graph $G$ and a target degree $Δ$ and we are asked either to edit or partition the graph so that the maximum degree becomes bounded by $Δ$. Both are known to be parameterized intractable for treewidth. We revisit the parameterization by treewidth, as well as several related parameters and present a more fine-grained picture of the complexity of both problems. Both admit straightforward DP algorithms with table sizes $(Δ+2)^\mathrm{tw}$ and $(χ_\mathrm{d}(Δ+1))^{\mathrm{tw}}$ respectively, where tw is the input graph's treewidth and $χ_\mathrm{d}$ the number of available colors. We show that both algorithms are optimal under SETH, even if we replace treewidth by pathwidth. Along the way, we also obtain an algorithm for Defective Coloring with complexity quasi-linear in the table size, thus settling the complexity of both problems for these parameters. We then consider the more restricted parameter tree-depth, and bridge the gap left by known lower bounds, by showing that neither problem can be solved in time $n^{o(\mathrm{td})}$ under ETH. In order to do so, we employ a recursive low tree-depth construction that may be of independent interest. Finally, we show that for both problems, an $\mathrm{vc}^{o(\mathrm{vc})}$ algorithm would violate ETH, thus already known algorithms are optimal. Our proof relies on a new application of the technique of $d$-detecting families introduced by Bonamy et al. Our results, although mostly negative in nature, paint a clear picture regarding the complexity of both problems in the landscape of parameterized complexity, since in all cases we provide essentially matching upper and lower bounds.

연구 동기 및 목표

• 트리너비, 경로너비, 트리깊이, 정점커버와 같은 널리 사용되는 구조적 파라미터에 대해 유계 차수 정점 삭제 및 열악한 색칠 문제의 정확한 매개변수화된 복잡도를 규명하는 것.
• 기존 표준 동적 프로그래밍에 의한 상계와 하계 사이의 갭을 메우기 위해 엄밀한 복잡도 결과를 도출하는 것.
• 특히 더 제한적인 파라미터를 사용할 경우 표준 DP 접근법보다 더 나은 알고리즘이 존재하는지 조사하는 것.
• 특히 $\Delta$, $\chi_d$, 정점커버 크기 등의 의존성에 관해 기존 알고리즘의 최적성에 대한 열린 질문을 해결하는 것.

제안 방법

• SETH 기반 감소를 설계하여, 트리너비와 경로너비에 대해 표준 DP 표 크기 이외의 개선이 불가능함을 보이며, 고정된 $\Delta$ 에 대해서도 마찬가지임을 입증한다.
• 트리깊이에 대한 ETH 기반 하계 경계를 확립하기 위해 재귀적 저트리깊이 구조를 도입하여, $n^{o(td)}$ 알고리즘이 존재하지 않음을 증명한다.
• d-검출 가족을 적용하여, 정점커버 기반 알고리즘에서 $vc^{o(vc)}$ 의 의존성을 가지는 것은 ETH 위반을 야기하므로, 기존의 $vc^{O(vc)}$ 알고리즘이 최적임을 입증한다.
• FFT 기법을 사용하여 표 크기 기반의 준선형 시간 알고리즘을 개발하여, 오랫동안 남아있던 표 크기 의존성에 관한 복잡도 문제를 해결한다.
• 기존의 정점커버 및 색칠 문제에 대한 연구를 일반화하는 새로운 감소 프레임워크를 개발하여, $\Delta$ 및 $\chi_d$ 의 비자명한 값들, 즉 $\Delta=1$ 을 포함한 모든 경우를 다룰 수 있도록 한다.
• 정확히 구성된 그래프 기반 도구를 통해 $(\chi_d, \Delta)$-색칠 가능성이 (3,4)-XSAT 인스턴스의 만족 가능한 할당과 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 SETH 하에, 경로너비에 대해 매개변수화되었을 때, 유계 차수 정점 삭제 문제에 대해 표준 동적 프로그래밍 알고리즘이 SETH에 비해 개선될 수 있는가, 즉 고정된 $\Delta$ 에 대해서도 마찬가지인가?
• RQ2 SETH 하에, 경로너비에 대해 매개변수화되었을 때, 열악한 색칠 문제에 대해 $\varepsilon > 0$ 에 대해 $(\chi_d(\Delta+1) - \varepsilon)^{pw} n^{O(1)}$ 시간 내에 해결할 수 있는 알고리즘이 존재하는가?
• RQ3 기존 하계 경계가 더 약한데도 불구하고, 트리깊이에 대해 매개변수화되었을 때 유계 차수 정점 삭제 또는 열악한 색칠 문제에 대해 더 빠른 알고리즘이 존재하는가?
• RQ4 열악한 색칠 문제에 대해 정점커버 기반 알고리즘에서 $vc^{O(vc)}$ 의 의존성을 $vc^{o(vc)}$ 로 개선할 수 있는가, ETH 위반 없이?
• RQ5 표 크기 $(\chi_d(\Delta+1))^{tw}$ 기반으로 열악한 색칠 문제에 대해 준선형 시간 알고리즘이 존재하는가?

주요 결과

• SETH 하에, 경로너비에 대해 매개변수화되었을 때, $\varepsilon > 0$ 에 대해 $(\Delta+2 - \varepsilon)^{pw} n^{O(1)}$ 시간 내에 유계 차수 정점 삭제 문제를 해결할 수 있는 알고리즘은 존재하지 않으며, 고정된 $\Delta$ 에 대해서도 마찬가지이다.
• SETH 하에, 경로너비에 대해 매개변수화되었을 때, $\varepsilon > 0$ 에 대해 $(\chi_d(\Delta+1) - \varepsilon)^{pw} n^{O(1)}$ 시간 내에 열악한 색칠 문제를 해결할 수 있는 알고리즘은 존재하지 않으며, 고정된 $\chi_d$ 와 $\Delta$ 에 대해서도 마찬가지이다.
• 표 크기 $(\chi_d(\Delta+1))^{tw}$ 를 가진 열악한 색칠 문제의 표준 DP 알고리즘이 최적임을 입증하였으며, 이는 FFT 기법을 사용하여 표 크기 기반 준선형 시간 알고리즘을 구성함으로써 확인된다.
• ETH 하에, 트리깊이에 대해 매개변수화되었을 때, $n^{o(td)}$ 시간 내에 유계 차수 정점 삭제 문제를 해결할 수 있는 알고리즘은 존재하지 않으며, 이는 이전 감소가 $n^{o(\sqrt[4]{td})}$ 만을 암시했지만, 실제로는 더 강력한 하계 경계임을 의미한다.
• ETH 하에, 트리깊이에 대해 매개변수화되었을 때, 열악한 색칠 문제에 대해 $n^{o(\sqrt{td})}$ 시간 내에 해결할 수 있는 알고리즘은 존재하지 않으며, 새로운 선형 크기 증가 감소를 통해 이 경계는 $n^{o(td)}$ 로 강화된다.
• 열악한 색칠 문제에 대해 $vc^{o(vc)}$ 의 의존성을 가지는 알고리즘은 ETH 위반을 야기하므로, 기존의 $vc^{O(vc)}$ 알고리즘이 이 조건 하에 최적임을 입증한다.