외곽 평면 삼각형 st‑다이그래프의 최적 무순환 해밀턴 경로 보완과 위쪽 책 임베딩

초록

본 논문은 외곽 평면 삼각형 st‑다이그래프에 대해, 최소 교차 수를 보장하면서 무순환 해밀턴 경로를 완성하는 알고리즘을 제시한다. st‑다이아곤 분해를 이용해 선형 시간에 해를 구하고, 이를 위쪽 2‑페이지 책 임베딩의 척추 교차 최소화 문제와 동등함을 증명한다. 결과적으로 각 기존 간선당 최대 한 번의 교차만 허용하는 최적 해를 제공한다.

상세 분석

이 연구는 planar acyclic digraph G에 “acyclic Hamiltonian path completion with crossing minimization (Acyclic‑HPCCM)”이라는 새로운 최적화 문제를 정의한다. 기존의 해밀턴 경로 보완 문제는 단순히 최소한의 추가 간선 수를 구하는 데 초점을 맞췄지만, 여기서는 추가 간선이 기존 임베딩에 삽입될 때 발생하는 교차 수까지 최소화한다는 제약을 추가한다. 논문은 먼저 삼각형화된 st‑다이그래프가 해밀턴인지 여부를 판별하는 구조적 특성을 제시한다. 핵심은 “st‑polygon”이라는 기본 단위로 그래프를 분해하는데, 각 st‑polygon은 두 개의 외부 경로와 하나의 내부 대각선으로 구성된 최소 삼각형 형태이며, 이러한 단위들의 순차적 연결이 전체 그래프의 해밀턴성에 직접적인 영향을 미친다. 저자는 외곽 평면(triangulated outerplanar) st‑다이그래프에 대해 st‑polygon 분해를 수행하고, 각 단위에 대해 최소 교차를 보장하는 로컬 완성(edge addition) 전략을 설계한다. 이 전략은 동적 프로그래밍 방식으로 구현되며, 각 단계에서 “앞선 polygon”과 “현재 polygon” 사이의 연결을 선택할 때 발생 가능한 교차를 0 또는 1로 제한한다. 결과적으로 전체 알고리즘은 O(n) 시간 복잡도로 실행되며, 모든 기존 간선에 대해 교차가 최대 한 번만 발생한다는 강력한 보장을 제공한다.

또한, 논문은 st‑planar digraph 클래스에 대해 Acyclic‑HPCCM 문제와 “upward 2‑page topological book embedding with minimum spine crossings” 문제 사이에 일대일 대응 관계가 있음을 증명한다. 여기서 책 임베딩은 모든 정점을 책의 척추(spine)에 배치하고, 각 간선을 위쪽 페이지에 그리되, 페이지 간에 교차가 발생하지 않도록 하는 형태이다. 위쪽( upward) 제약은 모든 간선이 척추를 따라 위쪽으로 향하도록 요구한다. 저자는 Acyclic‑HPCCM에서 얻은 최소 교차 해밀턴 경로를 그대로 책 임베딩의 척추 순서로 변환함으로써, 척추 교차 수를 최소화하는 위쪽 2‑페이지 임베딩을 즉시 얻는다. 특히 외곽 평면 삼각형 st‑다이그래프에 대해서는 각 기존 간선당 최대 한 번의 척추 교차만 발생하도록 보장한다는 점에서, 이전 연구에서 제시된 근사 알고리즘이나 비최적 해와는 차별화된다.

이러한 결과는 두 가지 중요한 학술적 기여를 가진다. 첫째, 교차 최소화를 포함한 무순환 해밀턴 경로 보완 문제를 처음으로 체계적으로 정의하고, 외곽 평면 삼각형 구조에 대해 최적 선형 시간 해를 제공한다. 둘째, 위쪽 책 임베딩 분야에서 척추 교차 최소화라는 새로운 최적화 목표를 정확히 해결함으로써, 그래프 시각화와 VLSI 레이아웃 설계 등 실용적 응용에 직접적인 영향을 미친다.