탐색·활용 균형을 위한 지수형 페로몬 증착 엘리티스트 개미 시스템

본 논문은 개미 군집 최적화(Ant Colony Optimization, ACO)에서 가장 기본적인 형태인 Ant System(AS)과 그 개선형인 Elitist Ant System(EAS)에 새로운 페로몬 증착 메커니즘을 도입한다. 기존 AS는 개미가 만든 전체 경로에 대해 일정량(Δτ = 1/C) 의 페로몬을 균등하게 추가하는 ‘상수형 증착’ 방식을 사용한다. 저자들은 이 방식이 탐색 단계와 수렴 단계 사이의 균형을 충분히 조절하지 못한다는 점을 지적하고, 경로 진행에 따라 페로몬 양이 지수적으로 증가하도록 하는 ‘지수형 증착’ 규칙을 제안한다. 구체적으로, 개미 k가 만든 경로의 각 간선 (i,j)에 대해 Δτ_{ij}^k(t) = (1/C_k)·(1‑e^{‑t/T}) 로 정의한다. 여기서 C_k는 해당 개미가 만든 경로의 길이, T는 시간(또는 단계) 스케일을 나타내는 파라미터이다. 이 규칙은 초기에는 낮은 페로몬 양으로 다양한 경로를 탐색하게 하고, 시간이 흐를수록 목적지에 가까운 간선에 더 큰 페로몬을 축적함으로써 수렴을 가속한다. 안정성 분석은 차분식이 아닌 연속시간 미분 방정식 형태로 전환하여 수행된다. 페로몬 업데이트 식 τ_{ij}(t+1) = (1‑ρ)τ_{ij}(t) + Σ_k Δτ_{ij}^k(t) 를 dτ/dt = –ρτ + Σ_k Δτ_k 로 변형하고, 보완해와 특수해를 각각 구한다. 보완해는 τ_c(t)=A·e^{‑ρt} 로, ρ>0이면 언제나 지수 감쇠한다는 것을 보여준다. 특수해는 상수형과 지수형 두 경우에 대해 계산되었으며, 두 경우 모두 최종 정적 해 τ* = Σ_k (1/(m·C_k·ρ)) 로 수렴한다. 차이점은 수렴 속도에 있다; 지수형에서는 추가적인 시간 상수 T가 존재해 ρ·T가 클수록 초기 탐색이 넓어지고, 작을수록 빠른 수렴을 유도한다. 따라서 ρ>0, T>0이면 시스템은 항상 안정적이다. 실험은 도시 네트워크(120, 180, 240개의 노드)에서 최단 경로 문제를 풀어 검증하였다. 각 실험에서는 20~30마리 개미를 100~150회 반복했으며, α(페로몬 가중치)와 β(가시성 가중치)를 0.5~5.0 범위에서 0.5 간격으로, T를 7~13 사이에서 변화시켰다. 결과적으로, α≈0.5‑1.5, β≈3.5‑4.0, T≈10‑12 가 가장 좋은 성능을 보였으며, 이는 문제 규모와 관계없이 일정한 패턴을 나타냈다. 특히, 복잡도가 높은 240노드 경우에도 지수형 증착은 평균 30%~45% 적은 반복으로 최단 경로에 도달했고, 최종 경로 길이는 이론적 최적값에 매우 근접했다. 비교 실험에서는 기존 상수형 증착(α=1, β=2)과 제안된 지수형 증착을 동일한 파라미터(e=15) 하에 실행하였다. 결과 그래프는 지수형이 초기 몇 회전만에 최적 경로에 근접하는 반면, 상수형은 더 많은 반복을 필요로 함을 명확히 보여준다. 또한, 파라미터 T에 대한 민감도 분석을 통해 T가 10~12일 때 가장 빠른 수렴을 보였으며, T를 크게 벗어나면 초기 탐색이 과도하거나 수렴이 늦어지는 현상이 관찰되었다. 논문의 마지막 부분에서는 α와 β가 문제 특성(노드 밀도, 최소 간선 길이의 표준편차)과 어떻게 연관되는지를 실험적으로 조사하였다. 노드 밀도가 높을수록 α를 낮추고 β를 높이는 경향이 발견되었으며, 이는 가시성(거리 역수)의 영향이 커지는 상황에서 탐색보다 활용을 강조하는 전략이 유리함을 시사한다. 결론적으로, 지수형 페로몬 증착 규칙은 탐색과 활용 사이의 균형을 동적으로 조절함으로써 기존 상수형 규칙보다 빠른 수렴과 높은 해 품질을 제공한다. 미분 방정식을 통한 안정성 증명은 ACO 이론에 새로운 분석 틀을 제공하며, 파라미터 T의 자동 조정 메커니즘과 동적/제약 조건이 있는 문제에 대한 확장 연구가 향후 과제로 남는다.