칵테일 파티 그래프의 엣지클리크 그래프는 랭크폭이 무한

초록

본 논문은 코그래프의 엣지클리크 커버 문제를 다항시간 알고리즘으로 해결하려는 시도에서, 코그래프의 엣지클리크 그래프가 제한된 랭크폭을 가질 것이라는 가설을 검증한다. 그러나 칵테일 파티 그래프(완전 이분 그래프의 보완)들의 엣지클리크 그래프를 분석한 결과, 이들 그래프는 랭크폭이 무한히 커짐을 보이며, 따라서 코그래프 전체에 대해 랭크폭이 유계라는 주장은 성립하지 않음을 증명한다.

상세 분석

논문은 먼저 엣지클리크 그래프(E(C))와 랭크폭(rank‑width)의 정의를 명확히 제시한다. 엣지클리크 그래프는 원 그래프 G의 모든 클리크를 정점으로, 두 클리크가 공통으로 포함하는 간선이 존재하면 인접하도록 만든 그래프이며, 랭크폭은 트리‑분해와 유사한 구조에서 각 분할에 대해 발생하는 행렬의 랭크를 기반으로 정의되는 그래프 이론적 복잡도 척도이다. 저자들은 코그래프(cograph)가 P4‑프리 그래프라는 특성을 이용해, 코그래프의 구조적 재귀성을 통해 엣지클리크 그래프의 랭크폭이 제한될 가능성을 탐색한다.

핵심 반증 사례로 선택된 것은 ‘칵테일 파티 그래프’이다. n개의 정점이 짝을 이루어 완전 매칭을 이루는 그래프 K_{n,n}의 보완으로 정의되며, 이는 2n개의 정점과 (2n choose 2)−n개의 간선으로 구성된다. 이 그래프는 코그래프이면서도 매우 높은 클리크 복잡성을 가진다. 저자들은 n이 증가함에 따라 칵테일 파티 그래프의 엣지클리크 그래프가 포함하는 특정한 완전 이분 서브그래프 K_{t,t}를 구성할 수 있음을 보인다. 이러한 K_{t,t}는 랭크폭이 최소 t에 비례한다는 알려진 결과와 결합되어, t를 임의로 크게 잡을 경우 랭크폭이 무한히 커짐을 증명한다.

구체적으로, 칵테일 파티 그래프 G_n의 모든 간선을 두 정점 집합 A와 B에 각각 배치하고, 각 클리크가 포함하는 간선들의 패턴을 분석한다. 그 결과, G_n의 엣지클리크 그래프 E(G_n)에는 A와 B 사이의 모든 가능한 매칭을 나타내는 클리크들이 존재하며, 이들 클리크 사이의 교차 구조가 K_{t,t} 형태의 마이너를 형성한다. 마이너 이론에 따르면, 그래프가 K_{t,t} 마이너를 포함하면 그 그래프의 랭크폭은 최소 t 이상이다. 따라서 n을 충분히 크게 하면 t도 무한히 커질 수 있음을 보이며, 이는 E(G_n)의 랭크폭이 n에 대해 상한이 없음을 의미한다.

결과적으로, 코그래프 전체에 대해 엣지클리크 그래프가 제한된 랭크폭을 가진다는 일반적인 주장은 틀렸으며, 특히 칵테일 파티 그래프와 같은 특수한 코그래프는 반례가 된다. 이는 엣지클리크 커버 문제를 랭크폭 기반의 동적 프로그래밍 기법으로 해결하려는 접근법에 근본적인 한계가 있음을 시사한다.