P₅ 프리 그래프에서 최대 부분 리스트 H 컬러링을 다항시간에 해결

초록

본 논문은 고정된 그래프 H에 대해 P₅-프리 입력 그래프 G에서 최대 가중치 부분 리스트 H‑컬러링을 다항시간 알고리즘으로 해결한다. 이를 통해 P₅-프리 그래프에서 최대 k‑컬러가능 서브그래프 문제도 다항시간에 풀 수 있음을 보이며, 기존의 ω(G) 의존 알고리즘을 완전히 개선한다.

상세 분석

논문은 먼저 최대 부분 리스트 H‑컬러링(Maximum Partial List H‑Coloring) 문제를 정의한다. 입력은 그래프 G, 정점 가중치 wt, 그리고 각 정점에 대해 허용 색 집합을 나타내는 리스트 list이며, 목표는 리스트를 만족하면서 H‑호모모르피즘을 가질 수 있는 부분 그래프 G*의 가중치를 최대화하는 것이다. H가 k‑클릭이면 이 문제는 바로 최대 k‑컬러가능 서브그래프(Maximum k‑Colorable Subgraph)와 동치가 된다.

핵심 아이디어는 P₅‑프리 그래프가 갖는 두 가지 구조적 특성을 활용하는 것이다. 첫 번째는 모든 연결된 P₅‑프리 그래프가 크기가 ≤3인 경로나 완전 그래프를 지배하는 지배 집합 D를 가질 수 있다는 명제(Prop. 2.1)이며, 두 번째는 P₅‑프리 그래프에서 최대 가중치 독립 집합을 다항시간에 구할 수 있다는 결과(Prop. 2.2)이다.

알고리즘은 크게 두 단계로 나뉜다.

1. 연결해가 존재하는 경우의 재귀적 감소: 입력 인스턴스가 연결된 최적 해 C를 포함한다면, D를 추정하고 V(G) 를 D와 그 이웃 집합 X₁,…,X_|D| 로 분할한다. 각 X_i 에서는 리스트에 포함된 색이 서로 충돌하지 않도록 리스트를 정제하고, 필요에 따라 색을 제거한다. 이 과정에서 리스트 크기가 엄격히 감소한다는 보장을 얻으며, 리스트 크기가 1이 될 때까지 재귀 호출한다. 재귀 깊이는 |V(H)|=k 이하이며, 각 단계의 복잡도는 n^{O(k³)}이다.

2. 다항 크기의 연결 집합 패밀리 구성: 연결 해가 보장되지 않을 경우에도, 전체 최적 해는 위 단계에서 만든 패밀리 F의 몇몇 원소들의 연결 집합들의 합으로 표현될 수 있음을 증명한다. 구체적으로, 모든 가능한 지배 집합 D와 색 할당을 탐색하고, 각 X_i 에 대해 독립 집합 문제를 풀어 최적 해를 조합한다. 이때 패밀리의 크기는 n^{O(k⁴)} 로 제한되며, 각 원소에 대해 독립 집합을 구하는 비용은 Prop. 2.2에 의해 다항시간이다.

결과적으로, 전체 알고리즘은 n^{O(k⁴)} 시간 안에 최적 해를 찾는다. 여기서 k=|V(H)|는 고정 상수이므로, 입력 그래프가 P₅‑프리인 경우 문제는 다항시간에 해결 가능하다. 이는 이전에 ω(G) 에 의존해 n^{O(ω(G))} 시간이 필요했던 Chudnovsky et al. (SIDMA 2021) 의 결과를 완전히 일반화·개선한 것이다. 또한, k‑클릭을 H 로 잡은 경우 최대 k‑컬러가능 서브그래프 문제도 동일한 복잡도로 해결되므로, SODA 2024 에서 제기된 열린 질문에 긍정적인 답을 제공한다.

기술적 난관은 “연결된 최적 해가 존재한다는 약속” 하에서 리스트 정제와 색 할당을 어떻게 안전하게 수행하느냐에 있다. 저자들은 P₅‑프리 그래프의 제한된 구조를 이용해, 색이 충돌하는 경우를 미리 탐지하고 리스트를 삭제함으로써 해의 존재성을 유지한다. 특히, Claim 3.1을 통해 두 집합 사이의 지배 관계를 2개의 정점으로 압축할 수 있음을 보이며, 이는 재귀 단계에서 리스트 크기를 감소시키는 핵심 논리이다.

전체적으로, 논문은 P₅‑프리 그래프의 구조적 제한을 정교히 활용해, 일반적인 리스트 H‑컬러링 문제를 효율적으로 해결하는 새로운 프레임워크를 제시한다. 이는 그래프 이론과 알고리즘 설계 양쪽 모두에서 중요한 진전이며, 향후 다른 H‑프리 혹은 경로‑프리 그래프 클래스에 대한 확장 가능성을 열어준다.