균등 색칠 문제를 위한 다면체 구조와 최적화 기법

초록

본 논문은 균등 색칠 문제(Equitable Coloring Problem, ECP)의 0/1 정수계획 모델에 대응하는 다면체를 연구한다. 유효 부등식 군을 구성하고, 이들 중 어떤 것이 면(face) 정의 조건을 만족하는지 충분조건을 제시한다. 또한 제시된 부등식을 Branch‑&‑Cut 알고리즘에 삽입한 실험을 통해 절단(cut) 효과와 계산 성능 향상을 입증한다.

상세 분석

균등 색칠 문제는 그래프의 각 정점을 색으로 할당하면서 인접 정점은 서로 다른 색을 사용하고, 각 색 클래스의 크기가 서로 차이가 1 이하가 되도록 하는 제약을 추가한 전통적인 그래프 색칠 문제의 변형이다. 이 문제는 NP‑hard이며, 기존 연구에서는 주로 휴리스틱이나 메타휴리스틱 접근법에 의존해 왔다. 본 논문은 이러한 문제를 0/1 정수선형계획(ILP) 형태로 정형화하고, 해당 모델이 정의하는 다면체(Equitable Coloring Polytope, ECP)를 체계적으로 분석한다.

우선, 저자들은 기존의 색칠 다면체 연구에서 차용한 기본 변수 x_{v,c} (정점 v가 색 c에 배정되는지 여부)와 y_c (색 c가 사용되는지 여부) 를 도입하고, 균등성 제약을 ∑v x{v,c} ≤ ⌈n/k⌉·y_c 와 ∑v x{v,c} ≥ ⌊n/k⌋·y_c 형태로 표현한다. 여기서 n은 정점 수, k는 색의 개수이다. 이러한 제약은 전통적인 색칠 다면체에 비해 더 복잡한 구조를 만들며, 다면체의 면(face)들을 정의하는 새로운 부등식이 필요함을 시사한다.

논문은 크게 두 가지 부류의 유효 부등식을 제시한다. 첫 번째는 “색 클래스 균형 부등식”으로, 특정 색 집합 S에 대해 ∑{c∈S} y_c ≤ ⌊|S|·n/k⌋ 와 같은 형태를 가진다. 이는 색의 사용 개수를 제한함으로써 균등성 조건을 강화한다. 두 번째는 “정점-색 연결 부등식”으로, 특정 정점 집합 T와 색 집합 S에 대해 ∑{v∈T}∑{c∈S} x{v,c} ≤ |T|·⌊|S|·n/k⌋ 와 같은 형태를 가진다. 이 부등식은 정점 집합이 동시에 여러 색에 배정되는 경우를 억제한다.

각 부등식이 실제로 다면체의 면을 정의하려면, 해당 부등식이 만족되는 해들 중에서 차원 감소가 정확히 1이어야 한다. 이를 증명하기 위해 저자들은 “완전 매칭”과 “교환 가능성(exchangeability)” 개념을 도입한다. 특히, 색 집합 S가 그래프의 독립 집합과 충분히 겹칠 때, 색 클래스 균형 부등식이 면을 정의한다는 충분조건을 제시한다. 정점-색 연결 부등식의 경우, 정점 집합 T가 최소 커버(minimum vertex cover)와 연관될 때 면 정의가 가능함을 보인다. 이러한 조건들은 기존의 색칠 다면체 연구에서 알려진 “클릭 부등식”이나 “홀드-타일 부등식”과 유사하지만, 균등성 제약을 반영하도록 확장된 형태이다.

다음으로, 저자들은 제안된 부등식들을 실제 Branch‑&‑Cut 프레임워크에 통합한다. 초기 LP 이완 해에 대해 위 부등식들을 분리(separation)하는 알고리즘을 설계했으며, 특히 색 클래스 균형 부등식은 O(k) 시간에, 정점-색 연결 부등식은 O(|E|·k) 시간에 검증할 수 있다. 실험은 DIMACS와 BHOSLIB 등에서 추출한 다양한 밀도와 크기의 그래프 인스턴스를 사용했으며, k를 3~10 사이에서 변동시켰다. 결과는 기본 ILP 모델에 비해 평균적으로 35% 이상의 노드 감소와 28% 이상의 시간 절감 효과를 보였다. 특히, 정점 수가 500 이상인 대규모 인스턴스에서 절단 효과가 두드러졌으며, 최적 해를 찾지 못하던 경우에도 근사 해의 품질이 크게 향상되었다.

마지막으로, 논문은 향후 연구 방향으로 다음을 제시한다. (1) 현재 제시된 부등식 외에 더 일반적인 “다중 색 균등 부등식”을 탐색하여 다면체의 강도를 더욱 강화할 필요가 있다. (2) 동적 분리 절차를 통해 실시간으로 새로운 부등식을 생성하는 메타휴리스틱과의 결합을 고려한다. (3) 균등 색칠 문제의 특수 경우인 “균등 k‑색 분할”에 대한 다면체 구조를 심층 분석함으로써, 그래프 분할 및 클러스터링 분야에 응용할 가능성을 탐색한다. 전반적으로 본 연구는 균등 색칠 문제의 다면체 이론에 중요한 기여를 하며, 실제 최적화 알고리즘에 적용 가능한 구체적인 절단 기법을 제공한다.