[논문 리뷰] A polynomial time algorithm for the linearization problem of the QSPP and its applications

Hao Hu, Renata Sotirov|arXiv (Cornell University)|2018. 02. 07.

Vehicle Routing Optimization Methods참고 문헌 18인용 수 4

한 줄 요약

이 논문은 방향성 있는 사이클 없는 그래프(DAG)에서 이차 최단경로 문제(QSPP)의 선형화 문제를 O(nm³) 시간에 다항시간 알고리즘으로 해결하는 방법을 제시한다. 이 선형화 결과를 바탕으로 저자들은 QSPP에 대한 일련의 하한값을 개발하였으며, 이 중 최적의 선형계획법 하한값은 기존 방법들을 능가한다.

ABSTRACT

Given an instance of the quadratic shortest path problem (QSPP) on a digraph $G$, the linearization problem for the QSPP asks whether there exists an instance of the linear shortest path problem on $G$ such that the associated costs for both problems are equal for every $s$-$t$ path in $G$. We prove here that the linearization problem for the QSPP on directed acyclic graphs can be solved in ${\mathcal O}(nm^{3})$ time, where $n$ is the number of vertices and $m$ is the number of arcs in $G$. By exploiting this linearization result, we introduce a family of lower bounds for the QSPP on acyclic digraphs. The strongest lower bound from this family of bounds is the optimal solution of a linear programming problem. To the best of our knowledge, this is the first study in which the linearization problem is exploited to compute bounds for the corresponding optimization problem. Numerical results show that our approach provides the best known linear programming bound for the QSPP. We also present a lower bound for the QSPP that is derived from a sequence of problem reformulations, and prove finite convergence of that sequence. This lower bound belongs to our family of linear bounds, and requires less computational effort than the best bound from the family.

연구 동기 및 목표

• 방향성 있는 사이클 없는 그래프에서 QSPP의 선형화 문제를 다항시간에 해결하기.
• 선형화 결과를 활용하여 QSPP에 대한 효과적인 하한값을 도출하기.
• 기존 접근 방식보다 더 낫게 작용하는 새로운 선형계획법 기반 하한값의 가족을 제안하기.
• 유한 수렴성과 감소된 계산 비용을 갖는 문제 재구성 시퀀스를 통한 하한값 개발하기.
• 실험적으로 제안된 하한값이 기존 문헌의 하한값을 능가함을 입증하기.

제안 방법

• 선형화 문제는 s-t 경로에서의 이차 비용 함수가 동일한 경로들에 대해 선형 비용 함수로 표현될 수 있는지 확인하는 다항시간 알고리즘을 사용하여 해결된다.
• 이 알고리즘은 방향성 있는 그래프의 정점 수 n과 간선 수 m에 대해 O(nm³) 시간에 실행된다.
• 선형화 결과를 활용하여 일련의 하한값을 구성하며, 가장 강력한 하한값은 선형계획법 타협을 풀어 도출된다.
• 문제 재구성의 시퀀스를 사용하여 다른 하한값을 생성하였으며, 이는 유한 수렴이 증명된 바 있다.
• 재구성 기반 하한값은 LP 가족에서 가장 좋은 하한값보다 더 적은 계산 비용을 요구하는 것으로 밝혀졌다.
• 수치 실험을 통해 제안된 하한값이 기존 기준과 비교해 효과적임을 입증하였다.

실험 결과

연구 질문

• RQ1 방향성 있는 사이클 없는 그래프에서 QSPP의 선형화 문제는 다항시간에 해결될 수 있는가?
• RQ2 선형화 결과는 QSPP에 대한 강력한 하한값을 도출하는 데 활용될 수 있는가?
• RQ3 유한 수렴성을 갖는 문제 재구성 시퀀스로부터 도출된 하한값의 계산 복잡도와 품질은 어떠한가?
• RQ4 제안된 LP 기반 하한값은 기존 하한값과 비교해 타당성과 계산 비용 측면에서 어떻게 다른가?
• RQ5 선형화 프레임워크는 이전에 알려진 방법보다 더 효과적인 하한값을 설계하는 데 사용될 수 있는가?

주요 결과

• 방향성 있는 사이클 없는 그래프에서 QSPP의 선형화 문제는 O(nm³) 시간에 해결 가능하며, 이는 다항시간 해법을 확립한다.
• 제안된 가족에서 가장 강력한 하한값은 선형계획법 문제의 최적해이며, 이는 QSPP에 대해 알려진 바 있는 최고의 LP 하한값을 제공한다.
• 재구성 기반 하한값은 유한 단계 내에서 수렴하며, LP 가족에서 가장 좋은 하한값보다 계산 비용이 낮다.
• 수치적 결과는 제안된 LP 기반 하한값이 기존 문헌의 선형계획법 하한값보다 뛰어나다는 것을 확인한다.
• 이 연구는 선형화를 활용해 QSPP의 하한값을 계산한 최초의 사례로, 이차 최단경로 문제의 하한값 개발 분야에 새로운 방향을 열었다.
• 이 하한값 가족은 높은 타당성과 낮은 복잡도 옵션을 모두 포함하여 실용적 응용에서의 유연성을 제공한다.