카키 그래프에 대한 동형사상 카운팅 모듈로 2의 복잡도 이분법

초록

이 논문은 고정된 카키 그래프 H에 대해 그래프 G에서 H로의 동형사상 개수를 2로 나눈 나머지를 구하는 문제(⊕HomsTo H)의 복잡도를 완전하게 규명한다. H의 무자명한 인볼루션(차수 2 자동동형) 제거 후 남는 그래프가 정점 0개·1개이면 다항시간(FP)으로 해결 가능하고, 그 이상이면 ⊕P‑complete임을 보인다. 결과는 기존 트리 경우에 대한 Faben‑Jerrum 정리를 카키 그래프 전반으로 확장한다.

상세 분석

본 연구는 모듈러 카운팅, 특히 모듈로 2인 경우의 복잡도 구조를 그래프 H의 구조와 직접 연결시키는 접근을 취한다. 핵심 도구는 “인볼루션”이라 불리는 차수 2 자동동형이며, Lemma 1에 의해 H의 인볼루션 σ에 대해 ⊕HomsTo H와 ⊕HomsTo H^σ는 동치임을 이용한다. 이를 반복 적용하면 H를 유일한 인볼루션‑프리 그래프(H′)로 축소할 수 있다( Lemma 2). 따라서 문제의 난이도는 H′의 형태에만 의존한다는 중요한 메타‑결과가 도출된다.

카키 그래프는 각 간선이 최대 하나의 사이클에만 속한다는 제한을 갖는다. 이 제한은 두 가지 중요한 성질을 제공한다. 첫째, 사이클을 제거하면 그래프가 여러 연결 성분으로 분리되며, 각 성분은 다시 카키 구조를 유지한다. 둘째, 카키 그래프는 트리 폭이 2 이하이므로 자동동형군의 크기 계산이 다항시간에 가능하고, 이는 인볼루션 탐색을 효율적으로 수행하게 만든다.

복잡도 구분을 위해 저자들은 세 가지 구조적 개념을 도입한다. “Hardness gadget”은 ⊕P‑hardness를 증명하기 위한 기본 블록이며, 이를 통해 ⊕Weighted‑Independent‑Set(λ, μ) 문제를 ⊕HomsTo H로 감소시킨다. “Partial hardness gadget”은 완전한 gadget이 존재하지 않을 때 부분적인 제한을 제공하고, “Mosaic”는 4‑사이클들의 결합으로 이루어진 특수한 서브그래프이다. 인볼루션‑프리 카키 그래프는 이러한 구조 중 적어도 하나를 반드시 포함하도록 증명된다. 특히, 비대칭 그래프에서는 hardness gadget을 직접 구성할 수 있어 ⊕P‑hardness가 즉시 따라온다. 비대칭이 아닌 경우에도, 그래프를 적절히 분할하고 각 파트에 위 세 구조를 재귀적으로 적용함으로써 전체 그래프에 대한 hardness gadget을 구성한다.

핀이(pinning) 기법은 또 다른 핵심이다. 입력 그래프 G의 일부 정점을 H의 특정 궤도(orbit)에 고정시키는 함수 p:V(G)→2^{V(H)}를 정의하고, ⊕Pinned‑HomsTo H 문제를 ⊕HomsTo H 문제에 다항시간으로 환원한다. 비대칭 그래프에서는 궤도가 단일 정점이므로 핀ning이 직관적이지만, 비대칭이 아닌 경우에는 전체 H를 복제해 각 복제본을 자체 궤도에 고정함으로써 자동동형군의 복잡성을 회피한다. 이 과정에서 “모든 정점이 자신의 궤도에 고정된 동형사상은 실제 자동동형이다”라는 성질을 증명하여, 핀ning이 정확히 ⊕HomsTo H와 동치임을 보인다.

결과적으로, 인볼루션‑프리 축소 H′가 정점 0개(빈 그래프)·1개(자기루프 유무에 관계없이)·두 개의 격리 정점(하나는 자기루프)인 경우에만 ⊕HomsTo H가 FP에 속한다. 그 외 모든 카키 그래프에 대해서는 ⊕P‑complete임을 보이며, 이는 기존의 트리 경우 정리(정리 4)를 일반화한 것이다. 또한, 입력 그래프 H에 대해 어느 경우에 해당하는지 판단하는 메타‑문제도 다항시간에 해결 가능함을 제시한다. 이는 인볼루션 탐색과 자동동형군 크기 계산이 카키 그래프에서 효율적으로 수행될 수 있기 때문이다.

이 연구는 카키 그래프의 구조적 특성을 정밀히 활용해 모듈러 카운팅 복잡도 이분법을 확장한 최초의 사례이며, 향후 더 일반적인 그래프 클래스(예: 제한된 트리폭, 플래너 그래프 등)로의 확장 가능성을 제시한다.