원형 1성질 그래프 동형성 선형시간 해결

초록

본 논문은 원형-1성질을 만족하는 0‑1 행렬 두 개의 동형성을 선형 시간에 판별하는 알고리즘을 제시한다. 이 알고리즘을 이용해 헬리 원형호 그래프, Γ‑원형호 그래프, 적절 원형호 그래프, 그리고 볼록‑라운드 그래프의 동형성 문제도 동일한 시간 복잡도로 해결한다. 핵심은 행렬의 순환적 1 연속 구성을 고유한 표준 형태로 변환하고, 이를 그래프 구조와 일대일 대응시키는 데 있다.

상세 분석

논문은 먼저 원형‑1성질(circular‑ones property)의 정의를 명확히 한다. 이는 각 행에 있는 1들이 행을 원형으로 생각했을 때 연속적으로 나타나는 성질로, 기존의 선형‑1성질과 달리 행의 순환 회전이 허용된다. 이러한 행렬은 PQ‑tree와 같은 순열 데이터 구조를 이용해 모든 가능한 열 순서를 효율적으로 열거할 수 있다. 저자들은 기존 PQ‑tree 알고리즘을 변형하여, 열 순열을 찾는 과정에서 순환 회전을 고려하도록 설계했으며, 이를 통해 행렬을 “표준 순열” 형태로 정규화한다.

정규화된 두 행렬이 동일하면 원본 행렬은 동형이며, 그렇지 않으면 동형이 아니다. 핵심 단계는 (1) 각 행에 대해 1 구간의 시작점과 끝점을 찾고, (2) 이 정보를 기반으로 순환‑PQ‑tree를 구축해 가능한 열 순열 집합을 압축, (3) 최소 사전순(lexicographically minimal) 열 순열을 선택해 행렬을 고정한다. 모든 단계는 행렬의 크기 n×m에 대해 O(n+m) 시간 안에 수행된다.

이 행렬 동형성 알고리즘을 그래프 클래스에 적용하기 위해, 논문은 네 가지 그래프 클래스가 각각 원형‑1성질 행렬과 일대일 대응한다는 사실을 증명한다. 예를 들어, 헬리 원형호 그래프는 각 정점의 이웃 집합을 열로, 정점 자체를 행으로 하는 0‑1 행렬을 만든다면, 그 행렬은 원형‑1성질을 만족한다. Γ‑원형호 그래프와 적절 원형호 그래프도 유사한 변환을 통해 동일한 행렬 형태를 얻으며, 볼록‑라운드 그래프는 정점 순서를 원형으로 배치했을 때 인접 구간이 연속적으로 나타나는 특성을 이용해 같은 매핑이 가능하다.

따라서, 해당 그래프들의 동형성 문제는 모두 위에서 제시한 행렬 동형성 알고리즘에 귀속된다. 이는 기존에 다항식 시간 혹은 지수 시간에 머물렀던 문제들을 선형 시간으로 축소시킨 혁신적인 결과이다. 또한, 알고리즘은 구현이 간단하고 메모리 사용량도 O(n+m) 수준으로 효율적이어서 대규모 그래프에도 적용 가능함을 강조한다.