가중 트리깊이 제한 차수 그래프에서도 NP완전

초록

본 논문은 가중 트리깊이(Weighted Treedepth) 문제를 연구한다. 기존에 트리에서도 NP‑complete임이 알려졌던 이 문제를, 최대 차수가 10인 일반 그래프에서도 동일하게 NP‑complete임을 증명한다. 동시에 경로와 1‑subdivided star(각 간선을 한 번씩 분할한 별)에서는 다항시간 알고리즘을 제시하여 문제의 구조적 경계선을 탐색한다.

상세 분석

논문은 먼저 트리깊이와 그 가중 변형인 가중 트리깊이의 정의를 명확히 한다. 트리깊이 분해는 그래프의 정점을 동일한 정점 집합을 갖는 뿌리 있는 포레스트에 매핑하고, 모든 그래프 간선이 조상‑자손 관계에 놓이도록 하는 구조이며, 가중 트리깊이는 루트에서 잎까지의 경로 가중합의 최댓값을 최소화하는 문제이다. 기존 연구에서는 이 문제가 트리(특히, 단순 트리)에서도 NP‑complete임이 알려졌지만, 차수가 제한된 일반 그래프에서의 복잡도는 미해결 상태였다.

저자들은 차수 10 이하의 그래프에서도 NP‑hard임을 보이기 위해, 전통적인 Vertex Cover 문제로부터 복잡도 감소를 수행한다. 핵심 아이디어는 각 정점에 적절한 가중치를 부여하고, 트리깊이 분해에서 특정 정점이 루트 혹은 조상으로 선택되는 경우가 Vertex Cover의 선택을 그대로 반영하도록 설계한다. 이를 통해 가중 트리깊이 인스턴스가 원래 Vertex Cover 인스턴스와 일대일 대응하도록 만들며, 차수 제한을 유지한다.

또한, 논문은 두 가지 긍정적 결과도 제시한다. 첫째, 경로 그래프에 대해서는 동적 계획법을 이용해 O(n³) 시간에 최적 가중 트리깊이 분해를 구한다. 경로를 모든 가능한 구간으로 나누고, 각 구간에 대해 루트를 선택하는 비용을 재귀적으로 계산함으로써 전역 최적을 얻는다. 둘째, 1‑subdivided star(중심 정점 a와 각 잎 b_i 사이에 중간 정점 c_i가 하나씩 삽입된 형태)에서는 정점 가중치를 정렬하고, 중심 정점을 루트로 두는 경우와 b_i들을 루트 위에 배치하는 경우를 각각 n+1가지 시도해 최소 가중 깊이를 선택한다. 이 알고리즘은 단순히 n개의 후보를 평가하므로 다항시간에 해결 가능하다.

마지막으로, 저자들은 아직 해결되지 않은 여러 열린 질문을 제시한다. 예를 들어, 차수가 9 이하, 특히 3‑regular(큐빅) 그래프에서의 NP‑hardness 여부, 2‑subdivided star와 같은 더 복잡한 트리 구조에서의 복잡도, 그리고 무가중 트리깊이와 비교했을 때 가중 트리깊이의 파라미터화된 복잡도(FPT 여부) 등이 있다. 이러한 질문들은 가중 트리깊이 문제의 구조적 경계를 더욱 명확히 하는 데 중요한 연구 방향을 제공한다.