그룹을 그래프에 구현하기 위한 복잡도 분석

초록

본 논문은 그룹을 그래프에 표현하는 문제를 정의하고, 아벨 군과 가 solvable 군의 경우 이 문제와 그래프 동형성 문제(GI)가 다항시간 튜링 감소 관계에 있음을 보인다. 특히 군이 생성자를 통한 순열군으로 주어질 때도 동일하게 성립한다. 반면 일반 군을 트리 위에 구현하는 문제는 주어진 군 G와 정수 n에 대해 비자명한 동형사상 G→Sₙ 존재 여부를 판단하는 문제와 동등함을 증명한다. 트리 동형성은 다항시간에 해결 가능하지만, 이 대표성 문제는 현재 알려진 다항시간 알고리즘이 없으며, 복잡도 측면에서 새로운 난이도를 제시한다.

상세 분석

논문은 먼저 “그룹 대표성 문제”(group representability problem)를 공식화한다. 입력으로는 유한군 G와 그래프 X가 주어지고, G의 원소들을 X의 자동동형군 Aut(X) 안에 사상할 수 있는 비자명한 동형사상이 존재하는지를 묻는다. 이 정의는 기존의 그래프 동형성 문제와 직접적인 연결 고리를 제공한다. 저자들은 먼저 아벨 군과 가 solvable 군에 대해, 군이 순열군 형태(생성자 집합)로 주어지더라도, 대표성 문제를 그래프 동형성 문제에 다항시간 튜링 감소시킬 수 있음을 보인다. 구체적으로, 임의의 아벨 군 A와 그래프 X에 대해, A가 X에 대표될 수 있는지 여부는 X와 특정 구조를 가진 보조 그래프 Y의 동형성 여부와 동치가 된다. 이때 Y는 A의 군 구조를 그래프 형태로 인코딩한 것으로, 동형성 검증을 통해 A의 대표 가능성을 판단한다. 이러한 변환은 다항시간 내에 수행되며, 반대로 그래프 동형성 문제를 A‑representability 문제로 감소시키는 절차도 제시한다. 따라서 아벨 군 및 가 solvable 군에 대한 대표성 문제는 GI와 정확히 동일한 복잡도 클래스를 공유한다는 결론에 도달한다.

다음으로 저자들은 일반 군을 트리 위에 구현하는 경우를 탐구한다. 트리는 그래프 동형성 문제에서 다항시간 알고리즘이 존재함에도 불구하고, 여기서는 전혀 다른 복잡도 특성을 보인다. 논문은 G와 정수 n이 주어졌을 때, G에서 대칭군 Sₙ으로의 비자명한 동형사상(즉, 영 사상이 아닌 사상)이 존재하는지를 판단하는 문제가 트리 위의 그룹 대표성 문제와 정확히 동등함을 증명한다. 이는 트리 구조가 갖는 제한된 자동동형군(주로 트리의 대칭성) 때문에, 대표성 문제를 군의 순열 표현 존재 여부로 환원할 수 있음을 의미한다. 현재 이 문제는 알려진 다항시간 알고리즘이 없으며, 특히 G가 임의의 비아벨 군일 경우 NP‑hard 혹은 그보다 높은 복잡도 클래스로 추정된다.

결과적으로 논문은 두 가지 중요한 메시지를 전달한다. 첫째, 아벨 및 가 solvable 군에 대해서는 그룹 대표성 문제가 그래프 동형성 문제와 동일한 난이도를 가진다. 둘째, 일반 군을 트리와 같은 제한된 그래프 구조에 구현하려는 경우, 문제는 순열 표현 존재 여부라는 전혀 다른 형태의 결정 문제로 변환되며, 이는 현재 알려진 효율적 알고리즘이 부재함을 시사한다. 이러한 발견은 그룹 이론과 그래프 이론 사이의 복합적 상호작용을 새롭게 조명하고, 향후 복잡도 이론 및 알고리즘 설계에 중요한 연구 방향을 제시한다.