평면 및 다중호 라마르디 그리기의 새로운 지평

초록

본 논문은 기존 라마르디(Lombardi) 그래프 그리기의 한계를 극복하기 위해 k‑Lombardi 그리기를 도입한다. 모든 그래프는 부드러운 2‑Lombardi 그리기로 표현될 수 있으며, 모든 평면 그래프는 부드러운 3‑Lombardi 평면 그리기로 구현 가능함을 증명한다. 또한 라마르디 그리기가 불가능한 그래프와 평면 3‑트리의 비평면 라마르디 사례를 제시하고, 차수 3 이하의 평면 그래프에 대한 2‑Lombardi 평면 그리기 방법을 제시한다.

상세 분석

논문은 먼저 기존 라마르디 그리드(1‑Lombardi)의 정의를 재검토한다. 라마르디 그리드는 각 정점에서 인접한 모든 간선이 동일한 각도로 배치되고, 간선 자체는 원호 혹은 직선으로 표현되는 시각적 미학을 목표로 한다. 그러나 저자들은 모든 그래프가 이러한 제약을 만족하지 못한다는 사실을 증명한다. 이를 위해, 정점 순서와 무관하게 라마르디 그리기가 불가능한 7‑정점 3‑퇴화 그래프와, 대칭성을 깨뜨린 K₅ 변형 그래프 G₈을 구성한다. G₈의 경우, 모든 가능한 정점 순서를 열거하고, 각 순서에 대해 정점의 ‘트위스트(twist)’와 원호의 접선 각을 수식으로 표현한다. 핵심은 Property 1과 Property 2를 이용해 두 정점 사이에 존재할 수 있는 원호들의 공통 교점이 존재하지 않음을 보이는 것이다. 저자들은 이를 수치적으로 검증하기 위해 파이썬 스크립트를 작성하고, 모든 경우에 대해 해가 존재하지 않음을 확인한다. 이로써 라마르디 그리기가 불가능한 무한히 많은 연결 그래프가 존재함을 보인다.

다음으로, k‑Lombardi 개념을 도입한다. 여기서 k는 한 간선을 구성할 수 있는 원호의 최대 개수를 의미한다. 1‑Lombardi는 기존 정의와 동일하고, k ≥ 2이면 각 간선을 다중 원호(‘poly‑arc’)로 표현한다. 중요한 정의는 ‘smooth’와 ‘pointed’이다. smooth는 각 간선이 C¹ 연속성을 유지해 매끄러운 곡선을 이루는 경우이며, pointed는 매듭이 존재하는 경우를 말한다. 저자들은 모든 그래프가 부드러운 2‑Lombardi 그리기로 구현될 수 있음을 증명한다. 이 증명은 기존 2‑퇴화 그래프에 대한 라마르디 그리기 정리를 확장하고, 각 정점에 차수‑1개의 보조 정점을 추가해 각 간선을 두 개의 원호로 분할함으로써 이루어진다.

평면성에 대한 탐구에서는, 평면 그래프가 반드시 평면 라마르디 그리기를 가질 필요는 없다는 기존 결과를 재확인하고, 새로운 차원의 결과를 제시한다. 구체적으로, 차수 3 이하의 평면 그래프는 부드러운 2‑Lombardi 평면 그리기로, 차수가 더 높은 경우에는 ‘pointed’ 2‑Lombardi 혹은 ‘smooth’ 3‑Lombardi 평면 그리기로 구현 가능함을 보인다. 이를 위해, 삼각형 분할(triangulation)과 스택 기반의 ‘canonical ordering’을 활용해 정점 배치를 결정하고, 각 간선을 두 개 혹은 세 개의 원호로 연결한다. 특히, 평면 3‑트리의 경우 라마르디 그리기가 불가능함을 보이는 기존 예시를 확장해, 차수‑4 이상의 평면 그래프에서도 동일한 비가능성을 증명한다.

마지막으로, 논문은 라마르디 그리기와 관련된 기존 연구들을 정리한다. 원호 기반 그래프 그리기, 컨플루언트(Confluent) 그리기, 베지어 곡선을 이용한 힘‑기반 레이아웃 등 다양한 접근법이 소개되지만, 이들 대부분은 완전한 각도 해상도(perfect angular resolution)를 보장하지 못한다는 점을 강조한다. 또한, 정점 위치가 고정된 경우 원호로 무교차 그리기가 NP‑complete임을 언급하며, 현재 제안된 k‑Lombardi 모델이 이러한 복잡성을 회피하면서도 시각적 일관성을 유지한다는 점을 부각시킨다.

전반적으로, 이 논문은 라마르디 그리기의 이론적 한계를 명확히 규정하고, 다중 원호를 허용함으로써 모든 그래프와 모든 평면 그래프에 대한 보편적인 시각화 방법을 제공한다는 점에서 그래프 시각화 분야에 중요한 기여를 한다.