[논문 리뷰] Improved product structure for graphs on surfaces

Marc Distel, Robert Hickingbotham외 2명|arXiv (Cornell University)|2021. 12. 18.

Advanced Graph Theory Research인용 수 4

한 줄 요약

이 논문은 표면에 임베딩된 그래프의 제품 구조 정리에서 평면 그래프 성분의 트리폭 한계를 4에서 3으로 줄임과 동시에 경로와 완전 그래프의 강한 곱에 포함됨을 유지한다. 주요 결과는 임의의 오일러 기수 $ g $ 를 가진 모든 그래프가 $ H \boxtimes P \boxtimes K_{\max\{2g,3\}} $ 에 포함된다는 것이다. 여기서 $ H $ 는 트리폭 3인 평면 그래프이며, 표면에 임베딩된 그래프의 구조적 특성 분석을 크게 강화한다.

ABSTRACT

Dujmović, Joret, Micek, Morin, Ueckerdt and Wood [J. ACM 2020] proved that for every graph $G$ with Euler genus $g$ there is a graph $H$ with treewidth at most 4 and a path $P$ such that $G\subseteq H \boxtimes P \boxtimes K_{\max\{2g,3\}}$. We improve this result by replacing "4" by "3" and with $H$ planar. We in fact prove a more general result in terms of so-called framed graphs. This implies that every $(g,d)$-map graph is contained in $ H \boxtimes P\boxtimes K_\ell$, for some planar graph $H$ with treewidth $3$, where $\ell=\max\{2g\lfloor \frac{d}{2} floor,d+3\lfloor\frac{d}{2} floor-3\}$. It also implies that every $(g,1)$-planar graph (that is, graphs that can be drawn in a surface of Euler genus $g$ with at most one crossing per edge) is contained in $H\boxtimes P\boxtimes K_{\max\{4g,7\}}$, for some planar graph $H$ with treewidth $3$.

연구 동기 및 목표

• 제품 분해를 통해 표면에 임베딩 가능한 그래프의 구조적 특성 분석을 정교화하기 위해.
• 표면에 임베딩된 그래프의 제품 구조 정리에서 평면 성분의 트리폭 한계를 4에서 3으로 줄이기 위해.
• 결과를 얼굴 차수에 상한이 있는 표면 상의 프레임된 그래프와 지도 그래프로 일반화하기 위해.
• 표면에 임베딩된 그래프의 제품 구조 정리 맥락에서 트리폭에 대한 최적의 경계를 확립하기 위해.
• 강한 그래프 곱을 통한 표면 상의 그래프의 전반적 구조를 이해하는 통합적 프레임워크를 제공하기 위해.

제안 방법

• 표면에 임베딩된 다중그래프의 유한 사이클 길이를 가진 면들 사이에 간선을 추가하는 방식으로 $(g,d)$-프레임된 다중그래프의 개념을 도입한다.
• 모든 $(g,d)$-프레임된 다중그래프는 $ H \boxtimes P \boxtimes K_\ell $ 에 포함되며, 여기서 $ H $ 는 트리폭 3인 평면 그래프이고 $ \ell = \max\{2g\lfloor d/2 \rfloor, d + 3\lfloor d/2 \rfloor - 3\} $ 이다.
• 간선 최대화된 임베딩과 면 사이클 분석을 사용하여 오일러 기수가 $ g $ 인 표면에 임베딩된 기본 다중그래프 $ G_0 $ 를 구성하여, 원래 그래프가 $ G_0^{(d)} $ 의 부분그래프가 되도록 한다.
• 결과로 얻어진 프레임된 그래프에 제품 구조 정리를 적용하며, 기본 그래프의 평면성과 면 크기의 유한성을 활용하여 $ H $ 의 트리폭을 제어한다.
• Dujmović 등(2020b)이 제시한 기존 하한값을 참조하여 트리폭 3의 경계가 최적이 됨을 입증한다.
• 이중성과 면 사이클 복원을 활용하여 지도 그래프와 1-평면 그래프를 프레임된 그래프의 부분그래프로 포함시켜 주요 정리의 적용 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 표면에 임베딩된 그래프의 제품 구조 정리에서 트리폭 한계를 4에서 3으로 줄일 수 있는가?
• RQ2 원래 정리에서 apex 그래프 $ H $ 를 트리폭 3인 평면 그래프로 대체할 수 있는가?
• RQ3 모든 $(g,d)$-프레임된 다중그래프가 $ H \boxtimes P \boxtimes K_\ell $ 에 포함되며, $ H $ 가 평면이면서 트리폭 3일 때 최적의 $ \ell $ 값은 무엇인가?
• RQ4 표면 상의 지도 그래프와 1-평면 그래프는 프레임된 그래프와 어떻게 관련되어 있으며, 이러한 제품 구조에 포함시킬 수 있는가?
• RQ5 표면에 임베딩된 그래프의 제품 구조 정리에서 $ H $ 의 트리폭 한계 3은 최적이인가?

주요 결과

• 논문은 임의의 오일러 기수가 $ g $ 인 모든 그래프가 $ H \boxtimes P \boxtimes K_{\max\{2g,3\}} $ 에 포함되며, 여기서 $ H $ 는 트리폭 3인 평면 그래프라는 것을 입증하여 이전의 트리폭 4 한계를 향상시켰다.
• 결과는 $(g,d)$-프레임된 다중그래프로 일반화되었으며, $ \ell = \max\{2g\lfloor d/2 \rfloor, d + 3\lfloor d/2 \rfloor - 3\} $ 이다. 이는 이러한 그래프가 동일한 제품 구조에 포함되며, $ H $ 의 트리폭 한계도 동일함을 보여준다.
• 모든 $(g,1)$-평면 그래프는 어떤 트리폭 3인 평면 그래프 $ H $ 에 대해 $ H \boxtimes P \boxtimes K_{\max\{4g,7\}} $ 에 포함되며, 이는 타이트한 구조적 분해를 제공한다.
• $ H $ 의 트리폭 한계 3은 최적이며, Dujmović 등(2020b)이 제시한 기존 하한값을 참조하여 입증된다: 모든 $ \ell \geq 0 $ 에 대해, $ H $ 가 트리폭 최소 3이어야만 $ H \boxtimes P \boxtimes K_\ell $ 에 포함될 수 있는 평면 그래프가 존재한다.
• 오일러 기수가 $ g $ 이고 최대 면 차수 $ d $ 를 가진 표면 상의 지도 그래프는 $(g,d)$-프레임된 다중그래프의 부분그래프로 나타나며, 이는 이후 제품 구조에 포함되어 결과의 적용 범위를 확장한다.
• 구성 과정은 간선 최대화된 임베딩과 면 사이클 분석을 사용하여 기본 다중그래프 $ G_0 $ 가 모든 면이 사이클로 둘러싸여 있음을 보장함으로써, 프레임된 그래프 이론을 활용하여 원래 그래프를 제품 구조에 포함시킬 수 있도록 한다.