클리크 기반 정수계획을 이용한 정점 색칠과 강의 시간표 적용

본 논문은 그래프 색칠 문제를 정수계획(IP)으로 모델링하는 다양한 기존 접근법을 체계적으로 정리하고, 새로운 ‘슈퍼노드 기반’ 모델을 제안한다. 먼저 서론에서는 정점 색칠이 NP‑Complete 문제이며, 실제 스케줄링·시간표·주파수 할당 등 다양한 응용 분야에서 핵심 역할을 한다는 점을 강조한다. 이어서 기존에 알려진 일곱 가지 정수계획 모델을 표 1에 요약한다. 여기에는 전통적인 할당 모델(각 정점‑색 조합에 대한 이진 변수), 일반 정수 변수와 동기화 제약을 추가한 모델, 독립집합(최대 혹은 모든) 기반 컬럼 생성 모델, 선행 제약을 이용한 스케줄링 모델, ⌈log₂k⌉ 비트 기반 이진 인코딩, 사이클/비순환 방향성 기반 모델, 비대칭 대표자 모델 등이 포함된다. 각 모델은 변수·제약 복잡도와 실제 구현상의 장·단점을 논의한다. 그 다음 섹션 3에서는 ‘슈퍼노드(supernode)’ 개념을 정의한다. 슈퍼노드는 그래프 내에서 모든 정점이 서로 인접하고, 외부 이웃 집합이 동일한 완전 부분그래프이다. 기존 문헌에서는 ‘supernode’ 혹은 ‘supernode’라고 불렸으며, 이는 클리크와 유사하지만 외부 이웃이 동일하다는 추가 제약이 있다. 논문은 이러한 슈퍼노드 파티션을 다항시간 알고리즘으로 구할 수 있음을 증명하고, 파티션을 Q={q₁,…,q_|Q|} 로 표기한다. 핵심 아이디어는 정점 색칠을 ‘멀티컬러링’ 문제로 변환하는 것이다. 즉, 각 슈퍼노드 i에 대해 색 j가 할당되는지를 나타내는 이진 변수 x_{i,j}를 도입한다. 제약식은 (i) 각 슈퍼노드마다 하나의 색만 선택: Σ_j x_{i,j}=1 (i∈Q) (ii) 인접 슈퍼노드 간에는 동일 색 사용 금지: x_{i,j}+x_{i',j} ≤ 1 ∀(i,i')∈E' , ∀j, 여기서 E'는 슈퍼노드 간의 충돌 관계를 나타낸다. 이러한 제약은 기존 모델의 |E|·k 개 제약보다 훨씬 적으며, LP 완화가 강력한 경계값을 제공한다. 제안 모델의 장점은 크게 세 가지이다. 첫째, 변수 수가 |Q|·k 로 감소한다. 실제 시간표 문제에서는 충돌 그래프가 높은 밀도의 클리크들로 구성돼 |Q|가 |V|보다 현저히 작다. 둘째, 제약 구조가 단순해 분리 알고리즘과 컷 생성이 용이하다. 셋째, 소프트 제약(교수 선호, 교실 용량, 연속 강의 제한 등)을 추가 변수와 선형 제약으로 쉽게 통합할 수 있어 실제 대학 시간표에 바로 적용 가능하다. 실험에서는 Udine 강의 시간표 인스턴스를 주요 테스트베드로 사용한다. 이 인스턴스는 실제 대학의 강의·교실·시간 슬롯 충돌 그래프를 기반으로 하며, 기존 연구에서 다양한 모델이 적용된 바 있다. 논문은 제안 모델을 7가지 기존 모델과 비교했으며, 특히 클리크 파티션 품질이 높은 경우(큰 슈퍼노드가 많이 존재할 때) 모델이 가장 빠르게 최적해에 도달하거나 강력한 상한을 제공한다는 결과를 보였다. 또한 DIMACS 색칠 벤치마크(125‑vertex 난이도 높은 인스턴스)에서도 경쟁력 있는 성능을 기록했다. 하지만 파티션 품질에 대한 의존성이 존재한다. 최적 클리크 파티션을 찾는 문제 자체가 NP‑Hard이며, 비효율적인 파티션(작은 클리크들로 과도하게 분할)에서는 변수·제약 감소 효과가 사라진다. 따라서 파티션을 개선하는 전처리(예: 히스토리 기반 클러스터링, 휴리스틱 클리크 커버)와 파티션 품질을 평가하는 메트릭 개발이 향후 연구 과제로 제시된다. 결론에서는 슈퍼노드 기반 모델이 기존 모델 대비 변수·제약 규모를 크게 줄이며, LP 완화가 강력하고, 소프트 제약을 손쉽게 통합할 수 있다는 점을 강조한다. 또한 실제 시간표 문제에서의 적용 가능성을 입증하고, 향후 파티션 품질 향상 및 확장형 모델(다중 기간·다중 교실 등) 연구 방향을 제시한다.