[논문 리뷰] List-coloring apex-minor-free graphs

Zdenĕk Dvořák, Robin Thomas|arXiv (Cornell University)|2014. 01. 07.

Advanced Graph Theory Research참고 문헌 17인용 수 6

한 줄 요약

이 논문은 $H$가 $t$-apex 그래프이고 리스트의 크기가 $t+4$ 이상인 $(t+3)$-연결된 $H$-minor-free 그래프에 대한 다항식 시간 알고리즘을 제시한다. 주요 결과는 이 클래스에서 $k \geq t+4$일 때 $k$-list-colorability가 다항식 시간으로 결정 가능하다는 것으로, 연결성 또는 리스트 크기를 줄였을 때의 NP-완전성 결과를 통해 이들의 날카로움이 입증된다.

ABSTRACT

A graph H is t-apex if H-X is planar for some subset X of V(H) of size t. For any integer t>=0 and a fixed t-apex graph H, we give a polynomial-time algorithm to decide whether a (t+3)-connected H-minor-free graph is colorable from a given assignment of lists of size t+4. The connectivity requirement is the best possible in the sense that for every t>=1, there exists a t-apex graph H such that testing (t+4)-colorability of (t+2)-connected H-minor-free graphs is NP-complete. Similarly, the size of the lists cannot be decreased (unless P=NP), since for every t>=1, testing (t+3)-list-colorability of (t+3)-connected K_{t+4}-minor-free graphs is NP-complete.

연구 동기 및 목표

• 고정된 $t$-apex minor을 금지하는 그래프에 대한 리스트-색칠의 계산 복잡도를 규명하는 것.
• 다항식 시간 결정 가능성을 보장하는 최소 연결성 및 리스트 크기 기준을 규명하는 것.
• 연결성 또는 리스트 크기를 줄였을 때의 NP-완전성 결과를 통해 이러한 기준의 날카로움을 입증하는 것.
• 기존의 평면 및 표면에 매립된 그래프에 대한 결과를 $t$-apex-minor-free 그래프의 더 넓은 클래스로 확장하는 것.

제안 방법

• H가 $t$-apex일 때 $H$-minor-free 그래프의 구조적 분해 정리(틀과 바위)를 기반으로 한다.
• 틀 기반의 그래프 분할을 통해 영역(사회와 세포)으로 나누며, 바위와 세포의 구조를 제어한다.
• 존중하는 틀과 중심적 분할을 사용하여 문제적인 하위구조를 분리하고 연결성 제어를 유지한다.
• 정점에서의 재귀적 $t$-확장 기법을 적용하여 구조를 정교화하고 $H$-minor 회피가 유지되도록 한다.
• 구조적 그래프 이론(예: 틀 분해, 바위 분해)의 결과를 리스트-색칠 알고리즘 기법과 융합한다.
• 통제된 분해를 통해 리스트-색칠 문제를 유계 폭의 하위문제로 환원하여 동적 프로그래밍을 가능하게 한다.

실험 결과

연구 질문

• RQ1 어떤 $H$-minor-free 그래프 클래스에서 $k$-list-coloring이 다항식 시간으로 결정 가능한가?
• RQ2 $H$-minor-free 그래프에서 다항식 시간 해법을 보장하기 위해 필요한 최소 연결성과 리스트 크기는 무엇인가?
• RQ3 연결성과 리스트 크기의 기준을 더 좁힐 수 있는가, 이로 인해 문제의 NP-완전성이 발생하지 않는가?
• RQ4 $t$-apex 그래프의 구조는 $minor-closed$ 가족 내 리스트-색칠의 복잡도에 어떻게 영향을 주는가?
• RQ5 $H$-minor-free 그래프의 어떤 구조적 성질이 효율적인 리스트-색칠 알고리즘을 가능하게 하는가?

주요 결과

• 모든 $v$에 대해 $|L(v)| \geq t+4$일 때 $(t+3)$-연결된 $H$-minor-free 그래프의 $L$-색칠 가능성에 대한 다항식 시간 알고리즘이 제시된다.
• 이 알고리즘은 임의의 고정된 $t$-apex 그래프 $H$에 대해 유효하며, 평면 및 표면에 매립된 그래프에 대한 기존 결과를 일반화한다.
• 연결성 요구사항 $t+3$은 날카로운 기준이다: 모든 $t \geq 1$에 대해 $(t+2)$-연결된 $H$-minor-free 그래프의 $(t+4)$-list-colorability를 테스트하는 것은 NP-완전하다.
• 리스트 크기 $t+4$ 역시 날카로운 기준이다: $(t+3)$-연결된 $K_{t+4}$-minor-free 그래프의 $(t+3)$-list-colorability를 테스트하는 것은 NP-완전하다.
• 이 결과는 고정된 표면 $\Sigma$에 매립된 $4$-connected 그래프에 대한 $5$-list-coloring이 다항식 시간으로 결정 가능하다는 것을 암시하지만, 이는 이전 결과보다 약한 것이다.
• 연결성을 $t+2$로 완화하면 $H$가 $t$-apex이더라도 NP-완전성이 발생함을 보이기 위해 새로운 그래프 클래스 $(t,c)$-apex-free가 도입된다.