탐욕적 그래프 색칠이 초래하는 오해와 병렬 최대클리크 탐색에의 영향

초록

본 논문은 최대클리크 탐색에서 상한값으로 활용되는 탐욕적 그래프 색칠이 경우에 따라 부모 그래프보다 부분 그래프에서 더 많은 색을 요구할 수 있음을 보인다. 이러한 ‘오해되는’ 상한은 병렬 Branch‑and‑Bound 알고리즘에서 비정상적인 탐색 트리 확장을 야기할 위험이 있음을 논증하고, 기존 Tomita 계열 알고리즘에 색상 상한을 추가 파라미터로 전달하는 개선안을 실험했지만 실제 검색 노드 수 감소에는 기여하지 못함을 보고한다.

상세 분석

논문은 먼저 최대클리크 문제와 그래프 색칠 문제의 NP‑hard 특성을 상기하고, 탐욕적 색칠 알고리즘이 다항 시간에 근사 상한을 제공한다는 점을 강조한다. 여기서 ‘상한이 오해된다(misleading)’는 상위 문제의 상한값이 하위 문제(즉, 부분 그래프)의 상한값보다 작을 수 있다는 의미이며, 이는 전통적인 Branch‑and‑Bound 프레임워크가 “하위 문제는 상위 문제보다 결코 더 나쁜 상한을 가질 수 없다”는 가정에 위배된다.

그 증거로 제시된 Figure 2는 두 그래프를 비교한다. 원 그래프에서는 정해진 정점 순서대로 탐욕적으로 색을 할당하면 두 색만 필요하지만, 첫 정점을 제거한 부분 그래프에서는 동일한 순서와 동일한 탐욕적 규칙에도 불구하고 세 색이 필요하게 된다. 이는 색상 수가 부분 그래프에서 증가함을 의미하며, 상한값이 비단 감소만을 보장하지 않음을 명시한다.

이러한 현상은 병렬 Branch‑and‑Bound 알고리즘에서 특히 문제된다. 병렬 환경에서는 작업을 서브트리 단위로 분배하고, 각 서브트리의 상한을 이용해 작업을 가지치기한다. 만약 서브트리의 상한이 부모보다 크게 되면, 이미 탐색이 진행 중인 작업이 불필요하게 확장될 위험이 있다. 이는 LW86, Tri90, BKT95 등에서 ‘anomaly’라 부르는 현상과 동일하며, 작업 부하의 불균형과 성능 저하를 초래한다.

논문은 이러한 문제를 완화하기 위한 두 가지 접근을 제안한다. 첫째, Tomita‑style 알고리즘에 현재까지 사용된 색상 수를 추가 파라미터로 전달하고, 부모 문제의 색상 상한과 현재 서브트리의 색상 상한 중 최소값을 새로운 상한으로 사용한다. 실험 결과, DIMACS 표준 그래프 집합에서 이러한 개선이 실제로 서브트리의 탐색 노드 수를 감소시키지는 못했으며, 즉, 상한값이 더 정확해지더라도 가지치기 효율에 큰 영향을 주지 못한다는 점을 확인한다.

둘째, 탐욕적 색칠이 오해되는 경우를 사전에 탐지하거나, 색칠 순서를 동적으로 조정하는 방법을 고려해야 함을 시사한다. 예를 들어, 정점 순서를 degree‑descending 혹은 saturation‑degree 기준으로 재정렬하면 오해 현상이 감소할 가능성이 있다. 또한, 병렬 알고리즘 설계 시 ‘비오해적(non‑misleading)’ 히스토리컬 상한을 유지하도록 설계 규칙을 명시하면, 작업 스케줄링 단계에서 불필요한 서브트리 확장을 방지할 수 있다.

결론적으로, 탐욕적 색칠이 제공하는 상한은 여전히 유용하지만, 그 한계와 예외 상황을 명확히 인식하고, 병렬 Branch‑and‑Bound 구현 시 상한값의 일관성을 보장하는 추가 메커니즘을 도입해야 한다는 점을 강조한다. 이는 최대클리크 문제뿐 아니라, 색칠 상한을 활용하는 다른 조합 최적화 문제에도 일반화될 수 있다.