쿠라토프스키 그래프를 몰입으로 배제하는 그래프의 구조적 특성

초록

본 논문은 그래프 이론에서 몰입(immersion) 관계를 이용해 평면성의 고전적 특징을 확장한다. 쿠라토프스키 그래프 $K_{5}$와 $K_{3,3}$를 몰입으로 포함하지 않는 모든 그래프는, 최대 3개의 공통 변을 공유하는 $i$‑edge‑sum($i\le3$) 연산을 반복 적용해 평면 서브큐빅 그래프 또는 분기폭(branch‑width)이 10 이하인 그래프들로부터 구성될 수 있음을 보인다. 이는 기존의 토폴로지컬 마이너(위상적 소단위) 기반 평면성 판정과는 다른, 보다 약한 포함 관계에 대한 구조적 완전성을 제공한다.

상세 분석

몰입(immersion)은 두 그래프 $H$와 $G$ 사이에 존재하는 매핑으로, $H$의 각 정점을 $G$의 서로 다른 정점에 대응시키고, $H$의 각 변을 $G$의 서로 교차하지 않는 경로 집합으로 변환한다. 이때 경로들은 내부 정점이 겹치지 않아야 하며, 경로의 끝점은 대응된 정점에 일치한다. 이러한 정의는 토폴로지컬 마이너와 비교해 더 느슨한 포함 관계를 만든다. 즉, $H$가 $G$의 토폴로지컬 마이너이면 자동으로 $G$에 몰입으로 포함되지만, 반대는 일반적으로 성립하지 않는다.

쿠라토프스키 정리는 $K_{5}$와 $K_{3,3}$가 평면 그래프의 토폴로지컬 마이너로서 배제될 때, 그래프가 평면임을 완전히 기술한다. 그러나 몰입 관점에서는 이 두 그래프가 포함되지 않는 그래프들의 구조가 아직 명확히 규명되지 않았다. 본 논문은 이 공백을 메우며, “Kuratowski 그래프를 몰입으로 배제하는 그래프”라는 클래스를 정확히 기술한다.

핵심 정리는 두 단계로 구성된다. 첫 번째는 기본 빌딩 블록을 정의하는데, 여기서는 (1) 평면 서브큐빅 그래프(모든 정점의 차수가 3 이하이며 평면에 임베딩 가능한 그래프)와 (2) 분기폭이 10 이하인 그래프를 선택한다. 분기폭은 트리 분해와 유사하게 그래프를 작은 조각으로 나누는 복잡도 척도이며, 10 이하라는 제한은 몰입을 통한 복잡한 교차 구조가 발생하지 않도록 보장한다.

두 번째 단계는 $i$‑edge‑sum 연산을 이용해 이러한 기본 블록들을 결합하는 과정이다. $i$‑edge‑sum($i\le3$)은 두 그래프 $G_{1},G_{2}$에서 각각 $i$개의 서로 다른 변을 선택하고, 이 변들을 동일한 $i$개의 새로운 변으로 식별(merge)함으로써 하나의 큰 그래프를 만든다. $i$가 1,2,3인 경우는 각각 1‑edge‑sum, 2‑edge‑sum, 3‑edge‑sum이라 부르며, 이는 그래프 연결성을 유지하면서도 복잡성을 제한한다. 특히 $i\le3$이라는 제한은 몰입으로 $K_{5}$ 혹은 $K_{3,3}$가 생성될 가능성을 차단한다는 증명과 직접 연결된다.

논문은 먼저 기본 블록들의 몰입 차단 성질을 보인다. 평면 서브큐빅 그래프는 차수가 3 이하이므로, 어떤 두 정점 사이에 4개 이상의 독립적인 경로가 존재하지 않는다. 이는 $K_{5}$와 $K_{3,3}$가 요구하는 최소 차수와 경로 수를 만족하지 못함을 의미한다. 분기폭이 10 이하인 그래프에 대해서는, 기존의 분기폭‑몰입 관계 연구(예: Robertson–Seymour의 구조 정리)를 활용해, 이러한 그래프가 $K_{5}$ 혹은 $K_{3,3}$를 몰입으로 포함하려면 분기폭이 최소 11 이상이어야 함을 증명한다.

그 다음, $i$‑edge‑sum 연산이 몰입 배제 성질을 보존한다는 점을 정형화한다. 두 그래프 $G_{1},G_{2}$가 각각 $K_{5}$와 $K_{3,3}$를 몰입으로 포함하지 않을 때, $i\le3$인 $i$‑edge‑sum을 수행하면 결과 그래프 $G$ 역시 동일한 배제 특성을 유지한다. 이는 합성 과정에서 새로 생기는 교차 경로가 최대 $i$개의 변에 의해 제한되므로, $K_{5}$ 혹은 $K_{3,3}$가 요구하는 복잡한 교차 구조를 만들 수 없다는 논리적 귀결이다.

마지막으로, 모든 쿠라토프스키 몰입 배제 그래프가 위의 두 단계로 구성될 수 있음을 역방향으로 증명한다. 임의의 그래프 $G$가 $K_{5}$와 $K_{3,3}$를 몰입으로 포함하지 않으면, $G$의 분기폭이 10 이하이거나, 혹은 $G$를 적절히 분해해 평면 서브큐빅 컴포넌트와 결합된 형태로 표현할 수 있다. 이때 사용되는 분해는 최소 컷(edge‑cut) 크기가 3 이하인 경우에만 필요하며, 이는 바로 $i\le3$인 $i$‑edge‑sum에 해당한다.

결과적으로, 논문은 몰입 배제 그래프의 구조를 “평면 서브큐빅 혹은 저분기폭 블록 + 최대 3‑edge‑sum”이라는 두 가지 요소로 완전히 기술한다. 이는 기존의 토폴로지컬 마이너 기반 평면성 정리와는 다른, 몰입 관점에서의 새로운 구조 정리이며, 그래프 이론 및 알고리즘 설계에서 몰입을 이용한 평면성 검증 및 그래프 분해 기법에 중요한 이론적 기반을 제공한다.