리스트 색칠과 구간 k‑(γ, μ) 선택성의 복잡도 이론

초록

**
본 논문은 리스트 색칠, μ‑색칠, (γ, μ)‑색칠 사이의 구조적·계산적 유사성을 밝혀내고, 이들 모델이 펜듈럼 정점 확장에 대해 닫힌 그래프 클래스에서 복잡도 보존 대응 관계를 가짐을 증명한다. 이를 기반으로 고정된 크기의 연속 색 구간을 갖는 k‑(γ, μ)‑색칠 모델을 제안하고, 일반 (γ, μ)‑색칠이 NP‑완전인 반면 k‑제한 버전은 모든 고정 k에 대해 다항시간으로 해결 가능함을 보인다. 또한 k‑(γ, μ)‑선택성(choosability) 개념을 정의하고, 리스트 할당의 경우보다 가능한 할당 수가 급격히 감소하여 실용적 알고리즘 설계에 유리함을 논한다.

**

상세 분석

**
논문은 먼저 기존의 리스트 색칠(List Coloring) 문제와 μ‑색칠(μ‑Coloring), (γ, μ)‑색칠(γ‑μ‑Coloring) 사이의 구조적 연관성을 ‘유사(analogous)’와 ‘p‑유사(p‑analogous)’ 개념을 통해 체계화한다. 이때 그래프 클래스가 펜듈럼 정점(pendant‑vertex) 추가에 대해 닫혀 있으면, 세 모델 간에 다항식‑시간 변환이 가능함을 보인다. 즉, 리스트 색칠이 NP‑완전인 그래프 클래스(예: 평면 그래프, 차수 제한 그래프)에서 μ‑색칠과 (γ, μ)‑색칠 역시 동일한 난이도를 가진다. 이러한 복잡도 보존 관계는 기존에 알려진 NP‑완전성 결과를 다른 모델에 바로 적용할 수 있게 하여, 복잡도 이론에서 중요한 전이 도구가 된다.

다음으로 저자는 ‘구간‑제한 k‑(γ, μ)‑색칠’ 모델을 도입한다. 각 정점 v에 대해 허용 색 집합을 정확히 k 개의 연속된 정수 구간으로 제한한다. 이때 γ(v)와 μ(v)는 각각 구간의 최소·최대 색을 의미한다. 핵심 결과는 고정된 k에 대해 이 문제가 다항시간에 해결 가능하다는 것이다. 저자는 그래프를 트리 구조로 분해하거나, 동적 계획법(DP)을 이용해 구간 제약을 만족하는 색 할당을 효율적으로 찾는 알고리즘을 설계한다. 특히, 구간이 연속적이므로 가능한 색 조합이 k 가지뿐이며, 이는 전통적인 리스트 색칠에서 발생하는 조합 폭발을 크게 억제한다.

또한 ‘k‑(γ, μ)‑선택성(choosability)’ 개념을 정의한다. 여기서는 모든 정점에 대해 크기 k 인 연속 구간 리스트가 주어졌을 때, 그래프가 항상 (γ, μ)‑색칠 가능한지를 묻는다. 저자는 이 선택성 문제는 일반 리스트 선택성보다 높은 복잡도 계층(예: Σ₂^P)에 위치하지만, 구간 제약 덕분에 특정 그래프 클래스(예: 트리, 차수 제한 그래프)에서는 다항시간 알고리즘을 제공한다.

마지막으로, 저자는 복수의 그래프 클래스에 대해 실험적 평가를 수행한다. 펜듈럼 정점 확장에 닫힌 클래스(예: 코어 그래프, 차수 제한 그래프)와 일반 그래프에서의 성능 차이를 비교하고, k‑제한 모델이 실제 스케줄링·자원 할당 문제에 적용될 때 얻는 이점을 정량화한다. 결과는 k가 작을수록 리스트 할당 수가 급격히 감소하고, 알고리즘 실행 시간이 크게 단축됨을 보여준다.

**