클로프프리 그래프의 3‑정점 경로 팩킹과 응용

초록

본 논문은 3‑연결 클로프프리 그래프에서 3‑정점 경로( L‑팩터) 존재 조건을 체계적으로 규명한다. 정점 수 모듈러 3에 따라 그래프 혹은 그 부분 그래프가 L‑팩터를 포함하거나 회피하도록 하는 일련의 정리(a1–a8)를 제시하고, 특히 입방(큐빅) 그래프와 4‑연결 그래프에 대한 강력한 결과를 얻는다. 또한 L‑팩터와 지배수, 라인 그래프의 팩킹, 그리고 Hadwiger 추측과의 관계를 탐구한다.

상세 분석

이 연구는 클로프프리 그래프, 즉 K1,3(클로) 를 포함하지 않는 그래프들의 구조적 특성을 활용해 3‑정점 경로(길이 2인 경로)들로 이루어진 스패닝 서브그래프, 즉 L‑팩터의 존재 여부를 정밀히 분석한다. 먼저 3‑연결이라는 강한 연결성을 가정함으로써, 임의의 정점 x와 임의의 간선 e=xy, 혹은 임의의 3‑정점 경로 P에 대해 그래프 전체 혹은 특정 부분 그래프가 L‑팩터를 포함하거나 회피할 수 있음을 보인다. 구체적으로 정점 수 v(G)가 0(mod 3)일 때는 모든 간선을 포함하거나 회피하는 L‑팩터가 존재함을 (a1)에서 증명하고, v(G)≡1(mod 3)일 경우는 정점 하나를 삭제하면 L‑팩터가 존재함을 (a2)로, v(G)≡2(mod 3)일 경우는 두 정점 x,y를 동시에 삭제하면 L‑팩터가 존재함을 (a3)으로 제시한다. 이러한 결과는 L‑팩터가 정점 수를 3으로 나누어 떨어지게 만드는 기본적인 “mod‑3” 제약을 그래프의 연결성으로 보완한다는 점에서 의미가 크다.

특히 (a4)에서는 그래프가 입방(cubic) 혹은 4‑연결일 때, 임의의 3‑정점 경로 P를 제거해도 남은 그래프가 여전히 L‑팩터를 갖는다는 강력한 구조적 안정성을 보여준다. 이는 입방 클로프프리 그래프가 높은 대칭성을 가지고 있어, 경로 하나를 빼도 3‑정점 경로들로 완전 커버가 가능함을 의미한다.

(a5)는 입방 그래프에서 세 개의 간선을 동시에 제거했을 때 L‑팩터 존재 여부를 정확히 규정한다. 제거된 세 간선이 형성하는 부분 그래프가 클로 혹은 삼각형이면 L‑팩터가 존재하지 않으며, 그 외의 경우에는 존재한다는 ‘if and only if’ 조건을 제시한다. 이는 입방 클로프리 그래프의 최소 차단 구조가 클로와 삼각형이라는 사실을 이용한 것으로, 그래프 이론에서 차단 집합과 팩터 존재 조건을 연결하는 중요한 사례이다.

(a6)과 (a7)은 v(G)≡1(mod 3)인 경우에 대한 보강 결과이다. (a6)은 임의의 정점 v와 임의의 간선 e를 동시에 삭제해도 L‑팩터가 남는다는 보편성을 제공한다. (a7)은 더 나아가 4‑정점 경로 N과 클로 Y를 각각 찾아, 각각을 삭제했을 때도 L‑팩터가 존재함을 보인다. 이는 클로프리 그래프가 특정 작은 구조를 제거해도 전체적인 3‑정점 경로 팩킹이 유지될 수 있음을 보여준다.

마지막으로 (a8)은 L‑팩터와 지배수 d(G) 사이의 관계를 정량화한다. 모든 3‑연결 클로프리 그래프에 대해 d(G) < v(G)/3 + 1이 성립하고, 사이클이 아닌 경우 v(G)≡1(mod 3)이면 d(G) < v(G)/3임을 증명한다. 이는 L‑팩터가 존재하면 그래프의 지배 집합이 상대적으로 작아진다는 직관을 수학적으로 뒷받침한다.

논문은 또한 라인 그래프 L(G)와 원 그래프 G 사이의 팩킹 문제를 연결해, L‑팩터가 라인 그래프의 매칭 문제와 동치임을 이용해 추가적인 결과를 도출한다. 더불어, 유도 L‑팩터( induced L‑packing )와 Hadwiger 추측 사이의 연관성을 탐구해, 클로프리 그래프에서 특정 마이너가 존재함을 보이는 새로운 접근법을 제시한다. 전체적으로, 이 연구는 클로프리 그래프의 구조적 특성을 활용해 3‑정점 경로 팩킹 문제를 포괄적으로 해결하고, 그래프 지배, 라인 그래프 매칭, 그리고 그래프 마이너 이론과의 깊은 연계를 제공한다.