[논문 리뷰] A generalized formulation for vehicle routing problems

Pedro Munari, Dollevoet, Twan외 1명|arXiv (Cornell University)|2016. 06. 06.

Vehicle Routing Optimization Methods참고 문헌 26인용 수 15

한 줄 요약

이 논문은 차량 운행 문제를 위한 일반화된 $p$-단계 공식을 제안하며, 기존의 차량 흐름(VF) 및 집합 분할(SP) 공식을 특수한 경우로 통합한다. 경로를 길이 $p$의 부분 경로로 모델링함으로써, VF 공식보다 더 강한 선형 식 relaxation을 가능하게 하고, SP 공식보다 더 효율적인 컬럼 생성을 제공하며, 특히 장거리 경로를 포함한 문제에서 유리하다.

ABSTRACT

Different types of formulations are proposed in the literature to model vehicle routing problems. Currently, the most used ones can be fitted into two classes, namely vehicle flow formulations and set partitioning formulations. These types of formulations differ from each other not only due to their variables and constraints but also due to their main features. Vehicle flow formulations have the advantage of being compact models, so general-purpose optimization packages can be used to straightforwardly solve them. However, they typically show weak linear relaxations and have a large number of constraints. Branch-and-cut methods based on specialized valid inequalities can also be devised to solve these formulations, but they have not shown to be effective for large-scale instances. On the other hand, set partitioning formulations have stronger linear relaxations, but requires the implementation of sophisticate techniques such as column generation and specialized branch-and-price methods. Due to all these reasons, so far it is has been recognized in the vehicle routing community that these two types of formulations are rather different. In this paper, we show that they are actually strongly related as they correspond to special cases of a generalized formulation of vehicle routing problems.

연구 동기 및 목표

• 차량 운행 문제 분야에서 두 개의 주요 공식인 차량 흐름(VF) 및 집합 분할(SP)을 하나의 일반화된 프레임워크로 통합하는 것.
• VF 공식의 약점(약한 선형 식 relaxation)과 SP 공식의 한계(컬럼 생성 시 계산 부담)를 해결하기 위해, 민첩한 중간 단계 공식을 도입하는 것.
• 완전한 경로가 아닌 부분 경로에 이중 변수를 연결함으로써 컬럼 생성 과정에서 더 강력한 이중 정보를 확보하는 것.
• $p$-단계 공식의 잠재력을 풍부한 차량 운행 문제 및 통합 물류 모델에 적용해 볼 수 있는지 탐색하는 것.
• 다양한 $p$-단계 공식의 선형 식 relaxation 한계 간 이론적 관계와 VF 및 SP 모델과의 연결 고리를 규명하는 것.

제안 방법

• 네트워크 내 정확히 $p$개의 간선으로 구성된 부분 경로를 나타내는 변수를 사용하는 $p$-단계 공식을 제안한다. 이 경로는 어떤 노드에서 시작하여 어떤 노드에서 끝나도 된다.
• 모든 고객이 정확히 한 번씩 방문되고, 차량 용량 및 경로 길이 제약이 충족되도록 보장하는 제약 조건을 포함한 마스터 문제를 유도한다.
• Dantzig-Wolfe 분해를 $p$-단계 공식에 적용하여 컬럼 생성을 가능하게 하며, 하위 문제는 타당한 $p$-단계 경로를 생성한다.
• 자원 제약(예: 단계 수, 적재량, 시간)을 고려한 레이블 설정 알고리즘을 사용하여 하위 문제를 효율적으로 해결한다.
• 유효한 부등식과 제약 조건을 부분 경로에 직접 적용하여 공식의 강도를 높인다.
• 다중 코어 아키텍처를 활용하기 위해 각 시작 노드별로 독립적으로 하위 문제를 병렬화할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 차량 흐름 및 집합 분할 공식이 하나의 일반화된 공식으로 통합될 수 있는가?
• RQ2 다양한 $p$ 값에 대해 $p$-단계 공식의 선형 식 relaxation 한계가 VF 및 SP 공식의 결과와 비교해 어떻게 되는가?
• RQ3 $p$-단계 공식이 하위 문제에 더 풍부한 이중 정보를 제공함으로써 컬럼 생성 성능을 향상시킬 수 있는가?
• RQ4 해결 시간과 식 relaxation 강도 측면에서 $p$-단계 공식과 기존의 VF/SP 모델 간의 계산적 트레이드오프는 어떠한가?
• RQ5 복잡한 제약 조건을 포함한 풍부한 차량 운행 문제에 대해 $p$-단계 공식이 효과적으로 적용될 수 있는가?

주요 결과

• $p$-단계 공식은 차량 흐름 및 집합 분할 공식을 일반화하며, $p=1$일 경우 VF에 해당하고, $p$가 충분히 크면 SP에 근접한다.
• $p$-단계 공식의 선형 식 relaxation 한계는 $p$가 증가함에 따라 단조적으로 비감소하며, $p$가 증가함에 따라 SP 공식의 한계에 수렴한다.
• $p$-단계 공식에서의 컬럼 생성은 이중 변수가 노드 쌍별로 정의되고 간선 비용으로 직접 사용될 수 있기 때문에, SP 공식보다 하위 문제에 더 풍부한 이중 정보를 제공한다.
• $p$-단계 공식은 시작 노드별로 하위 문제를 병렬화할 수 있어 현대 하드웨어에서 계산 효율성을 높일 수 있다.
• 용량, 시간 창 등 복잡한 제약 조건을 마스터 문제에 직접 통합할 수 있어, 풍부한 VRP 변형에 대한 적용 가능성을 높인다.
• 최적화 과정 중 $p$를 점진적으로 증가시키는 전략(턴링 포인트 전략)을 사용하면, 과도한 계산 비용 없이도 해의 품질을 향상시킬 수 있다.