교통 흐름을 위한 거시적 셀룰러 오토마톤 모델

초록

본 논문은 도로 구간을 셀로 간주하고, 각 셀을 ‘정체’와 ‘통과 가능’ 두 상태만으로 표현하는 거시적 셀룰러 오토마톤을 제안한다. 정사각형 격자와 실제 소도시 지도에 적용해 시뮬레이션을 수행했으며, 파라미터 공간에서 정체와 자유 흐름 두 개의 거시적 위상이 존재함을 확인하였다. 또한, 크리프키 구조를 이용한 정확한 정적 확률 계산과 대칭 기반 상태 축소 기법을 도입해 계산량을 완화하였다.

상세 분석

이 연구는 기존의 미시적 차량-레벨 셀룰러 오토마톤(CA)과 달리, 도로 구간 자체를 하나의 셀로 추상화함으로써 모델 차원을 크게 축소한다는 점에서 혁신적이다. 셀은 ‘jammed(정체)’와 ‘passable(통과 가능)’ 두 이진 상태만을 갖으며, 인접 셀들의 상태와 외부 유입·유출 조건에 따라 전이 확률이 결정된다. 전이 규칙은 세 개의 주요 파라미터, 즉 차량 유입 확률 p, 정체 전파 확률 w, 그리고 정체 소멸 확률 v 로 구성된다. 이 파라미터들은 실제 교통 흐름에서 차량 진입·퇴출, 전방 차선 차단, 그리고 정체 해소 메커니즘을 간접적으로 모델링한다.

시뮬레이션은 (i) 경계가 열린 정사각형 격자, (ii) 일부 셀을 제거한 불규칙 격자, (iii) 실제 소도시 지도 세 경우에 대해 수행되었다. 각 경우에 대해 평균 정체 비율 ρ를 측정하고, 파라미터 w와 v의 비율에 따라 급격한 전이(phase transition)가 나타나는 것을 확인했다. 특히, w/v ≈ 1 부근에서 정체와 자유 흐름 사이의 임계점이 존재함을 보여, 매크로 수준에서 교통 시스템이 이산적 위상 전이를 겪을 수 있음을 시사한다.

정확한 정적 확률을 구하기 위해 크리프키 구조(Kripke structure)를 구축하고, 상태 전이 행렬을 직접 대각화하였다. 그러나 전체 상태 공간이 2^N( N은 셀 수) 로 급격히 증가하는 문제를 해결하기 위해, 격자 대칭(회전·반사)과 셀 동등성(동일한 연결 구조) 을 이용한 군론 기반 축소를 적용했다. 이 방법은 상태 수를 수천 배까지 감소시켜, 작은 시스템에 대한 정확 해를 실용적으로 얻을 수 있게 한다.

결과적으로, 거시적 CA는 복잡한 교통 네트워크를 저차원 확률 모델로 요약하면서도, 위상 전이와 같은 비선형 현상을 포착한다. 이는 교통 관리 정책(예: 신호 제어, 차선 추가) 의 효과를 파라미터 조정으로 간단히 예측할 수 있는 가능성을 열어준다. 또한, 대칭 기반 상태 축소는 향후 대규모 도시 네트워크에 대한 정밀 분석을 위한 계산적 토대를 제공한다.