닫힌 그래프와 적절 구간 그래프의 동형성

초록

본 논문은 모든 닫힌 그래프가 적절 구간 그래프와 동형임을 증명하고, 이를 통해 닫힌 그래프를 선형 시간 안에 판별할 수 있는 알고리즘이 존재함을 보인다.

상세 분석

논문은 먼저 닫힌 그래프(closed graph)의 정의를 명확히 한다. 닫힌 그래프는 정점 집합 V와 순서 관계 ≤가 주어졌을 때, 두 정점 u, v에 대해 (u, v)∈E이면 u≤v 혹은 v≤u가 성립하고, 또한 u와 v 사이에 존재하는 모든 정점 w가 u와 v 사이에 놓일 경우 (u, w)와 (w, v)도 모두 존재한다는 폐쇄성(closedness) 조건을 만족한다. 이러한 구조는 그래프의 인접 관계가 정점 순서에 의해 완전히 제어된다는 점에서 구간 그래프와 유사성을 띤다.

다음으로 적절 구간 그래프(proper interval graph)의 특성을 살펴본다. 구간 그래프는 각 정점을 실수선상의 구간에 대응시켜 두 정점이 인접이면 해당 구간이 겹치는 형태로 정의된다. ‘적절’이라는 제약은 어떤 구간도 다른 구간에 완전히 포함되지 않도록 하는 것으로, 이는 구간들의 길이가 서로 비교적 균등함을 의미한다. 적절 구간 그래프는 차례대로 정렬된 구간들의 시작점과 끝점이 교차하지 않으며, 이때 얻어지는 정점 순서는 그래프가 완전 순서 그래프(complete order graph)와 동형임을 보장한다.

핵심 증명은 닫힌 그래프의 정점 순서를 이용해 각 정점에 구간을 할당하는 구성(construction) 단계에서 이루어진다. 저자들은 닫힌 그래프의 순서 관계를 기반으로, 정점 v_i에 대해 시작점 s_i와 끝점 t_i를 정의한다. 이때 s_i는 i번째 정점이 나타나는 최초 위치, t_i는 마지막 인접 정점의 위치로 설정한다. 폐쇄성 조건에 의해 s_i ≤ s_j ≤ t_i ⇔ (v_i, v_j)∈E가 성립하므로, 할당된 구간들은 정확히 그래프의 인접 관계를 재현한다. 또한, 구간 길이가 다른 구간에 완전히 포함되지 않도록 시작점과 끝점을 순서대로 증가시키는 방식을 채택함으로써 ‘적절’ 조건을 만족한다.

이러한 구간 할당은 다항식 시간, 구체적으로는 O(|V|+|E|) 시간에 수행 가능하다. 따라서 닫힌 그래프는 적절 구간 그래프와 동형이며, 반대로 적절 구간 그래프는 그 구간 순서를 이용해 닫힌 그래프의 정의를 만족한다는 양방향 동형성을 확보한다.

동형성 결과는 알고리즘적 파급 효과를 낳는다. 기존에 적절 구간 그래프를 인식하기 위한 선형 시간 알고리즘(예: PQ-트리 기반 방법)이 존재함을 이용하면, 닫힌 그래프 역시 동일한 복잡도로 인식할 수 있다. 논문은 구체적인 인식 절차를 제시하지는 않지만, 정점 순서를 추출하고 구간 할당을 검증하는 과정이 O(n+m) 시간에 수행된다는 점을 강조한다.

결과적으로, 닫힌 그래프와 적절 구간 그래프 사이의 구조적 동등성은 그래프 이론에서 두 클래스가 실제로 동일한 범주에 속한다는 강력한 통찰을 제공한다. 이는 닫힌 그래프를 연구하던 기존 문헌에서 제시된 여러 성질(예: 완전성, 차수 제한, 색칠 가능성 등)이 적절 구간 그래프의 알려진 특성과 일치함을 설명하고, 향후 연구에서 두 개념을 통합적으로 다룰 수 있는 기반을 마련한다.