정점 커버와 관련 문제들의 근사 가능성 연구

초록

본 논문은 그래프에서 최적 정점 커버에 정확히 하나만 포함되는 두 정점을 연결하는 “약한 간”을 찾는 문제가 NP‑hard임을 증명한다. 이를 기반으로 약한 간에 대한 상한값 σ를 이용해 2−1/(1+σ)의 성능 보장을 갖는 새로운 다항식 시간 근사 알고리즘을 제시하고, σ를 작게 만드는 새로운 LP 완화 기법과 특수 그래프에 대한 정점 커버 LP 표현을 제시한다.

상세 분석

논문은 먼저 “약한 간(weak edge)”이라는 개념을 정의한다. 그래프 G=(V,E)에서 간 (i,j)∈E가 약한 간이 되려면, G의 최소 정점 커버 S 중 적어도 하나가 i는 포함하고 j는 제외하거나 그 반대를 만족해야 한다. 이 정의는 기존의 “강한 간(strong edge)” 개념과 대조되며, 약한 간을 찾는 문제는 정점 커버의 구조적 복잡성을 직접적으로 드러낸다. 저자들은 이 문제를 결정적 다항식 시간 알고리즘이 존재하지 않음을, 즉 NP‑hard임을 증명하기 위해, 최소 정점 커버 문제 자체의 NP‑hard성을 활용한 감소(reduction)를 설계한다. 구체적으로, 임의의 3‑SAT 인스턴스를 약한 간 존재 여부 판단 문제로 변환함으로써, 약한 간 탐색이 NP‑complete임을 보인다.

이 NP‑hard성 결과를 바탕으로, 논문은 새로운 근사 알고리즘을 제시한다. 핵심 아이디어는 그래프에서 약한 간을 찾을 수 없을 경우, 해당 간을 “가상으로” 선택하고, 그 양 끝점 중 하나를 커버에 포함시키는 과정을 반복하는 것이다. 이때 각 단계에서 선택되는 약한 간에 대해 정의된 실수 σ(i,j)≥0가 존재한다. σ는 해당 간을 선택했을 때 발생할 수 있는 “오차 비율”을 정량화한 값이며, 전체 알고리즘의 근사 비율은 2−1/(1+σ_max) 로 표현된다. 여기서 σ_max는 전체 실행 과정에서 관측된 σ 값들의 최댓값이다. 따라서 σ가 작을수록 기존 2‑근사 알고리즘보다 더 좋은 비율을 얻을 수 있다.

σ 값을 작게 만드는 핵심은 새로운 LP 완화 모델이다. 기존의 정점 커버 LP는 변수 x_v∈