하린 그래프 최적 선형 배열 연구

초록

이 논문은 평면 그래프 중 외부 평면이 아닌 가장 단순한 형태인 하린 그래프의 최적 선형 배열(OLA) 문제를 다룬다. 일반 하린 그래프에 대한 비용 하한을 제시하고, 그 하한에 정확히 도달하는 하린 그래프 클래스와 해당 클래스에 대해 O(n log n) 시간으로 OLA를 구하는 알고리즘을 제안한다.

상세 분석

논문은 먼저 OLA 문제의 일반적 난이도를 상기하고, 특히 트리와 외부 평면 그래프에서의 복잡도 결과들을 정리한다. 하린 그래프는 기본 트리 T와 그 잎들을 연결하는 사이클 C의 합집합으로 정의되며, 이는 3‑연결성을 가지는 최소 평면 그래프이다. 저자는 트리의 OLA 특성을 활용해 하린 그래프의 OLA 구조를 분석한다. 먼저, 트리의 최적 배열에서는 양 끝 정점이 반드시 잎이며, 배열 순서가 스파인 경로를 따라 단조적으로 증가한다는 기존 결과를 재정리한다. 이를 하린 그래프에 확대 적용해, 스파인 경로가 트리 부분에 해당하고 사이클 C의 간선은 배열에서 최소 2·(n‑1)의 비용을 차지한다는 하한을 도출한다. 핵심 정리는 두 가지 경우를 제시한다. 첫째, 최적 배열의 양 끝 정점이 트리의 잎이거나, 잎이 아닌 경우에도 차수가 3인 내부 정점이 정확히 두 개의 잎에 연결된 구조여야 한다는 것이다. 둘째, 이러한 구조를 만족하면 전체 그래프의 OLA 비용은 트리의 최적 비용에 사이클 비용 2·(n‑1)을 더한 값과 일치한다. 저자는 이 조건을 만족하는 하린 그래프 클래스를 ‘재귀적으로 균형 잡힌 트리(RBT)’ 기반으로 정의한다. RBT는 루트 아래의 모든 서브트리가 크기와 구조가 동일하며, 루트는 중앙 정점 정리를 만족한다. 이러한 트리에서는 기존 연구에서 제시된 O(n) 시간 OLA 알고리즘을 그대로 적용할 수 있다. 논문은 RBT 위에 사이클 C를 추가했을 때, 트리의 최적 배열을 그대로 유지하면서 사이클 간선을 최소 비용으로 배치하는 방법을 제시한다. 구체적으로, 트리의 최적 배열을 기준으로 사이클 정점을 연속적인 구간에 배치하고, 필요시 서브트리 간 교환 연산(σ)을 이용해 배열을 조정한다. 이 과정은 각 서브트리 크기가 동일하므로 비용이 변하지 않으며, 전체 알고리즘은 트리 정점 수에 로그를 곱한 O(n log n) 시간 안에 수행된다. 따라서 저자는 하린 그래프 중 RBT 기반 클래스에 대해 OLA 문제를 다항 시간에 해결할 수 있음을 증명한다.