코그래프의 비순환 및 스타 색채 최적화와 구조적 동등성

초록

본 논문은 코그래프에서 비순환 색채가 자동으로 스타 색채가 됨을 증명하고, 코트리를 입력으로 할 경우 선형 시간 안에 최소 비순환·스타 색채를 찾는 알고리즘을 제시한다. 또한 코그래프에 대해 비순환 색채 수, 스타 색채 수, 트리폭+1, 경로폭+1이 모두 동일함을 보인다.

상세 분석

코그래프는 P4‑free 그래프로, 재귀적인 합과 합집합 연산으로 생성된다. 이러한 구조는 이진 트리 형태의 코트리(cotree)로 정확히 표현될 수 있으며, 각 내부 노드는 ‘합(union)’ 혹은 ‘합집합(join)’ 연산을 나타낸다. 논문은 먼저 비순환 색채(acyclic coloring)의 정의를 상기한다. 이는 인접한 두 정점이 같은 색을 갖지 않으며, 임의의 두 색 클래스가 이루는 부분 그래프가 사이클을 포함하지 않는 트리들의 집합이어야 한다는 조건이다. 스타 색채(star coloring)는 이보다 강한 제약을 두어, 두 색 클래스가 이루는 부분 그래프가 별(star)들의 집합, 즉 중심 정점 하나와 그 이웃들만으로 구성된 트리여야 한다. 일반 그래프에서는 비순환 색채와 스타 색채 사이에 엄격한 차이가 존재하지만, 코그래프에서는 이 차이가 사라진다.

핵심 증명은 코트리의 구조적 귀납을 이용한다. 기본 경우인 단일 정점은 자명하게 두 색채 개념이 일치한다. ‘합’ 연산으로 결합된 두 서브그래프의 경우, 각각이 비순환 색채를 만족하면 두 서브그래프 사이에 간선이 없으므로 색채 충돌이 발생하지 않는다. ‘합집합’ 연산에서는 모든 정점이 서로 연결되므로, 두 서브그래프가 동일한 색을 공유하면 즉시 별 형태가 형성된다. 여기서 중요한 관찰은 코그래프가 P4‑free이기 때문에, 두 색 클래스가 교차하는 경우에도 그 교차 부분은 반드시 별 구조를 이루며, 더 큰 사이클이 발생할 여지가 없다는 점이다. 따라서 비순환 색채가 만족되면 자동으로 스타 색채 조건도 만족한다는 결론에 도달한다.

알고리즘적 측면에서 저자는 코트리를 전후위 순회하면서 각 노드에 필요한 색 수를 동적으로 계산한다. ‘합’ 노드에서는 두 자식의 색 수 중 큰 값을 그대로 사용하고, ‘합집합’ 노드에서는 두 자식의 색 수를 합산한다(공통 색이 없도록 재배치). 이 과정은 각 정점과 간선을 한 번씩만 방문하므로 시간 복잡도는 O(n)이다. 코트리가 주어지지 않은 경우에도 선형 시간에 코트리를 구축할 수 있는 기존 알고리즘을 활용하면 전체 복잡도는 여전히 선형 수준을 유지한다.

또한 논문은 코그래프의 트리폭(treewidth)과 경로폭(pathwidth)과의 관계를 탐구한다. 코그래프는 차수 제한이 없지만, 그 구조가 트리와 유사하게 분해될 수 있기 때문에 트리폭+1이 바로 최소 색 수와 일치한다. 구체적으로, ‘합집합’ 연산은 트리폭을 두 서브그래프의 폭 합으로 증가시키고, ‘합’ 연산은 최대값을 유지한다는 점을 이용해 귀납적으로 트리폭+1 = 비순환 색채 수 = 스타 색채 수임을 증명한다. 이는 코그래프가 갖는 특수한 구조적 동등성을 강조하며, 트리폭과 경로폭이 동일하게 동작함을 보여준다.

결과적으로, 이 연구는 코그래프에서 색채 문제를 단순화시키는 강력한 이론적 기반을 제공한다. 비순환 색채와 스타 색채가 동일하다는 사실은 알고리즘 설계 시 별도의 검증 절차를 생략할 수 있게 하며, 선형 시간 알고리즘은 대규모 그래프에도 실용적으로 적용 가능하게 만든다. 또한 트리폭·경로폭과 색채 수의 일치를 통해 코그래프가 그래프 이론에서 갖는 독특한 위치를 재조명한다.