의사외평면 그래프의 가장자리 분해와 숲 구조 연구

본 논문은 “의사외평면(pseudo‑outerplanar) 그래프”라는 새로운 그래프 클래스를 정의하고, 그 구조적 특성과 가장자리 분해(edge‑decomposition) 문제에 대한 일련의 정리를 제시한다. 1. **정의와 기본 성질** - 의사외평면 그래프는 각 블록이 원 위에 배치되고, 내부에서 각 간선이 최대 한 번만 교차하는 임베딩을 갖는다. 이는 전통적인 외평면 그래프(교차가 전혀 없는 경우)를 일반화한 개념이며, 1‑플래너 그래프와도 유사하지만 블록 단위로 제한한다. - 기본적인 정리 2.2에서 최소 차수 δ(G)≤3, 연결도 κ(G)≤2(단 K₄ 제외)임을 보인다. 이는 교차가 존재할 경우 두 교차하는 끈이 서로를 분리하는 구조를 이용한 귀류법으로 증명된다. 2. **클래스 간 포함 관계** - 외평면 그래프(O) ⊂ 의사외평면 그래프(P)이며, K₂,₃‑마이너 자유 그래프(M₂,₃)와 시리즈‑패럴렐 그래프(S)도 각각 P와 O에 포함된다. 정리 2.6, 2.9, 2.8을 통해 P ⊃ PH ⊃ O, M₂,₃ ⊂ PH, 그리고 S = O임을 확인한다. 이는 기존 연구와 일관되며, 의사외평면 그래프가 더 넓은 평면 그래프 클래스에 속함을 보여준다. 3. **해밀턴 사이클과 하밀턴 다이어그램** - 모든 2‑연결 의사외평면 그래프가 해밀턴 사이클을 가질 필요는 없지만, 해밀턴 사이클이 존재하면 해당 사이클을 경계로 하는 “해밀턴 다이어그램”을 구성할 수 있다. 정리 2.3과 그 결과인 Corollary 2.4는 해밀턴 사이클이 경계가 아니더라도 적절히 변형하여 해밀턴 다이어그램을 만들 수 있음을 보인다. 4. **가장자리 분해의 핵심 정리** - **정리 3.1**: 해밀턴 의사외평면 다이어그램 G와 그 해밀턴 경계 C에 대해, C의 교차된 끈 집합 C(G) 안에서 선형 숲 T를 선택하고, T를 제거하면 남은 그래프는 외평면 다이어그램이 된다. 여기서 T는 특정 정점 y의 차수를 0으로 만들고, 인접 정점 x, z의 차수를 ≤1로 제한한다. 증명은 y의 차수가 2인 경우와 3인 경우를 각각 경우 구분하여 귀납적으로 진행한다. - 이 정리를 바탕으로 다음과 같은 다섯 가지 분해 결과를 얻는다. 1. **선형 숲 + 외평면 그래프**: G = T₁ ∪ H, 여기서 T₁은 선형 숲, H는 외평면 그래프. 2. **별 숲 + 외평면 그래프**: 별 숲은 중심 정점 하나와 그 인접 간선들로 이루어진 숲이며, 나머지 간선은 외평면 그래프에 속한다. 3. **두 개의 숲 + 매칭**: G를 두 개의 숲 F₁, F₂와 매칭 M으로 분해한다. 4. **max{Δ(G), 4}개의 매칭**: Δ(G)≥4이면 Δ(G)개의 매칭으로, Δ(G)≤3이면 4개의 매칭으로 커버한다. 이는 Vizing 정리와 연계되어, Δ(G)≥7인 경우 클래스 1(χ′(G)=Δ(G))임을 암시한다. 5. **max{⌈Δ(G)/2⌉, 3}개의 선형 숲**: 선형 숲 수는 Δ(G)의 절반(올림)보다 크지 않으며, 최소 3개를 필요로 한다. 이는 Linear Arboricity Conjecture와 일치한다. 5. **증명 기법 및 구조적 관찰** - 교차된 끈을 C(G)라는 집합으로 추출하고, 이를 기반으로 선형 숲을 구성하는 방법이 핵심이다. 교차가 최대 한 번만 일어나는 제한을 활용해, 교차된 끈 사이에 새로운 교차가 발생하지 않도록 조심스럽게 간선을 선택한다. - 경우에 따라 서브그래프 G₁, G₂를 정의하고, 각각에 대해 귀납적 가정을 적용한다. 특히, y의 차수가 3이고 xz가 존재할 때는 추가 교차를 피하기 위해 새로운 정점 w와의 관계를 분석한다. - 매칭과 선형 숲의 상한을 Δ(G)와 직접 연결시킴으로써, 기존 외평면 그래프에서 알려진 상한(Δ(G) 혹은 ⌈Δ/2⌉)을 일반화한다. 6. **응용 및 향후 연구** - 결과는 평면 그래프의 엣지 컬러링, 선형 아리시티(linear arboricity), 그리고 매칭 커버와 같은 전통적인 문제에 새로운 클래스에 대한 해답을 제공한다. 특히, Δ(G)≥7인 경우 의사외평면 그래프가 클래스 1인지 여부는 아직 미해결이며, 본 논문의 매칭 분해 결과가 이를 탐구하는 출발점이 될 수 있다. - 또한, 현재 증명은 해밀턴 사이클이 존재하는 경우에 초점을 맞추고 있으므로, 해밀턴 사이클이 없는 의사외평면 그래프에 대한 분해 가능성도 연구할 필요가 있다. 결론적으로, 본 논문은 의사외평면 그래프라는 새로운 평면 그래프 클래스를 정의하고, 그 구조적 특성을 활용해 다양한 가장자리 분해 결과를 체계적으로 제시한다. 이는 외평면 및 K₂,₃‑마이너 자유 그래프에 대한 기존 결과를 일반화함과 동시에, 매칭·선형 숲·외평면 그래프 간의 관계를 명확히 함으로써 그래프 이론 전반에 의미 있는 기여를 한다.