비동기 행동을 위한 충돌 기반 탐색

초록

본 논문은 연속 시간에서 비동기 행동을 갖는 다중 에이전트 경로 찾기(MAPF‑AA) 문제를 해결하기 위해 기존 CCBS의 불완전성을 보완한 CBS‑AA 알고리즘을 제안한다. CBS‑AA는 제한된 대기 시간으로 인한 무한 상태 공간을 회피하고, 충돌 해결 시 다중 행동에 대한 제약 전파를 통해 탐색 효율을 크게 향상시킨다. 실험 결과, 분기 수를 최대 90% 감소시키며 최적 해를 보장한다.

상세 분석

CBS‑AA는 전통적인 CBS 구조를 유지하면서 세 가지 핵심 모듈을 연속 시간에 맞게 재설계한다. 첫째, LowLevelPlan 단계에서는 기존 SIPP를 확장해 실수형 안전 구간을 직접 다루며, 제약이 추가될 때마다 해당 구간을 연속적으로 분할한다. 이는 이산 시간 기반 방법이 불가능한 무한 대기 시간 문제를 근본적으로 해결한다. 둘째, DetectConflict는 각 정점에 대해 IN, OUT, WAIT 세 종류의 행동을 정의하고, 행동이 차지하는 시간 구간(Duration Occupancy)을 정밀히 계산한다. 세 종류의 충돌—IN‑IN, OUT‑IN, WAIT‑IN—만을 대상으로 하여 불필요한 조합을 배제함으로써 충돌 탐지 비용을 최소화한다. 셋째, GenerateConstraints 단계에서는 두 가지 제약 생성 전략을 제시한다. CSA(Constraint on Single Action)는 기존 CCBS와 유사하게 단일 행동에 대한 제한을 부과하지만, 대기 행동 전체를 차단하는 것이 아니라 해당 행동이 차지하는 구간만을 정확히 제한한다. CMA(Constraint on Multiple Actions)는 하나의 충돌에 대해 가능한 많은 행동을 동시에 금지하고, 금지 구간을 가능한 한 넓게 설정함으로써 고수준 탐색 트리의 깊이를 크게 줄인다. 이러한 제약 전파는 특히 비동기 환경에서 에이전트 간 이동 시간이 서로 다를 때 발생하는 복잡한 충돌을 효율적으로 해결한다. 이론적으로 CBS‑AA는 완전성과 최적성을 유지한다는 증명을 제공하며, 실험에서는 LS‑M*와 CCBS 대비 성공률과 실행 시간이 현저히 개선된 것을 확인한다. 특히, 대기 행동에 대한 무한 분할 문제를 회피함으로써 CCBS가 겪는 비수렴 현상을 완전히 제거한다는 점이 큰 의의이다.