TSP 근사 불가능성 한계의 새로운 돌파구: 185/184 비율 달성

초록

본 논문은 기존 220/219 한계를 뛰어넘어, TSP(Traveling Salesman Problem)의 근사 불가능성 비율을 185/184로 개선한다. 핵심은 MAX‑E3‑LIN2에서 시작해 변수 등장 횟수를 5로 제한하는 Berman‑Karpinski 기법을 적용하고, 이를 MAX‑1‑in‑3‑SAT으로 변환한 뒤, 정교한 가젯을 이용해 TSP 인스턴스로 감소시키는 새로운 3단계 구성이다. 이 과정은 Papadimitriou‑Vempala의 복잡한 증명보다 구조가 단순하면서도 동일하거나 더 강한 하드니스 결과를 얻는다.

상세 분석

이 논문의 가장 큰 기술적 기여는 TSP의 근사 불가능성 한계를 기존 220/219에서 185/184로 끌어올린 점이다. 이를 위해 저자들은 크게 네 가지 핵심 아이디어를 결합한다. 첫째, Håstad의 MAX‑E3‑LIN2에 대한 강력한 난이도 결과를 출발점으로 삼는다. 기존 Papadimitriou‑Vempala는 이 CSP를 직접 TSP로 변환했으나, 변수당 발생 횟수를 제한하지 않아 복잡한 가젯 설계와 정교한 확장 그래프가 필요했다. 저자들은 Berman‑Karpinski가 제시한 ‘bounded‑occurrence’ 증폭기를 도입해 각 변수의 등장 횟수를 정확히 5번으로 제한한다. 이 단계에서 bipartite expander 그래프를 무작위로 선택하고, 각 변수와 보조 변수 사이에 2‑항 방정식을 삽입해 일관된 할당을 강제한다. 이렇게 하면 최적 할당이 ‘클라우드’ 내부에서 일관되게 유지된다는 보장을 얻으며, 불일치가 발생하면 비용이 증가하도록 설계한다.

둘째, 5‑회 등장 제한된 CSP를 MAX‑1‑in‑3‑SAT(정확히 하나만 참인 3리터럴 절) 형태로 변환한다. 여기서는 2‑항 방정식을 단순히 (x ∨ y) 형태의 절로 바꾸고, 3‑항 방정식은 보조 변수 a₁,a₂,a₃를 도입해 세 개의 절 클러스터로 전환한다. 이 변환은 ‘클러스터’ 내부에서 원래 방정식이 만족될 경우 모든 절을 동시에 만족시킬 수 있고, 만족되지 않을 경우 최대 두 절만 만족시킬 수 있다는 중요한 구조적 특성을 만든다. 따라서 원래 CSP의 만족도와 변환된 SAT 인스턴스의 만족도 사이에 선형적인 관계가 성립한다.

셋째, SAT 인스턴스를 TSP 인스턴스로 매핑하기 위해 ‘터미널’과 ‘강제(edge)’ 개념을 도입한다. 각 변수 x∈M∪C∪A에 대해 두 개의 터미널 x_L, x_R을 만들고, 이들을 중심 정점 s와 강제 에지(무게가 매우 작게 조정된 긴 경로)로 연결한다. 또한 같은 변수의 두 터미널 사이에 무게 1인 비강제 에지를 두 개 배치해, 투어가 이 중 정확히 하나를 선택하도록 유도한다. 이는 변수에 대한 ‘True/False’ 선택을 투어의 경로 선택에 직접 대응시킨다. 절 가젯은 위에서 만든 터미널을 이용해 구성되며, 2‑항 절은 두 터미널 사이에 무게 3/2인 강제 에지를 삽입하고, 3‑항 절 클러스터는 여섯 개의 보조 터미널과 여러 강제 에지를 삼각형 형태로 연결한다. 이러한 설계는 만족된 절은 투어가 최소 비용(모든 강제 에지를 반드시 통과)으로 통과하도록 하고, 만족되지 않은 절은 최소 한 개의 추가 비용(≈1)만큼 초과하도록 만든다.

넷째, 비용 분석을 통해 ‘k개의 절이 만족되지 않음’ ⇔ ‘투어 비용이 L + k’라는 정확한 관계를 증명한다. 여기서 L = 91.8·m (m은 원래 방정식 수)이며, k는 불만족 절 수이다. 따라서 원래 CSP에서 (1‑ε)·m개의 방정식을 만족시키는 경우와 (½+ε)·m 이하만 만족시키는 경우 사이의 차이가 TSP 근사 비율 92.3/91.8 (논문에선 185/184)로 직접 전이된다. 이 결과는 P≠NP 가정 하에 다항 시간 근사 알고리즘이 존재하지 않음을 의미한다.

전체적으로 이 논문은 ‘복잡도 최적화보다 구조적 단순화’를 선택함으로써 증명의 가독성을 크게 높였다. Berman‑Karpinski의 bounded‑occurrence 증폭기를 활용해 변수 등장 횟수를 제한하고, SAT‑to‑TSP 변환을 단계별 가젯으로 분리함으로써 각 단계의 정확한 비용 기여를 명확히 파악할 수 있다. 또한 강제 에지 기법을 이용해 투어가 반드시 특정 경로를 포함하도록 만드는 아이디어는 TSP 근사 불가능성 증명에 널리 적용될 수 있는 유용한 도구로 보인다. 다만, 상수 개선이 아직도 제한적이며, 현재 비율 185/184가 최적인지 여부는 미지수이다. 향후 더 정교한 가젯 설계나 새로운 CSP‑to‑TSP 변환 기법이 도입된다면 추가적인 상수 개선이 가능할 것으로 기대된다.