[논문 리뷰] Quickly excluding a non-planar graph

Ken‐ichi Kawarabayashi, Robin Thomas외 1명|arXiv (Cornell University)|2020. 10. 23.

Advanced Graph Theory Research참고 문헌 16인용 수 5

한 줄 요약

이 논문은 비평면 그래프 $H$를 소 minor으로 제외하기 위해 구조적 분해 정리를 증명함으로써, $H$-자유 그래프에 대한 구조적 분해 정리를 제시하는 구성적이고 다항식 시간 복잡도의 알고리즘을 제시한다. 이 알고리즘은 이전 결과와 대학원 수준의 교재 자료에만 의존하여 명시적인 상수를 제공하며, 그래프 미노르 시리즈의 원래 긴 증명에 비해 자가 포함적이고 효율적인 대안을 제공한다.

ABSTRACT

A cornerstone theorem in the Graph Minors series of Robertson and Seymour is the result that every graph $G$ with no minor isomorphic to a fixed graph $H$ has a certain structure. The structure can then be exploited to deduce far-reaching consequences. The exact statement requires some explanation, but roughly it says that there exist integers $k,n$ depending on $H$ only such that $0

연구 동기 및 목표

• 비평면 그래프에 대한 소클리크 미노르 정리의 자가 포함적이고 구성적인 증명을 제공함으로써, 이전 결과와 표준 교재 자료만을 사용한다.
• 비평면인 $H$에 대해 $H$-자유 그래프의 구조적 분해를 구성하는 다항식 시간 복잡도 알고리즘을 개발한다.
• 원래 증명에서 존재가 보장되었을 뿐이지 명시적으로 구하지 못했던 $k$-근접 임베딩 구조의 상수 $k$와 $n$을 명시적으로 결정한다.
• 유한 기하 위상수학적 성질을 가진 표면에 대한 $k$-근접 임베딩 기반으로, 비평면인 $H$를 소 미노르로 포함하지 않는 그래프의 구조적 특성화를 수립한다.
• 그래프 미노르 시리즈의 매우 기술적인 긴 원래 증명을 대체하여, 효율적이고 투명한 알고리즘적 접근을 제공한다.

제안 방법

• 구조적 분해를 유도하기 위해 이전 논문 [18]의 평탄한 벽 정리(flat wall theorem)를 기초 자료로 활용한다.
• 그래프 이론의 표준 도구를 대학원 수준의 교재에서 가져와 그래프 미노르 시리즈의 깊은 결과에 의존하지 않는다.
• 모든 $H$-자유 그래프 $G$에 대해, $H$가 표면 $\Sigma$에 임베딩되지 않는, 오일러 기하 위상수 $k$ 이하인 표면 $\Sigma$에 $G$의 $k$-근접 임베딩을 구성한다. 여기서 $k$는 $H$에만 의존한다.
• 큰 벽 $W$ 주변의 그래프 구조를 제어하기 위해 깊이 $d$와 넓이 $b$가 유한한 $W$-중앙 분해를 사용한다.
• 핵심 영역과 바위들에서 벗어나는 분기 집합이 너무 많을 경우, 큰 클리크 미노르가 강제로 발생하여 $H$-자유성과 모순됨을 연결 및 분리 기반 추론으로 보여준다.
• 깊이와 넓이가 유한한 분해의 성질에 위배되는 $K_p$ 미노르($p > 8R^2$)의 존재를 통해 모순을 유도한다.

실험 결과

연구 질문

• RQ1 비평면 그래프에 대한 소클리크 미노르 정리를 구성적으로 증명할 수 있으며, 명시적인 상수를 제공하면서도 기초 도구만을 사용할 수 있는가?
• RQ2 그래프 미노르 시리즈의 전체 기계적 장치에 의존하지 않고도, $H$-자유 그래프에 대한 $k$-근접 임베딩 구조를 구성하는 다항식 시간 복잡도 알고리즘을 설계할 수 있는가?
• RQ3 고정된 비평면 소 미노르를 포함하지 않는 그래프에 대해 $k$-근접 임베딩 구조를 유도하기 위해 필요한 최소한의 가정은 무엇인가?
• RQ4 구조적 분해를 알고리즘적이고 자가 포함적으로 만들 수 있으며, 비구성적 또는 존재성 증명에 의존하지 않을 수 있는가?
• RQ5 분해의 $k$, $n$, $d$, $b$에 대한 상한을 존재 보장하는 것 외에도 명시적으로 구할 수 있는가?

주요 결과

• 논문은 비평면 그래프에 대한 소클리크 미노르 정리의 구성적 증명을 제공하며, $k$-근접 임베딩 구조를 계산하는 다항식 시간 복잡도 알고리즘을 도출한다.
• 분해의 매개변수 $k$, $n$, $d$, $b$에 대한 명시적인 상수를 유도하였으며, 원래 증명에서 존재만 보장되었을 뿐이었던 격차를 메웠다.
• 증명는 평탄한 벽 정리와 표준 대학원 수준의 그래프 이론에만 의존하여 자가 포함적이고 접근 가능하다.
• 비평면인 $H$를 소 미노르로 포함하지 않는 그래프 $G$가 존재할 경우, 깊이 $d$, 넓이 $b$, 기하 위상수 $g$가 유한한 $W$-중앙 $\Sigma$-분해를 가지며, $G - A$가 어떤 크기가 $k$ 이하인 집합 $A$에 대해 $\Sigma$에 $k$-근접 임베딩됨을 보였다.
• 핵심 영역과 바위들에서 벗어나는 잠재적 $K_p$ 미노르의 분기 집합이 너무 많을 경우 모순이 유도되며, 이는 이러한 미노르가 구조적 제약 조건 하에서 존재할 수 없음을 증명한다.
• 결과적으로 비평면 $H$를 소 미노르로 포함하지 않는 그래프는 깊이와 넓이가 제어하는 트리 폭 유사한 구조를 가지며, 이는 소 미노르 닫힘 성질을 유지한다.