삼각형·사각형 분할을 위한 차수 합 조건 연구

초록

정수 r, s ( r ≥ 2s − 2 )에 대해, 정점 수가 3r + 4s 인 그래프 G가 모든 비인접 정점 쌍 x y에 대해 d(x)+d(y) ≥ 4r + 4s 를 만족하면, G는 서로 독립적인 r개의 삼각형과 s개의 사각형을 포함한다. 이는 El‑Zahar의 일반적 순환 분할 추측을 부분적으로 증명한다.

상세 분석

본 논문은 차수 합 σ₂(G)=min{d(x)+d(y) | xy∉E(G)} 에 대한 임계값을 이용해, 주어진 정점 수 n=3r+4s 인 그래프가 r개의 C₃와 s개의 C₄(사각형)를 서로 겹치지 않게 포함하도록 하는 충분조건을 제시한다. 기존 연구에서는 최소 차수 δ(G) 또는 σ₂(G) ≥ n+r 조건 하에 r개의 삼각형과 s−1개의 사각형, 그리고 최소 네 개의 간선을 갖는 4-정점 부분그래프 D를 얻었다. 저자들은 이 부분그래프 D가 실제로 C₄를 포함하도록 추가적인 구조적 분석을 수행한다. 핵심은 D가 네 정점이면서 최소 네 개의 간선을 가질 경우, D는 반드시 C₄ 혹은 F₄(클로와 한 간선 추가) 형태가 되며, F₄와 기존의 삼각형·사각형 집합 사이의 연결 수를 정밀히 계산한다. 특히, Lemma 2.2~2.9를 활용해 D와 H(이미 선택된 삼각형·사각형들의 합집합) 사이의 간선 개수가 9 이상이면 D를 C₄로 교체하거나, D와 H 사이에 충분한 연결이 있으면 기존의 사각형을 두 개로 분할해 새로운 사각형을 생성한다. 마지막 단계에서는 r ≥ 2s−2 라는 추가 가정을 도입해, D가 사각형이 아닌 경우에도 H에 포함된 사각형들의 연결 패턴을 이용해 D를 C₄로 변환할 수 있음을 보인다. 이 과정에서 d(u₃) ≥ 2r+2 > 4(s−1) 라는 부등식을 얻어, u₃가 H의 사각형 집합과 충분히 연결되어 있음을 보이며, 결국 D는 C₄가 된다. 따라서 최종적으로 G는 r개의 C₃와 s개의 C₄를 서로 독립적으로 포함한다는 결론에 도달한다. 이 결과는 El‑Zahar의 “각 순환 길이 n_i≥3에 대해 δ(G)≥⌈n₁/2⌉+…+⌈n_k/2⌉이면 k개의 서로 독립적인 순환을 포함한다”는 추측의 n_i∈{3,4} 경우에 대한 부분 증명이며, 기존의 σ₂(G) ≥ n+r 조건을 보다 강력하게 활용한 점이 의의다.