[논문 리뷰] A Tight $(1.5+ε)$-Approximation for Unsplittable Capacitated Vehicle Routing on Trees

Claire Mathieu, Hang Zhou|arXiv (Cornell University)|2022. 02. 11.

Vehicle Routing Optimization Methods인용 수 3

한 줄 요약

이 논문은 종단 점의 수요가 임의이며 한 투어에 걸쳐 분할될 수 없는 비분할 용량 제약이 있는 트리 위의 차량 경로 문제에 대해 다항 시간 (1.5 + ε)-근사 알고리즘을 제시한다. 라운드된 수요 목록과 호환성 제약 조건을 갖는 구조적 동적 프로그래밍 접근법을 도입함으로써, 30년이 넘는 기간 동안 유지되어 온 2-근사 bound를 초월하는 첫 번째 성과를 이룩하였으며, 이 비율은 NP-난해성에 기반해 1.5 이하로의 근사가 불가능하므로 사실상 최적에 가깝다.

ABSTRACT

In the unsplittable capacitated vehicle routing problem (UCVRP) on trees, we are given a rooted tree with edge weights and a subset of vertices of the tree called terminals. Each terminal is associated with a positive demand between 0 and 1. The goal is to find a minimum length collection of tours starting and ending at the root of the tree such that the demand of each terminal is covered by a single tour (i.e., the demand cannot be split), and the total demand of the terminals in each tour does not exceed the capacity of 1. For the special case when all terminals have equal demands, a long line of research culminated in a quasi-polynomial time approximation scheme [Jayaprakash and Salavatipour, TALG 2023] and a polynomial time approximation scheme [Mathieu and Zhou, TALG 2023]. In this work, we study the general case when the terminals have arbitrary demands. Our main contribution is a polynomial time (1.5+ε)-approximation algorithm for the UCVRP on trees. This is the first improvement upon the 2-approximation algorithm more than 30 years ago. Our approximation ratio is essentially best possible, since it is NP-hard to approximate the UCVRP on trees to better than a 1.5 factor.

연구 동기 및 목표

• 임의의 종단 수요를 가진 트리 위의 비분할 용량 제약 차량 경로 문제에 대한 다항 시간 근사 알고리즘을 개발하는 것.
• 1991년 Labbé, Laporte, 및 Mercure가 수립한 오랜 기간 동안 유지된 2-근사 bound를 향상시키는 것.
• UCVRP를 트리에서 1.5 요인 이하로 근사하는 것이 NP-난해하므로, 근사 비율이 사실상 최적임을 입증하는 것.
• 등수요 설정에서의 기법을 수요 라운딩과 합 목록을 활용해 일반적인 경우(임의의 수요)로 확장하는 것.

제안 방법

• 나무를 종단이 리프에 위치하고 간선 가중치가 유한한 완전 이진 나무로 변환하기 위한 사전 처리 단계를 사용한다.
• 계산을 국소화하기 위해 각 구성요소가 루트와 최대 한 개의 출구 정점만 갖는 방식으로 나무를 분해한다.
• 각 내부 정점에서 동적 프로그래밍을 적용하여, 라운드된 수요의 합 목록을 통해 서브트리 구성 상태를 추적한다.
• 합 목록은 유한한 수의 대표 값 집합을 사용하여 다중집합 형태로 투어 수요를 표현함으로써, 다항 시간 크기의 상태 공간을 보장한다.
• 노드의 자식들 간의 하위순환 조합의 타당성을 보장하기 위해 합 목록과 수요 다중집합 간의 호환성 제약 조건을 설정한다.
• 유한한 수의 대표 값 집합을 순환 조사하고, 수요 라운딩을 통해 서로 다른 수요 조합의 수를 제한한다.

실험 결과

연구 질문

• RQ1 임의의 수요를 가진 트리 위의 UCVRP에 대해 (1.5 + ε)-근사가 1991년의 2-근사보다 향상된 성능을 달성할 수 있는가?
• RQ2 기존의 근사 불가능성 결과를 고려할 때, (1.5 + ε)-근사 비율이 사실상 최적인가?
• RQ3 등수요 설정에서의 기법을 수요 라운딩과 합 목록을 활용해 일반적인 수요 설정으로 일반화할 수 있는가?
• RQ4 수요 라운딩을 통해 서로 다른 수요 값의 수를 제한함으로써, 임의의 수요에 대해 동적 프로그래밍을 효율적으로 수행할 수 있는가?

주요 결과

• 논문은 임의의 수요를 가진 트리 위의 UCVRP에 대해 다항 시간 (1.5 + ε)-근사 알고리즘을 제시하며, 1991년의 2-근사보다 향상된 성능을 달성한다.
• 이 근사 비율은 사실상 최적이다. UCVRP를 트리에서 1.5 요인 이하로 근사하는 것은 NP-난해하기 때문이다.
• 알고리즘은 유한한 수의 대표 수요 값과 합 목록을 사용하여 동적 프로그래밍의 상태 공간 크기를 제한함으로써 성과를 달성한다.
• 실행 시간은 입력 크기의 다항식이며, 특히 합 목록과 구성의 수가 유한하므로 n^Oε(1)이다.
• 이 방법은 UCVRP를 경로에 적용할 수 있으며, 이 경우에도 (1.5 + ε)-근사 비율을 달성할 수 있다. 이 역시 사실상 최적이다.
• 이 방법은 수요 라운딩에 기반하며, 다중집합 분할을 통한 하위순환 구성 간의 호환성 보장을 통해 작동한다.