核心概念
그래프의 스택 수가 큐 수에 의해 제한되지 않는다는 것을 보여주는 간결하고 기본적인 증명을 제시합니다. 즉, 제한된 큐 수를 가지는 그래프는 스택 수가 무한히 커질 수 있습니다.
본 논문은 그래프의 스택 수가 큐 수에 의해 제한되지 않는다는 것을 증명하는 새로운 간략한 증명을 제시합니다. 2022년 Dujmović 외 연구진은 큐 수가 최대 4이지만 스택 수는 제한되지 않는 그래프 클래스를 구축하여 스택 수가 큐 수에 의해 제한되지 않음을 처음으로 증명했습니다. 본 논문에서는 이전 증명의 핵심 아이디어를 기반으로 하면서도 몇몇 기술적인 부분을 제거하고 논증을 재구성하여 보다 간결하고 이해하기 쉬운 증명을 제공합니다.
Erdős–Szekeres 정리와 Gale 정리를 활용: 주어진 그래프 G에서 특정 조건을 만족하는 정점의 부분 집합을 찾기 위해 Erdős–Szekeres 정리와 Gale 정리를 사용합니다.
경로 집합 R 정의 및 분석: 그래프 G의 특정 부분 그래프 X를 정의하고, X 내에서 특정 조건을 만족하는 경로들의 집합 R을 정의합니다.
Ramsey 정리를 이용한 두 가지 경우 분류: R에 속한 경로들 사이의 관계를 분석하고, Ramsey 정리를 이용하여 두 가지 경우 (상호 분리된 경로가 많은 경우와 교차하는 경로가 많은 경우)로 나눕니다.
각 경우에 대한 분석: 각 경우에 대해 스택 레이아웃에서 서로 교차해야 하는 에지를 찾아내어 스택 수에 대한 하한을 제시합니다.
결론: 두 경우 모두에서 스택 수에 대한 하한이 주어진 값보다 크거나 같음을 보임으로써 스택 수가 큐 수에 의해 제한되지 않는다는 것을 증명합니다.