[논문 리뷰] Full Complexity Classification of the List Homomorphism Problem for Bounded-Treewidth Graphs

Karolina Okrasa, Marta Piecyk외 1명|arXiv (Cornell University)|2020. 01. 01.

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

한 줄 요약

이 논문은 유계 트리폭을 가진 그래프에서 리스트 호모모르피즘 문제(LHom(H))의 복잡도를 완전히 분류하며, 모든 비이단조인(target) 그래프 H에 대해 트리폭에 대한 지수적 의존도에 대한 날카운 상한과 하한을 확립한다. 이는 강력한 지수적 시간 가설(SETH)을 가정할 때, 각 H에 대해 상수 k(H)가 존재하여 LHom(H)가 시간 k(H)^t · n^O(1) 내에 해결 가능하며, 임의의 ε>0에 대해 (k(H)−ε)^t · n^O(1) 이하의 시간으로는 해결할 수 없다는 것을 증명한다.

ABSTRACT

A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$. Let $H$ be a fixed graph with possible loops. In the list homomorphism problem, denoted by LHom($H$), we are given a graph $G$, whose every vertex $v$ is assigned with a list $L(v)$ of vertices of $H$. We ask whether there exists a homomorphism $h$ from $G$ to $H$, which respects lists $L$, i.e., for every $v \in V(G)$ it holds that $h(v) \in L(v)$. The complexity dichotomy for LHom($H$) was proven by Feder, Hell, and Huang [JGT 2003]. We are interested in the complexity of the problem, parameterized by the treewidth of the input graph. This problem was investigated by Egri, Marx, and Rzążewski [STACS 2018], who obtained tight complexity bounds for the special case of reflexive graphs $H$. In this paper we extend and generalize their results for \emph{all} relevant graphs $H$, i.e., those, for which the LHom{H} problem is NP-hard. For every such $H$ we find a constant $k = k(H)$, such that LHom($H$) on instances with $n$ vertices and treewidth $t$ * can be solved in time $k^{t} \cdot n^{\mathcal{O}(1)}$, provided that the input graph is given along with a tree decomposition of width $t$, * cannot be solved in time $(k-\varepsilon)^{t} \cdot n^{\mathcal{O}(1)}$, for any $\varepsilon >0$, unless the SETH fails. For some graphs $H$ the value of $k(H)$ is much smaller than the trivial upper bound, i.e., $|V(H)|$. Obtaining matching upper and lower bounds shows that the set of algorithmic tools we have discovered cannot be extended in order to obtain faster algorithms for LHom($H$) in bounded-treewidth graphs. Furthermore, neither the algorithm, nor the proof of the lower bound, is very specific to treewidth. We believe that they can be used for other variants of LHom($H$), e.g. with different parameterizations.

연구 동기 및 목표

• 트리폭을 매개변수로 하는 리스트 호모모르피즘 문제(LHom(H))의 매개변수 복잡도를 완전히 분류하는 것.
• 기존의 반사적 그래프에 대한 연구를 모든 비이단조인 타겟 그래프 H로 확장하여, LHom(H)가 NP-난해임을 증명하는 것.
• 각 H에 대해 트리폭에 대한 지수적 의존도를 k(H)^t · n^O(1) 형태로 정확한 상한과 하한을 확립하는 것.
• 개발된 알고리즘 도구가 더 이상 향상될 수 없음을 보여주며, 현재 기법의 한계를 나타내는 것.

제안 방법

• 저자들은 임의의 비이단조인 그래프 H에 대해 NEQ(S)-기구를 새로운 방식으로 구성하여 리스트 호모모르피즘에서 두 정점 간의 부등식을 강제한다.
• 기존의 기구 구성(예: 식별기 및 간선 기구)을 비이단조인 그래프 전역으로 일반화하여, 분해 불가능한 그래프 및 강한 스플릿 그래프를 포함한 모든 비이단조인 그래프에 대해 작동하도록 한다.
• 상태 공간이 k(H)^t 이하가 되는 트리 분해에서의 동적 계획법을 사용하여 알고리즘을 설계하며, k(H)는 H의 구조적 성질에서 유도된다.
• 하한은 SETH 기반의 CNF-SAT로의 축소를 통해 확립되며, 변수 및 절의 구조를 타겟 그래프 H에서 시뮬레이션하는 데 정교하게 설계된 기구를 사용한다.
• H의 구조적 불변량(예: 이웃 비포함성 및 특정 유도 부분그래프의 존재)을 식별하는 데 의존한다.
• H∗(H의 반사적 폐쇄)의 코어로의 축소를 활용하여, 분해 불가능한 그래프에 대한 기존 결과를 활용한다.

실험 결과

연구 질문

• RQ1 H가 비이단조인 그래프일 경우, LHom(H) 문제에 대한 트리폭에 대한 최적의 지수적 의존도는 무엇인가?
• RQ2 반사적 그래프에 국한되지 않고, 모든 비이단조인 타겟 그래프 H에 대해 날카운 상한과 하한을 확립할 수 있는가?
• RQ3 NEQ(S)-기구를 기반으로 한 알고리즘 프레임워크는 최적인가, 아니면 향상시킬 수 있는가?
• RQ4 이러한 기법은 비리스트 호모모르피즘 또는 국소적으로 전사적인 호모모르피즘과 같은 그래프 호모모르피즘 문제의 다른 변종으로 확장할 수 있는가?
• RQ5 컷위드 매개변수 역시 트리폭과 마찬가지로 LHom(H)에 대해 날카운 복잡도 경계를 가질 수 있는가?

주요 결과

• 모든 비이단조인 그래프 H에 대해, 상수 k(H)가 존재하여 트리폭 t를 가진 그래프에서 LHom(H)는 시간 k(H)^t · n^O(1) 내에 해결 가능하다.
• 이 상한은 날카롭다: SETH가 성립하지 않는 한, 임의의 ε>0에 대해 (k(H)−ε)^t · n^O(1) 이하의 시간으로는 해결할 수 없다.
• 많은 그래프 H에 대해 k(H)는 |V(H)|보다 엄격히 작으며, 이는 알고리즘이 브루트 포스 탐색보다 상당히 빠르다는 것을 시사한다.
• NEQ(S)-기구의 구성이 분해 불가능한 그래프 및 강한 스플릿 그래프를 포함한 모든 비이단조인 그래프로 일반화되어, 날카운 경계의 증명이 가능해졌다.
• 하한 구성은 트리폭 특화 기능에 의존하지 않아 강건하며, 다른 매개변수화된 문제에의 응용 가능성을 시사한다.
• 결과적으로 현재 LHom(H)에 대한 유계 트리폭 그래프에서의 알고리즘 도구셋이 최적이며, 더 빠른 알고리즘을 도출하기 위해 확장될 수 없다는 것이 드러났다.