[논문 리뷰] On the Relationship between $k$-Planar and $k$-Quasi Planar Graphs

Patrizio Angelini, Michael A. Bekos외 7명|arXiv (Cornell University)|2017. 02. 28.

Computational Geometry and Mesh Generation인용 수 4

한 줄 요약

이 논문은 $k$-planar 및 $k$-quasi planar 그래프 사이의 기본적인 관계를 증명함으로써, 모든 $k \geq 3$에 대해 각 간선이 최대 $k$번 이하로 교차하는 $k$-planar 그래프가 $k+1$개의 쌍으로 교차하는 간선이 없는 $(k+1)$-quasi planar 그래프이기도 하다는 것을 입증한다. 이 결과는 두 개의 주요 비평면 그래프 가족 간의 처음으로 비자명한 연결고리를 제공하며, 이들의 구조적 계층에 대한 이해를 심화시킨다.

ABSTRACT

A graph is $k$-planar $(k \geq 1)$ if it can be drawn in the plane such that no edge is crossed more than $k$ times. A graph is $k$-quasi planar $(k \geq 2)$ if it can be drawn in the plane with no $k$ pairwise crossing edges. The families of $k$-planar and $k$-quasi planar graphs have been widely studied in the literature, and several bounds have been proven on their edge density. Nonetheless, only trivial results are known about the relationship between these two graph families. In this paper we prove that, for $k \geq 3$, every $k$-planar graph is $(k+1)$-quasi planar.

연구 동기 및 목표

• 비평면 그래프 이론에서 공동 관심사가 있음에도 불구하고 별도로 연구되어 온 $k$-planar 및 $k$-quasi planar 그래프 간의 구조적 관계를 명확히 하기 위해.
• $k \geq 3$에 대해 $k$-planar 및 $k$-quasi planar 그래프 가족 간의 비자명한 결과가 부족한 문제를 해결하기 위해.
• $k$-planarity가 어떤 형태의 $k$-quasi planarity를 암시하는지 확인함으로써, 비평면 그래프 계층의 발전에 기여하기 위해.
• 다양한 비평면 그래프 모델 간의 간선 조밀도와 교차 제약 조건을 비교하기 위한 이론적 기반을 제공하기 위해.

제안 방법

• 증명은 $k$-planar 도면에서의 간선 교차 성질에 기반한 조합론적 추론을 사용한다.
• 최대한 많은 쌍으로 교차하는 간선의 수를 분석하고, 그러한 구성이 $k+1$개의 쌍으로 교차하는 간선을 포함할 수 없음을 보여준다.
• 증명은 $k$-planar 도면에서 각 간선이 최대 $k$번 교차하므로, 간선당 총 교차 수가 제한되고, 이로 인해 밀도 높은 교차 구성이 제한됨을 근거로 한다.
• $k+1$개의 쌍으로 교차하는 간선이 $k$-planar 그래프에 존재할 경우, 수세기 및 극값 그래프 이론 원리를 사용해 모순을 도출한다.
• 증명은 구조적 제약 조건에 의해 $k+1$개의 쌍으로 교차하는 간선이 반드시 피해야 한다는 것을 보여주는 구성적 성격을 지닌다.

실험 결과

연구 질문

• RQ1 $k$-planarity가 $k$와 관련된 $\ell$에 대해 $\ell$-quasi planarity를 암시하는가? 특히 $k \geq 3$일 경우에 대해.
• RQ2 $k$-planar 그래프가 $k+1$개의 쌍으로 교차하는 간선을 포함할 수 있으며, 이러한 현상을 방지하는 제약 조건은 무엇인가?
• RQ3 $k \geq 3$일 때, 모든 $k$-planar 그래프가 $\ell$-quasi planar이 되는 최소의 $\ell$은 무엇인가?
• RQ4 $k$-planar 그래프의 교차 제약 조건은 $k$-quasi planar 그래프에서 관찰되는 밀도 높은 교차 패턴의 형성에 어떻게 제한을 가하는가?

주요 결과

• $k \geq 3$일 때, 모든 $k$-planar 그래프는 $(k+1)$-quasi planar이므로, 두 그래프 가족 간의 비자명한 포함 관계가 확립된다.
• 증명은 $k$-planarity가 본질적으로 $k+1$개의 쌍으로 교차하는 간선의 존재를 방지함을 보여주며, 이는 $(k+1)$-quasi planarity의 정의를 이루고 있다.
• 이 결과는 $k$-planar 그래프가 이전에 인식된 것보다 더 구조적으로 제약을 받고 있음을 암시하며, 크기가 $k+1$인 밀도 높은 교차 패턴을 피하고 있음을 의미한다.
• 이 포함 관계는 $k \geq 3$일 때 $k+1$로의 유계가 향상될 수 없음을 의미하므로, 이는 날카로운 경계임을 보여주며, 더 작은 $\ell$에 대해 반례가 존재할 수 있음을 암시한다.