K4 마이너 프리 그래프의 독립 클리크 포장 비율은 절반

초록

본 논문은 K₄ 마이너 프리 그래프와 차수가 최대 3인 그래프(서브큐빅 그래프)에서 독립 클리크 집합(indeque set)의 최대 크기 비율, 즉 indeque ratio가 정확히 ½임을 증명한다. 이를 통해 Biro·Collado·Zamora가 제시한 두 개의 추측(시리즈‑패럴렐 그래프와 외부 평면 그래프의 비율 ½)을 해결한다.

상세 분석

논문은 먼저 독립 클리크 집합(indeque set)의 정의와 기존 결과들을 정리한다. indeque set은 각 연결 성분이 완전 그래프인 부분 그래프들의 합으로, 그 크기 αω(G)는 독립 집합 크기 α(G)와 최대 클리크 크기 ω(G)의 곱 사이에 놓인다. 평면 그래프에 대해 αω(G) ≥ n/4가 알려져 있었으며, Biro·Collado·Zamora는 αω(G) ≥ 4n/15, 나아가 αω(G) ≥ 2n/5라는 강한 추측을 제시했다.

K₄ 마이너 프리 그래프는 트리폭이 2 이하인 그래프와 동형이며, 모든 블록이 시리즈‑패럴렐 그래프라는 구조적 특성을 가진다. 저자들은 이를 이용해 그래프를 블록-리프 구조로 분해하고, 각 블록을 0‑시리즈 피스, 0‑패럴렐 피스, 그리고 그 일반화인 k‑시리즈·k‑패럴렐 피스로 계층화한다. 핵심 아이디어는 “대조 쌍(contrapair)”이라는 개념이다. 즉, 그래프의 어떤 부분 X와 그 안의 indeque 집합 S가 |S| ≥ |X|/2이며, S의 모든 정점이 외부와 인접하지 않을 경우, X와 S를 제거한 나머지 그래프에 대해 귀납적으로 같은 성질을 적용해 전체 그래프에서도 |S∪S’| ≥ |V(G)|/2를 얻는다.

이를 위해 최소 반례를 가정하고, 리프 블록 H에 대한 정밀한 구조 분석을 수행한다. Lemma 2.5에서는 H가 차수‑2인 인접 정점 쌍을 포함하지 않으며, 모든 0‑시리즈 피스는 길이가 ≤3인 경로, 0‑패럴렐 피스는 여섯 종류의 작은 그래프(그림 2) 중 하나임을 보인다. 이후 삼각형‑스트링, 삼각형‑링, 그리고 “키트”(kite)와 같은 복합 구조를 정의하고, 이러한 구조가 포함될 경우에도 적절한 대조 쌍을 구성할 수 있음을 증명한다.

결국 모든 경우에 대해 대조 쌍이 존재함을 보임으로써 최소 반례가 존재할 수 없음을 증명하고, αω(G) ≥ |V(G)|/2를 얻는다. 이는 K₄ 마이너 프리 그래프 클래스의 indeque ratio가 정확히 ½임을 의미한다. 마지막으로 차수 ≤3인 서브큐빅 그래프에 대해 동일한 방법을 적용해 동일한 비율을 얻는다.

이러한 결과는 기존에 알려진 외부 평면 그래프와 시리즈‑패럴렐 그래프에 대한 추측을 완전히 해결하고, 트리폭 2 이하 그래프 전반에 걸친 독립 클리크 포장 문제에 대한 새로운 기준을 제시한다. 또한, 구조적 분해와 귀납적 대조 쌍 기법이 그래프 이론의 다른 최적화 문제에도 적용 가능함을 시사한다.