[논문 리뷰] Tight Lower Bounds for List Edge Coloring

Łukasz Kowalik, Arkadiusz Socała|arXiv (Cornell University)|2018. 04. 07.

Advanced Graph Theory Research참고 문헌 12인용 수 3

한 줄 요약

이 논문은 단순 그래프에서 리스트 엣지 색칠 문제에 대해 날카운 하한을 확립하며, Exponential Time Hypothesis (ETH)가 성립하지 않는 한 어떤 알고리즘도 $2^{o(n^2)}$ 시간 내에 이를 해결할 수 없음을 증명한다. 저자들은 $O(n)$개의 정점을 가진 리스트 엣지 색칠 인스턴스로 희박한 3-CNF-SAT 인스턴스를 감소시켜, 엣지 색칠에 대한 표준 $2^m n^{O(1)}$ 알고리즘이 리스트 엣지 색칠로 일반화될 때 속도 저하 없이 적용되며, 이로 인해 하한은 본질적으로 최적임을 보여준다.

ABSTRACT

The fastest algorithms for edge coloring run in time $2^m n^{O(1)}$, where $m$ and $n$ are the number of edges and vertices of the input graph, respectively. For dense graphs, this bound becomes $2^{Θ(n^2)}$. This is a somewhat unique situation, since most of the studied graph problems admit algorithms running in time $2^{O(n\log n)}$. It is a notorious open problem to either show an algorithm for edge coloring running in time $2^{o(n^2)}$ or to refute it, assuming Exponential Time Hypothesis (ETH) or other well established assumption. We notice that the same question can be asked for list edge coloring, a well-studied generalization of edge coloring where every edge comes with a set (often called a list) of allowed colors. Our main result states that list edge coloring for simple graphs does not admit an algorithm running in time $2^{o(n^2)}$, unless ETH fails. Interestingly, the algorithm for edge coloring running in time $2^m n^{O(1)}$ generalizes to the list version without any asymptotic slow-down. Thus, our lower bound is essentially tight. This also means that in order to design an algorithm running in time $2^{o(n^2)}$ for edge coloring, one has to exploit its special features compared to the list version.

연구 동기 및 목표

• 엣지 색칠 알고리즘에 대한 알려진 상계와 추측된 하계 사이의 격차를 메우기 위해.
• 엣지 색칠의 일반화인 리스트 엣지 색칠이 표준 $2^m n^{O(1)}$ 접근보다 더 빠른 알고리즘을 허용하는지 조사하기 위해.
• 표준 엣지 색칠의 $2^{O(n^2)}$ 장벽을 리스트 엣지 색칠에 적용되지 않는 방법을 사용해 깨뜨릴 수 있는지 판단하기 위해.
• Exponential Time Hypothesis (ETH) 하에 단순 그래프에서 리스트 엣지 색칠에 대해 날카운 하한을 확립하기 위해.

제안 방법

• 변수 수가 $O(\sqrt{n})$인 희박한 3-CNF-SAT 인스턴스를 리스트 엣지 색칠 인스턴스로 감소시키기.
• 진리값 할당을 교호적 엣지 색칠을 통해 표현하기 위해 변수 및 절 가젯을 포함한 그래프 $G_r$ 구축하기.
• 변수 할당을 시뮬레이션하고 적절한 색칠을 보장하기 위해 경로상의 리터럴 기반 색상 시퀀스 ($x_i, \neg x_i$) 사용하기.
• 변수의 진리값에 따라 의존하는 특정 엣지 색칠을 통해 절의 만족도를 인코딩하기.
• 모든 엣지가 할당된 색상 목록에서만 색칠되어 적절한 리스트 엣지 색칠을 유지함을 증명하기.
• 리스트 엣지 색칠에 대한 $2^{o(n^2)}$ 알고리즘이 존재할 경우, $ (3,4) $-SAT를 $2^{o(n)}$ 시간 내에 해결할 수 있으며, 이는 ETH 위반을 의미함을 증명하기.

실험 결과

연구 질문

• RQ1 단순 그래프에서 리스트 엣지 색칠은 $2^{o(n^2)}$ 시간 내에 해결될 수 있는가?
• RQ2 엣지 색칠에 대한 $2^m n^{O(1)}$ 알고리즘은 최적인가, 아니면 향상시킬 수 있는가?
• RQ3 표준 엣지 색칠보다 리스트 엣지 색칠이 더 날카운 하한을 보이는가?
• RQ4 ETH 하에 엣지 색칠에 대해 $2^{O(n)}$-시간 알고리즘이 제거될 수 있는가?
• RQ5 엣지 색칠과 리스트 엣지 색칠 간의 구조적 차이가 $2^{O(n^2)}$ 장벽을 깨는 데 일반 기법을 적용하지 못하게 하는 이유는 무엇인가?

주요 결과

• 단순 그래프에서 리스트 엣지 색칠은 Exponential Time Hypothesis (ETH)가 실패하지 않는 한 $2^{o(n^2)}$ 시간 내에 해결될 수 없다.
• $ (3,4) $-SAT에서 리스트 엣지 색칠로의 감소는 변수 수를 유지하며 $O(\sqrt{n})$개의 정점을 가진 인스턴스를 생성한다.
• 엣지 색칠에 대한 표준 $2^m n^{O(1)}$ 알고리즘이 리스트 엣지 색칠로 일반화될 때 점근적 속도 저하 없이 적용되며, 이로 인해 하한이 날카로워진다.
• 엣지 색칠의 $2^{O(n^2)}$ 장벽을 깨는 알고리즘은 색상 대칭성을 활용해야 하며, 리스트 엣지 색칠에서 일반화될 수 없다.
• 이 결과는 리스트 엣지 색칠이 가장 농도 높은 엣지 색칠 인스턴스만큼 계산적으로 어렵고, ETH 하에 더 빠른 알고리즘이 존재하지 않음을 시사한다.
• 구성은 모든 엣지가 색상 목록에서만 색칠되어 있으며, 어떤 정점의 인cidient 엣지도 동일한 색상을 갖지 않도록 보장한다.