이종 차량 여행판매원 문제를 위한 프라임 듀얼 알고리즘

초록

두 대의 이질적인 차량이 서로 다른 출발지에서 시작해 목표 지점을 최소 한 번씩 방문하도록 경로를 설계한다. 본 논문은 이 문제의 변형에 대해 프라임‑듀얼 기법을 적용한 근사 알고리즘을 제시하며, 총 이동거리를 2배 이내로 보장한다.

상세 분석

본 연구는 이종 차량이 동시에 작동하는 감시·정찰 시나리오에서 발생하는 라우팅 문제를 수학적으로 정형화한다. 두 차량은 각각 서로 다른 초기 위치를 가지고 있으며, 목표 집합 T 의 모든 원소는 최소 한 대의 차량에 의해 방문되어야 한다. 목표를 중복 방문해도 무방하지만, 전체 이동거리 ∑ dist 를 최소화하는 것이 목적이다. 이 문제는 전통적인 여행판매원 문제(TSP)와 차량경로문제(VRP)의 결합 형태이며, 차량 간 이질성(시작점, 이동비용 차이) 때문에 기존의 단일 차량 근사 기법을 직접 적용하기 어렵다.

논문은 먼저 문제를 그래프 G =(V,E) 로 모델링한다. V는 두 출발지와 목표점들을 포함하고, 각 차량 k ( k=1,2 )에 대해 가중치 c_k(e) 가 정의된 두 개의 비용 함수가 존재한다. 목표를 방문하는 순서를 결정하는 대신, 각 목표를 포함하는 최소 비용의 “커버”를 찾는 집합 커버 형태로 변환한다. 이를 위해 이중화된 스테이너 포레스트(dual Steiner forest) 문제와 연결시켜, 프라임‑듀얼 접근법을 적용한다.

프라임‑듀얼 알고리즘은 초기에는 모든 정점이 독립된 컴포넌트로 존재하고, 각 컴포넌트마다 “모트(moat)”라 불리는 듀얼 변수 y 를 동일하게 증가시킨다. 모트가 성장하면서 두 컴포넌트를 연결할 수 있는 가장 저비용의 간선이 활성화되면, 해당 간선을 선택하고 두 컴포넌트를 합친다. 이 과정은 두 차량 각각에 대해 독립적으로 진행되며, 간선 선택 시 각 차량의 비용 함수 c_k 에 따라 다르게 평가된다. 알고리즘은 모든 목표가 적어도 하나의 차량 컴포넌트에 포함될 때까지 반복한다.

선택된 간선 집합은 결국 두 개의 연결된 서브그래프를 형성한다. 각 서브그래프는 해당 차량의 시작점에서 시작해 모든 포함된 목표를 연결한다. 마지막 단계에서는 각 서브그래프를 깊이우선탐색(DFS) 혹은 차례대로 순회하여 실제 투어를 생성한다. 이때 발생하는 중복 방문이나 경로 뒤틀림은 전체 비용에 2배 이하의 오버헤드만을 추가한다는 것이 핵심 증명이다.

복잡도 분석에서는 프라임‑듀얼 단계가 O(|E| log |V|) 정도의 시간에 수행될 수 있음을 보이며, 전체 알고리즘은 다항시간 내에 종료한다. 근사 비율 2는 듀얼 변수의 성장 속도와 프라임 해의 비용 사이의 상한을 이용해 엄격히 증명된다. 특히, 두 차량이 서로 다른 비용 구조를 가질 때도 동일한 비율이 유지된다는 점이 이 접근법의 강점이다.

본 논문의 주요 기여는 다음과 같다. 첫째, 이종 차량이 동시에 작동하는 라우팅 문제를 프라임‑듀얼 프레임워크에 매핑함으로써 기존의 단일 차량 근사 기법을 확장하였다. 둘째, 2‑근사를 달성하는 구체적인 알고리즘 절차와 그 정당성을 제공하였다. 셋째, 알고리즘이 실시간 혹은 제한된 계산 자원 하에서 적용 가능하도록 다항시간 복잡도를 유지하였다. 마지막으로, 실험적 평가를 통해 이론적 근사 비율이 실제 데이터에서도 비교적 보수적인 상한임을 확인하였다.

향후 연구 방향으로는 차량 수를 2개 이상으로 확장하거나, 각 차량의 용량·시간 윈도우 제약을 추가하는 것이 제시된다. 또한, 프라임‑듀얼 구조를 활용해 동적 목표 삽입·삭제 상황에 대한 온라인 알고리즘 설계도 가능할 것으로 기대된다.