슬라임 곰팡이, 자연 알고리즘으로 최단 경로를 찾아내다

**1. 서론 및 배경** Physarum polycephalum은 실험실에서 미로에 두 개의 식량을 놓으면, 처음엔 전체 미로를 덮고 있다가 시간이 지나면 두 식량을 연결하는 최단 경로만 남는 현상을 보인다. 이를 수학적으로 모델링하기 위해 Tero et al. (2007)은 슬라임의 튜브 네트워크를 전기 회로와 동등하게 본다. 각 간선은 고정된 길이 Lₑ와 가변 직경 Dₑ(t)를 가지며, 전압 차에 의해 흐르는 전류 Qₑ(t)와 직경 변화 \dot Dₑ(t)=|Qₑ(t)|−Dₑ(t) 로 기술된다. **2. 관련 연구** Miyaji와 Ohnishi(2007,2008)는 평면 그래프에서 s₀와 s₁가 같은 면에 있을 때 수렴을 보였고, Ito et al. (2011)은 방향 그래프 버전을 제안했지만 생물학적 정당성은 낮다. 본 논문은 이러한 선행 연구를 확장해 모든 무방향 그래프에 대해 일반적인 수렴을 증명한다. **3. 모델 정의** - 그래프 G=(V,E) 에 두 특수 정점 s₀, s₁. - 각 간선 e∈E에 길이 Lₑ>0와 직경 Dₑ(t)>0. - 저항 Rₑ(t)=Lₑ/Dₑ(t). - 전압 p_v(t)는 Kirchhoff 법칙에 따라 선형 시스템 b_v=∑_{u∈δ(v)} (p_v−p_u)/R_{vu} 을 만족, 여기서 b_{s₀}=1, b_{s₁}=−1, 다른 정점은 0. - 전류 Qₑ(t)=(p_u−p_v)/Rₑ(t). - 직경 동역학 \dot Dₑ(t)=|Qₑ(t)|−Dₑ(t). **4. Lyapunov 함수와 첫 번째 수렴 단계** 함수 V(D)= (1/C_min)·∑_{e∈E} Lₑ Dₑ + (C_{s₀}−1)² 를 정의한다. 여기서 C_min 은 현재 직경을 용량으로 본 최소 s₀‑s₁ 컷의 용량, C_{s₀}=∑_{e∈δ(s₀)} Dₑ. V는 모든 비평형 궤적에서 비증가하고, V≥0이므로 수렴한다. 미분을 전개하면 \dot V ≤ −∑ₑ (L_min/4)(Dₑ/C_min−|Qₑ|)², 따라서 Dₑ/C_min−|Qₑ| →0 즉 |Dₑ−|Qₑ|| →0 가 된다. 이는 직경과 흐름이 결국 동일한 값을 갖게 함을 의미한다. **5. 전압 차와 최단 경로 길이** 직경과 흐름이 일치하면 전압 차 Δ = p_{s₀}−p_{s₁} 는 전체 저항의 역수와 같아진다. 최소 컷 용량이 1로 수렴하면서 Δ 는 최소 s₀‑s₁ 경로 길이 L* 에 수렴한다. 따라서 직경이 1인 간선 집합은 정확히 최소 경로를 형성한다. **6. 흐름 방향의 안정화** 동역학이 비연속적이므로 흐름 방향이 무한히 바뀔 가능성을 고려한다. “수평(edge가 전압 차 0)”, “방향(edge가 일정한 전압 차를 유지)”이라는 두 상태를 정의하고, 모든 간선이 이러한 상태 중 하나에 머무르면 네트워크는 E_h (수평)와 →E (방향)으로 분할된다. 논문은 Wheatstone 그래프를 분석해 흐름 방향이 결국 고정됨을 증명하고, 일반 그래프에서는 아직 완전한 증명이 남아 있음을 명시한다. **7. 지수 수렴** 안정화가 가정될 경우, Lemma 20에 따라 Dₑ 는 e^{−t} 속도로 감소하고, |Qₑ| 도 동일한 비율로 감소한다. 이는 최단 경로 외의 모든 간선이 지수적으로 사라진다는 강력한 결과를 제공한다. **8. 운송 문제로의 확장** 각 정점에 공급·수요 b_v 가 주어지는 무용량 운송 문제를 고려한다. 모델은 동일하게 적용되며, 평형은 “동일 길이 속성”을 만족하는 흐름 집합 E* 에 수렴한다. 비용이 유일하면 최적 운송 해에, 비용이 여러 개면 최소 비용 집합에 수렴한다. 이는 최단 경로 문제를 일반화한 형태이며, 자연 알고리즘이 더 복잡한 선형 프로그래밍 문제에도 적용 가능함을 시사한다. **9. 토론 및 열린 문제** - f(x)=x 외에 다른 비선형 함수(예: x^γ/(1+x^γ))에 대한 수렴 여부. - 일반 그래프에서 흐름 방향이 언제 안정화되는가? - 초기 단계(비평형 초기 상태)에서의 동작 특성. - 분산형 최단 경로 알고리즘으로의 실제 구현 가능성. - 다른 조합 최적화 문제(예: 스테인러 트리)에서의 적용 가능성. **10. 결론** Physarum polycephalum의 로컬, 분산적 업데이트 규칙이 전통적인 최적화 이론(최대 흐름‑최소 컷, Lyapunov 안정성)과 일치함을 수학적으로 증명하였다. 이는 자연 선택에 의해 진화된 “자연 알고리즘”이 복잡한 그래프 문제를 해결할 수 있음을 보여주며, 향후 이 메커니즘을 기반으로 한 새로운 분산 알고리즘 및 생물학적 영감의 컴퓨팅 모델 연구에 중요한 토대를 제공한다.