동시 멤버십 문제: 코다르·비교가능·순열 그래프의 효율적 해결법

초록

본 논문은 두 그래프가 공유하는 정점·간선을 일관되게 표현할 수 있는지를 묻는 ‘동시 멤버십 문제’를 코다르, 비교가능, 순열 그래프에 대해 정의하고, 각각에 대해 다항시간 알고리즘을 제시한다. 문제를 그래프 샌드위치 문제의 특수 형태(옵션 간선이 완전 이분 그래프)로 변환함으로써 기존의 탐색 복잡성을 크게 낮춘다.

상세 분석

논문은 먼저 ‘동시 멤버십 문제’를 일반적인 교차 그래프 클래스 C에 대해 정의한다. 두 그래프 G₁, G₂가 공통 정점 집합 X와 그에 속한 간선을 공유할 때, 각각의 표현 R₁, R₂가 X에 대해 동일한 객체(또는 방향)를 사용한다면 두 그래프는 C에 대한 동시 멤버이다. 이 정의는 ‘그래프 샌드위치 문제’의 특수 경우와 동등함을 정리한 정리 1을 통해 증명한다. 여기서 옵션 간선 집합이 (V₁−X)×(V₂−X)인 완전 이분 그래프라는 점이 핵심이다.

코다르 그래프에 대해서는 S‑elimination 정점 개념을 도입한다. S‑elimination 정점 v는 G₁과 G₂ 각각에서 N₁(v)와 N₂(v)가 완전 그래프를 이루는 경우이며, 이러한 정점이 존재하면 v를 제거하고 필요한 교차 간선 C(v)를 추가함으로써 문제를 재귀적으로 축소할 수 있다. 정리 2와 알고리즘 1은 이 과정을 O(n³) 시간 안에 수행함을 보인다.

비교가능 그래프에서는 전이적 방향성을 이용한다. 두 그래프의 전이적 오리엔테이션 T₁, T₂가 X의 간선에 대해 일치하면, 이를 합친 ‘pseudo‑transitive’ 방향 T를 만든 뒤, 추가 옵션 간선 A를 적절히 선택해 전체 그래프를 전이적 방향으로 확장할 수 있음을 정리 3이 증명한다. Golumbic의 O(nm) 전이적 방향 인식 알고리즘을 그대로 적용해 전체 문제를 O(nm) 시간에 해결한다.

순열 그래프는 비교가능 그래프와 동형인 ‘교차 없는 두 선형 순서’로 표현될 수 있다. 따라서 비교가능 그래프에 대한 알고리즘을 그대로 순열 그래프에 적용하면 동일한 시간 복잡도를 얻는다. 논문은 이러한 변환 과정을 상세히 서술하고, 각 단계에서 필요한 데이터 구조와 구현 팁을 제공한다.

결과적으로, 동시 멤버십 문제는 기존에 NP‑complete 로 알려진 그래프 샌드위치 문제의 제한된 경우(옵션 간선이 완전 이분 그래프)에서 다항시간에 해결 가능함을 보이며, 이는 프로브 그래프 인식(옵션 간선이 완전 그래프)과도 자연스럽게 연결된다.