그래프 고유최대 색칠과 충돌‑자유 색칠의 관계 및 복잡도 연구

본 논문은 그래프 정점 색칠의 두 변형인 고유최대(Unique‑Maximum, UM) 색칠과 충돌‑자유(Conflict‑Free, CF) 색칠을 심도 있게 비교·분석한다. 서론에서는 두 색칠의 정의를 명확히 제시한다. UM 색칠은 색을 1…k의 정수로 순서화하고, 그래프의 모든 단순 경로에서 가장 큰 색이 정확히 한 번만 나타나도록 요구한다. CF 색칠은 각 경로에 최소 하나의 색이 유일하게 존재하면 충분하다. 두 정의는 전통적인 정점 색칠(인접 정점은 서로 다른 색)보다 약하지만, UM 색칠은 CF 색칠의 특수한 경우임을 강조한다. 연구 동기는 두 색칠이 실제 응용(예: VLSI 설계, 병렬 Cholesky 분해, 무선 주파수 할당)에서 중요한 역할을 한다는 점이다. 특히 UM 색칠은 작업 순서를 모델링하는 vertex ranking 문제와 동등하며, CF 색칠은 셀룰러 네트워크에서 주파수 재사용을 최적화하는 모델로 사용된다. **1. 복잡도 결과** 섹션 2에서는 “주어진 색칠이 CF인지 여부를 판별하는 문제”가 coNP‑complete임을 증명한다. 증명은 해밀턴 경로 문제의 보완 문제로부터 다항 시간 변환을 구성한다. 변환 과정에서 원 그래프 G의 두 복사본 ˆG와 ˇG를 만들고, 각 정점 v_i에 대해 새로운 경로 P_i를 삽입한다. 색은 정점 v_i와 그 복사본에 색 i를, 경로 P_i의 내부 정점에 고유한 색을 부여한다. 만약 G에 해밀턴 경로가 존재하면 G* 전체에 유일 색이 없는 경로가 존재해 CF 조건을 위반한다. 반대로 CF 조건이 위반되면 G에 해밀턴 경로가 존재한다는 역방향 논증을 전개한다. 이로써 CF 검증 문제가 coNP‑hard임을 보이고, 검증 자체는 위반 경로를 제시하면 다항 시간에 확인 가능하므로 coNP에 속함을 확인한다. **2. UM과 CF 사이의 정량적 관계** 섹션 3에서는 두 색칠 수 사이의 상한을 제시한다. Lemma 3.1은 경로 P_n에 대해 χ_cf(P_n)=⌈log₂ n⌉+1임을 증명한다(귀납적 하한과 기존 결과 χ_um(P_n)=⌈log₂ n⌉+1을 이용). 이를 바탕으로 Proposition 3.2는 모든 그래프 G에 대해 χ_um(G) ≤ 2·χ_cf(G)−1임을 보인다. 증명은 “최장 경로 길이 ≤ 2·χ_cf(G)−1”을 보인 뒤, 기존 연구(lemma 5.1 of