이진 트리 간 갭 편집 거리 알고리즘

초록

본 논문은 순서가 있는 라벨 트리의 유사성을 측정하기 위해, 일반적인 갭 편집 거리와 완전 서브트리 갭 편집 거리를 이진 트리 경우에 다항 시간으로 계산하는 알고리즘을 제시한다. 일반 갭 모델은 O(m³n² + m²n³) 시간, 완전 서브트리 모델은 O(m²n²) 시간에 해결 가능함을 증명한다.

상세 분석

본 연구는 기존에 NP‑hard 로 알려진 일반 트리의 갭 편집 거리 문제를 특수한 트리 클래스, 즉 이진 트리에 한정함으로써 다항 시간 알고리즘을 설계한다는 점에서 의미가 크다. 먼저, Touzet가 제안한 두 가지 갭 모델—일반 갭 모델과 완전 서브트리 갭 모델—을 재정의하고, 각각의 모델에 맞는 비용 함수(선형이 아닌 어핀 함수)를 가정한다. 일반 모델에서는 하나의 편집 연산으로 연속된 여러 노드를 삽입·삭제할 수 있으며, 이때 비용은 삽입·삭제된 노드 수에 비례하지 않고, 시작 비용 a와 연속 비용 b를 갖는 어핀 함수 w(k)=a+bk 로 정의된다. 이러한 비용 구조는 문자열 편집에서의 갭 비용과 유사하지만, 트리 구조의 비선형성 때문에 기존의 동적 계획법을 그대로 적용할 수 없었다.

저자는 Zhang‑Shasha 알고리즘의 핵심 아이디어를 차용해, 트리의 각 서브트리를 “키 포인트” 로 삼고, 두 트리의 서브트리 쌍에 대해 최소 비용 매핑을 계산한다. 일반 모델의 경우, 각 노드가 갭에 포함되는지 여부를 판단하기 위해 추가적인 상태 변수를 도입하고, 이를 통해 O(m³n² + m²n³) 의 복잡도를 얻는다. 특히, m ≤ n 일 때는 O(m⁵) 로 간소화될 수 있음을 보인다. 반면, 완전 서브트리 모델은 갭이 반드시 완전한 서브트리이어야 한다는 제약이 있어, 갭 여부를 서브트리 전체로 판단할 수 있다. 이 제약 덕분에 상태 공간이 크게 축소되어 O(m²n²) 의 시간 복잡도를 달성한다.

알고리즘의 정확성은 “갭 매핑”과 “편집 매핑” 사이의 일대일 대응을 증명함으로써 보장한다. 또한, 비용 함수가 어핀 형태일 때 삼각 부등식이 성립하므로, 동적 계획법의 최적 부분 구조가 유지된다. 논문은 이론적 복잡도 분석 외에도, 지형 데이터의 등고선 트리(contour tree) 비교에 완전 서브트리 모델을 적용하는 사례를 제시한다. 등고선 트리는 지형의 레벨 집합 변화를 트리 형태로 요약하므로, 두 지형의 형태적 유사성을 정량화하는 데 유용하다. 실험 결과는 제안된 알고리즘이 실제 지형 데이터에서도 합리적인 실행 시간을 보이며, 기존의 단순 편집 거리보다 더 의미 있는 유사도 측정을 제공함을 시사한다.

이 논문은 트리 편집 거리 연구에 갭 모델을 도입함으로써, 기존의 노드‑단위 편집에서 발생하는 비현실적인 비용 구조를 보완하고, 특히 이진 트리와 같은 제한된 구조에서 실용적인 해법을 제공한다는 점에서 학술적·실용적 기여가 크다. 향후 연구 과제로는 비이진 일반 트리에서의 효율적 근사 알고리즘 개발, 다양한 비용 함수에 대한 확장, 그리고 대규모 지형·의료 영상 데이터에 대한 실험적 검증이 제시된다.