그레이버 복잡도와 정수 계획의 지수적 한계

초록

본 논문은 완전 이분 그래프 K₍₃,ₘ₎ 의 발생 행렬에 대해 그레이버 복잡도 g(m)이 Ω(2^m) 임을 증명한다. 구체적으로 g(m) ≥ 17·2^{m‑3} − 7 (모든 m > 3)이라는 명시적 하한을 제시함으로써 정수 계획 문제의 근본적인 난이도를 새로운 관점에서 뒷받침한다.

상세 분석

그레이버 복잡도는 정수계획에서 핵심적인 구조적 파라미터로, 주어진 정수 행렬 A 에 대한 그레이버 기저 𝔊(A) 의 최대 ℓ₁‑노름을 의미한다. 𝔊(A)는 A·x = 0을 만족하는 최소(비분해) 정수벡터들의 집합으로, 여러 최적화 알고리즘—특히 그레이버 기반의 다항시간 근사·정확 해법—에서 탐색 공간을 제한하는 역할을 한다. 기존 연구에서는 특정 행렬 클래스(예: 토러스 그래프, 네트워크 플로우)의 그레이버 복잡도가 다항식적이거나 지수적으로 성장한다는 사례가 보고되었지만, 일반적인 행렬에 대한 하한은 거의 알려지지 않았다.

본 논문은 K₍₃,ₘ₎ 의 발생 행렬 A₍₃,ₘ₎ 을 대상으로, 그레이버 복잡도가 지수적으로 증가한다는 강력한 하한을 구축한다. 핵심 아이디어는 A₍₃,ₘ₎ 의 회로(circuit) 구조를 이용해, 서로 독립적인 다수의 최소 정수해를 조합함으로써 ℓ₁‑노름이 크게 늘어나는 벡터를 명시적으로 구성하는 것이다. 구체적으로, 저자들은 m개의 오른쪽 정점에 대해 3개의 왼쪽 정점과 연결된 모든 간선을 고려하고, 각 간선을 변수로 하는 0‑1 행렬을 만든다. 그 후, 각 오른쪽 정점에 대해 두 개의 서로 다른 3‑사이클(예: (1,i),(2,i),(3,i) 형태)을 선택하고, 이를 교차시켜 새로운 회로를 만든다. 이러한 회로들의 합은 그레이버 기저에 포함될 수밖에 없으며, 그 ℓ₁‑노름은 선택된 회로 수에 비례한다.

수학적으로는, m > 3에 대해 다음 부등식을 증명한다.
 g(m) ≥ 17·2^{m‑3} − 7.
이 식은 귀납적 구성과 이진 트리 형태의 회로 조합을 통해 얻어진다. 특히, 2^{m‑3}이라는 지수항은 회로 선택의 자유도가 2^{m‑3}가지임을 반영한다. 저자들은 또한 기존에 알려진 상한인 O(2^{2m})와 비교해, 현재 하한이 그 차원에서 상당히 근접함을 강조한다.

이 결과는 두 가지 중요한 함의를 가진다. 첫째, 그레이버 복잡도가 지수적으로 커지는 경우, 그레이버 기반 알고리즘은 입력 크기에 대해 실질적인 다항시간 보장을 제공하지 못한다는 점이다. 이는 정수 계획이 일반적으로 NP‑hard임을 다시 한 번 확인시켜 주며, 특히 파라미터화된 복잡도 이론에서 “그레이버 복잡도”가 유용한 파라미터가 아닐 수 있음을 시사한다. 둘째, K₍₃,ₘ₎ 와 같은 간단한 그래프 구조에서도 복잡도가 급격히 상승한다는 사실은, 보다 복잡한 네트워크(예: 완전 이분 그래프 K₍ₙ,ₘ₎ 또는 일반적인 행렬)에서도 유사하거나 더 큰 하한이 존재할 가능성을 열어준다. 이는 향후 연구에서 그레이버 복잡도의 정확한 성장률을 규명하고, 이를 기반으로 한 알고리즘 설계의 한계를 명확히 하는 데 중요한 출발점이 된다.