[논문 리뷰] Twin-Width of Planar Graphs Is at Most 8, and at Most 6 When Bipartite Planar

Petr Hliněný, Jan Jedelský|arXiv (Cornell University)|2022. 10. 16.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 평면 그래프의 트윈-너비가 최대 8이며, 이중 평면 그래프의 경우 최대 6임을 새롭게 고안된 재귀적 분해 기법을 통해 입증한다. 저자들은 이러한 한계에 도달하는 수축 순서를 계산하는 선형 시간 알고리즘을 제시하여 이전의 상한과 비교해 크게 향상되었으며, 평면 그래프에 대해 알려진 최고의 하한 7과의 격차를 좁혔다.

ABSTRACT

Twin-width is a structural width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS 2020]. Very briefly, its essence is a gradual reduction (a contraction sequence) of the given graph down to a single vertex while maintaining limited difference of neighbourhoods of the vertices, and it can be seen as widely generalizing several other traditional structural parameters. Having such a sequence at hand allows us to solve many otherwise hard problems efficiently. Graph classes of bounded twin-width, in which appropriate contraction sequences are efficiently constructible, are thus of interest in combinatorics and in computer science. However, we currently do not know in general how to obtain a witnessing contraction sequence of low width efficiently, and published upper bounds on the twin-width in non-trivial cases are often "astronomically large". We focus on planar graphs, which are known to have bounded twin-width (already since the introduction of twin-width), but the first explicit "non-astronomical" upper bounds on the twin-width of planar graphs appeared just a year ago; namely the bound of at most 183 by Jacob and Pilipczuk [arXiv, January 2022], and 583 by Bonnet, Kwon and Wood [arXiv, February 2022]. Subsequent arXiv manuscripts in 2022 improved the bound down to 37 (Bekos et al.), 11 and 9 (both by Hliněný). We further elaborate on the approach used in the latter manuscripts, proving that the twin-width of every planar graph is at most 8, and construct a witnessing contraction sequence in linear time. Note that the currently best lower-bound planar example is of twin-width 7, by Král' and Lamaison [arXiv, September 2022]. We also prove that the twin-width of every bipartite planar graph is at most 6, and again construct a witnessing contraction sequence in linear time.

연구 동기 및 목표

• 이전에 알려진 '천문학적 크기'이거나 최적화되지 않은 상한보다 훨씬 낮은 트윈-너비의 평면 그래프에 대해 날카로운 상한을 확립하기 위해.
• 수축 순서 중 빨간색 차수를 정밀하게 제어할 수 있도록 하는 평면 그래프를 위한 새로운 재귀적 분해 방법을 개발하기 위해.
• 이 방법을 1-평면 및 지ap 그래프를 포함한 관련 그래프 클래스로 확장하여 개선된 명시적 상한을 제공하기 위해.
• 이론적 상한과 함께, 주장된 너비에 도달하는 수축 순서를 계산하는 효율적인 선형 시간 알고리즘을 제공하기 위해.
• 현재 평면 그래프에 대한 상한과 하한 사이의 격차를 좁히기 위해, 평면 그래프의 진짜 최대 트윈-너비가 7일 것이라는 추측을 제기하기 위해.

제안 방법

• 핵심 코어에서의 정점 거리 기반 계층적 클러스터링을 바탕으로 한 평면 그래프의 새로운 재귀적 분해를 도입하여 제어 가능한 수축 순서를 가능하게 한다.
• 각 단계에서 정점의 빨간색 차수를 제한하면서 그래프를 체계적으로 축소하는 수축 순서 π3를 정의한다.
• 분해의 각 수준에서 검은색이 아닌 2-이웃의 수준 기반 분석을 통해 최대 빨간색 차수를 제한한다.
• 오일러의 공식과 평균 차수의 유한성과 같은 평면 그래프의 구조적 성질을 활용하여 잠재적 검은색 이웃의 수를 제약한다.
• 수축 단계에 대한 귀납적 추론과 케이스 분석을 통해 빨간색 차수가 항상 8 이하(이중 평면 그래프의 경우 6 이하)를 초과하지 않도록 보장한다.
• 재귀적 구조와 국소적 이웃 제어를 활용하여 수축 순서를 계산하는 선형 시간 알고리즘을 설계한다.

실험 결과

연구 질문

• RQ1 트윈-너비가 유계임이 알려져 있음에도 불구하고, 평면 그래프의 트윈-너비에 대해 가장 날카로운 상한은 무엇인가요?
• RQ2 효율적이고 구조적인 알고리즘이 평면 그래프에 대해 작은 트윈-너비를 달성하는 수축 순서를 계산할 수 있을까요?
• RQ3 이중 평면 그래프의 트윈-너비는 일반 평면 그래프와 비교해 어떻게 다른가요? 더 엄격하게 제한될 수 있을까요?
• RQ4 동일한 재귀적 분해 프레임워크는 1-평면 및 지도 그래프와 같은 비평면이지만 관련된 그래프 클래스로도 적용 가능할 수 있을까요?
• RQ5 평면 그래프에 대해 현재의 상한 8은 진짜 최대값에 가까운가요? 더 줄일 수 있을까요?

주요 결과

• 모든 평면 그래프의 트윈-너비는 최대 8이며, 이는 알려진 최고의 하한 7과 한 단계 이내로 날카로운 상한임이 입증된다.
• 이중 평면 그래프의 경우 트윈-너비는 최대 6이며, 이는 이전의 상한을 향상시키고 문헌에서 알려진 최고의 하한 6과 일치한다.
• 선형 시간 알고리즘이 주장된 트윈-너비 상한에 도달하는 수축 순서를 계산하여, 매개변수 기반 알고리즘에서 실용적인 응용이 가능하다.
• 이 방법은 1-평면 그래프에 적용하여 트윈-너비 상한을 16으로, 지도 그래프에 적용하여 상한을 38로 도출한다.
• 재귀적 분해 프레임워크는 재사용 가능하며, 평면성과 유사한 성질을 가진 다른 그래프 클래스에서 트윈-너비를 제한하는 데 도구상자로 활용될 수 있다.
• 저자들은 평면 그래프의 진짜 최대 트윈-너비가 7일 것이라 추측하며, 이중 평면 그래프의 경우 6이 정확한 최대값일 수 있다고 제안한다.