[논문 리뷰] On Universal Point Sets for Planar Graphs

Jean Cardinal, Michael M. Hoffmann외 1명|arXiv (Cornell University)|2012. 09. 17.

Computational Geometry and Mesh Generation참고 문헌 8인용 수 6

한 줄 요약

이 논문은 조합적 세기와 평면 3-트리에 대한 직선 교차 수 경계를 활용하여 n ≥ 15인 경우 크기가 n인 n-일반점 집합이 존재하지 않음을 증명한다. 또한 컴퓨터 검색을 통해 모든 n ≤ 10에 대해 크기가 n인 n-일반점 집합이 존재하는 것으로 확인하였으며, 35개 정점을 가진 7,393개의 비동시에 임베딩이 불가능한 평면 그래프의 집합을 구성하여 동시에 기하학적 임베딩에 대한 새로운 상한을 확립한다.

ABSTRACT

A set P of points in R^2 is n-universal, if every planar graph on n vertices admits a plane straight-line embedding on P. Answering a question by Kobourov, we show that there is no n-universal point set of size n, for any n>=15. Conversely, we use a computer program to show that there exist universal point sets for all n<=10 and to enumerate all corresponding order types. Finally, we describe a collection G of 7'393 planar graphs on 35 vertices that do not admit a simultaneous geometric embedding without mapping, that is, no set of 35 points in the plane supports a plane straight-line embedding of all graphs in G.

연구 동기 및 목표

• 오랫동안 미해결된 문제를 해결함: n ≥ 15인 경우 크기가 n인 n-일반점 집합이 존재하는가?
• 크기가 n인 n-일반점 집합이 존재하는 최대 n을 규명함.
• 매핑 없이 동시에 기하학적 임베딩이 가능한 평면 그래프의 수에 대한 새로운 상한을 확립함.
• 소형 n ≤ 10에 대해 컴퓨터를 활용하여 모든 크기가 n인 n-일반점 집합을 검증하고 열거함.

제안 방법

• 낮은 점 집합 크기의 필요성을 도출하기 위해 레이블이 부여된 평면 3-트리(쌓인 삼각분할)를 조합적 모델로 활용함.
• 평면 3-트리에서의 면 분할 기반 수세기 기법을 적용하여, n개 정점에 대한 레이블이 부여된 그래프에 대해 |T_n| = 2^{n-4} · (n-3)! 임을 보임.
• 직선 교차 수 경계를 활용하여 n ≥ 15인 경우 필요한 서로 다른 점 집합의 수가 n을 초과함을 증명함.
• 순서 유형 데이터베이스와 plantri를 활용한 컴퓨터 프로그램을 개발하여, n ≤ 10개 정점을 가진 모든 최대 평면 그래프가 크기가 n인 각 점 집합에 대해 일반 임베딩이 가능한지 테스트함.
• 외부 면과 정점 매핑 기반으로 큰 평면 그래프 집합을 231개의 상자로 분할하고, 면 대칭성과 임베딩 유일성에 의해 각 상자당 임베딩 가능한 그래프 수를 32개 이내로 제한함.
• 35개 정점을 가진 7,393개의 비이소모르픽 평면 그래프 집합이 어떤 크기 35의 점 집합에서도 동시에 임베딩이 불가능함을 증명하기 위해, 각 상자당 최대 32개의 그래프만 임베딩 가능함을 보였고, 이에 따라 총 수를 7,392개 이내로 제한함.

실험 결과

연구 질문

• RQ1 n ≥ 15인 경우 크기가 n인 n-일반점 집합이 존재하는가?
• RQ2 크기가 n인 n-일반점 집합이 존재하는 최대 n는 무엇인가?
• RQ3 n개 정점을 가진 평면 그래프의 집합 중 매핑 없이 동시에 기하학적 임베딩이 가능한 최대 수 σ는 얼마인가?
• RQ4 소형 n ≤ 10에 대해 크기가 n인 n-일반점 집합이 몇 개인가?
• RQ5 크기가 n인 단일 점 집합이 n > 10인 경우 모든 평면 그래프의 평면 직선 임베딩을 지원할 수 있는가?

주요 결과

• n ≥ 15인 경우 크기가 n인 n-일반점 집합이 존재하지 않음으로써, Kobourov의 질문에 대해 부정적으로 해결됨.
• n ≤ 10인 경우 크기가 n인 n-일반점 집합이 존재함을 철저한 컴퓨터 검색으로 확인함.
• n = 9일 때는 5,955개의 비동치 n-일반점 집합이 존재하며, n = 10일 때는 2,072개 존재함.
• 35개 정점을 가진 7,393개의 비이소모르픽 평면 그래프 집합은 어떤 크기 35의 점 집합에서도 동시에 임베딩이 불가능하며, 이는 σ < 7,393임을 증명함.
• n에 대해 크기가 n인 n-일반점 집합의 수가 단조적이지 않음을 증명함으로써, n=9일 때 5,955개에서 n=10일 때 2,072개로 감소함을 보여줌.
• 35개 정점을 가진 평면 그래프 중 매핑 없이 동시에 임베딩 가능한 최대 수는 7,392개 이하임을 증명하여 엄밀한 상한을 확립함.