[논문 리뷰] Multi-agent Path Planning and Network Flow

Jingjin Yu, Steven M. LaValle|arXiv (Cornell University)|2012. 04. 25.

Vehicle Routing Optimization Methods인용 수 26

한 줄 요약

이 논문은 충돌 없는 단위거리 그래프(CUGs)에서의 다중 에이전트 경로 계획과 네트워크 유량 문제 사이의 이론적이고 알고리즘적 연결을 수립하며, 조합적 네트워크 유량 및 선형 프로그래밍 기법의 활용을 가능하게 한다. 다중 에이전트 경로 계획에서 순열 불변 조건이 만족될 경우, 항상 n + V − 1 단계 이내에 타당한 해를 확보할 수 있음을 증명하고, 이러한 해를 계산하기 위한 O(nVE) 시간 알고리즘을 제시한다. 또한 시간과 거리 목적함수를 효율적으로 최적화하는 방법을 제공하며, 이들이 파레토 최적임을 입증하고 동시에 최적화될 수 없음을 보여준다.

ABSTRACT

This paper connects multi-agent path planning on graphs (roadmaps) to network flow problems, showing that the former can be reduced to the latter, therefore enabling the application of combinatorial network flow algorithms, as well as general linear program techniques, to multi-agent path planning problems on graphs. Exploiting this connection, we show that when the goals are permutation invariant, the problem always has a feasible solution path set with a longest finish time of no more than $n + V - 1$ steps, in which $n$ is the number of agents and $V$ is the number of vertices of the underlying graph. We then give a complete algorithm that finds such a solution in $O(nVE)$ time, with $E$ being the number of edges of the graph. Taking a further step, we study time and distance optimality of the feasible solutions, show that they have a pairwise Pareto optimal structure, and again provide efficient algorithms for optimizing two of these practical objectives.

연구 동기 및 목표

• CUGs에서의 다중 에이전트 경로 계획과 네트워크 유량 문제 사이의 공식적인 연결을 수립하는 것.
• CUGs에서 순열 불변 조건을 만족하는 다중 에이전트 경로 계획이 항상 유한한 시간 범위 내에서 타당한 해를 갖는다는 것을 증명하는 것.
• 제한된 제작시간(makespan)을 갖는 충돌 없는 경로를 계산하기 위한 효율적인 O(nVE) 알고리즘을 개발하는 것.
• 시간과 거리와 같은 실용적 목적함수를 최적화하고, 그들 간의 상호 교환 관계를 분석하는 것.
• 목표 교체와 파레토 최적성의 의미가 다중 에이전트 경로 계획에 미치는 영향을 탐색하는 것.

제안 방법

• 시간 확장 네트워크 구축을 통해 CUGs에서의 다중 에이전트 경로 계획 문제를 동적 네트워크 유량 문제로 환원한다.
• 적응된 최대 유량 알고리즘을 적용하여 모든 에이전트의 타당하고 충돌 없는 경로를 계산한다.
• 시간 단계별로 각 정점을 복제한 시간 확장 그래프 구조를 사용하며, 간선은 유효한 에이전트 이동을 나타낸다.
• 최소 비용 최대 유량을 활용하여 총 시간과 총 거리와 같은 목적함수를 최적화한다.
• 시간 확장 네트워크의 전진 전용 구조를 활용하여 다항식 시간 내의 해법 가능성을 보장한다.
• 목표 교체를 처리하고 시간 및 거리 목적함수 간의 파레토 최적 상호 관계를 분석하는 프레임워크를 도입한다.

실험 결과

연구 질문

• RQ1 CUGs에서의 다중 에이전트 경로 계획은 네트워크 유량 문제로 환원될 수 있으며, 이러한 환원의 의미는 무엇인가?
• RQ2 순열 불변 조건을 만족하는 CUGs에서의 다중 에이전트 경로 계획에 대해 타당한 해의 최소 제작시간(makespan)에 대한 가장 날카로운 상한은 무엇인가?
• RQ3 시간과 거리 목적함수를 동시에 최적화할 수 있는 효율적인 알고리즘을 설계할 수 있으며, 그 안에 내재된 상호 교환 관계는 무엇인가?
• RQ4 목표 교체와 경로 구조는 다중 에이전트 경로 계획 해의 최적성과 복잡도에 어떤 영향을 미치는가?
• RQ5 네트워크 유량과 선형 프로그래밍은 다중 에이전트 시스템의 확장 가능하고 최적 또는 근사 최적의 해를 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 CUGs에서 순열 불변 조건을 만족하는 다중 에이전트 경로 계획 문제는 항상 n + V − 1 단계 이내에 타당한 해를 갖는다는 것을 증명한다. 여기서 n은 에이전트 수이고 V는 정점 수이다.
• n + V − 1 단계 이내의 타당한 해를 계산하기 위한 O(nVE) 시간 알고리즘을 제시한다. 여기서 E는 그래프의 간선 수이다.
• 시간과 거리 목적함수는 파레토 최적임을 입증하였으며, 이는 한쪽을 개선하기 위해서는 다른 쪽을 악화시켜야 한다는 의미이다.
• 시간 확장 네트워크에서 최소 비용 최대 유량을 적용함으로써 총 시간 목적함수를 O(nVE log V) 시간 내에 효율적으로 최적화할 수 있다.
• 총 거리 목적함수(목적함수 24)는 시간 및 거리 목적함수(20, 21, 27)와 호환되지 않으며, 동시에 최적화될 수 없다.
• 목표 교체가 허용될 경우, 목적함수 20, 21, 27은 동시에 최적화 가능하며, 목적함수 27(총 거리)를 최적화하면 나머지 목적함수의 최적성도 보장된다.