[논문 리뷰] Bounded-Degree Graphs have Arbitrarily Large Geometric Thickness

János Barát, Jiřı́ Matoušek외 1명|ArXiv.org|2005. 09. 07.

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

한 줄 요약

이 논문은 유계 차수 그래프가 임의로 큰 기하 두께를 가질 수 있음을 증명하며, 에프스타인의 추측과 모순된다. 확률론적 및 극한 조합 기법을 사용하여, 기하 두께가 적어도 $ c\sqrt{\Delta}\,n^{1/2-4/\Delta-\epsilon} $ 인 Δ-정규 그래프를 구성함으로써, 기하 두께가 최대 차수에 의해 유계되지 않음을 입증한다. 이는 Δ ≥ 9일 때에도 성립한다. 이 결과는 또한 기하 두께가 유계 차수 그래프의 경우에도 유계가 아니라는 점을 시사하며, 기하 그래프 그림 그리기 분야의 열린 문제를 해결한다.

ABSTRACT

The geometric thickness of a graph G is the minimum integer k such that there is a straight line drawing of G with its edge set partitioned into k plane subgraphs. Eppstein [Separating thickness from geometric thickness. In: Towards a Theory of Geometric Graphs, vol. 342 of Contemp. Math., AMS, 2004] asked whether every graph of bounded maximum degree has bounded geometric thickness. We answer this question in the negative, by proving that there exists Delta-regular graphs with arbitrarily large geometric thickness. In particular, for all Delta >= 9 and for all large n, there exists a Delta-regular graph with geometric thickness at least c Delta^{1/2} n^{1/2 - 4/Delta - epsilon}. Analogous results concerning graph drawings with few edge slopes are also presented, thus solving open problems by Dujmovic' et al. [Really straight graph drawings. In: Proc. 12th International Symp. on Graph Drawing (GD '04), vol. 3383 of Lecture Notes in Comput. Sci., Springer, 2004] and Ambrus et al. [The slope parameter of graphs. Tech. Rep. MAT-2005-07, Department of Mathematics, Technical University of Denmark, 2005].

연구 동기 및 목표

• 유계 최대 차수를 가지는 그래프가 유계 기하 두께를 가진다는 에프스타인의 열린 질문을 해결하기 위해.
• 고정된 Δ ≥ 9일 때조차도 n에 따라 증가하는 기하 두께를 가진 Δ-정규 그래프가 존재함을 입증하기 위해.
• 기하 두께 결과를 기울기 수로 확장하여, 유계 차수 그래프가 임의로 큰 기울기 수를 가질 수 있음을 보여주기 위해.
• 기하 두께 및 기울기 파라미터의 하한을 유도하기 위해 확률론적 및 조합 기법을 통합한 프레임워크를 제공하기 위해.

제안 방법

• 확률론적 방법을 사용하여 확장성과 높은 기하 두께를 보장하는 Δ-정규 그래프를 구성한다.
• 점 집합과 선분 기울기의 부호 패턴을 적용하여, 기하 두께 또는 기울기 수가 낮은 그래프의 수를 제한한다.
• 점 집합의 순서 유형 수를 사용하여, 세는 방법을 통해 기하 두께의 하한을 유도한다.
• 다항식 방법과 교차 기하학을 적용하여, 그림에서 공선성 부분집합과 선분 기울기의 수를 제한한다.
• 이중 세기와 점근적 부등식을 사용하여, 기하 두께 또는 기울기 수가 유계라고 가정할 경우 모순을 이끌어낸다.
• 마리츠의 책 두께 증명을 기하 설정으로 변형하여, 볼록 위치와 일반적인 점 집합 간의 차이를 고려해 조정한다.

실험 결과

연구 질문

• RQ1 모든 최대 차수가 유계인 그래프는 기하 두께가 유계인가?
• RQ2 Δ-정규 그래프가 고정된 Δ ≥ 9일 때도 임의로 큰 기하 두께를 가질 수 있는가?
• RQ3 유계 차수 그래프의 기울기 수는 상수로 유계인가?
• RQ4 Δ-정규 그래프에 대한 기하 두께 및 기울기 파라미터의 점근적 하한은 무엇인가?

주요 결과

• 모든 Δ ≥ 9 및 ε > 0에 대해, 어떤 절대 상수 c에 대해 $ c\sqrt{\Delta}\,n^{1/2-4/\Delta-\epsilon} $ 이상의 기하 두께를 가진 Δ-정규 n-정점 그래프가 존재한다.
• Δ-정규 그래프의 기하 두께는 Δ의 어떤 함수로도 유계가 아니며, Δ ≥ 9일 때에도 마찬가지다.
• Δ ≥ 5일 때 Δ-정규 그래프의 기울기 수는 무한하다. 이는 두주모비 등의 열린 문제를 해결한다.
• 큰 n과 Δ ≥ 9에 대해, Δ-정규 그래프의 기울기 파라미터는 $ \mathsf{sl}(G) > \frac{1}{4}((1-\epsilon)\Delta - 8)n $ 를 만족한다.
• 기하 두께의 하한은 자명한 상한 $ O(\sqrt{\Delta n}) $ 와 상수 인자 범위 내에 있다.
• 증명 기법은 마리츠의 책 두께 결과를 기하 두께로 확장하며, 점 집합 구성의 차이로 인해 더 날카로운 하한을 얻는다.