플래너리 그래프에서 최소 k‑{1,2}‑팩터 크리티컬 그래프의 최소 차수 규명

초록

본 논문은 k‑플래너리(삭제 k 개의 정점 후 평면) 그래프에 대해, 최소 k‑{1,2}‑팩터 크리티컬 그래프가 최소 차수 k+1 또는 k+2 를 가져야 한다는 최근 추측을 증명한다. 기존의 k‑팩터 크리티컬 그래프에 대한 Favaron‑Shi 추측을 확장한 결과이며, k=0(플래너리) 경우에도 동일한 경계가 성립함을 보인다.

상세 분석

논문은 먼저 {1,2}‑팩터(각 컴포넌트가 1‑정점 혹은 2‑정점 정규 그래프인 스패닝 서브그래프)의 존재 조건을 Tutte‑type 부등식 i(G‑S) ≤ |S| 로 정리하고, 이를 k‑{1,2}‑팩터 크리티컬 그래프에 대해 i(G‑S) ≤ |S|‑k 로 일반화한다(정리 1.4). 최소성(minimal) 정의를 도입해, 어느 한 변을 삭제하면 더 이상 k‑{1,2}‑팩터 크리티컬이 되지 않는 그래프를 연구한다.

핵심은 “k‑플래너리”라는 새로운 그래프 클래스이다. 정의에 따르면, 임의의 k‑정점 집합 S를 제거하면 남은 그래프 G‑S가 평면이어야 한다. 이 조건을 이용해, G‑e (e는 임의의 간선) 가 k‑{1,2}‑팩터 크리티컬이 아니게 되는 경우를 분석한다. 저자는 먼저 k=0(플래너리) 경우를 다루며, G‑e 가 {1,2}‑팩터를 잃는다면 독립 집합 S가 존재함을 보이고, 이때 S와 그 이웃 N(S) 로 구성된 이분 그래프가 평면임을 이용한다. 평면 이분 그래프에서는 최소 차수가 3 이하인 정점이 반드시 존재한다는 고전적인 경계(레마 3.5)를 적용해 δ(G) ≤ k+3을 얻는다.

k>0인 경우에는 G‑e 가 k‑{1,2}‑팩터 크리티컬이 아니므로, 크기 k인 정점 집합 S′가 존재해 (G‑e)‑S′ 가 {1,2}‑팩터를 갖지 않는다. 여기서 S′에서 하나의 정점을 제외해 S를 만들고, G′=G‑S 가 평면임을 보인다(클레임 3.10). 이후 G′와 G′‑e 에 대해 1‑{1,2}‑팩터 크리티컬성 여부를 판단해, 다시 독립 집합 S를 찾아 평면 이분 그래프를 구성한다. 레마 3.7, 3.8을 이용하면 이 그래프에서도 차수가 3 이하인 정점이 존재함을 알 수 있다. 따라서 δ(G) ≤ k+2 가 도출된다.

결과적으로, 최소 k‑{1,2}‑팩터 크리티컬 그래프에 대해 δ(G) ≥ k+1 (관찰 1.6)와 δ(G) ≤ k+2 (k>0) 혹은 δ(G) ≤ k+3 (k=0)라는 두 경계가 모두 성립한다. 특히 k‑플래너리(특히 평면) 그래프에서는 상한이 k+2 로 강해진다. 저자는 또한 이러한 경계가 예시 그림(그림 3, 4)으로 정확히 달성됨을 보이며, K₅와 같은 완전 그래프가 k=2일 때 δ=k+2 를 만족하는 최소 k‑{1,2}‑팩터 크리티컬 사례임을 제시한다.

이 논문은 기존의 Favaron‑Shi 추측을 {1,2}‑팩터 영역으로 확장하고, 평면성이라는 구조적 제약을 활용해 최소 차수 상한을 엄격히 제한한다는 점에서 이론적 의미가 크다. 또한, 평면 그래프와 그 변형(k‑플래너리)에서 매칭·팩터 이론을 결합한 새로운 방법론을 제시함으로써, 향후 그래프 마이너, 플래너리 서브그래프, 그리고 일반적인 k‑팩터 크리티컬 문제에 대한 연구에 중요한 토대를 제공한다.