최대 제한 루트 트리 포장 문제

초록

본 논문은 각 정점의 출력 차수가 제한된 상황에서, 루트 r을 기준으로 K개의 트리를 구성해 가능한 많은 정점을 포함하도록 하는 “Maximum Bounded Rooted‑Tree Packing (MBRTP)” 문제를 정의하고, 이 문제가 NP‑complete임을 증명한다. 또한 완전 그래프와 트리 구조에 대해 각각 최적 해를 다항 시간 알고리즘으로 구할 수 있음을 제시한다.

상세 분석

MBRTP는 P2P 실시간 스트리밍에서 다중 설명 코딩을 적용할 때, 각 피어가 전송할 수 있는 스트림 수(업로드 용량)가 제한되는 상황을 모델링한다. 그래프 G=(V,E)와 루트 r, 그리고 정점 v마다 정해진 용량 c_v(양의 정수)가 주어지면, K개의 루트‑트리 T₁,…,T_K를 선택해 각 트리의 자식 수 합이 정점별 용량을 초과하지 않도록 하면서 ∑ₖ|V(Tₖ)|를 최대화한다. K=1인 경우를 MBRT라 부른다.

저자들은 먼저 MBRT(즉 K=1) 의 결정형을 NP‑hard임을 3‑SAT 문제에 대한 다항 시간 환원으로 증명한다. 3‑SAT의 변수와 절을 각각 정점 집합에 매핑하고, 각 변수 정점의 용량을 1, 절 정점의 용량을 0으로 설정함으로써, 용량 제약을 만족하는 루트‑트리가 존재하면 해당 3‑SAT 식이 만족 가능함을 보인다. 따라서 MBRTP 역시 NP‑complete임을 도출한다.

다음으로 두 가지 특수 그래프 클래스에 대해 최적 알고리즘을 설계한다.

1. 완전 그래프

   • 첫 단계에서 현재 용량이 남은 정점 집합을 기반으로 K번 반복하며, 루트 r을 시작점으로 하는 해밀턴 경로를 만든다. 완전 그래프에서는 해밀턴 경로를 선형 시간에 찾을 수 있다. 경로에 포함된 각 정점(끝점 제외)의 용량을 1씩 감소시킨다.
   • 두 번째 단계에서는 각 경로를 기본 트리 구조로 삼고, 남은 용량이 있는 정점이 아직 포함되지 않은 정점을 자식으로 붙이는 과정을 반복한다. 이때 정점이 더 이상 용량을 갖지 않거나 모든 정점이 포함될 때까지 진행한다.
   • 알고리즘은 루트 용량이 0이면 모든 트리가 빈 트리가 되며, 그 외 경우에는 min{c_r, K}개의 비어 있지 않은 트리를 만든다. 각 트리에서 가능한 최대 정점 수는 (k + ∑_v c_v) 형태이며, 이는 제약식 (1)(2)를 만족하는 최댓값과 일치한다. 시간 복잡도는 O(nK)이며, K≤n이면 다항 시간이다.

2. 트리 구조

   • 트리를 루트 r에 대해 방향을 잡아 r‑트리로 만든 뒤, 각 정점 v에 대해 “MBRTP(v,k)”라는 하위 문제를 정의한다. 여기서 k는 해당 서브트리에서 만들 수 있는 트리 수이며, v를 포함한 최적 해의 정점 수를 g(v)