[논문 리뷰] How Much Work Does It Take To Straighten a Plane Graph Out?

Mihyun Kang, Mathias Schacht외 1명|ArXiv.org|2007. 07. 23.

Computational Geometry and Mesh Generation참고 문헌 10인용 수 3

한 줄 요약

이 논문은 평면 그래프를 직선 선도로 변환하기 위해 가장 나쁜 경우 거의 모든 정점을 이동시켜야 한다는 것을 증명하며, 반드시 이동시켜야 할 정점의 최소 수를 s(n)으로 표기할 때 s(n) = n(1 - o(1))임을 규명한다. 이 결과는 원 위에 겹치지 않는 삼각분할된 군집으로 배열된 3-연결 평면 그래프를 구성함으로써 도출되며, 이는 서로소인 삼각형 영역에 대한 기하학적 제약으로 인해 어떤 직선 선도에서도 최대 O(n)개의 정점만 고정될 수 있음을 보여준다.

ABSTRACT

We prove that if one wants to make a plane graph drawing straight-line then in the worst case one has to move almost all vertices.

연구 동기 및 목표

• 모든 평면 그래프를 직선 선도로 변환하기 위해 반드시 이동시켜야 할 정점의 최소 수를 결정하는 것.
• 평면 그래프의 최악의 경우에 대해 이동시켜야 할 정점 수에 하한을 설정하는 것.
• 직선 선도에서 고정 가능한 정점 수를 제한하는 구조적 제약 조건을 분석하는 것.
• 거의 모든 정점이 재배치되어야만 교차 없는 직선 선도를 확보할 수 있는 3-연결 평면 그래프의 명시적 가족을 구성하는 것.
• 이 문제를 플레너리티 게임과 연결하며, 최적의 플레이가 최악의 경우 거의 모든 정점을 이동시켜야 함을 보여주는 것.

제안 방법

• 크기가 k인 s + k개의 서로소 집합 V_i로 나누어진 n = k(s + k)개의 정점으로 구성된 그래프 G를 구성한다.
• 각 V_i가 최대 평면(삼각분할된) 부분그래프를 형성하도록 G를 매립하며, 이러한 부분그래프들이 상호소외인 외부 면에 위치하도록 한다.
• 연속된 V_i 간의 클러스터 간 간선을 추가하고 마지막으로 사이클을 닫는 간선을 추가하여 전반적인 3-연결성을 확보한다.
• 모든 V_i가 정규 k각형의 꼭짓점에 위치한 '나쁜' 원형 매립에서 간선 교차가 발생하도록 정의한다.
• G의 어떤 교차 없는 직선 선도 G'를 분석할 때, 각 V'_i를 G'[V'_i]의 볼록결합의 삼각형 면 T_i와 연관지운다.
• T_i(가능성 있는 하나를 제외하고)의 기하학적 상호소외성과 원형 레이블 순서에서 교차하는 4-튜플(xyxy)의 부재를 이용해 고정 가능한 정점 수를 유계로 제한한다.

실험 결과

연구 질문

• RQ1 평면 그래프를 직선 선도로 변환하기 위해 반드시 이동시켜야 할 정점의 최악의 경우 수는 얼마인가?
• RQ2 이러한 변환에서 고정 가능한 정점 수가 n의 비선형 함수로 하한을 가질 수 있는가?
• RQ3 정점 군집의 기하학적 배열이 고정 가능한 정점 수의 최대치에 어떤 영향을 미치는가?
• RQ4 3-연결성과 평면성 제약 조건이 직선 선도에서 고정 가능한 정점 수를 얼마나 제한하는가?
• RQ5 이 문제는 플레너리티 게임과 어떻게 관련되어 있으며, 최악의 게임 인스턴스에서 최소 몇 번의 이동이 필요한가?

주요 결과

• 논문은 s(n) = n(1 - o(1))임을 규명하며, 이는 최악의 경우 거의 모든 정점이 직선 선도를 얻기 위해 이동시켜야 한다는 것을 의미한다.
• 명시적인 하한이 도출되었으며, s(n) ≥ n - 2√n - 1임을 보여주며, 이는 최소한 이 정도의 정점이 이동되어야 한다는 것을 의미한다.
• 직선 선도 매립에서 서로소인 삼각형 영역으로 인해 최대 k - 1개의 정점 집합 V_i만 두 개 이상의 정점을 고정할 수 있음을 보장한다.
• 정점들이 약한 볼록 위치에 있을 경우 이 하한은 날카로운데, 이는 정점들이 이러한 위치에 있는 임의의 n개 점에 대해 결과가 성립하기 때문이다.
• 분석 결과 최악의 경우 고정 가능한 정점 수는 O(k) = O(√n)로 제한되며, 이는 비선형 고정 집합이 피할 수 없음을 확인한다.
• 특정 그래프 클래스인 팬과 스타 숲에 대한 이전의 하한보다 개선되었으며, 이는 일반적인 3-연결 평면 그래프로 확장된다.