퍼지 원형 구간 그래프 인식과 표현 구축의 효율적 알고리즘

초록

**
본 논문은 클로프‑프리 그래프의 핵심 하위 클래스인 퍼지 원형 구간 그래프(FCIG)를 다항 시간 안에 인식하고, 해당 그래프의 원형 구간 및 퍼지 정보를 동시에 제공하는 표현을 구성하는 알고리즘을 제시한다. 핵심 아이디어는 ‘적절하고 동질적인 클리크 쌍’을 반복적으로 축소하여 그래프를 순수 원형 구간 그래프로 변환한 뒤, 기존의 O(n+m) 선형 알고리즘을 적용하는 것이다. 전체 복잡도는 O(n² m)이다.

**

상세 분석

**
논문은 먼저 기존 연구에서 제시된 퍼지 원형 구간 그래프(FCIG)의 정의와, 이를 특수화한 원형 구간 그래프(CIG)의 다항‑시간 인식 알고리즘을 정리한다. 핵심은 두 종류의 클리크 쌍, 즉 적절(proper) 쌍과 동질(homogeneous) 쌍이다. 적절 쌍은 한 클리크의 모든 정점이 다른 클리크에 대해 완전하거나 반완전하지 않은 경우이며, 동질 쌍은 외부 정점이 두 클리크 각각에 대해 완전하거나 반완전인 경우를 말한다.

FCIG에서는 이러한 쌍이 퍼지(fuzzy) 구간을 형성한다. 저자들은 거의 적절(almost‑proper) 쌍을 도입해, 적절성은 만족하지 않지만 적어도 하나의 교차 간선이 존재하는 경우를 포괄한다. 이때 tight한 표현이란, 두 클리크 중 하나의 정점 집합이 원형 상의 하나의 점에 모두 매핑되고, 그 사이에 구간이 존재함을 의미한다.

논문의 주요 정리는 다음과 같다.

1. Lemma 2.6: 임의의 FCIG에 대해, 적절·동질 클리크 쌍을 모두 ‘proper‑homogeneous’ 형태로 변환할 수 있다. 이는 O(n²) 시간에 수행된다.
2. Lemma 2.7: 그래프에 proper‑homogeneous 쌍이 없으면, 그 그래프는 순수 원형 구간 그래프가 된다.
3. Theorem 3.14: 거의 적절·동질 쌍이 주어지면, O(n²) 시간 안에 해당 클리크들의 모든 정점을 원형 상의 동일한 점에 배치하도록 표현을 재구성한다. 이는 이후의 축소 연산에 필수적이다.

축소 연산은 proper한 동질 쌍 (K₁, K₂)를 선택해, K₁과 K₂를 각각 하나의 ‘슈퍼‑클리크’로 합치고, 해당 구간을 하나의 원형 구간으로 대체한다. 이 과정은 그래프의 FCIG 성질을 보존한다는 Lemma 4.1을 통해 증명된다. 반복적으로 이러한 축소를 적용하면, 최종적으로 적절·동질 쌍이 전혀 존재하지 않는 그래프 G′가 얻어진다. 위의 Lemma 2.7에 의해 G′는 원형 구간 그래프이며, 기존의 선형 시간 알고리즘(