컬러가 다른 일직선 점들의 비교적 평면 그래프 문제 해결

초록

이 논문은 빨강‑파랑 두 색으로 구분된 일직선 상의 점들에 대해, 비교적 어려운 세 가지 그래프 문제(비교적 교차 없는 해밀턴 경로, 최소 가중 스패닝 트리, 최소 가중 완전 매칭)를 선형 시간 안에 해결하는 알고리즘을 제시한다. 특히 평면에서 NP‑Hard인 문제들을 1차원 경우에 효율적으로 해결함으로써, 고차원 문제에 대한 이해를 높인다.

상세 분석

본 연구는 기존에 유클리드 평면에서 NP‑Hard로 알려진 세 가지 고전 그래프 문제—비교적 교차 없는 해밀턴 경로, 최소 가중 스패닝 트리, 최소 가중 완전 매칭—를 빨강‑파랑 이색 점이 일직선에 정렬된 경우로 한정한다. 일차원에서는 모든 점이 동일한 직선(스파인) 위에 놓이므로, 그래프의 비교적 교차 여부는 곧 “페이지”에 따라 위 혹은 아래에 호를 그리는 방식으로 정의된다. 저자들은 먼저 임의의 이색 매칭을 계층적(라미나) 구조로 변환하는 과정을 제시한다. 두 매칭 간에 교차가 발생하면 색에 따라 네 가지 경우로 나누어 교차를 제거하고, 결국 모든 매칭이 서로 포개지거나 완전히 분리되는 라미나 구조를 만든다. 각 매칭에 레벨을 부여해 레벨 1 블록은 두 점만 포함하고, 레벨 i 블록은 레벨 i‑1 블록을 포함하는 형태로 재귀적으로 정의한다. 중요한 관찰은 각 블록이 빨강과 파랑 점을 동일하게 포함한다는 점이다. 이를 기반으로 레벨이 높은 블록부터 하위 블록을 차례로 연결하면, 호를 위·아래 페이지에 적절히 배치함으로써 교차 없이 전체 점을 아우르는 해밀턴 경로를 구성할 수 있다. 이 과정은 각 점을 한 번씩만 방문하도록 설계돼 전체 복잡도가 O(n)이다.

스패닝 트리 문제에서는 가중치가 유클리드 거리이므로, 일차원에서는 거리의 절대값이 바로 가중치가 된다. 저자들은 가장 짧은 인접 거리쌍을 선택해 트리를 구성하면 최소 가중 스패닝 트리가 된다는 사실을 이용해, 정렬된 입력을 한 번 순회하면서 선형 시간에 최적 트리를 구한다. 비교적 교차 없는 트리의 경우, 페이지 제약이 추가되므로 최적 해를 찾는 것이 NP‑Hard임을 평면에서 알려진 결과와 연결한다. 그러나 일차원에서는 모든 간선을 한 페이지에 배치할 경우, 트리 구조가 단순히 “체인” 형태가 되므로, 모든 가능한 비교적 교차 없는 트리를 탐색해 O(n²) 시간 안에 최적 해를 찾을 수 있음을 보인다.

완전 매칭 문제에서는 기존에 평면에서 최소 매칭이 자동으로 비교적 교차 없음을 이용해 다항식 알고리즘이 존재한다. 일차원에서는 매칭을 구성할 때도 라미나 구조를 활용한다. 레벨 1 매칭을 먼저 잡고, 상위 레벨 매칭을 차례로 삽입하면, 각 매칭이 서로 겹치지 않도록 호를 위·아래 페이지에 배치할 수 있다. 이때 매칭 비용은 각 쌍의 거리 합이 최소가 되도록, 인접한 색이 다른 점들을 순서대로 짝짓는 것이 최적임을 증명한다. 정렬된 배열을 한 번 스캔하면서 인덱스를 교차 없이 매칭시키면 O(n) 시간에 최소 가중 비교적 교차 없는 완전 매칭을 얻는다.

전체적으로 저자들은 1차원이라는 제한을 활용해, 평면에서 어려운 문제들을 구조적 변환(라미나화), 레벨 기반 재귀, 그리고 페이지 배치를 통해 선형 혹은 준선형 시간에 해결한다는 점에서 의미가 크다. 또한, 이러한 접근법은 다색 그래프의 페이지 임베딩 이론과도 연결돼, 향후 고차원에서의 근사 알고리즘 설계에 영감을 줄 수 있다.