입방 그래프에서 여행하는 세일즈맨 문제의 사분의 사 근사

초록

이 논문은 차수가 3 이하인 그래프, 특히 단순 입방 그래프와 그 서브그래프에 대해 메트릭 TSP의 4/3 근사 알고리즘을 제시한다. 저자들은 모든 입방 그래프에 대해 길이 ≤ 4n/3 − 2인 투어가 존재함을 구성적으로 증명하고, 이를 통해 4/3 정리의 상한을 입증한다. 또한 Mömke‑Svensson의 무작위 알고리즘을 비무작위화하여 O(n² log n) 시간 안에 같은 비율을 얻는 방법을 제시한다. 결과는 다중그래프에도 적용 가능하다.

상세 분석

논문은 먼저 그래프‑TSP를 “스패닝 오일러ian 다중서브그래프” 문제와 동치시킨다. 입방 그래프는 모든 정점의 차수가 3이므로 Petersen 정리를 이용해 완전 매칭과 사이클 커버로 분할할 수 있다. 저자들은 기존 접근법(사이클 커버를 축소하고 두 배 스패닝 트리를 추가하는 방식)에서 발생하는 비효율성을 극복하기 위해, 여러 개의 완전 매칭을 동시에 고려하는 다면체적 기법을 도입한다. 구체적으로, 그래프의 모든 3‑컷을 정확히 하나의 매칭이 통과하도록 하는 3‑컷 완전 매칭들의 집합을 찾아, 이들의 볼록 조합이 전체 간선 집합의 1/3 배인 벡터 x* = (1/3)·χ_E 를 표현한다는 Lemma 1을 증명한다. 이때 각 매칭은 1/3 가중치로 조합되며, 평균적으로 각 정점에 대해 두 개의 매칭이 겹친다. 이러한 구조를 이용하면 사이클 커버와 싱글톤 집합 S를 선택해 |S| + 2k ≤ n/3 (k는 사이클 수) 를 만족하도록 만들 수 있다. 결과적으로 스패닝 오일러ian 서브그래프의 총 간선 수는 n + 2k + |S| − 2 ≤ 4n/3 − 2 가 된다. 알고리즘적 측면에서는 Barahona의 O(n⁶) 완전 매칭 분해 알고리즘을 사용해 매칭 집합을 구성한다.

다음으로 저자들은 Mömke‑Svensson이 제시한 무작위화 기법을 재해석한다. 그들의 접근법은 임의의 스패닝 트리 T와 완전 매칭 M를 선택해 |M*∩T*| ≤ p 인 경우, 오일러ian 서브그래프의 간선 수가 n + 2p 로 제한된다는 점에 기반한다. 무작위화는 3‑컷 매칭들의 볼록 조합을 확률분포로 삼아 기대값을 최소화한다. 논문은 이 확률분포의 극점들을 모두 열거하면 비무작위화가 가능함을 보이지만, 직접 모든 극점을 탐색하면 O(n⁶) 시간이 소요된다. 저자는 대신 최소 비용 매칭을 이용한 이분 탐색과 그래프 구조의 특성을 활용해 O(n² log n) 시간 안에 동일한 p 값을 찾는 절차를 설계한다. 이 절차는 다중그래프와 서브입방 그래프에도 그대로 적용된다.

마지막으로, 논문은 브리지를 포함한 일반 그래프에 대해 사이클 커버와 매칭을 결합하는 방법을 확장한다. 브리지를 제거한 후 위의 알고리즘을 적용하고, 마지막에 브리지를 다시 삽입해 전체 투어를 완성한다. 전체적으로 이 연구는 (1) 입방 그래프에 대한 4/3 근사의 구조적 증명, (2) 다중 매칭을 이용한 볼록 조합 기법, (3) Mömke‑Svensson 알고리즘의 효율적인 비무작위화라는 세 가지 핵심 기여를 제공한다. 특히 4n/3 − 2 길이의 투어 존재를 구성적으로 보여준 점은 4/3 정리의 상한을 입방 그래프에 대해 확정짓는 중요한 결과이며, 비무작위화 기법은 실용적인 구현 가능성을 크게 높인다.