[논문 리뷰] Note on Min- k-Planar Drawings of Graphs

Petr Hliněný, Ködmön, Lili|arXiv (Cornell University)|2024. 01. 01.

Computational Geometry and Mesh Generation인용 수 1

한 줄 요약

이 논문은 k ≥ 2일 때, min-k-평면 그래프—모든 교차하는 간선 쌍이 최소한 하나의 간선이 최대 k번 교차하는 그래프—가 단순 그림과 일반 그림 간에 본질적으로 다른 성질을 보임을 보여준다. 저자들은 임의로 큰 고정된 k에 대해, min-2-평면 또는 min-3-평면 그림을 가진 그래프가 인접한 간선이 교차하지 않도록 하더라도 단순 min-k-평면 그림을 가질 수 없음을 증명한다. 이는 일반 min-k-평면 그림과 단순 min-k-평면 그림 사이에 중요한 차이가 있음을 드러내며, k ≥ 4일 때만 문제가 되는 k-평면 그래프와는 다름을 보여준다.

ABSTRACT

The k-planar graphs, which are (usually with small values of k such as 1,2,3) subject to recent intense research, admit a drawing in which edges are allowed to cross, but each one edge is allowed to carry at most k crossings. In recently introduced [Binucci et al., GD 2023] min-k-planar drawings of graphs, edges may possibly carry more than k crossings, but in any two crossing edges, at least one of the two must have at most k crossings. In both concepts, one may consider general drawings or a popular restricted concept of drawings called simple. In a simple drawing, every two edges are allowed to cross at most once, and any two edges which share a vertex are forbidden to cross. While, regarding the former concept, it is for k ≤ 3 known (but perhaps not widely known) that every general k-planar graph admits a simple k-planar drawing and this ceases to be true for any k ≤ 4, the difference between general and simple drawings in the latter concept is more striking. We prove that there exist graphs with a min-2-planar drawing, or with a min-3-planar drawing avoiding crossings of adjacent edges, which have no simple min-k-planar drawings for arbitrarily large fixed k.

연구 동기 및 목표

• 일반 그림과 단순 그림 간의 차이를 min-k-평면 그래프의 맥락에서 명확히 하기 위해.
• 단순 min-k-평면 그림에 대한 결과가 일반 min-k-평면 그림으로까지 확장되는지 조사하기 위해.
• k ≥ 2일 때, min-k-평면 그림에서 단순성 가정이 일반화되지 않음을 입증하기 위해.
• 임의로 큰 k에 대해 min-2-평면 및 min-3-평면 그래프가 단순 min-k-평면 그림을 가지지 않는 명시적 반례를 구성하기 위해.
• 미래 연구를 위해 min-k-평면 그림을 강체 구조 내에 제약하는 데 사용할 수 있는 기술적 도구(고정된 그림과 t-확대)를 개발하기 위해.

제안 방법

• d개의 레이어를 가진 더블 유프(wheel)인 기저 그래프 H0를 구성한 후, 그의 평면 이중 그래프 H*0를 만들고 H0와 결합하여 H1를 형성한다.
• H0의 중심 정점 w2를 a개의 정점으로 분할하고, 각 정점이 2kℓ + 2k + 1개의 연속된 레이어에 연결되도록 하여 앵커 집합 A를 가진 H2를 형성한다.
• H''2의 이중 부분그래프에 t-확대를 적용하여 Ht2를 생성하며, t는 보조정리 3.1에 따라 선택되어 무거운 간선을 강제한다.
• 조르당 곡선 정리를 적용하여, 앵커에서 w1로 가는 경로를 가로지르는 모든 간선이 Ht2의 최소 k+1개의 간선을 가로져야 하므로, 이 간선은 '무거운 간선'임을 보여준다.
• 보조정리 3.2를 적용하여, 임의의 min-k-평면 그림에서 G의 부분그림을 변형함으로써 앵커가 원판 경계 위에 있고 나머지 G는 내부에 있도록 할 수 있음을 보여준다.
• 명확성 향상을 위해 단순화된 렘지 유형의 추론을 사용하여 필요한 교차 수를 제한하고, 간선이 너무 많은 무거운 간선을 가로지르면 모순가능성을 보장한다.

실험 결과

연구 질문

• RQ1 모든 min-2-평면 그래프는 임의로 큰 k에 대해 단순 min-k-평면 그림을 가지는가?
• RQ2 k ≥ 2일 때, 단순 min-k-평면 그림에 대한 결과는 일반 min-k-평면 그림으로도 유효한가?
• RQ3 인접한 간선 교차를 피하는 min-3-평면 그림을 가진 그래프도 여전히 큰 k에 대해 단순 min-k-평면 그림을 가지지 못하는가?
• RQ4 k ≤ 3일 때 k-평면 그래프에서처럼, min-k-평면 그림에서 단순성 가정이 일반화되지 않는가?
• RQ5 min-k-평면 그림을 강체 구조 내에 제약하여 비구현 가능성 결과를 증명하는 데 사용할 수 있는 기술적 도구는 무엇인가?

주요 결과

• 임의로 큰 고정된 k에 대해 단순 min-k-평면 그림을 가지지 않는 min-2-평면 그림을 가진 그래프가 존재한다.
• 유사하게, 인접한 간선 교차를 피하는 min-3-평면 그림을 가진 그래프도 임의로 큰 k에 대해 단순 min-k-평면 그림을 가지지 않는다.
• k ≥ 2일 때 일반 min-k-평면 그림과 단순 min-k-평면 그림 간의 차이는 중요하며, k ≥ 4일 때만 문제가 되는 k-평면 그래프와는 다르다.
• k ≥ 2일 때, 인접한 간선 교차가 금지되어 있어도 min-k-평면 그림에서 단순성 가정이 일반화되지 않는다.
• 논문은 고정된 그림에 이중 부분그래프의 t-확대를 적용하는 기술적 도구—무거운 간선을 강제하고 모순 기반의 비구현 가능성 증명을 가능하게 한다.—를 구성한다.
• 결과적으로, k ≥ 2에 대해 단순 min-k-평면 그래프에 대한 기존 연구 결과가 일반 min-k-평면 그래프로 확장되지 않을 수 있음을 보여주며, 이러한 확장의 타당성에 대한 우려를 제기한다.