[논문 리뷰] Separating Geometric Thickness from Book Thickness

David Eppstein|ArXiv.org|2001. 09. 24.

Computational Geometry and Mesh Generation참고 문헌 7인용 수 14

한 줄 요약

이 논문은 기하 두께와 책 두께가 점 渐차적으로 동치가 아니라는 것을 보이며, 기하 두께가 정확히 2인 그래프 가족 $G_k$ 를 구성함으로써 이를 입증한다. 이 그래프들의 책 두께는 $k$ 가 증가함에 따라 무한히 증가한다. 이 구성은 완전 그래프의 간선을 분할하여 만들며, 램지 이론을 적용하여 책 두께가 유계가 아니라는 것을 증명한다. 이는 기하 두께가 유계이더라도 책 두께가 유계일 필요가 없다는 것을 보여준다.

ABSTRACT

We show that geometric thickness and book thickness are not asymptotically equivalent: for every t, there exists a graph with geometric thickness two and book thickness >= t.

연구 동기 및 목표

• 기하 두께와 책 두께가 점 渐차적으로 동치인지 조사하기.
• 기하 두께가 유계이면 책 두께도 유계인지 여부라는 열린 문제를 해결하기.
• 이 두 그래프 매개변수를 분리하는 명시적인 그래프 가족을 구성하기.

제안 방법

• 각 $K_k$ 의 간선을 두 간선 경로로 분할하여 $G_k$ 를 정의한다.
• 직선 세그먼트를 사용하여 $G_k$ 를 두 층에 삽입한다: 원래의 정점 $v_i$ 는 $(i, i+1)$ 좌표에 배치하고, 중간 정점은 $(j+1, i)$ 에 배치하여 층을 가로질러 간선을 라우팅한다.
• 책 삽입을 분석하기 위해 램지 이론을 적용한다: $G_k$ 의 책 삽입에서 사용된 층의 쌍에 따라 $K_k$ 의 간선을 분할한다.
• 레마 1(램지 유형 결과)을 적용하여 책 두께가 유계이면 두 층에서 $K_5$ 가 하위 그래프로 존재하게 되며, 이는 $G_5$ 가 비평면적이라는 점과 모순됨을 보인다.
• 램지 구성에서 층 쌍의 수 $c = inom{t-1}{2}$ 를 매개변수로 사용하여 $G_k$ 의 책 두께가 $k$ 와 함께 증가함을 입증한다.
• 블록 기반의 층 배치 전략에 기반하여 $\mathrm{bt}(G_k) = O(\sqrt{k})$ 의 상한이 날카로운 것으로 추측한다.

실험 결과

연구 질문

• RQ1 기하 두께는 점 渐차적으로 책 두께와 동치인가?
• RQ2 기하 두께는 유계이지만 책 두께는 무계인 그래프가 존재하는가?
• RQ3 기하 두께와 책 두께 사이의 점 渐차적 관계는 무엇인가?
• RQ4 두 층에서 직선으로 그린 도식이 존재하면 책 두께가 유계인가?
• RQ5 낮은 기하 두께를 가진 그래프에 대해 책 두께의 하한은 얼마나 강한가?

주요 결과

• 모든 양의 정수 $t$ 에 대해, 책 두께 $\mathrm{bt}(G_k) \geq t$ 를 만족하는 그래프 $G_k$ 가 존재한다.
• 모든 $k \geq 5$ 에 대해 기하 두께 $\bar{\theta}(G_k) = 2$ 이며, 이는 기하 두께가 유계임을 보여준다.
• 이 구성은 $K_k$ 의 간선을 두 간선 경로로 분할하여 이루어지며, 이로 인해 $k + \binom{k}{2}$ 개의 정점과 $2\binom{k}{2}$ 개의 간선을 가진 그래프가 형성된다.
• 램지 이론을 통해 모순을 도출한다: 책 두께가 $t-1$ 이하로 유계이면, 두 층에서 $K_5$ 가 하위 그래프로 삽입되지만, $G_5$ 는 비평면적이므로 적어도 세 층이 필요하다.
• 논문은 $\mathrm{bt}(G_k) = O(\sqrt{k})$ 를 상한으로 확립하고, 이 상한이 날카로운 것으로 추측한다.
• 결과적으로 기하 두께와 책 두께가 점 渐차적으로 동치가 아니라는 것이 입증되었으며, 그래프 도식 분야에서 오랫동안 남아있던 열린 문제를 해결한다.