경로와 사이클 그래프의 의사볼록 다각형 내 기하학적 임베딩

초록

본 논문은 정점 수 n인 경로 그래프와 사이클 그래프를 단순 볼록 다각형 및 넓은 범위의 의사볼록(프리‑컨벡스) 다각형에 직선 형태로 임베딩하는 O(n) 시간 알고리즘을 제시한다. 또한 다각형에 임베딩 가능한 최대 경로·사이클 크기를 이론적으로 분석하고, 임베딩 가능성에 대한 상한·하한을 증명한다. 기존의 점 집합 임베딩 문제와 비교해 정렬에 의존하는 Ω(n log n) 하한을 뛰어넘는 선형 시간 해결책을 제공한다는 점이 핵심이다.

상세 분석

이 논문은 “점 집합 임베딩(point‑set embedding)” 문제의 변형으로, 입력 점이 단순 다각형의 꼭짓점에 한정된 경우를 다룬다. 일반적인 점 집합 임베딩은 NP‑complete이며, 기존 연구에서는 외부 평면 그래프나 트리 등에 대해 O(n log n) 정도의 복잡도를 보였다. 저자들은 이러한 한계를 극복하기 위해 다각형 자체가 이미 정점 순서를 제공한다는 점에 착안한다.

먼저 볼록 다각형에 대해 경로 Pₘ을 임베딩하는 알고리즘(Lemma 1)은 다각형의 꼭짓점을 순차적으로 탐색하면서 양쪽 끝에서 교차하지 않는 ‘코드(chord)’를 선택한다. 볼록성 보장은 모든 꼭짓점 쌍이 서로 가시(visible)하므로, 선택된 코드는 항상 교차 없이 삽입될 수 있다. 구현은 단순히 인덱스를 앞·뒤로 이동시키는 루프이며, 전체 복잡도는 Θ(m) = Θ(n)이다.

사이클 Cₖ의 경우(Lemma 2)에도 유사한 전략을 사용한다. 짝수 인덱스의 꼭짓점들을 차례로 연결하고, 마지막에 시작점으로 돌아오는 방식으로 k = ⌊n/2⌋개의 코드를 만든다. 이 역시 볼록 다각형의 가시성 특성에 의해 교차가 발생하지 않으며, 선형 시간 내에 완성된다.

다음으로 저자들은 ‘의사볼록(pseudo‑convex)’ 다각형, 즉 일부 내각이 180°를 초과하지만 전체적으로는 가시성 그래프가 일정 수준 유지되는 다각형을 정의하고, 위 알고리즘을 확장한다. 핵심 아이디어는 ‘볼록 구간(convex runs)’을 찾아 그 구간 내부에서는 기존 볼록 다각형 알고리즘을 그대로 적용하고, 구간 사이에서는 코드를 건너뛰어 교차를 방지한다는 것이다. 이를 통해 여전히 O(n) 시간 안에 임베딩을 보장한다.

또한 논문은 임베딩 가능한 최대 경로·사이클 길이에 대한 이론적 상한을 제시한다. 볼록 다각형에서는 경로가 n‑3개의 정점까지, 사이클은 ⌊n/2⌋개의 정점까지 임베딩 가능함을 증명한다. 이는 다각형의 변을 이용할 수 없고, 오직 내부 코드만 사용해야 하는 제약에서 비롯된 결과이다. 이러한 상한은 기존의 점 집합 임베딩에서 “모든 n개의 점을 사용할 수 있다”는 가정과는 차이가 있다.

마지막으로 저자들은 점 집합 임베딩 문제에 대한 Ω(n log n) 하한과 비교해, 다각형 임베딩 문제는 정렬 단계가 필요 없으므로 Ω(n) 하한만 존재함을 논증한다. 이는 입력이 이미 순서화된 형태(다각형 꼭짓점 순서)라는 특수성을 활용한 결과이며, 알고리즘 설계에서 중요한 통찰을 제공한다. 전체적으로 이 논문은 제한된 점 집합(다각형 꼭짓점) 상황에서 경로·사이클 그래프를 효율적으로 배치하는 새로운 선형 시간 기법을 제시하고, 그 이론적 한계까지 체계적으로 분석한 점이 의의가 크다.