[논문 리뷰] Adjacency Graphs of Polyhedral Surfaces

Elena Arseneva, Linda Kleist외 5명|arXiv (Cornell University)|2021. 01. 01.

Computational Geometry and Mesh Generation인용 수 2

한 줄 요약

이 논문은 R³ 내에서 볼록 다면체 표면의 인접 그래프로 구현될 수 있는 그래프들을 조사한다. 모든 그래프는 임의의 다각형 셀을 사용해 실현 가능하지만, 볼록 셀을 사용해 실현 가능하려면 K₅, K₅,₈₁ 또는 비평면적 3-트리가 포함되어서는 안 된다는 것을 증명한다. 주요 결과로는 이러한 그래프의 최대 간선 수가 Ω(n log n)에서 O(n⁹/⁵) 사이임을 규명하여, 평면 그래프보다는 농도가 높지만 무한히 높지는 않다는 점을 보여준다.

ABSTRACT

We study whether a given graph can be realized as an adjacency graph of the polygonal cells of a polyhedral surface in ℝ³. We show that every graph is realizable as a polyhedral surface with arbitrary polygonal cells, and that this is not true if we require the cells to be convex. In particular, if the given graph contains K_5, K_{5,81}, or any nonplanar 3-tree as a subgraph, no such realization exists. On the other hand, all planar graphs, K_{4,4}, and K_{3,5} can be realized with convex cells. The same holds for any subdivision of any graph where each edge is subdivided at least once, and, by a result from McMullen et al. (1983), for any hypercube. Our results have implications on the maximum density of graphs describing polyhedral surfaces with convex cells: The realizability of hypercubes shows that the maximum number of edges over all realizable n-vertex graphs is in Ω(n log n). From the non-realizability of K_{5,81}, we obtain that any realizable n-vertex graph has 𝒪(n^{9/5}) edges. As such, these graphs can be considerably denser than planar graphs, but not arbitrarily dense.

연구 동기 및 목표

• R³ 내에서 볼록 다면체 표면의 인접 그래프로 실현 가능한 그래프를 규명하는 것.
• 볼록 셀 실현 가능성의 구조적 장애물, 예를 들어 금지된 부분그래프를 특정하는 것.
• 볼록 다면체 표면의 인접 그래프에서 간선 수의 최대값에 대한 날카운 점근적 경계를 설정하는 것.
• 이러한 그래프를 식별하는 문제의 계산 복잡도를 탐색하는 것.
• 색칠 수의 수준과 접촉 표현을 포함한 그래프 이론의 광범위한 질문들과 문제를 연결하는 것.

제안 방법

• 올리고 메시브 다각형 격자와 포물면 매핑을 이용해 그래프를 볼록 다면체 표면으로 직접 기하학적 실현을 구성하는 것.
• 금지된 부분그래프 회피 기반 간선 밀도를 제한하기 위해 Kővari–Sós–Turán 정리를 적용하는 것.
• 초입방체의 실현 가능성을 이용해 간선 밀도에 대한 하한 Ω(n log n)을 확립하는 것.
• 위상적 및 조합적 제약 조건을 통해 K₅, K₅,₈₁ 또는 비평면적 3-트리를 포함하는 그래프의 실현 불가능성을 증명하는 것.
• McMullen 등(1983)의 초입방체 실현 결과를 활용해 밀도 경계를 유도하는 것.
• 접촉 표현과 다각형 셀 배열을 분석하여 볼록 인접 그래프의 구조적 한계를 특성화하는 것.

실험 결과

연구 질문

• RQ1 R³ 내에서 볼록 다면체 표면의 인접 그래프로 실현 가능한 그래프는 무엇인가?
• RQ2 3차원에서 볼록 다边형 면 접촉 표현을 가질 수 있는 그래프의 필수 및 필요 조건은 무엇인가?
• RQ3 n개의 다각형을 가진 볼록 다면체 표면의 인접 그래프에서 간선 수의 최대값은 얼마인가?
• RQ4 이러한 그래프를 식별하는 문제는 계산적으로 어렵지 않은가, 예를 들어 NP-난이도인가?
• RQ5 다면체 표면의 인접 그래프의 색칠 수는 그 구조적 성질과 어떻게 관련되어 있는가?

주요 결과

• 모든 그래프는 임의의 다각형 셀을 사용해 다면체 표면의 인접 그래프로 실현 가능하다.
• 그래프가 K₅, K₅,₈₁ 또는 비평면적 3-트리의 부분그래프를 포함하지 않는 한, 볼록 셀을 사용해 실현 가능하다.
• n개의 다각형을 가진 볼록 다면체 표면에서 간선 수의 최대값은 초입방체의 실현 가능성에 의해 Ω(n log n)임을 보여준다.
• K₅,₈₁의 금지된 부분그래프와 Kővari–Sós–Turán 정리를 통해 유도된 간선 수의 최대값은 O(n⁹/⁵)이다.
• 평면 그래프, K₄,₄, K₃,₅ 및 각 간선마다 최소한 한 개 이상의 분할을 포함하는 그래프의 부분분할은 모두 볼록 셀을 사용해 실현 가능하다.
• 평균 차수 12 − o(1)를 가지는 볼록 다면체 표면의 무한한 가족이 존재하여, 높지만 유계된 밀도임을 입증한다.