다각형 접근법을 이용한 정점 분리자 문제

초록

본 논문은 무방향 연결 그래프에서 정점 분리자(VSP) 문제를 다각형(폴리토프) 관점에서 재구성하고, 기존 Balas‑De Souza 모델에 새로운 유효 부등식들을 추가한다. 제시된 체인 부등식, 부분그래프 부등식, 그리고 간선 기반 모델을 통해 계산 효율성을 크게 향상시켰으며, 실험 결과는 기존 방법보다 우수함을 입증한다.

상세 분석

본 연구는 정점 분리자 문제(VSP)를 다각형 이론을 통해 정형화한다. 먼저 기존의 Balas‑De Souza 혼합 정수선형 모델을 소개하고, 이를 기반으로 두 정점 a, b가 고정된 “ab‑분리자” 문제의 폴리토프 Pₐb를 정의한다. Pₐb의 차원을 dim(Pₐb)=2(n‑2)−(|V(a)|+|V(b)|) 로 정확히 증명함으로써, 인접 정점 집합이 차원 감소에 미치는 영향을 명확히 제시한다.

새로운 유효 부등식은 크게 세 가지 범주로 나뉜다. 첫 번째는 a와 b 사이의 체인 구조를 이용한 “체인 부등식”이다. 임의의 a‑b 체인 Γₐb의 내부 정점 집합 I(Γₐb)에 대해 Σ_{i∈I}(x_{ia}+x_{ib}) ≤ |I|−1 이 성립함을 보이며, 이는 체인마다 최소 하나의 정점이 분리자 C에 포함되어야 함을 의미한다. 이를 일반화하여 비인접 정점 i, j에 대한 α_{ij} (정점‑불연속 체인의 최대 개수)를 도입하고, (11)·(12) 식으로 전체 C의 크기를 하한한다.

두 번째는 크기가 β(n)보다 큰 연결 부분그래프 V′에 대한 부등식이다. V′ 내부에서 모든 비인접 정점 쌍에 대해 α_{ij}의 최소값 α_{V′}⁰ 를 정의하고, Σ_{i∈V′}(x_{ia}+x_{ib}) ≤ |V′|−min{α_{V′}⁰, |V′|−β(n)} 가 성립한다. 이는 큰 부분그래프가 충분히 많은 체인을 제공할 경우, 분리자 C의 크기가 강제로 늘어남을 보장한다.

세 번째는 간선 변수 χ_e 를 이용한 모델링이다. 간선 집합 F=F₁∪F₂ 로 구성된 분리자를 정의하고, χ를 해당 집합의 특성 벡터라 두었다. 여기서 체인 부등식 (13) χ(Γₐb)≥2 와 홀수 길이 서브체인에 대한 (14), (15) 식을 도입해, bipartite 구조에서 발생하는 짝수·홀수 제약을 정확히 포착한다. 이러한 간선 기반 부등식은 기존 정점 변수만을 사용하는 모델보다 더 강력한 LP 완화(bound)를 제공한다.

알고리즘 측면에서는 위 부등식들을 콜럼너 제네레이션 형태로 통합한 Branch‑and‑Cut 프레임워크를 구현하였다. 실험에서는 무작위 및 실제 네트워크 인스턴스(수천 개 정점, 수만 개 간선)를 대상으로, 기존 Balas‑De Souza 방법 대비 평균 30% 이상의 GAP 감소와 2배 이상의 해결 시간 단축을 기록했다. 특히 체인 부등식이 많은 희소 그래프에서, 간선 모델이 밀집 그래프에서 효과적이었다는 점이 주목할 만하다.

결론적으로, 본 논문은 VSP의 다각형 구조를 정밀히 분석하고, 체인·부분그래프·간선 기반의 세 가지 새로운 부등식을 제시함으로써 이론적 강도와 실용적 성능을 동시에 향상시켰다. 향후 연구에서는 동적 β(n) 선택, 다중‑a‑b 쌍에 대한 병렬 분해, 그리고 그래프 분해 전처리와 결합한 하이브리드 알고리즘 개발이 기대된다.