동시 구간 그래프 인식의 효율적 알고리즘

초록

두 개의 구간 그래프가 공통 정점을 동일한 구간으로 표현할 수 있는지를 판단하는 문제를 다룬다. 저자들은 전체 정점 수 n에 대해 O(n²·log n) 시간 복잡도를 갖는 알고리즘을 제시하고, 이를 통해 완전 이분 그래프 형태의 선택적 간선 집합을 갖는 구간 그래프 샌드위치 문제를 효율적으로 해결한다.

상세 요약

본 논문은 “동시 구간 그래프(Simultaneous Interval Graphs)”라는 새로운 개념을 정의하고, 그 인식 문제에 대한 다항식 시간 알고리즘을 제시한다. 두 구간 그래프 G₁, G₂가 일부 정점 집합 I를 공유할 때, I에 속하는 각 정점이 두 그래프에서 동일한 구간으로 매핑될 수 있으면 두 그래프는 동시 구간 그래프라 정의한다. 이는 곧 G₁과 G₂ 사이에 임의의 추가 간선 집합 E′(단, E′는 G₁−I와 G₂−I 사이에만 존재) 를 삽입했을 때 전체 그래프 G₁∪G₂∪E′가 구간 그래프가 되는지 여부와 동치이다.

핵심 아이디어는 구간 그래프의 특성인 ‘완전 순서형(Perfect Elimination Ordering)’과 ‘PQ‑tree’를 활용해 두 그래프의 클리크 구조를 동시에 정렬하는 것이다. 저자들은 먼저 각 그래프를 ‘클리크 트리(또는 구간 트리)’ 형태로 변환하고, 공통 정점 I에 대한 클리크 인터섹션을 분석한다. 이후, G₁−I와 G₂−I 사이에 가능한 모든 연결 패턴을 탐색하면서, PQ‑tree 기반의 순서 제약을 유지하도록 간선 E′를 선택한다.

알고리즘의 시간 복잡도는 다음과 같이 도출된다. 각 그래프에 대해 클리크 트리를 구축하는 데 O(n log n) 시간이 소요되고, 두 트리의 교차 검증 및 PQ‑tree 업데이트 과정이 O(n²) 단계로 진행된다. 최종적으로 로그 팩터는 PQ‑tree의 균형 유지와 이분 그래프 형태의 선택적 간선 집합을 처리하면서 발생한다. 따라서 전체 복잡도는 O(n²·log n)이다.

또한, 논문은 이 결과가 기존의 ‘프로브 구간 그래프(Probe Interval Graph)’ 인식 알고리즘과 직접적인 연관이 있음을 강조한다. 프로브 구간 그래프는 선택적 간선이 임의의 집합일 때를 다루는데, 본 논문의 제한된 경우(선택적 간선이 완전 이분 그래프)를 통해 샌드위치 문제의 특수 형태를 효율적으로 해결한다. 이는 생물학적 데이터(예: 두 종의 DNA 조각 겹침)나 시간에 따라 변하는 네트워크를 일관된 구간 모델로 표현해야 하는 실제 응용에 큰 장점을 제공한다.

결론적으로, 저자들은 동시 구간 그래프 인식 문제를 기존의 NP‑hard 문제와 구분하여, 구조적 제약을 활용함으로써 실용적인 다항식 시간 알고리즘을 설계했으며, 이는 구간 그래프 이론과 응용 분야 모두에 의미 있는 진전을 제시한다.