[논문 리뷰] Improved hardness for H-colourings of G-colourable graphs

Marcin Wrochna, Stanislav Živný|Oxford University Research Archive (ORA) (University of Oxford)|2019. 07. 01.

Advanced Graph Theory Research인용 수 6

한 줄 요약

이 논문은 k-색깔로 칠할 수 있는 그래프를 $\binom{k}{\floor{k/2}} - 1$ 개의 색깔로만 근사적으로 색칠하는 것이 모든 $k \geq 4$ 에 대해 NP-난이도임을 보여, 이는 이전의 지수적이고 선형적 간격을 크게 향상시킨다. 또한, H의 상자 복합체의 위상적 구조만으로도 G-색깔로 칠할 수 있는 그래프의 H-색칠이 NP-난이도인지 여부를 결정할 수 있음을 증명하며, 고착 함자와 기본군의 추론을 사용하여 이전 결과들을 통합하고 확장한다.

ABSTRACT

We present new results on approximate colourings of graphs and, more generally, approximate H-colourings and promise constraint satisfaction problems. First, we show NP-hardness of colouring $k$-colourable graphs with $\binom{k}{\lfloor k/2 floor}-1$ colours for every $k\geq 4$. This improves the result of Bulín, Krokhin, and Opršal [STOC'19], who gave NP-hardness of colouring $k$-colourable graphs with $2k-1$ colours for $k\geq 3$, and the result of Huang [APPROX-RANDOM'13], who gave NP-hardness of colouring $k$-colourable graphs with $2^{k^{1/3}}$ colours for sufficiently large $k$. Thus, for $k\geq 4$, we improve from known linear/sub-exponential gaps to exponential gaps. Second, we show that the topology of the box complex of H alone determines whether H-colouring of G-colourable graphs is NP-hard for all (non-bipartite, H-colourable) G. This formalises the topological intuition behind the result of Krokhin and Opršal [FOCS'19] that 3-colouring of G-colourable graphs is NP-hard for all (3-colourable, non-bipartite) G. We use this technique to establish NP-hardness of H-colouring of G-colourable graphs for H that include but go beyond $K_3$, including square-free graphs and circular cliques (leaving $K_4$ and larger cliques open). Underlying all of our proofs is a very general observation that adjoint functors give reductions between promise constraint satisfaction problems.

연구 동기 및 목표

• 근사 그래프 색칠의 알려진 다항식 시간 알고리즘과 NP-난이도 사이의 격차를 메우기 위해 더 강력한 비가역성 결과를 증명하는 것.
• G-색깔로 칠할 수 있는 그래프의 H-색칠에 대한 약속 제약 만족 문제(PCSP)의 NP-난이도를 H의 위상적 성질에 기반해 특성화하는 것.
• 3-색칠의 NP-난이도를 더 넓은 범주인 H로 일반화하여, 정사각형 없는 그래프와 원형 클리크를 포함한 다양한 H에 대해 적용하는 것.
• 고착 함자와 기본군의 준동형을 사용하여 PCSP 간의 환원을 유도하는 일반적 프레임워크를 수립하는 것.
• 비이분할 H에 대해 H-색칠 문제의 복잡도를 결정하는 데 상자 복합체 위상의 역할을 명확히 하는 것.

제안 방법

• 고착 함자를 활용하여 약속 제약 만족 문제 간의 환원을 구성함으로써, 다양한 PCSP 인스턴스 간에 난이도를 전달할 수 있도록 하는 것.
• 몫 공간 $|\mathrm{Box}(H)|_{/\mathbb{Z}_2}$ 의 기본군을 사용하여 $\mathbb{Z}_2$-사상이 $\mathcal{S}^1$ 으로 존재하는지 분석함으로써, NP-난이도를 위한 위상 조건을 특성화하는 것.
• 피복 공간 이론을 적용하여, $|\mathrm{Hom}(K_2, H)|$ 에서 $\mathcal{S}^1$ 으로의 $\mathbb{Z}_2$-사상이 존재하는 것은 $\pi_1(|\mathrm{Box}(H)|_{/\mathbb{Z}_2})$ 에서 $\mathbb{Z}$ 로의 군 준동형 $f$ 가 $\mathbb{Z}_2$-행동을 유지하는 것과 필요충분 조건임을 보이는 것.
• 닫힌 산책로의 동치류를 배경 이동과 4-사이클에 모듈로하여 조합적으로 간선길군을 정의함으로써, $|\mathrm{Box}(H)|_{/\mathbb{Z}_2}$ 의 기본군에 대한 구체적 실현을 제공하는 것.
• 그러한 준동형이 존재하면 $\mathrm{Pol}(C_n, H)$ 가 유한한 본질적 차수를 가진 민터의 준동형을 갖는다는 것을 증명함으로써, $\mathrm{PCSP}(C_n, H)$ 가 NP-난이도임을 이끌어내는 것.
• 단지 $|\mathrm{Hom}(K_2, H)|$ 가 $|\mathrm{Box}(H)|$ 와 $\mathbb{Z}_2$-호모토피 동치이므로, 위상 조건은 $\mathcal{S}^1$ 으로의 $\mathbb{Z}_2$-사상 존재성과 동치임을 보이는 것.

실험 결과

연구 질문

• RQ1 모든 $k$ 에 대해 $k$-색깔로 칠할 수 있는 그래프를 $\binom{k}{\floor{k/2}} - 1$ 개의 색깔로만 칠하는 것이 NP-난이도인지 여부는?
• RQ2 G-색깔로 칠할 수 있는 그래프의 H-색칠의 NP-난이도는 H의 상자 복합체 위상으로만 완전히 특성화될 수 있는가?
• RQ3 모든 비이분할 H-색깔로 칠할 수 있는 G에 대해, $|\mathrm{Hom}(K_2, H)|$ 에서 $\mathcal{S}^1$ 으로의 $\mathbb{Z}_2$-사상이 존재하는 것이 $\mathrm{PCSP}(G, H)$ 의 NP-난이도를 완전히 결정하는가?
• RQ4 고착 함자와 기본군 준동형은 약속 제약 만족 문제의 맥락에서 PCSP 간의 환원을 어떻게 가능하게 하는가?
• RQ5 상자 복합체와 그 기본군은 $K_4$, 원형 클리크, 정사각형 없는 그래프 등의 H에 대해 H-색칠 문제의 복잡도를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 모든 $k \geq 4$ 에 대해 $k$-색깔로 칠할 수 있는 그래프를 $\binom{k}{\floor{k/2}} - 1$ 개의 색깔로만 칠하는 것은 NP-난이도이며, 이는 색칠 수의 지수적 간격을 달성한다.
• 모든 비이분할 H-색깔로 칠할 수 있는 G에 대해 G-색깔로 칠할 수 있는 그래프의 H-색칠의 NP-난이도는 H의 상자 복합체 위상으로 완전히 결정된다: 구체적으로, $|\mathrm{Hom}(K_2, H)|$ 에서 $\mathcal{S}^1$ 으로의 $\mathbb{Z}_2$-사상이 존재하는지 여부이다.
• 이 결과는 3-색칠의 NP-난이도를 $|\mathrm{Hom}(K_2, H)|$ 가 $\mathcal{S}^1$ 으로의 $\mathbb{Z}_2$-사상이 존재하는 모든 H로 일반화하며, 정사각형 없는 그래프와 원형 클리크를 포함한다.
• H = K_4 인 경우, $|\mathrm{Box}(H)|_{/\mathbb{Z}_2}$ 의 기본군은 $\mathbb{Z}_2$ 이며, $\mathbb{Z}$ 로 가는 유일한 군 준동형은 기수성에 대해 자명하므로, 이 방법으로 NP-난이도를 판단할 수 없으며, K_4 는 여전히 열린 사례로 남아 있다.
• $\pi_1(|\mathrm{Box}(H)|_{/\mathbb{Z}_2})$ 에서 $\mathbb{Z}$ 로의 군 준동형 $f_*$ 가 $\mathbb{Z}_2$-행동을 유지하는 것이 $\mathbb{Z}_2$-사상이 $\mathcal{S}^1$ 으로 존재하는 데 필수적이고 충분한 조건이며, 이는 완전한 위상적 특성화를 제공한다.
• 고착 함자를 사용함으로써 PCSP 간의 환원을 위한 일반적 프레임워크를 제공하며, 제약 만족의 대수적 이론에서 이전 결과들을 통합하고 확장한다.