[논문 리뷰] Axis-Parallel Right Angle Crossing Graphs

Patrizio Angelini, Michael A. Bekos외 4명|arXiv (Cornell University)|2023. 01. 01.

Computational Geometry and Mesh Generation인용 수 3

한 줄 요약

이 논문은 모든 교차하는 간선 세그먼트가 축에 평행인 축에 평행한 직각 교차(apRAC) 그래프를 도입한다. 0-, 1-, 2번 굽힘을 가진 apRAC 그래프의 간선 밀도 한계를 설정하고, 최대 차수 8인 모든 그래프가 선형 시간 알고리즘을 통해 2번 굽힘 apRAC 그림을 갖는다는 것을 증명하며, k ≤ 2인 경우 apRAC 그래프가 일반 RAC 그래프의 진부분집합임을 보이며, 2번 굽힘 RAC 그래프의 최신 기준을 10n − O(1)로 향상시킨다.

ABSTRACT

A RAC graph is one admitting a RAC drawing, that is, a polyline drawing in which each crossing occurs at a right angle. Originally motivated by psychological studies on readability of graph layouts, RAC graphs form one of the most prominent graph classes in beyond planarity. In this work, we study a subclass of RAC graphs, called axis-parallel RAC (or apRAC, for short), that restricts the crossings to pairs of axis-parallel edge-segments. apRAC drawings combine the readability of planar drawings with the clarity of (non-planar) orthogonal drawings. We consider these graphs both with and without bends. Our contribution is as follows: (i) We study inclusion relationships between apRAC and traditional RAC graphs. (ii) We establish bounds on the edge density of apRAC graphs. (iii) We show that every graph with maximum degree 8 is 2-bend apRAC and give a linear time drawing algorithm. Some of our results on apRAC graphs also improve the state of the art for general RAC graphs. We conclude our work with a list of open questions and a discussion of a natural generalization of the apRAC model.

연구 동기 및 목표

• 논문은 축에 평행한 교차만 허용하는 새로운 RAC 그래프의 부분집합인 축에 평행한 RAC(apRAC) 그래프를 체계화하고 분석하고자 한다.
• apRAC 그래프와 일반 RAC 그래프 사이의 포함 관계를 다양한 굽힘 수에 대해 조사한다.
• 특히 k = 0, 1, 2인 경우에 대해 k-굽힘 apRAC 그래프의 간선 밀도에 대한 날카운 상한과 하한을 설정한다.
• 최대 차수 8인 그래프에 대해 2-굽힘 apRAC 그림을 생성하는 선형 시간 알고리즘을 제시한다.
• apRAC를 s개의 서로 다른 기울기에 대해 일반화하고, 이에 따른 간선 밀도와 그래프 실현 가능성에 미치는 영향을 탐색한다.

제안 방법

• 저자는 교차에 관여하는 모든 간선 세그먼트가 축에 평행하고 직각으로 만나는 다각선 그림을 갖는 그래프를 k-굽힘 apRAC 그래프로 정의한다.
• 금지된 구성 요소를 사용하여 0-굽힘 apRAC 그래프의 구조적 성질을 증명하며, 특정 삼각형 및 별 모양의 간선 배열이 발생할 수 없음을 보인다.
• 간선 밀도 분석을 위해 조합론적 추론과 기하학적 제약 조건을 사용하며, 교차 렘마와 이분 그래프 교차 그래프 성질을 활용한다.
• 0-굽힘 apRAC에 대해 4n − 2⌊√n⌋ − 7개 간선을 갖는 하한 그래프와 2-굽힘 apRAC에 대해 10n − O(1)개 간선을 갖는 하한 그래프를 구성함으로써 밀도의 날카운 성질을 입증한다.
• 직각 그래프 분해와 사이클 기반 포트 할당을 사용하여 2-굽힘 apRAC 그림을 위한 선형 시간 알고리즘을 개발한다.
• 모델을 s개의 기울기 중 하나에 평행하거나 수직인 세그먼트를 갖는 s-apRAC로 일반화하고, 이 제약 조건 하에서 간선 밀도를 분석한다.

실험 결과

연구 질문

• RQ1 k = 0, 1, 2인 경우 k-굽힘 apRAC 그래프의 클래스는 k-굽힘 RAC 그래프의 진부분집합인가?
• RQ2 k = 0, 1, 2인 경우 n개 정점의 k-굽힘 apRAC 그래프에 대한 간선 수의 날카운 상한과 하한은 무엇인가?
• RQ3 최대 차수 8인 모든 그래프는 2-굽힘 apRAC 그래프로 그릴 수 있으며, 이러한 그림은 효율적으로 계산할 수 있는가?
• RQ4 s개의 허용된 기울기 수 s에 따라 k-굽힘 s-apRAC 그래프의 간선 밀도는 어떻게 달라지며, 특히 s ∈ o(n)일 경우 어떻게 되는가?
• RQ5 apRAC 제약 조건 하에서 2-굽힘 RAC 그래프의 간선 밀도 한계가 향상되는가? 그리고 이는 10n − O(1)로 날카운지 확인할 수 있는가?

주요 결과

• 논문은 0-굽힘 apRAC 그래프가 0-굽힘 RAC 그래프의 진부분집합임을 증명하며, K6에서 한 개의 간선을 제거한 그래프가 가장 작은 분리 그래프임을 보였다.
• 0-굽힘 apRAC 그래프의 경우 간선 밀도는 4n − √n − 6 이하로 제한되며, 하한은 4n − 2⌊√n⌋ − 7로 주어지며, 저항 항 이외에는 날카운다.
• 1-굽힘 apRAC 그래프의 경우 간선 밀도는 선형 함수로 제한되며, 상한은 작은 덧셈 상수의 오차 내에서 날카운다.
• 2-굽힘 apRAC 그래프의 경우 10n − O(1)개 간선을 갖는 하한 그래프를 구성함으로써 이전의 일반 2-굽힘 RAC 그래프에 대한 최선의 기준 7.83n − O(√n)보다 향상된 결과를 도출하였다.
• 논문은 최대 차수 8인 그래프에 대해 2-굽힘 apRAC 그림을 생성하는 선형 시간 알고리즘을 제시한다.
• s-apRAC 그래프로의 일반화는 2-굽힘 s-apRAC 그래프에 대해 최대 {(6 + 4s)n − 12, 71.9n − O(1)}개 간선의 상한을 도출하며, 이는 s ≤ 17일 경우 일반 2-굽힘 RAC 기준보다 향상된 결과를 얻는다.