무작위 델타 엣지 색칠을 위한 복소 색상의 사원수

초록

**
본 논문은 복소 색을 사원수 연산과 동일시한 새로운 색 교환 체계를 도입해, Δ‑정규 그래프의 엣지 색칠 문제를 변수 소거 과정으로 모델링한다. 무작위 그래프에 대해 제시된 알고리즘은 Δ‑색칠이 가능한 경우 1/2 이상의 성공 확률로 O(Δ·|V|·|E|⁵) 시간 안에 올바른 Δ‑엣지 색칠을 찾으며, 불가능한 경우 다항 시간 내에 클래스 2임을 판정한다.

**

상세 분석

**
이 논문은 기존의 Vizing 정리와 Holyer의 NP‑완전성 결과를 바탕으로, 엣지 색칠을 ‘복소 색’이라는 두 색의 순서쌍으로 표현한다. 각 엣지는 두 개의 반엣(링크)으로 분해되고, 각 링크에 색을 할당함으로써 전체 그래프를 ‘일관된 색 구성’으로 만든다. 색이 동일한 경우는 상수(edge)라 하고, 서로 다른 경우는 변수(edge)라 부른다. 변수 엣지는 마치 연립 방정식의 미지수와 유사하며, 이를 소거하는 과정이 색 교환(Kempe walk)이다.

Kempe walk은 (α,β) 경로 위에서 인접한 두 변수 엣지를 선택해 색 교환 연산 ⊗를 수행한다. 이 연산은 비가환이지만 결합법을 만족하는데, 저자는 이를 사원수(i, j, k)의 곱셈 규칙과 일대일 대응시킨다. 구체적으로 (α,β)·(β,γ) = (α,γ) 형태의 변환이 사원수의 i·j = k와 같은 구조를 갖는다. 따라서 색 교환을 사원수 곱셈으로 해석하면, 변수 소거가 ‘곱셈을 통한 정규화’ 과정으로 이해될 수 있다.

알고리즘은 Δ≥3인 임의의 그래프에 대해 다음과 같이 진행한다. 먼저 Δ개의 색 집합 C={c₁,…,c_Δ}를 정하고, 임의의 일관된 색 구성을 만든다. 그 후 색 c₁을 포함하는 모든 변수 엣지를 차례로 소거하고, 이어서 c₂, …, c_Δ 순으로 진행한다. 각 단계에서 변수는 무작위 워크(random walk)를 통해 다른 변수와 만나게 되며, 만남이 발생하면 Kempe walk을 적용해 변수 수를 감소시킨다. 중요한 점은 변수 간 충돌이 발생할 확률이 다항 시간 안에 충분히 높아, 전체 과정이 O(Δ·|V|·|E|⁵) 시간 복잡도를 갖는다는 증명이다.

성공 확률에 대한 분석은 변수 간 평균 충돌 시간에 대한 기존의 랜덤 워크 이론