벡터 지배와 총 벡터 지배 문제의 근사 불가능성 및 정확 알고리즘

초록

본 논문은 그래프에서 정점 집합 S를 선택해, S 밖의 모든 정점이 사전에 정해진 수만큼 S와 인접하도록 하는 ‘벡터 지배’와, 그래프 전체 정점이 해당 조건을 만족하도록 하는 ‘총 벡터 지배’ 문제를 다룬다. 두 문제 모두 P≠NP 가정 하에 ln n 수준의 근사비를 넘는 다항식 시간 근사 알고리즘이 존재하지 않음을 증명하고, 최대 차수 D에 대해 ln D+O(1) 의 근사비를 갖는 두 가지 그리디 알고리즘을 제시한다. 또한 트리, 차수 제한 그래프, 전이 그래프 등 여러 특수 그래프 클래스에 대해 정확한 다항식 시간 알고리즘을 제공한다.

상세 분석

벡터 지배(Vector Domination)와 총 벡터 지배(Total Vector Domination)는 각각 S⊆V(G) 를 선택해, 모든 v∈V(G)\S 가 최소 r(v)개의 이웃을 S 안에 갖도록 하는 최소화 문제이다. 여기서 r:V→ℕ 은 입력으로 주어지는 요구량 함수이며, 총 벡터 지배는 모든 정점 v∈V(G) 에 대해 동일한 조건을 적용한다. 논문은 먼저 이 두 문제를 집합 커버(Set Cover) 문제와 정밀하게 귀류시켜, 일반 그래프에서 ln n 이하의 근사비를 보장하는 다항식 시간 알고리즘이 존재한다면 P=NP 가 됨을 보인다. 구체적으로, 각 정점 v에 대한 요구량 r(v)를 1로 제한하고, 그래프를 이분 그래프 형태로 변환함으로써 집합 커버 인스턴스를 그대로 재현한다. 이때 요구량이 1인 경우는 기존의 지배(Domination) 문제와 동등하고, 이는 이미 ln n‑hard 로 알려져 있다. 따라서 일반적인 r(v) 값에 대해서도 동일한 난이도가 전이된다.

근사 알고리즘 측면에서는 두 가지 자연스러운 그리디 전략을 제안한다. 첫 번째는 매 단계마다 현재 요구량을 가장 많이 충족시키는 정점을 선택하는 방식이며, 두 번째는 각 정점의 남은 요구량 대비 인접 정점 수의 비율이 가장 높은 정점을 선택한다. 두 전략 모두 최대 차수 D 를 기준으로 ln D+O(1) 의 근사비를 달성한다. 증명은 전통적인 커버 문제에 대한 그리디 분석을 변형한 것으로, 각 선택 단계에서 남은 요구량의 총합이 기하급수적으로 감소함을 보이며, 최악의 경우에도 로그 수준의 오차만이 누적된다는 점을 이용한다.

정확 알고리즘 부분에서는 트리, 코스텔라트(Chordal) 그래프, 전이 그래프(Interval graph), 그리고 차수가 일정 상수 이하인 그래프에 대해 다항식 시간 해결책을 제시한다. 트리의 경우 동적 계획법을 이용해 각 서브트리마다 최소 지배 집합을 계산하고, 요구량을 만족시키는 최적 선택을 전파한다. 코스텔라트 그래프에서는 완전 순열(Perfect Elimination Ordering)을 활용해, 각 정점이 선택될지 여부를 순차적으로 결정함으로써 전체 최적 해를 얻는다. 전이 그래프에서는 구간 표현을 이용해 겹치는 구간들의 최소 커버를 구하는 전통적인 알고리즘을 변형해 적용한다. 차수 제한 그래프에서는 제한된 인접 관계를 이용해 상태 공간을 제한하고, 비트마스크 기반 DP 로 최적 해를 탐색한다.

마지막으로 논문은 기존 연구와의 관계를 정리한다. 기존의 k‑지배(k‑Domination)와 r‑지배(r‑Domination) 문제는 본 연구의 특수 경우에 해당하며, 그에 대한 근사 한계와 정확 알고리즘이 본 논문의 결과에 포함된다. 또한, 총 벡터 지배는 총 지배(Total Domination) 문제와 직접적인 일반화 관계에 있으며, 해당 문제에 대한 기존의 2‑approximation 결과와 비교해 ln D+O(1) 의 보다 강력한 비율을 제공한다. 전반적으로 이 논문은 벡터 지배와 총 벡터 지배 문제의 복잡도 지형을 명확히 그리며, 실용적인 근사 알고리즘과 특수 그래프에 대한 정확 해법을 동시에 제공한다는 점에서 이 분야 연구에 중요한 이정표가 된다.