제한된 지역 동형사상의 복잡도와 효율적 해결법

초록

이 논문은 그래프 G에서 그래프 H로의 지역적으로 전단사, 전사, 전단사(주입) 동형사상 존재 여부를 판단하는 문제들의 복잡성을 연구한다. G의 경로폭이 각각 5, 4, 2 이하이거나 G와 H가 모두 최대 차수 3일 때 세 문제 모두 NP‑완전임을 보이며, 반대로 G의 트리폭이 제한되고 G 또는 H의 최대 차수가 제한될 경우 다항시간 알고리즘을 제시한다.

상세 분석

논문은 먼저 지역적으로 제한된 동형사상의 정의를 명확히 한다. 주어진 동형사상 ϕ:G→H가 각 정점 u∈V(G)의 이웃 N_G(u)에서 N_H(ϕ(u))로의 제한이 전단사(Injective), 전단사(Bijective), 전사(Surjective)인 경우를 각각 LIHom, LBHom, LSHom이라 명명한다. 이러한 제약은 일반 동형사상보다 강력한 구조적 요구를 부과한다는 점에서 복잡도 분석에 새로운 난이도를 제공한다.

NP‑완전성을 보이기 위해 저자는 강력한 NP‑완전 문제인 3‑Partition을 선택한다. 3‑Partition은 각 원소가 b/4와 b/2 사이에 놓이며 전체 합이 mb인 3m개의 정수를 m개의 세트로 나누어 각 세트의 합이 정확히 b가 되도록 하는 문제이다. 이 문제는 강한 NP‑완전성을 가지므로 입력 크기에 대한 다항 변환이 가능하다. 논문은 3‑Partition 인스턴스를 두 그래프 G와 H로 변환하는 정교한 구성법을 제시한다. G는 각 원소 a_i에 대해 길이 b인 사이클 C_i와 그 주변에 두 개의 보조 정점 p_{ij}, q_{ij}를 추가하고, 전역 정점 x, y, z를 도입해 특정 연결 구조를 만든다. H는 m개의 사이클 ˜C_k와 보조 정점 ˜p_{kj}, ˜q_{kj}, 그리고 중앙 정점 ˜x을 포함한다. 이 구성은 정점의 차수가 정확히 보존되도록 설계돼 있어 전단사(또는 전사, 전단사) 조건을 만족하려면 ϕ가 원소들을 정확히 3‑Partition 형태로 매핑해야 함을 강제한다. 따라서 G→H의 지역 전단사 동형사상이 존재하면 원래 3‑Partition 인스턴스는 해답이 있다. 반대 방향도 동일하게 매핑을 구성함으로써 등가성을 증명한다.

경로폭 제한에 대한 세부 결과는 다음과 같다. LBHom은 G의 경로폭 ≤5, H의 경로폭 ≤3일 때 NP‑완전이며, LSHom은 G의 경로폭 ≤4, H의 경로폭 ≤3, LIHom은 G와 H 모두 경로폭 ≤2일 때 NP‑완전이다. 경로폭이 작다는 것은 그래프가 거의 트리 구조에 가깝다는 의미이지만, 지역 제약이 추가되면 여전히 어려운 문제임을 보여준다. 또한 G와 H가 모두 최대 차수 3인 경우에도 세 문제 모두 NP‑완전임을 증명한다. 이는 차수 제한만으로는 문제를 쉽게 만들 수 없으며, 일반적인 동형사상 문제와 마찬가지로 차수 제한이 복잡도 완화에 충분하지 않다는 점을 강조한다.

긍정적인 측면에서는 트리폭이 제한된 경우와 동시에 G 또는 H의 최대 차수가 제한될 때 다항시간 알고리즘을 제시한다. 핵심 아이디어는 ‘좋은’ 트리 분해(nice tree decomposition)를 이용해 동적 계획법(DP)을 수행하는 것이다. 각 트리 분해 노드마다 현재까지 매핑된 정점들의 색상(호스트 정점)과 이웃 관계를 상태로 저장하고, 전단사·전사·전단사 조건을 로컬하게 검증한다. 최대 차수가 제한되면 각 정점의 이웃 수가 상수이므로 상태 공간이 다항적으로 제한돼 DP가 효율적으로 동작한다. 이 접근법은 트리폭이 고정된 경우와 차수 제한이 고정된 경우를 동시에 만족하면 적용 가능함을 보인다. 특히 LIHom의 경우, 트리폭이 1(즉, G가 트리)일 때도 다항시간 해결이 가능함을 별도 증명한다. 이는 기존에 알려진 LIHom의 NP‑완전성(심지어 인터벌 그래프에서도)과 대비되는 흥미로운 결과다.

마지막으로 논문은 아직 해결되지 않은 몇몇 열린 문제들을 제시한다. 예를 들어, H가 고정된 경우 LBHom과 LSHom의 복잡도 분류는 완전하지 않으며, 트리폭과 차수 제한 외에 다른 구조적 제한(예: 클리크 폭, 전이 그래프 등)에서의 복잡도 특성을 탐구할 여지가 있다. 전체적으로 이 연구는 지역 제약이 있는 동형사상 문제의 복잡도 지형을 크게 확장하고, 트리폭·차수 제한이라는 두 축을 통해 문제를 효율적으로 해결할 수 있는 경계를 명확히 제시한다.