그래프 상 거리 최적 형성 제어와 수렴 시간 보장

초록

연결된 그래프 위에서 구별되지 않는 다수의 에이전트를 충돌 없이 목표 정점 집합으로 이동시키는 문제를 다룬다. 저자는 거리 최적성을 유지하면서도 수렴 시간을 최적에 가깝게 보장하는 빠른 알고리즘을 제시한다. 격자형 그래프와 구멍(장애물) 구조를 포함한 다양한 환경에 적용 가능하며, 시뮬레이션을 통해 이론적 결과를 검증한다.

상세 분석

본 논문은 그래프 이론과 다중 로봇 경로 계획을 결합한 형성 제어 문제를 새로운 관점에서 접근한다. 에이전트가 구별되지 않음에도 불구하고, 각 에이전트는 단위 길이의 간선 위를 이동하며, 목표 정점 집합은 사전에 지정된 임의의 위치이다. 핵심은 두 가지 최적성—거리 최적성(전체 이동 거리의 최소화)과 시간 최적성(수렴 시간 최소화)—을 동시에 만족시킬 수 없다는 불가능성 정리를 제시하고, 그 사이의 트레이드오프를 정량화한다. 저자는 ‘경로 매칭’ 단계에서 최대 매칭 알고리즘을 활용해 에이전트와 목표 정점을 1대1 매핑하고, 이후 ‘충돌 회피 스케줄링’ 단계에서 우선순위 기반의 시간 슬롯 할당을 수행한다. 이때 각 에이전트는 최단 경로를 따르지만, 충돌이 발생할 경우 일정한 지연을 삽입해 전체 흐름을 유지한다. 중요한 점은 이 스케줄링이 그래프의 직경(diameter)과 에이전트 수에 대한 상한을 갖는다는 것으로, 수렴 시간은 O(Δ·n) 형태의 엄격한 상한을 가진다(Δ는 그래프 직경, n은 에이전트 수). 또한, 알고리즘의 시간 복잡도는 매칭 단계 O(|V|³)와 스케줄링 단계 O(n·Δ)로, 실시간 적용이 가능한 수준이다. 저자는 격자 그래프에 구멍(장애물)을 삽입한 경우에도 그래프 연결성을 유지한다면 동일한 절차가 적용 가능함을 증명한다. 시뮬레이션 결과는 무작위 초기·목표 배치, 다양한 장애물 밀도, 그리고 2D·3D 격자에서 평균 이동 거리와 수렴 시간이 이론적 상한에 근접함을 보여준다. 따라서 이 연구는 다중 에이전트 시스템에서 거리 효율성과 시간 효율성을 동시에 고려한 실용적인 형성 제어 프레임워크를 제공한다.