저차수 트리에서 분할 재구성 문제의 복잡도

초록

본 논문은 정점 가중치가 부여된 트리의 간선 분할 정보를 이용해 원래 트리를 복원하는 문제를 다룬다. 기존에 NP‑완전으로 알려진 이 문제를, 트리의 구조 제한(경로, 차수 ≤3인 트리, 캣터펠)별로 복잡도 분석하고, 몇몇 제한된 경우에 다항시간·고정‑파라미터 알고리즘을 제시한다. 또한 가중치를 자유롭게 선택할 수 있는 변형도 간략히 논의한다.

상세 요약

논문은 먼저 “분할(split)”이라는 개념을 정의한다. 가중치가 부여된 트리 T에서 간선 xy의 분할은 두 부분 중 무게가 더 작은 쪽, 즉 min{s_x(xy), s_y(xy)}이며, 여기서 s_u(uv)는 u쪽에 더 가깝게 위치한 정점들의 가중치 합이다. 주어진 정점 집합 V와 분할들의 멀티셋 S가 있을 때, S와 정확히 일치하는 분할을 갖는 트리를 구성하는 문제를 “Splits Reconstruction”이라 명명한다.

기존 연구에서는 모든 정점이 단위 가중치를 갖고, 트리의 최대 차수가 4 이하일 때 이 문제가 NP‑complete임을 보였다. 논문은 이를 더 세밀히 구분한다. 첫 번째 결과는 트리 T가 단순히 경로(선형 트리)일 경우에도 문제는 강하게 NP‑complete임을 증명한다. 강한 NP‑complete라는 것은 입력 크기에 대한 다항 시간 근사도 불가능함을 의미한다. 증명은 3‑Partition 문제를 활용한 정밀한 감소 과정을 통해 이루어진다.

두 번째 결과는 모든 정점이 단위 가중치를 유지하면서, 트리의 최대 차수를 3으로 제한했을 때도 NP‑complete임을 보인다. 여기서는 기존 차수‑4 사례에서 차수를 하나 낮추는 비트‑코딩 기법을 적용해, 각 변수를 두 개의 “가지”로 표현하고, 분할값을 통해 변수 할당을 강제한다.

세 번째 결과는 차수 ≤3이면서도 캣터펠 형태(중심 경로에 짧은 “털”이 달린 트리)인 경우에도 NP‑complete임을 보여준다. 이 경우는 실제 화학 구조(예: 사슬형 분자에 짧은 측쇄가 붙은 형태)와 유사하므로, 실용적 의미가 크다. 증명은 캣터펠의 중심 경로를 이용해 3‑SAT의 절을 인코딩하고, 각 털의 길이를 조절해 리터럴 선택을 구현한다.

이와 동시에 제한된 경우에 대한 효율적 알고리즘도 제시한다. 첫 번째는 경로 형태이면서 정점 가중치 종류가 상수 k개로 제한될 때이다. 여기서는 동적 계획법(DP)을 사용해, 각 구간에 배정 가능한 가중치 조합을 테이블에 저장하고, 전체 경로를 O(n·k^O(1)) 시간에 해결한다. 두 번째는 단위 가중치와 리프 수 k가 상수인 경우이다. 저자들은 트리의 구조를 리프 중심으로 분할하고, 각 리프 집합에 대해 가능한 분할값을 미리 계산한 뒤, 비트마스크 기반의 DP로 전체 트리를 재구성한다. 이 알고리즘은 k에 대한 지수적 복잡도를 갖지만, k가 작을 때는 실용적이며, 파라미터 k에 대해 고정‑파라미터 트랙터블(FPT)임을 증명한다.

마지막으로 가중치를 입력으로 주지 않고 알고리즘이 자유롭게 선택할 수 있는 변형을 논의한다. 이 경우는 “Weighted Splits Reconstruction”이라 부르며, 분할값만 주어졌을 때 가중치를 역으로 추정하는 문제다. 저자들은 이 변형이 일반적인 경우에도 NP‑hard임을 보이면서, 특정 제한(예: 가중치가 정수이고 상한이 존재)에서는 다항시간 근사법이 가능함을 간략히 제시한다.

전체적으로 논문은 구조적 제한이 문제의 난이도를 크게 좌우한다는 점을 강조한다. 경로와 같은 극단적인 제한에서도 강한 NP‑completeness가 유지되지만, 가중치 종류나 리프 수와 같은 파라미터가 작을 때는 효율적인 알고리즘이 존재한다는 두 얼굴을 보여준다. 이는 화학·생물학 분야에서 “역설계” 문제, 즉 원하는 물리·화학적 특성을 갖는 분자를 설계하는 데 직접적인 응용 가능성을 제공한다. 특히 Wiener index와 같은 거리 기반 지표가 분할값과 밀접하게 연결되므로, 본 연구는 화합물 라이브러리 구축을 위한 이론적 토대를 제공한다.