다중 에이전트 경로 탐색을 위한 충돌 탐지와 회피 기법 종합 고찰

** 본 논문은 다중 에이전트 경로 탐색(Multi‑Agent Pathfinding, MAPF) 분야에서 에이전트 간 충돌 탐지와 회피 기법을 포괄적으로 정리하고, 특히 비단위 행동 지속시간과 운동학적 제약을 갖는 에이전트를 대상으로 한 최신 연구 동향을 고찰한다. 1. **서론 및 배경** MAPF는 여러 에이전트가 공유 공간에서 시작점에서 목표점으로 이동하면서 충돌을 피하는 문제이며, 로봇 물류, 게임, 인간‑로봇 협업 등 다양한 분야에 적용된다. 충돌 탐지는 시스템 안전성에 직결되는 핵심 요소이며, 정확도와 연산 비용 사이의 트레이드오프가 존재한다. 논문은 Type I 오류(거짓 양성)와 Type II 오류(거짓 음성)를 명확히 구분하고, 특히 Type II 오류는 해가 비실현 가능하게 만들므로 절대 피해야 할 오류로 강조한다. 2. **충돌 탐지 기법의 분류** - **Geometric Containers**: 움직임 구간을 다각형·다면체·구(원) 등으로 감싸고, 시간 차원을 포함한 정적 교차 검사를 수행한다. 구현이 간단하고 O(1)에 가까운 연산이 가능하지만, 구간이 길어질수록 과도한 공간을 차지해 불필요한 충돌(거짓 양성)을 초래한다. - **Incremental/Sampling‑Based**: 에이전트의 궤적을 일정 간격으로 샘플링하고, 각 샘플 시점에 정적 충돌 검사를 적용한다. 샘플 간격이 작을수록 정확도가 높아지지만, 연산량이 선형적으로 증가한다. 적응형 샘플링(예: 충돌 가능성이 높은 구간에 더 촘촘히 샘플링)으로 비용을 절감할 수 있다. 격자 기반에서는 Bresenham 라인 알고리즘, Wu의 안티앨리어싱 라인 등이 활용된다. - **Algebraic**: 궤적을 수학적으로 파라미터화하여 연속 시간 상에서 정확한 충돌 시점을 구한다. 원형·구형 에이전트에 대해 상수 속도일 경우 2차 방정식, 초기 속도와 일정 가속도가 포함될 경우 4차 방정식(Quartic)으로 변환한다. 근의 존재 여부와 실근 구간을 분석해 충돌 여부와 충돌 구간을 정확히 판단한다. 이 방식은 연산량이 다소 높지만, 정확도가 가장 높으며, 특히 고속·고가속 움직임에 적합하다. - **Geometric (CSG, Velocity Obstacle)**: 시간 차원을 추가해 정적 다면체 교차 검사를 수행하는 Constructive Solid Geometry(CSG)와, 상대 속도 공간에서 위험 영역을 정의하는 Velocity Obstacle(VO) 기법을 포함한다. CSG는 복잡한 형태와 시간 연속성을 정확히 모델링하지만, 다면체 외곽을 생성하는 비용이 크다. VO는 무한 시간에 대한 충돌 위험을 시각화하고, 회피 속도 선택에 직관적인 가이드를 제공한다. 세그먼트된 움직임에 적용하려면 시간 제한을 추가로 고려해야 한다. 3. **수식 기반 충돌 탐지** - **상수 속도**: 두 원형(구형) 에이전트의 위치를 \(P_i(t)=P_i+V_i t\) 로 표현하고, 중심 간 거리 제곱을 \(sqDist(t)=a t^2 + b t + c\) 로 전개한다. 여기서 \(a=||V_\Delta||^2\), \(b=2 V_\Delta\cdot P_\Delta\), \(c=||P_\Delta||^2\). 충돌은 \(sqDist(t) \le (r_1+r_2)^2\) 인 구간에서 발생한다. 이차 방정식의 근을 구해 충돌 시작·종료 시점을 정확히 계산한다. - **초기 속도와 일정 가속도**: 위치를 \(P_i(t)=P_i+V_i t + \frac12 A_i t^2\) 로 확장하고, 거리 제곱을 4차 다항식 \(sqDist(t)=a t^4 + b t^3 + c t^2 + d t + e\) 로 전개한다. 계수는 \(A_\Delta, V_\Delta, P_\Delta\) 의 조합으로 정의된다. quartic 공식(또는 수치적 루트 찾기)으로 근을 구하고, 실근 구간을 통해 충돌 구간을 판정한다. - **시간 오프셋 보정**: 에이전트가 서로 다른 시작 시점을 가질 경우, 앞선 에이전트의 위치와 속도를 뒤늦게 시작하는 에이전트의 시점에 맞춰 보정한다. 위치 보정식(8)·가속도 보정식(9,10)을 적용해 동일한 수식으로 충돌을 판단한다. 4. **충돌 회피를 위한 정확한 지연·속도 조정** - **Exact Delay**: 지연 변수 \(\delta\)를 포함한 거리식은 \(sqDist(t,\delta)=A t^2 + B t\delta + C \delta^2 + D t + E \delta + F\) 로 표현된다. 이는 타원 형태의 2차 곡면을 만든다. 타원과 \(\delta\) 축에 평행한 수평선이 교차하는 구간을 분석해 최소 지연 시간을 도출한다. - **Velocity Adjustment**: VO 기반 회피와 달리, 이 타원식은 정확히 최소한의 속도 변화를 계산한다. 타원의 경계에 접하도록 속도를 조정하면, 충돌 구간을 완전히 피할 수 있다. 이는 특히 고속·고가속 움직임에서 실시간으로 적용 가능하다. 5. **종합 및 적용 가능성** - 2‑D 예시와 수식 전개가 중심이지만, 제시된 모델은 3‑D 구형 에이전트에도 그대로 확장된다. - 세그먼트된 움직임(그리드, 그래프 기반 경로)과 연속 시간 모델을 모두 포괄하도록 설계돼, 로봇 물류, 드론 스웜, 멀티플레이어 게임 등 다양한 도메인에 적용 가능하다. - 논문은 각 기법의 장·단점을 표 형태로 정리하고, 실제 시스템 설계 시 요구되는 정확도, 연산 자원, 에이전트 형태 등을 기준으로 적절한 방법을 선택하도록 가이드한다. **