아리티 사 순열 제약 만족 문제 복잡도 한계

초록

아리티가 4인 순열 제약 만족 문제는 현재 알려진 최선의 알고리즘이 2^{O(n log n)} 시간을 요구한다. 본 논문은 ETH가 성립한다면 이 문제를 2^{o(n log n)} 시간에 해결할 수 없음을 증명함으로써, 아리티 4 이상의 경우에 대한 시간 복잡도 한계를 확정한다.

상세 분석

본 연구는 순열 제약 만족 문제(Permutation CSP)의 복잡도 구분에 새로운 경계를 설정한다. 기존에는 아리티 2와 3에 대해서는 Held‑Karp 방식의 동적 계획법을 이용해 O*(2^n) 시간에 최적해를 구할 수 있음이 알려져 있었다. 반면 아리티 4 이상에서는 단순히 모든 순열을 열거하는 n! ≈ 2^{Θ(n log n)} 시간이 최선이라고 여겨졌지만, 하위 지수‑시간 알고리즘의 존재 가능성은 남아 있었다. 논문은 이러한 공백을 메우기 위해, ETH(Exponential Time Hypothesis)를 전제로 한 하드ness 증명을 제시한다. 핵심 아이디어는 3‑SAT 혹은 k‑Clique와 같은 ETH‑hard 문제를 아리티 4 순열 CSP 인스턴스로 다항식 크기 내에서 변환하는 것이다. 변환 과정에서 변수와 절을 각각 순열 상의 위치에 대응시키는 ‘가젯(gadget)’을 설계하고, 각 가젯 사이에 4‑원소 제약을 삽입해 원래 문제의 만족 여부가 순열의 순서 관계에 정확히 반영되도록 만든다. 특히, 제약을 4‑원소 튜플 (v₁,v₂,v₃,v₄) 형태로 구성함으로써, 순열이 만족해야 할 ‘전후 관계’를 복잡하게 얽어 놓아, 임의의 빠른 알고리즘이 이 구조를 깨뜨리지 못하도록 설계한다. 변환 후 얻어지는 인스턴스는 변수 수가 원래 입력 크기의 Θ(n log n) 수준으로 늘어나게 되며, 따라서 만약 2^{o(n log n)} 시간에 해결할 수 있는 알고리즘이 존재한다면, 원래의 ETH‑hard 문제도 2^{o(n)} 시간에 풀 수 있게 되어 ETH와 모순된다. 논문은 이와 같은 복잡도 감소 과정을 엄밀히 증명하고, 변환 과정에서 발생할 수 있는 충돌이나 중복을 방지하기 위한 정교한 정렬‑보존 기법을 도입한다. 결과적으로 아리티 4 순열 CSP는 2^{Θ(n log n)} 시간 이하로는 해결할 수 없으며, 이는 아리티 3까지는 O*(2^n) 시간이 가능하던 상황과 뚜렷한 구분을 만든다.