전사 동형사상 문제의 복잡성 조사

초록

전사 동형사상 문제와 리스트 동형사상, 리트랙션, 컴팩션 등 관련 문제들을 비교 분석하고, 현재까지 알려진 복잡도 결과들을 정리한다. 특히 문헌에서 제시된 세 가지 구체적 문제 중 두 개는 아직 복잡도가 미해결이며, 이 설문은 이러한 난이도의 원인과 향후 연구 방향을 제시한다.

상세 분석

전사 동형사상(surjective homomorphism) 문제는 입력 그래프 G와 목표 그래프 H 사이에 모든 정점이 H의 정점으로 매핑되는 동형사상을 찾는 결정 문제이다. 기존의 동형사상 문제는 일반적으로 NP‑complete 혹은 다항시간에 해결되는 경우가 명확히 구분되지만, 전사 조건이 추가되면 구조적 제약이 크게 강화되어 복잡도 분류가 어려워진다. 논문은 먼저 리스트 동형사상(list homomorphism) 문제와의 관계를 살펴본다. 리스트 동형사상은 각 정점에 허용된 이미지 집합을 지정하는 반면, 전사 동형사상은 전역적인 ‘전사성’ 제약을 부과한다. 두 문제는 서로 귀환(reduction) 가능하지만, 전사성은 리스트 제약을 넘어서는 전역적 카운팅 성질을 요구한다는 점에서 복잡도 차이가 발생한다.

다음으로 리트랙션(retraction) 문제와의 비교를 진행한다. 리트랙션은 H가 G의 서브그래프일 때, G에서 H로의 동형사상이 동시에 항등함수인 경우를 찾는 문제이다. 전사 동형사상은 H가 반드시 G의 서브그래프가 아니어도 되며, 전사성을 만족하기 위해 전체 매핑이 H의 모든 정점을 커버해야 한다. 따라서 리트랙션은 전사 동형사상의 특수 케이스로 볼 수 있지만, 전사성 때문에 일반적인 리트랙션 복잡도 결과가 바로 적용되지 않는다.

컴팩션(compaction) 문제는 동형사상의 이미지가 H 전체가 아니라도, 이미지가 H의 모든 정점에 ‘가깝게’ 다가가는 경우를 다룬다. 이와 달리 전사 동형사상은 이미지가 정확히 H 전체가 되도록 강제한다. 논문은 이러한 차이가 복잡도 경계에 미치는 영향을 정리하고, 특히 컴팩션이 다항시간에 해결되는 경우에도 전사 동형사상은 NP‑complete가 되는 사례를 제시한다.

핵심적으로 논문은 세 가지 구체적 문제를 선정한다. 첫 번째는 이분 그래프에 대한 전사 동형사상 문제로, 현재는 다항시간 알고리즘이 존재한다는 결과가 있다. 두 번째와 세 번째는 각각 (i) 특정 구조의 유향 그래프에 대한 전사 동형사상, (ii) 제한된 도메인 크기를 갖는 구조에 대한 전사 동형사상이다. 이 두 문제는 아직 NP‑complete인지, 아니면 P에 속하는지 결정되지 않았으며, 복잡도 이론에서 중요한 ‘경계 문제(boundary problem)’로 남아 있다. 논문은 기존의 복잡도 구분 기법—예를 들어, 핵심 구조(core), 동형사상 사전(Polymorphism) 분석, 그리고 CSP‑분류 이론—을 적용해 보았지만, 전사성 조건이 이러한 기법을 직접적으로 적용하기 어렵게 만든다.

마지막으로, 전사 동형사상 문제의 복잡도 분류가 어려운 근본적인 이유를 ‘전역 카운팅 성질’과 ‘구조적 제한’ 사이의 상호작용으로 설명한다. 전사성은 단순히 존재 여부를 묻는 것이 아니라, 전체 매핑이 목표 구조를 완전히 커버해야 함을 의미한다. 이는 일반적인 CSP(제약 만족 문제)에서 흔히 나타나는 로컬 제약과는 다른 차원을 만든다. 따라서 전사 동형사상 문제는 기존 CSP‑분류 프레임워크를 확장하거나 새로운 대수적 도구를 도입해야만 체계적인 복잡도 지도를 그릴 수 있다.