정점 커버 문제 절단면 접근법의 상전이

초록

본 논문은 정점 커버 문제를 선형계획(LP)과 절단면(cutting‑plane) 기법으로 해결하는 알고리즘을 제시하고, 무작위 에르되시‑레니 그래프(ER)에서 평균 차수 c가 e≈2.7183일 때 “쉬움‑어려움” 전이가 발생함을 실험적으로 확인한다. 이는 전통적인 브랜치‑앤‑바운드 방식과 달리 해 공간 밖에서 탐색하더라도 문제의 전형적 난이도가 근본적으로 존재한다는 증거가 된다.

상세 분석

정점 커버(Vertex‑Cover) 문제는 그래프 G=(V,E)에서 모든 간선을 적어도 하나의 끝점이 포함하도록 최소한의 정점 집합 S⊆V를 찾는 NP‑hard 최적화 문제이다. 기존 연구에서는 ER 무작위 그래프에서 평균 차수 c가 특정 임계값을 넘을 때 해 공간의 구조가 replica symmetric(RS)에서 replica‑symmetry breaking(RSB)으로 변한다는 통계역학적 분석이 이루어졌다. 특히 c=e≈2.7183에서 RS→RSB 전이가 일어나며, 이와 동시에 전통적인 exact branch‑and‑bound 알고리즘의 평균 실행 시간이 급격히 증가하는 “easy‑hard” 전이가 관찰되었다.

본 논문은 이러한 전이가 알고리즘에 종속적인 현상이 아니라 문제 자체의 복잡도에 내재된 현상임을 검증하기 위해, 전혀 다른 접근법인 LP‑cutting‑plane 방식을 적용한다. 먼저 정점 커버 문제를 0‑1 정수선형계획(IP) 형태로 모델링하고, 이를 LP 완화(relaxation)하여 실수 해 공간을 탐색한다. LP 해는 일반적으로 0과 1 사이의 값들을 갖게 되며, 이는 실제 정점 커버 해와는 차이가 있다. 여기서 절단면 기법은 현재 LP 해가 정수 해가 아니면, 해당 해를 배제하도록 새로운 부등식(절단면)을 추가한다. 이 절단면은 “해 공간 밖”에서 정의되며, 반복적으로 LP를 재해결하면서 점차 정수 해에 수렴한다.

핵심 실험 설계는 다음과 같다. 다양한 크기 N(≈10^3~10^4)의 ER 그래프를 생성하고, 평균 차수 c를 1.5부터 4.0까지 0.1 간격으로 변화시킨다. 각 그래프에 대해 LP‑cutting‑plane 알고리즘을 실행하고, 수렴에 필요한 절단면 수와 전체 실행 시간을 기록한다. 결과는 두 가지 주요 지표로 분석된다. 첫째, 절단면 수가 급격히 증가하는 c값; 둘째, 실행 시간이 급격히 상승하는 c값. 두 지표 모두 c≈e에서 뚜렷한 전이를 보였으며, 이는 기존 branch‑and‑bound 결과와 정량적으로 일치한다.

또한, 절단면 생성 전략(예: Gomory 절단, 클라우드 절단 등)과 LP 솔버의 선택이 전이 현상에 미치는 영향을 추가 실험으로 검증하였다. 다양한 절단면 전략을 적용했음에도 전이점은 크게 변하지 않았으며, 이는 전이 현상이 알고리즘 구현 세부사항에 크게 의존하지 않음을 시사한다.

이러한 결과는 “해 공간 밖”에서 탐색하는 LP‑cutting‑plane 방식조차도 평균 차수 c가 e를 초과하면 평균적으로 많은 절단면을 필요로 하고, 실행 시간이 급증한다는 점에서 전형적인 “hard” 구역에 진입한다는 것을 보여준다. 따라서 정점 커버 문제의 전형적 난이도는 문제 자체의 구조적 복잡성에 기인하며, 특정 알고리즘의 표현 방식에만 국한되지 않는다.