대칭 TSP와 제약 그룹 스테이너스 트리 문제의 구조적 동등성

초록

본 논문은 완전 가중 그래프의 도시 집합 V에 대해 삼각형‑에지 이분 그래프를 구성하고, 디스크 형태의 삼각형 집합을 선택함으로써 유일한 경계 사이클을 만든다. 전역 연결성, 지역 정칙성, 그리고 오일러 특성을 제약으로 두어 삼각형 선택의 순수 이익을 최대화하는 제약 그룹 스테이너스 트리 문제(cGSTP)를 정의한다. 이 cGSTP의 최적값은 대칭 TSP 최소 투어 길이와 부호만 반대인 값이므로, 두 문제는 정확히 동등함을 증명한다.

상세 분석

이 논문은 대칭 TSP를 고전적인 1‑차원 순회 문제로 보는 대신, 2‑차원 단순 복합체의 경계로 재해석한다는 점에서 혁신적이다. 구체적으로, 완전 그래프 G=(V,E)의 각 삼각형을 하나의 정점 U에, 각 원시 에지를 또 다른 정점 W에 매핑한 이분 인시던스 그래프 B=(U∪W,A)를 만든다. 여기서 (t,e)∈A는 삼각형 t가 에지 e를 포함함을 의미한다. 각 에지 정점 e는 비용 c(e)=2·L_e를, 각 인시던스 아크 (t,e)는 이익 p(t,e)=L_e를 부여함으로써, 내부 에지는 두 번 선택될 경우 이익과 비용이 정확히 상쇄되고, 경계 에지는 한 번만 선택될 때 순 비용 –L_e가 남는다.

제약 조건은 다섯 가지로 구성된다. (C1)은 활성 삼각형이 반드시 세 개의 에지를 모두 사용하도록 강제해 삼각형‑에지 일관성을 보장한다. (C2)는 각 에지가 최대 두 개의 삼각형에만 포함되게 하여 비다양성(Manifold)성을 유지한다. (C3)와 (C4)는 각각 전체 삼각형·에지 수와 선택된 서브그래프가 트리 형태가 되도록 제한함으로써, 선택된 삼각형 집합이 연결된 단일 디스크가 되도록 만든다. 마지막으로 (C5)는 각 도시 v에 대해 해당 도시와 인접한 선택된 삼각형·에지 서브그래프 H_v가 오일러 특성 χ(H_v)=1을 만족하도록 하여, 정점의 연결 링크가 단순 경로가 되게 한다. 이러한 제약은 내부 에지의 상쇄를 보장하면서도, 모든 정점이 경계에 포함되도록 강제한다.

정리된 레마 1은 위 제약 하에서 순 이익 –W(B′)가 정확히 경계 에지들의 길이 합과 동일함을 보여준다. 레마 2는 이러한 제약을 만족하는 모든 해가 단일 연결된 디스크이며, 그 경계가 해밀턴 사이클임을 증명한다. 마지막 정리에서는 임의의 최적 TSP 투어 C에 대해 해당 투어를 경계로 갖는 삼각형 집합 K를 구성하고, 이를 cGSTP의 해로 변환함으로써 OPT_TSP = –OPT_cGSTP 를 성립시킨다.

이 접근법의 핵심 의의는 두 가지이다. 첫째, TSP의 목표 함수가 복합체 내부 구조의 로컬 상쇄 메커니즘을 통해 자동으로 나타나므로, 전역 최적화 문제를 로컬 제약과 비용‑이익 구조로 분해할 수 있다. 둘째, 복합체를 완전 삼각형 집합이 아니라 Delaunay 삼각화와 같은 희소한 기하학적 복합체로 제한해도, 최적 투어가 해당 복합체에 포함되는 경우 정확성을 유지한다는 점이다. 따라서 이 모델은 기존 TSP 해법에 새로운 정수선형계획(ILP) 혹은 메타휴리스틱 적용 가능성을 제공한다. 특히, 전역 트리 제약과 지역 오일러 제약을 동시에 만족시키는 해를 찾는 것이 기존의 그룹 스테이너스 트리 문제보다 구조적으로 더 제한적이면서도, TSP와 동등한 난이도를 갖는다는 점은 이론적·실용적 관심을 동시에 끈다.