트리 구조 삼중 그래프 리스트 동형 사상 문제의 이분법

초록

본 논문은 기본 그래프가 트리인 삼중 그래프(트리‑형 삼중 그래프)에 대해 리스트 동형 사상 문제의 복잡도 이분법을 확립한다. 이러한 트리‑형 삼중 그래프에 대해 문제를 관련된 방향 그래프 리스트 동형 사상 문제와 다항식 동등하게 변환함으로써, 각 인스턴스가 다항시간 알고리즘으로 해결되거나 NP‑완전임을 보인다. 조건을 완화하면 문제 난이도가 급격히 상승함을 예시를 통해 보여준다.

상세 분석

삼중 그래프(trigraph)는 두 정점 사이에 ‘없음’, ‘단일’, ‘양방향’ 세 종류의 관계를 동시에 허용하는 구조로, 리스트 동형 사상(list homomorphism) 문제는 입력 그래프 G의 각 정점에 허용 리스트를 부여하고, 이를 삼중 그래프 H의 정점에 매핑하면서 관계 제약을 만족시키는지를 묻는다. 기존 연구에서는 방향 그래프(digraph)에 대해 리스트 동형 사상 문제가 완전 이분법을 보이며, 각 H에 대해 문제는 다항시간 혹은 NP‑complete 중 하나임이 알려졌다. 그러나 삼중 그래프는 관계가 3가지라 복잡도가 급격히 상승하고, 일반적인 이분법이 성립하지 않을 가능성이 제기되었다.

본 논문은 ‘트리‑형 삼중 그래프’라는 제한된 클래스에 초점을 맞춘다. 정의는 크게 두 가지 조건으로 구성된다. 첫째, 삼중 그래프의 기본 무방향 그래프가 트리 구조를 가져야 한다. 둘째, 트리의 각 간선에 대해 ‘양방향’(strong) 혹은 ‘단일’(weak) 관계가 배정되는 방식이 특정 패턴을 따르며, 특히 같은 정점에 인접한 두 강한 간선이 서로 교차하지 않도록 하는 ‘비교적 독립성’ 조건을 만족한다. 이러한 제약은 삼중 그래프가 복잡한 사이클이나 교차 구조를 포함하지 않게 하여, 구조적 분석을 가능하게 만든다.

핵심 기법은 주어진 트리‑형 삼중 그래프 T를 다항식 시간 내에 방향 그래프 D(T)로 변환하는 것이다. 변환 과정에서 강한 간선은 방향을 고정하고, 약한 간선은 두 방향 중 하나를 선택하도록 리스트 제약에 추가한다. 중요한 점은 이 변환이 리스트 동형 사상 문제의 해와 일대일 대응을 유지한다는 것으로, 즉 T에 대한 리스트 동형 사상 인스턴스가 존재하면 D(T)에도 동일한 해가 존재하고, 반대도 마찬가지이다. 따라서 기존에 완전 이분법이 증명된 방향 그래프 리스트 동형 사상 문제의 결과를 그대로 적용할 수 있다.

이때, 방향 그래프 D(T)에 대한 복잡도는 ‘사이클 존재 여부’와 ‘강한 연결 성분의 구조’에 의해 결정된다. D(T)가 ‘반사성 없는’(reflexive) 혹은 ‘반대 방향이 없는’(antisymmetric) 형태라면 다항시간 알고리즘이 존재하고, 그렇지 않은 경우는 NP‑complete로 귀결된다. 논문은 이러한 구분을 트리‑형 삼중 그래프의 원래 구조에 다시 매핑함으로써, T 자체에 대한 이분법을 명시한다.

또한 저자들은 조건을 완화했을 때 발생하는 경계 사례를 제시한다. 예를 들어, 기본 그래프가 트리가 아니면서도 약간의 사이클을 포함하면, 변환된 방향 그래프는 복잡한 피드백 구조를 갖게 되어 NP‑hardness가 증명된다. 이러한 예시는 제시된 트리‑형 정의가 ‘자연스러운’ 경계임을 강조한다.

결과적으로, 본 논문은 삼중 그래프 리스트 동형 사상 문제에 대해 처음으로 넓은 클래스에 대한 완전 이분법을 제공하고, 트리‑형 구조가 복잡도 분석에 있어 핵심적인 역할을 함을 입증한다. 이는 향후 더 일반적인 삼중 그래프 클래스에 대한 복잡도 구분 연구의 토대를 마련한다.