특성 2 체계와 행렬식으로 푸는 해밀턴 분해의 짝·홀수 판정

초록

본 논문은 특성 2인 체계와 행렬식 기법을 이용해 4‑정규(특히 이분) 그래프의 해밀턴 분해 개수를 모듈로 2로 다항시간에 계산하는 새로운 대수적 방법을 제시한다. 기존의 Thomason 정리와 Smith 정리를 일반화하여, 주어진 한 변과 길이 2인 경로가 서로 다른 해밀턴 사이클에 포함되는 경우의 짝·홀수 여부를 효율적으로 판단한다. 또한 임의의 간선 집합을 포함하는 단순 사이클 분해에 대해서도 동일한 복잡도로 계산 가능함을 보인다.

상세 분석

이 논문은 그래프 이론에서 “해밀턴 분해의 개수를 2로 나눈 나머지(즉, 짝·홀수)”를 구하는 문제를 새로운 대수적 관점에서 접근한다. 핵심 아이디어는 특성 2인 체계(즉, GF(2) 혹은 그 확장체) 위에서 정의된 다항식과 행렬식을 이용해 그래프의 모든 가능한 사이클 커버를 하나의 다항식으로 인코딩하고, 그 다항식의 특정 계수를 추출함으로써 원하는 모듈러 2 카운팅 값을 얻는 것이다.

먼저, 그래프 G의 각 간선 e에 변수 x_e를 할당하고, 인접 행렬 A(G)·에 x_e를 가중치로 삽입한다. 특성 2 체계에서는 행렬식(det)과 퍼머넌트(permanent)가 동일하게 동작하므로, det(A) 자체가 모든 사이클 커버(특히 단순 사이클들의 집합)의 가중합을 나타낸다. 여기서 “단순 사이클”는 중복 정점이 없는 사이클이며, 각 사이클이 포함하는 간선 집합을 변수들의 곱으로 표현한다.

다음 단계는 원하는 제약을 다항식에 반영하는 것이다. 예를 들어, 특정 간선 e와 길이 2인 경로 p={f,g}가 서로 다른 사이클에 속하도록 강제하려면, 변수 x_e·x_f·x_g가 동시에 등장하지 않도록 하는 항을 차감하거나, 해당 항에 추가적인 선형 제약을 부여한다. 특성 2에서는 항의 부호가 사라지므로, 단순히 해당 항을 0으로 만들면 된다. 이를 위해 저자는 “제한 행렬식”(restricted determinant)이라는 개념을 도입한다. 제한 행렬식은 원래 행렬의 일부 행·열을 교체하거나, 특정 변수에 대해 선형 결합을 적용해 원하는 항을 소거한다.

특히 4‑정규 이분 그래프에서는 각 정점이 정확히 두 개의 흑·백 파트에 연결되므로, 행렬을 2×2 블록 형태로 재구성할 수 있다. 이때 블록 행렬의 행렬식은 블록별 행렬식의 곱으로 분해되며, 각 블록은 다시 GF(2) 위에서 2차 다항식 형태가 된다. 이러한 구조적 특성을 이용하면 전체 행렬식 계산을 O(n³) 이하의 다항시간에 수행할 수 있다.

또한 논문은 기존의 Thomason 정리(4‑정규 그래프에서 해밀턴 분해가 짝수)와 Smith 정리(odd‑regular 그래프에서 특정 간선을 포함한 해밀턴 사이클이 짝수)를 대수적으로 재해석한다. 특성 2 체계에서 행렬식이 0이면 해당 카운팅 값이 짝수, 1이면 홀수임을 이용해, 기존 정리들을 “determinantal parity”라는 통일된 프레임워크 안에 포함시킨다.

마지막으로, 저자는 이 기법을 일반적인 “간선 집합 S를 반드시 포함하는 사이클 분해” 문제에도 확장한다. S에 속하는 각 간선에 대해 별도의 변수 y_i를 도입하고, 행렬식에 y_i·x_e 형태의 항을 삽입함으로써, S를 포함하는 모든 사이클 커버의 합을 구한다. 결과적으로, S를 포함하는 사이클 분해의 개수를 모듈로 2로 판단하는 것이 역시 O(poly(n)) 시간에 가능함을 증명한다.

요약하면, 특성 2 체계와 행렬식의 결합을 통해 복잡도가 높은 NP‑complete 카운팅 문제를 특정 정규성(특히 4‑정규·이분)과 제약 조건 하에서 효율적으로 해결할 수 있는 새로운 대수적 도구를 제공한다.