k 경로 정점 커버의 최소화와 그래프 구조별 상한 분석

초록

k-경로 정점 커버(ψₖ(G)) 문제는 k≥2에 대해 NP‑완전이며, 트리에서는 선형 시간 알고리즘으로 최적해를 구할 수 있다. 외판원 그래프와 일반 그래프에 대해 ψₖ(G)의 상한을 정리하고, 특히 ψ₃(G) ≤ (2n+m)/6이라는 새로운 경계식을 제시한다.

상세 분석

본 논문은 “k‑경로 정점 커버”라는 새로운 그래프 커버 개념을 도입하고, 그 복잡도와 구조별 최적화 가능성을 체계적으로 탐구한다. 먼저, k‑경로 정점 커버는 모든 정점 수가 k인 경로가 최소 하나의 선택된 정점 S에 포함되도록 하는 최소 집합을 의미한다. k=2인 경우는 전통적인 정점 커버와 동일하므로 NP‑완전임이 알려져 있다. 저자는 이를 일반 k≥2에 대해 귀납적으로 확장하여, 임의의 그래프 G에 대해 k‑경로 정점 커버 문제(k‑PVC)가 NP‑완전임을 증명한다. 증명은 각 원래 정점에 ⌊(k‑1)/2⌋개의 보조 정점을 연결한 변형 그래프 G′를 구성하고, G′의 최소 k‑경로 커버와 G의 최소 정점 커버 사이에 일대일 대응을 보이는 방식이다. 이 과정에서 “새로운 정점은 원래 정점으로 대체 가능”함을 이용해 최적해의 크기가 보존됨을 보인다.

다음으로 트리 구조에 대한 특수성을 분석한다. 트리는 트리폭이 1이므로 Courcelle 정리에 의해 선형 시간 알고리즘이 존재하지만, 저자는 직접적인 동적 계획법 기반 알고리즘 PVCPTree를 제시한다. 이 알고리즘은 “적절히 루트된 서브트리”를 반복적으로 찾아 해당 루트 정점을 커버에 포함시키고 서브트리를 제거한다. 증명은 귀납적으로 진행되며, 각 단계에서 최소 커버 크기가 1씩 감소함을 보인다. 결과적으로 ψₖ(T) ≤ |V(T)|/k 가 성립하고, 이는 트리에서 최적해를 선형 시간에 구할 수 있음을 의미한다.

외판원(outerplanar) 그래프에 대해서는 ψ₃(G) ≤ n/2 라는 상한을 제시한다. 최대 외판원 그래프를 Hamiltonian 사이클로 표현하고, 정점들을 “흰색(차수 2)”, “검은색(차수 ≥3)”으로 색칠한다. 흰색 정점은 독립 집합을 이루며, 검은색 정점만을 선택하면 모든 3‑경로가 차단된다. 나쁜(연속 검은색) 에지가 존재할 경우, 삼각 얼굴 구조를 이용해 재귀적으로 부분 그래프를 제거하고, 결국 전체 커버 크기가 n/2 이하임을 보인다. 이 경계는 일부 외판원 그래프에서 정확히 달성되므로 최적이다.

마지막으로 정점 차수를 이용한 일반적인 상한을 확장한다. 기존 Caro‑Wei 정리는 ψ₂(G) ≤ |V| – Σ 1/(1+d(v)) 로 알려져 있다. 저자는 이를 일반 k에 대해 ψₖ(G) ≤ |V| – (k‑1)/k Σ 1/(1+d(v)) 로 일반화한다. 증명은 무작위 정점 순열에 기반한 확률적 선택 과정을 통해 기대값을 계산하고, 선택된 집합이 1‑퇴화(즉, 포레스트)임을 이용해 ψₖ의 상한을 도출한다. 특히 k=3인 경우, 추가적인 2‑정점 쌍에 대한 보정을 통해 ψ₃(G) ≤ |V| – Σ 1/(1+d(v)) – Σ 2/