스테이너 여행세일즈맨 문제의 효율적 다항식 모델링

초록

본 논문은 희소 네트워크에 적합한 스테이너 TSP(STSP)의 기존 지수적 제약을 피하고, 다항식 규모의 변수·제약을 갖는 ‘compact’ 정수계획 모델을 제시한다. 기존 TSP의 여러 compact 형식을 STSP에 맞게 변형하고, 관련 문제에도 적용 가능함을 논의한다.

상세 분석

스테이너 여행세일즈맨 문제(STSP)는 전통적인 TSP와 달리 모든 정점을 방문할 필요 없이 지정된 ‘스테이너’ 집합만을 반드시 포함하면 되는 변형이다. 이는 도로망처럼 간선이 희소한 실제 네트워크에서 모델링 효율성을 크게 향상시킨다. 기존의 STSP 정수계획 모델은 ‘서브투어 제거’ 제약을 모든 정점 쌍에 대해 기술해야 하므로 제약 수가 지수적으로 증가한다. 논문은 이러한 비효율성을 해소하기 위해, TSP 분야에서 오래전부터 연구된 여러 compact 형식—예를 들어 Miller‑Tucker‑Zemlin(MTZ) 모델, 흐름 기반 모델, 그리고 라우팅 변수 기반 모델—을 STSP에 맞게 재구성한다.

우선 MTZ형식은 순서 변수와 연결 변수 사이의 선형 관계를 이용해 서브투어를 방지한다. 저자들은 스테이너 집합 S⊆V에 대해 순서 변수의 정의역을 S에 한정함으로써 변수 수를 |S|·|E| 수준으로 감소시킨다. 또한, 흐름 기반 모델에서는 인공적인 ‘흐름’ 양을 도입해 각 스테이너에 도착·출발 흐름을 보장한다. 이때 흐름량을 스테이너 수에 비례하도록 설정하면, 비스테이너 정점은 흐름을 통과하지 않아도 되므로 제약식이 크게 간소화된다.

특히 논문은 ‘시작‑끝’ 노드가 동일하지 않을 수 있는 일반화된 STSP(예: 라우팅 문제)에도 적용 가능한 확장 모델을 제시한다. 여기서는 가상의 슈퍼소스·슈퍼싱크를 도입해 전체 흐름을 하나의 원형 경로로 연결하고, 각 스테이너에 대한 입·출 차이를 0으로 강제한다. 이러한 설계는 기존의 ‘다중 서브투어’ 문제를 자연스럽게 억제한다.

또한, 저자들은 제시된 compact 모델들의 선형 이완(LP relaxation) 강도를 실험적으로 비교한다. 흐름 기반 모델이 MTZ 모델보다 더 강한 경계를 제공하지만, 변수·제약 수가 다소 늘어나는 트레이드오프가 존재한다는 점을 확인한다. 마지막으로, 논문은 STSP와 유사한 ‘스테이너 최소 스패닝 트리’, ‘스테이너 차량 라우팅’ 등 여러 파생 문제에 동일한 변형 기법을 적용할 수 있음을 간략히 논의한다. 전체적으로 이 연구는 STSP를 다항식 규모의 정수계획 모델로 변환함으로써, 대규모 희소 네트워크에서도 상용 MILP 솔버를 활용한 효율적인 최적화가 가능하도록 하는 중요한 이론적·실용적 기여를 제공한다.