[논문 리뷰] Graph Homomorphism Reconfiguration and Frozen $H$-Colourings

Richard C. Brewster, Jae-baek Lee외 3명|arXiv (Cornell University)|2017. 12. 01.

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

한 줄 요약

이 논문은 $H$-색칠의 재구성 문제의 PSPACE-완전성을 증명하며, 이는 $H$가 홀수 휠일 경우에 해당하고, 냉각되지 않은 $H$-색칠의 존재에 대한 완전한 이분법을 제공한다—즉, 그래프 $G$가 냉각되지 않은 $H$-색칠을 가질 조건은 $H$가 $H'$의 구성요소가 아니며 냉각되지 않은 구성요소를 포함할 때이다. 결과들은 특정 다항형태의 부재를 통해 NP-완전성이 입증된 제약만족문제(CSP)로의 감소에 기반한다.

ABSTRACT

For a fixed graph $H$, the reconfiguration problem for $H$-colourings (i.e. homomorphisms to $H$) asks: given a graph $G$ and two $H$-colourings $φ$ and $ψ$ of $G$, does there exist a sequence $f_0,\dots,f_m$ of $H$-colourings such that $f_0=φ$, $f_m=ψ$ and $f_i(u)f_{i+1}(v)\in E(H)$ for every $0\leq i

연구 동기 및 목표

• 고정된 그래프 $H$에 대한 호모모르피즘의 $H$-재구성 문제의 계산 복잡도를 규명하는 것, 특히 $H$가 홀수 휠일 경우에 중점을 두는 것.
• 냉각되지 않은 $H$-색칠—다른 서로 다른 $H$-색칠로 재구성할 수 없는 $H$-색칠—의 존재를 특성화하는 것.
• 냉각되지 않은 $H$-색칠의 존재에 대한 $H$의 구조적 성질에 기반한 완전한 이분법을 확립하는 것.
• 재구성 복잡도와 제약만족문제에서의 다항형태 존재 간의 관계를 탐색하는 것.
• 재구성 그래프 $\mathbf{Hom}(G,H)$의 구성요소의 지름을 연구하며, 이는 재구성 문제의 NP-완전성에 영향을 미친다.

제안 방법

• 특정 다항형태의 부재를 통해 NP-완전성이 입증된 제약만족문제(CSP)로의 감소.
• 재구성 역학을 모델링하기 위해 보조 그래프 $H'$와 $J$를 구성하며, 비이분형 성질을 가진 구성요소에 특별히 초점을 맞춘다.
• 사영 사상과 국소적 전사성을 사용하여 $H$-색칠 하에서 이웃의 상을 분석한다.
• 레마 3.7의 적용을 통해 모든 정점의 이웃의 상이 식별 집합 $\mathcal{D}$에 포함될 경우 색칠이 냉각된다는 것을 보여준다.
• $H'$의 구성요소와 그들의 $\tilde{J}$ 상의 라이프가 구조적 제약을 유지함을 확보하기 위해 코로나리얼 3.4와 레마 3.21(b)를 활용한다.
• $H$가 $H'$에 속하지 않는 $K_2$ 구성요소를 포함할 경우 냉각 색칠의 존재를 배제하기 위해 모순에 의한 증명을 사용한다. 이는 $\tilde{J}$의 구성요소가 비이분형임을 이용한다.

실험 결과

연구 질문

• RQ1 $H$가 홀수 휠일 경우 $H$-재구성 문제의 PSPACE-완전성은 성립하는가?
• RQ2 $H$가 어떤 그래프일 경우 그래프 $G$가 냉각되지 않은 $H$-색칠을 가질 수 있는가?
• RQ3 $H$의 어떤 구조적 성질이 냉각되지 않은 $H$-색칠이 어떤 $G$에서 존재할 수 있는지를 결정하는가?
• RQ4 다항형태의 존재는 $H$-재구성 문제에서 다항식 시간 가능성을 특성화하는 데 사용될 수 있는가?
• RQ5 $\mathbf{Hom}(G,H)$의 구성요소의 지름이 모든 $H$에 대해 $|V(G)|$에 대해 다항식으로 증가하는가?

주요 결과

• $H$가 홀수 휠일 경우 $H$-재구성 문제의 PSPACE-완전성이 성립한다.
• 그래프 $G$가 냉각되지 않은 $H$-색칠을 가질 조건은 $H$가 $H'$의 구성요소가 아니며 냉각되지 않은 구성요소를 포함할 때이다. 여기서 $H'$는 $H$에서 모든 냉각 구성요소를 제거한 그래프이다.
• 냉각되지 않은 $H$-색칠의 존재는 $H$의 구조적 특성에 기반하여 다항식 시간 내에 결정 가능하다.
• 기초가 되는 CSP의 NP-완전성 증명은 특정 다항형태의 부재에 기반하며, 이는 보편 대수 기법을 통해 난이도를 입증한다.
• $\tilde{J}$의 구성요소는 비이분형이므로, $H$가 $H'$에 속하지 않는 $K_2$ 구성요소를 포함할 경우 특정 $H$-색칠의 존재를 배제한다. 이는 이러한 $H$가 냉각 색칠을 가질 수 없음을 의미한다.
• 일부 $H$에 대해서는 재구성 그래프 $\mathbf{Hom}(G,H)$의 지름이 초다항식으로 증가할 수 있으며, 이는 $k \geq 4$인 $K_k$에 대한 이전 결과로 입증되었다. 이는 $H$-재구성 문제가 구성요소의 지름이 다항식으로 유계일 경우에만 NP에 속할 수 있음을 시사한다.