동적 토폴로지를 위한 유한시간 합의 종료 알고리즘

본 논문은 동적 토폴로지를 갖는 다중 에이전트 시스템에서 합의 알고리즘을 유한 시간에 종료시키는 방법을 제시한다. 서론에서는 센서 네트워크, 자율 주행 차량, 무인 항공기 등에서 분산 합의가 필수적이며, 기존 연구들은 주로 비동적(정적) 그래프에서 평균 합의(average consensus) 혹은 비율 합의(ratio‑consensus)를 다루었다. 이러한 알고리즘은 일반적으로 무한히 수렴하는 특성을 가지고 있어, 실제 시스템에서는 불필요한 연산과 통신을 초래한다. 따라서 사전에 정의된 허용 오차 내에서 합의가 이루어졌는지를 각 노드가 독립적으로 판단할 수 있는 종료 기준이 필요하다. 관련 연구에서는 최소 다항식(minimal polynomial) 기반의 유한 시간 합의, 전역 최대·최소값을 이용한 종료 기준 등이 제안되었지만, 이들은 정적 토폴로지에 한정되거나 높은 계산 복잡도(행렬 역연산, 랭크 계산 등)를 요구한다. 특히, 동적 토폴로지에서는 인‑이웃이 시간에 따라 변하기 때문에 전역 최대·최소값이 즉시 전파되지 않아 기존 방법을 그대로 적용할 수 없었다. 본 논문의 핵심 기여는 다음과 같다. 첫째, 비율 합의 알고리즘에 두 개의 보조 상태(전역 최대값, 전역 최소값)를 추가하는 Maximum‑Minimum 프로토콜을 설계하였다. 둘째, “시간‑경로(time‑path)”라는 개념을 도입해, 스위칭 그래프에서도 모든 노드 쌍 사이에 유한 길이의 정보 전파 경로가 존재함을 증명하였다. 이를 통해 전역 최대·최소값이 전체 네트워크에 퍼지는 최악의 반복 횟수 상한을 (N‑1)·L 로 제시한다. 셋째, 전역 최대·최소값이 각각 단조 감소·증가한다는 정리를 증명하고, 이를 이용해 각 노드가 로컬하게 “max_i(k)−min_i(k) ≤ ε” 조건을 만족하면 합의가 ε 이내임을 판단하도록 하였다. 넷째, 실험을 위해 NodeJS와 socket.io 기반의 가상 네트워크를 구축하고, 동적 연결·해제 상황에서도 제안 프로토콜이 정확히 작동함을 확인하였다. 실험 결과, 기존 비율 합의만 사용했을 때보다 평균 30%~45% 적은 반복 횟수로 목표 오차에 도달했으며, 통신량도 크게 감소하였다. 이론적 배경으로는 그래프 이론(유향 그래프, 강연결성), 선형 대수(열‑확률 행렬, 원시 행렬) 등을 사용하였다. Assumption 1은 일정 구간마다 그래프들의 합집합이 강연결성을 만족한다는 조건이며, Assumption 2는 모든 P(k)가 열‑확률이며 원시·불가약임을 가정한다. 이러한 가정 하에 Theorem 1은 비율 합의가 초기 값들의 평균으로 수렴함을 재확인한다. Lemma 1·2는 전역 최대·최소값이 현재 시점 이후에도 유지되는 단조성을 보이며, Lemma 3·4는 시간‑경로 존재와 전파 상한을 제공한다. 알고리즘 절차는 다음과 같다. (1) 각 노드 i는 초기 상태 x_i(0), y_i(0)=1을 설정하고, max_i(0)=x_i(0), min_i(0)=x_i(0) 로 초기화한다. (2) 매 시간 단계 k에서, 노드 i는 인‑이웃 j∈N⁻(i,k) 로부터 x_j(k), y_j(k), max_j(k), min_j(k) 를 수신한다. (3) 비율 상태는 기존 비율 합의식 (1)(2) 로 업데이트하고, max_i(k+1)=∑_{j∈N⁻(i,k)} p_{ij}(k)·max_j(k), min_i(k+1)=∑_{j∈N⁻(i,k)} p_{ij}(k)·min_j(k) 로 업데이트한다. (4) 각 노드는 현재 비율값 r_i(k)=x_i(k)/y_i(k) 와 max_i(k), min_i(k) 를 비교하여 max_i(k)−min_i(k) ≤ ε 인지를 확인한다. 조건이 만족되면 노드는 자신의 연산을 중단하고, 최종 합의값을 r_i(k) 로 채택한다. 제안 방법의 장점은 (i) 추가 메모리와 연산이 매우 적어 저전력 센서 노드에 적합하고, (ii) 중앙 집중식 조정 없이도 각 노드가 독립적으로 종료 시점을 판단할 수 있어 확장성이 뛰어나며, (iii) 시간‑경로 기반의 상한이 존재하므로 실시간 시스템 설계 시 최악 상황을 사전에 계산할 수 있다는 점이다. 한계점으로는 모든 그래프가 일정 구간마다 강연결성을 유지해야 한다는 가정과, 열‑확률 행렬이 원시·불가약이어야 한다는 제약이 있다. 향후 연구에서는 이러한 가정을 완화하고, 비동기 업데이트나 패킷 손실을 포함한 보다 현실적인 통신 모델에 대한 확장을 고려할 예정이다.