완전 그래프를 비교가능 그래프로 분할하기

초록

본 논문은 완전 그래프의 간선을 몇 개의 비교가능 서브그래프로 나눌 수 있는지를 조사한다. 대부분의 완전 그래프는 두 개 이하의 비교가능 그래프로 분할될 수 있음을 보이며, 이는 “거의 모든” 완전 그래프에 적용된다. 반면 구간 그래프와 같은 특정 완전 그래프 클래스에서는 비교가능 그래프가 필요할 수 있는 개수가 로그 로그 규모까지 증가한다는 하한과 제곱 로그 로그 규모까지의 상한을 제시한다.

상세 분석

논문은 먼저 완전 그래프 G에 대해 두 가지 파라미터 p(G)와 c(G)를 정의한다. p(G)는 G의 간선을 서로 겹치지 않는 비교가능 서브그래프들로 정확히 분할하는 최소 개수이며, c(G)는 겹침을 허용하더라도 전체 간선을 덮는 데 필요한 최소 비교가능 서브그래프 수이다. 기본적인 관찰에 따라 p(G)≥c(G)이며, 완전 그래프가 비교가능 그래프 자체일 경우 두 파라미터가 1이 된다.

핵심 결과는 세 가지이다. 첫째, 강완전그래프정리와 프롬멜‑스테터의 GSP(Generalized Split) 그래프 구조를 이용해 거의 모든 완전 그래프가 p(G)≤2, 즉 두 개 이하의 비교가능 그래프로 분할될 수 있음을 증명한다. 여기서 “거의 모든”은 정점 수 n이 무한히 커질 때 전체 완전 그래프 집합 대비 해당 성질을 가진 그래프 비율이 1에 수렴함을 의미한다. GSP 그래프는 정점 집합이 완전 부분과 서로 독립적인 완전 부분들의 합으로 구성되거나, 그 보완이 같은 형태를 갖는 그래프이며, 이러한 구조는 자연스럽게 하나는 완전(또는 완전 다분할) 그래프, 다른 하나는 이분 그래프 형태로 나뉘어 두 개의 비교가능 서브그래프가 된다.

둘째, 라인 그래프(LBIP)와 유닛 인터벌 그래프, 그리고 트리 서브트리의 교차 그래프(코-트라이앵글레이트 그래프)와 같은 여러 유명 완전 그래프 클래스에 대해 p(G)≤2를 직접적인 구성 방법으로 보여준다. 예를 들어, 라인 그래프는 원본 이분 그래프의 두 파트 A와 B에 따라 간선을 a‑라벨과 b‑라벨로 구분하고, 각각이 완전 그래프들의 합이 되므로 두 개의 비교가능 서브그래프로 나뉜다. 유닛 인터벌 그래프는 오른쪽 끝점 기준으로 인터벌을 그룹화하고, 같은 그룹 내는 완전 그래프, 그룹 간은 이분 그래프가 되도록 구성한다.

셋째, 구간 그래프는 위의 일반적인 상한과는 달리 비교가능 그래프가 필요할 수 있는 개수가 무한히 커질 수 있음을 보인다. n개의 정수 기반 포인트를 이용해 정의된 구간 그래프 Gₙ에 대해, 하한은 c(Gₙ)≥½·log log n이며, 이는 더블 시프트 그래프 DSn의 색채 수와 비교하여 얻어진다. 상한은 p(Gₙ)≤½·(⌈log ⌈log n⌉⌉)²+… 형태로 제시되어 로그 로그 제곱 정도의 성장률을 가진다. 이는 구간 그래프가 비교가능 그래프 분할에 있어 최악의 경우를 제공함을 의미한다.

전체적으로 논문은 완전 그래프의 구조적 다양성을 활용해 비교가능 그래프 분할 문제를 체계적으로 분석하고, 대부분의 경우 두 개 이하로 충분하지만 특정 클래스에서는 로그 로그 수준까지 필요할 수 있음을 명확히 한다. 이러한 결과는 그래프 색채, 부분 순서 이론, 그리고 기하학적 그래프 모델링 등 다양한 분야에 응용 가능성을 제시한다.