완벽한 각도 해상도와 다항식 면적을 갖는 트리 그리기

초록

이 논문은 트리 구조를 직선 혹은 원호 형태의 선으로 그릴 때, 각 노드에서 인접 간선이 차지하는 각도가 노드 차수에 정확히 비례하도록 하는 ‘완벽한 각도 해상도’를 만족하면서도 전체 그림이 다항식 면적 안에 들어가도록 하는 방법을 제시한다. 무순서 트리에는 직선 그림이 가능하고, 순서가 정해진 트리 중 일부는 직선으로는 지수적 면적이 필요하지만, 원호를 이용한 Lombardi 스타일 그림이면 다항식 면적으로 구현할 수 있음을 보인다.

상세 요약

논문은 먼저 트리 그리기의 기본 개념을 정의한다. 각 노드 v의 차수를 d(v)라 할 때, 완벽한 각도 해상도는 v에 인접한 모든 간선이 2π/d(v)씩 균등하게 배치되는 것을 의미한다. 이 조건은 시각적 균형과 가독성을 크게 향상시키지만, 기존 연구에서는 주로 각도 제한만을 고려하고 면적 최적화는 다루지 않았다. 저자들은 무순서 트리(즉, 자식 순서가 정해지지 않은 트리)에 대해, 깊이 우선 탐색과 원형 레이아웃을 결합한 알고리즘을 설계한다. 각 서브트리를 원형 섹터에 배치하고, 섹터의 각도는 해당 서브트리의 크기에 비례하도록 조정함으로써 모든 노드가 2π/d(v) 각도를 만족한다. 중요한 점은 이때 좌표를 정수 격자에 매핑할 수 있어 전체 면적이 O(n^k) 형태의 다항식으로 제한된다는 것이다.

다음으로 순서가 정해진 트리의 경우를 살핀다. 저자들은 특정 형태의 완전 이진 트리를 구성하여, 어떤 정렬이라도 직선 그림에서 완벽한 각도 해상도를 유지하려면 루트에서 가장 먼 리프까지의 거리와 각도 배분 사이에 충돌이 발생함을 증명한다. 이를 통해 최소 면적이 2^{Ω(n)} 수준으로 급격히 증가한다는 하한을 제시한다.

하지만 원호를 허용하는 Lombardi 스타일 그림에서는 이러한 제약이 완화된다. 원호는 곡률을 조절해 동일한 각도 조건을 만족하면서도 더 짧은 경로를 제공한다. 저자들은 각 노드 주변에 원호를 배치하는 방식을 제안하고, 이를 재귀적으로 적용해 전체 트리를 다항식 면적 안에 끌어들인다. 특히, 각 원호의 중심을 격자점에 맞추고 반지름을 정수값으로 제한함으로써 구현 복잡성을 낮추고, 면적을 O(n^c) 수준으로 유지한다.

이 논문은 두 가지 중요한 교훈을 제공한다. 첫째, 직선 그림에서는 트리의 순서가 면적에 결정적인 영향을 미치며, 일부 경우에는 지수적 면적이 불가피함을 보여준다. 둘째, 곡선을 허용하면 동일한 각도 해상도를 유지하면서도 면적 효율성을 크게 개선할 수 있음을 입증한다. 이러한 결과는 시각적 품질과 공간 효율성을 동시에 추구하는 그래프 시각화 시스템 설계에 실질적인 가이드라인을 제공한다.