[논문 리뷰] Book Embeddings of Graph Products

Sergey Pupyrev|arXiv (Cornell University)|2020. 07. 29.

Advanced Graph Theory Research참고 문헌 27인용 수 6

한 줄 요약

이 논문은 경로와 유계 트리너비 또는 유계 경로너비를 가진 그래프 사이의 강한 그래프 곱의 스택 수(책 두께)를 조사한다. 새로운 개념인 동시에 스택-큐 레이아웃을 사용하여, 저자들은 경로와 (i) 유계 경로너비를 가진 그래프이거나 (ii) 유계 트리너비와 유계 차수를 가진 이분 그래프와의 강한 곱에서 스택 수가 유계임을 증명한다. 이는 비평면 그래프 가족과 스택 레이아웃 및 큐 레이아웃 간의 관계에 대한 영향을 미치는 열린 문제를 해결한다.

ABSTRACT

A $k$-stack layout (also called a $k$-page book embedding) of a graph consists of a total order of the vertices, and a partition of the edges into $k$ sets of non-crossing edges with respect to the vertex order. The stack number (book thickness, page number) of a graph is the minimum $k$ such that it admits a $k$-stack layout. A $k$-queue layout is defined similarly, except that no two edges in a single set may be nested. It was recently proved that graphs of various non-minor-closed classes are subgraphs of the strong product of a path and a graph with bounded treewidth. Motivated by this decomposition result, we explore stack layouts of graph products. We show that the stack number is bounded for the strong product of a path and (i) a graph of bounded pathwidth or (ii) a bipartite graph of bounded treewidth and bounded degree. The results are obtained via a novel concept of simultaneous stack-queue layouts, which may be of independent interest.

연구 동기 및 목표

• Open Problem 1을 해결하기 위해: $G$가 유계 트리너비를 가질 때 $P_n \boxtimes G$의 스택 수가 트리너비의 함수로 유계인지 여부를 밝히는 것.
• 특히 강한 곱을 포함한 그래프 곱의 구조적 성질을 탐색하여 그들의 책 매장 행동을 이해하는 것.
• 그래프 곱에서 스택 수와 큐 수 간의 관계를 수립하고, 그래프 그림의 오랜 열린 문제에 대한 함의를 제공하는 것.
• 스택-큐 레이아웃을 동시에 사용하는 개념을 도입하고, 이를 책 매장 분석을 위한 새로운 기술적 도구로 활용하는 것.
• 분해 정리들을 통해 $k$-평면 그래프와 같이 최소-소멸 폐쇄가 아닌 그래프 가족의 스택 수를 이해하기 위한 기초를 마련하는 것.

제안 방법

• 스택과 큐에 동시에 간선을 할당하는 동시에 스택-큐 레이아웃의 개념을 도입하며, 각각 교차 금지 및 중첩 금지 조건을 만족하도록 한다.
• 주요 구조로 강한 곱 $P_n \boxtimes G$를 사용하며, 여기서 $P_n$은 경로이고 $G$는 유계 경로너비 또는 유계 트리너비를 가진 그래프이다.
• 유계 경로너비를 가진 그래프 $G$에 대해 $P_n \boxtimes G$의 스택 수가 경로너비의 함수로 유계임을 증명한다.
• 이를 이분 그래프에 대해 확장하여, 유계 트리너비와 유계 차수를 가진 그래프에 대해 경로와의 강한 곱이 유계 스택 수를 가짐을 보인다.
• 기존의 분해 정리(예: Lemma 1)를 활용하며, 이 정리는 $k$-평면 그래프가 트리너비 $O(k^5)$를 가진 $G$에 대해 $P_n \boxtimes G$의 부분그래프임을 나타낸다.
• 레이어드 경로너비 프레임워크를 적용하고, 레이어드 경로너비 $p$를 가진 그래프는 스택 수가 최대 $4p$ 이하임을 보이는 결과를 연결한다.

실험 결과

연구 질문

• RQ1 $G$가 유계 트리너비를 가질 때 $P_n \boxtimes G$의 스택 수가 $G$의 트리너비의 함수로 유계인지 여부?
• RQ2 경로와 유계 경로너비 그래프의 강한 곱의 스택 수가 유계일 수 있는가?
• RQ3 유계 트리너비와 유계 차수를 가진 이분 그래프와의 경로 강한 곱이 유계 스택 수를 가지는가?
• RQ4 동시 스택-큐 레이아웃을 사용하여 그래프 곱의 스택 수에 대한 유계를 도출할 수 있는가?
• RQ5 $P_n \boxtimes G$에 대해 스택 수가 유계이면, 이는 $k$-평면 그래프의 스택 수가 상수임을 의미하는가?

주요 결과

• 유계 경로너비를 가진 $G$에 대해 $P_n \boxtimes G$의 스택 수가 유계임을 증명하여, 이 클래스에 대해 Open Problem 1에 대한 긍정적 해답을 제시한다.
• 유계 트리너비와 유계 차수를 가진 이분 그래프 $G$에 대해 $P_n \boxtimes G$의 스택 수가 유계임을 보였다.
• 저자들은 주요 결과를 도출하기 위해 핵심 기술적 혁신으로 동시에 스택-큐 레이아웃의 개념을 도입하고 활용하였다.
• 결과적으로 $k$-평면 그래프가 유계 스택 수를 가질 수 있음을 시사하며, 이는 트리너비가 유계인 $G$에 대해 $P_n \boxtimes G$의 부분그래프이기 때문이다.
• 스택 수와 큐 수 간의 관계에 대한 30년이 넘는 오랜 질문을 해결할 수 있었기 때문에, 그래프 그림의 맥락에서 오랜 열린 문제를 해결하였다. 만약 Open Problem 1에 대한 부정적 답변이 있었다면, 이는 스택 수와 큐 수 간의 관계에 대한 30년 된 질문을 해결했을 것이다.
• 이 작업은 $k$-평면 그래프의 스택 수가 상수로 유계인지 여부에 대한 열린 문제에 부분적인 해결을 제공한다.