동시 다중 에이전트 시스템의 회로 기반 모델링

초록

본 논문은 기존의 명시적 전이 테이블 방식이 갖는 표현 규모와 모델 격차 문제를 해결하기 위해, 전이 함수를 순차 논리 회로로 구현한 회로 기반 다중 에이전트 시스템 모델을 제안한다. 두 모델에 대해 실현 가능성(Realizability)과 검증(Verification) 문제의 복잡도 상·하한을 비교 분석하고, 회로 기반 모델이 보다 강력한 하한 결과와 실용적 도구와의 정합성을 제공함을 보인다.

상세 분석

논문은 먼저 다중 에이전트 시스템을 수학적으로 정의할 때, 전이 함수 τ를 |V|·|D| 행을 갖는 명시적 테이블로 표현하는 ‘explicit 모델’이 일반적이지만, 이 방식은 에이전트 수 k가 증가함에 따라 |D|≥2^k 가 되므로 입력 크기가 지수적으로 폭발한다는 근본적인 한계를 지닌다. 이러한 크기 폭발은 복잡도 이론에서 입력 크기를 기준으로 하한을 증명하기 어렵게 만들며, 결과적으로 기존 연구에서는 turn‑based 혹은 bounded‑concurrency와 같은 제한 모델을 도입해 하한을 확보하는 ‘모델 격차(Model Gap)’가 발생한다.

이에 대한 해결책으로 제안된 것이 ‘circuit‑based 모델’이다. 여기서는 전이 함수 φ와 목표 집합 G_i 를 각각 조합 논리 회로로 구현한다. 회로는 입력 변수(전역 상태 변수와 행동 변수)의 조합을 통해 출력(다음 상태 또는 목표 달성 여부)을 계산하므로, 전이 정보를 압축적으로 표현할 수 있다. 따라서 입력 크기는 회로의 게이트 수에 비례하고, 에이전트 수가 많아도 지수적 폭발을 피한다.

복잡도 분석에서는 두 핵심 결정 문제인 실현 가능성(주어진 시스템에 W‑Nash Equilibrium 가 존재하는가)과 검증(주어진 전략 프로파일이 W‑NE 를 만족하는가)을 다룬다. explicit 모델에서는 전이 테이블 크기가 입력에 포함되므로, 실현 가능성 문제는 PSPACE‑complete 수준의 상한을 갖지만, 하한을 증명하기 위해서는 에이전트 수를 제한한 특수 케이스에 의존한다. 반면, 회로 기반 모델에서는 전이 회로가 다항식 크기로 주어지므로, 동일한 문제에 대해 NP‑hard 하한을 직접 증명할 수 있다. 특히, 논문은 회로 기반 모델에서 실현 가능성 문제가 Σ₂^P‑complete, 검증 문제가 coNP‑complete 임을 보이며, 이는 기존 explicit 모델보다 더 정밀한 복잡도 구분을 가능하게 한다.

또한 전략 표현 방식의 차이도 중요한 통찰을 제공한다. explicit 모델에서는 전략을 각 상태‑행동 쌍에 대한 명시적 매핑으로 기술해야 하므로, 전략 자체가 지수적 크기를 가질 수 있다. 회로 기반 모델에서는 전략을 또 다른 회로(전략 회로)로 압축할 수 있어, 전략의 표현 복잡도와 검증 복잡도 사이의 관계를 보다 명확히 분석할 수 있다.

결과적으로, 회로 기반 모델은 (1) 입력 크기의 현실적인 측정 가능성, (2) 하한 증명을 위한 충분한 자유도, (3) 실제 도구가 사용하는 프로그램‑형 전이 구현과의 정합성이라는 세 가지 측면에서 기존 explicit 모델의 한계를 극복한다. 논문은 이러한 장점을 바탕으로 향후 다중 에이전트 시스템의 복잡도 이론과 실용적 검증 도구 사이의 격차를 메우는 연구 방향을 제시한다.