다항시간 3/2 근사 알고리즘을 이용한 특정 그래프 군의 정점 커버 문제

초록

본 논문은 “활성 간선 가설”을 만족하는 그래프 클래스에 대해 정점 커버 문제를 3/2 배 근사 비율로 해결하는 다항시간 알고리즘을 제시한다. 또한 임의의 그래프에 대해 오차 한계 ξ를 계산하여 |S₁| ≤ 3/2·|S*| + ξ 를 보장하고, 실험에서는 ξ가 0임을 확인하였다.

상세 분석

이 연구는 NP‑완전 문제인 정점 커버(Vertex Cover)를 근사적으로 해결하기 위한 새로운 접근법을 제시한다. 기존에 알려진 2‑근사 알고리즘에 비해 3/2‑근사는 이론적으로는 제한된 그래프 클래스에서만 알려져 있었으며, 저자들은 “활성 간선 가설(active edge hypothesis)”이라는 새로운 구조적 조건을 도입함으로써 그 적용 범위를 확대하였다. 활성 간선 가설은 그래프 내의 각 간선이 특정 매칭과 커버 관계를 만족하도록 하는 제약이며, 이를 통해 LP 완화 해의 반정수성(half‑integrality)을 보장한다.

알고리즘은 크게 세 단계로 구성된다. 첫째, 정점 커버 문제를 0‑1 정수계획법으로 모델링하고, 그 LP 완화 문제를 풀어 최적 실수 해 x* 를 얻는다. 여기서 x* 의 값은 0, 1/2, 1 중 하나가 된다는 반정수성 특성을 이용한다. 둘째, x* 에서 1/2 값을 가진 정점들을 적절히 선택해 “활성 간선”을 형성하고, 이 간선들을 기반으로 그래프를 축소한다. 축소 과정에서 발생하는 새로운 간선은 다시 활성 간선 가설을 만족하도록 재구성된다. 셋째, 축소된 그래프에 대해 재귀적으로 동일한 절차를 적용한 뒤, 최종적으로 선택된 정점 집합을 원래 그래프에 되돌려 놓는다. 이때 선택된 정점들의 총 개수는 최적 해의 3/2 배 이하가 보장된다.

특히 저자들은 특별히 구조화된 그래프—예를 들어 이분 그래프에서 특정 매칭이 존재하는 경우—에 대해 알고리즘이 정확히 최적 해를 산출함을 증명하였다. 이는 활성 간선 가설이 자연스럽게 만족되는 경우이며, 해당 클래스는 실제 네트워크 설계나 스케줄링 문제에서 자주 나타난다.

또한, 임의의 그래프에 대해 “확장 알고리즘”을 제시한다. 이 알고리즘은 활성 간선 가설이 위배되는 경우에도 적용 가능하도록 설계되었으며, 실행 과정에서 발생하는 오차 ξ 를 동적으로 계산한다. 실험 결과, 다양한 무작위 및 인공적으로 설계된 어려운 인스턴스에 대해 ξ 가 0임을 확인했으며, 이는 현재까지 발견된 최악의 경우에도 3/2‑근사 비율을 유지한다는 강력한 실증적 증거를 제공한다.

이 논문의 주요 공헌은 다음과 같다. 첫째, 활성 간선 가설이라는 새로운 구조적 조건을 도입해 기존 2‑근사 한계를 넘어서는 3/2‑근사를 다항시간에 구현하였다. 둘째, 알고리즘이 특수 구조 그래프에서 최적 해를 보장함을 이론적으로 증명하였다. 셋째, 일반 그래프에 대한 확장 버전을 제시하고, 실험적으로 오차가 전혀 발생하지 않음을 입증하였다. 이러한 결과는 정점 커버 문제뿐 아니라, 매칭, 독립 집합, 그리고 다양한 커버링 문제에 대한 근사 알고리즘 설계에 새로운 방향을 제시한다.