[논문 리뷰] Pairwise Symmetry Reasoning for Multi-Agent Path Finding Search

Jiaoyang Li, Daniel Harabor외 2명|arXiv (Cornell University)|2021. 03. 12.

Robotic Path Planning Algorithms참고 문헌 38인용 수 26

한 줄 요약

이 논문은 MAPF에서 쌍대 대칭(pairwise symmetry)을 난이도의 주요 원인으로 확인하고, CBS에서 직사각형, 목표, 회랑 대칭을 해결하는 대칭 파괴 기법을 개발하여 노드 확장 수를 대폭 감소시키고 확장성 향상을 이끈다.

ABSTRACT

Multi-Agent Path Finding (MAPF) is a challenging combinatorial problem that asks us to plan collision-free paths for a team of cooperative agents. In this work, we show that one of the reasons why MAPF is so hard to solve is due to a phenomenon called pairwise symmetry, which occurs when two agents have many different paths to their target locations, all of which appear promising, but every combination of them results in a collision. We identify several classes of pairwise symmetries and show that each one arises commonly in practice and can produce an exponential explosion in the space of possible collision resolutions, leading to unacceptable runtimes for current state-of-the-art (bounded-sub)optimal MAPF algorithms. We propose a variety of reasoning techniques that detect the symmetries efficiently as they arise and resolve them by using specialized constraints to eliminate all permutations of pairwise colliding paths in a single branching step. We implement these ideas in the context of the leading optimal MAPF algorithm CBS and show that the addition of the symmetry reasoning techniques can have a dramatic positive effect on its performance - we report a reduction in the number of node expansions by up to four orders of magnitude and an increase in scalability by up to thirty times. These gains allow us to solve to optimality a variety of challenging MAPF instances previously considered out of reach for CBS.

연구 동기 및 목표

• MAPF에서 조합 폭발을 야기하는 쌍대 대칭 현상을 식별하고 특성화한다.
• 대칭 충돌을 해소하기 위한 효율적인 대칭 파괴 제약을 개발한다.
• 제안된 대칭 추론이 CBS의 완전성과 최적성을 보존한다는 것을 증명한다.
• 4-인접 격자에서 CBS 및 그 변형 내에 대칭 기법을 구현하고 평가한다.

제안 방법

• 지수적 탐색 증가를 초래하는 쌍대 대칭 유형(직사각형, 목표, 회랑)을 정의하고 분류한다.
• 단일 분기 단계에서 대칭 충돌을 해소하는 차단 기법 및 제약 기반 대칭 파괴 기법을 도출한다.
• 제약 집합의 상호 배타성(disjunctiveness) 보장을 입증하여 CBS의 보장(완전성 및 최적성)을 유지한다.
• 직사각형 기반 추론을 CBSH 및 CBSH2 프레임워크에 통합하고 일반화된 시나리오로 확장한다.
• MAPF 인스턴스에 대한 실험적 평가를 수행하고 노드 확장의 감소 및 해결 가능성 개선을 보고한다.

실험 결과

연구 질문

• RQ1 MAPF에서 어떤 종류의 쌍대 대칭이 발생하며 이것이 최적 탐색 성능에 어떤 영향을 미치는가?
• RQ2 완전성이나 최적성을 잃지 않으면서 대칭 경로 조합을 제거하도록 대칭 파괴 제약을 어떻게 설계할 수 있는가?
• RQ3 제안된 직사각형 기반, 목표 및 회랑 추론 기법이 실제로 CBS 및 그 변형에 어떤 영향을 미치는가?
• RQ4 대칭 추론을 CBS 및 그 변형에 적용했을 때 어떤 실증적 이점(예: 노드 확장 감소, 해결 가능한 인스턴스의 증가)이 달성되는가?

주요 결과

• 대칭 추론은 CBS의 노드 확장을 최대 네 자릿수 만큼 감소시킬 수 있다.
• 대칭 기법의 도입은 실질적으로 확장성을 크게 개선하며 경우에 따라 약 30배까지 향상된다.
• CBSH 및 그 변형(CBSH2, Mutex Propagation)은 난해한 인스턴스에서 실질적인 실행 시간 및 해결 가능성 이점을 본다.
• 직사각형 대칭 추론은 두 에이전트 충돌의 대다수를 단일 분기 단계에서 해결할 수 있다.
• 이 기법들은 상호 배타적(disjunctive) 제약 프레임워크 하에서 CBS의 완전성과 최적성을 보존한다.