인구 제어 문제의 결정 가능성 및 복잡도 분석

본 논문은 동일한 비결정적 유한 자동장치(NFA)로 모델링된 다수의 에이전트를 동일한 환경 변화만으로 제어하는 새로운 게임 모델을 제안한다. 생물학적 영감(효모 집단의 환경 제어)에서 출발해, 컨트롤러가 모든 에이전트에 동일한 입력을 적용하고, 각 에이전트는 비결정적 전이 규칙에 따라 상태를 바꾸는 m‑인구 게임을 정의한다. 목표는 어떤 인구 규모 m 에 대해서도 모든 에이전트를 목표 상태 f 에 동기화(synchronization)시키는 것이다. 논문은 먼저 m‑인구 게임을 형식적으로 정의하고, 컨트롤러와 에이전트의 전략을 명시한다. 각 라운드에서 컨트롤러는 알파벳 Σ 의 기호 a 를 선택하고, 에이전트는 Δ 에 정의된 전이 중 하나를 비결정적으로 선택한다. 이 과정을 2‑플레이어 게임으로 모델링하고, 컨트롤러가 모든 가능한 에이전트 행동을 고려해 f 동기화에 성공하면 승리한다. 핵심 연구 질문은 “모든 m∈ℕ 에 대해 컨트롤러가 승리할 수 있는가?”라는 파라미터화된 제어 문제이다. 무한 인구 경우와 유한 인구 경우가 다르게 행동한다는 점을 먼저 보여준다. 무한 인구 게임은 지원 그래프(support graph) 상의 단순 도달 가능성 검사로 PSPACE 내에 해결 가능하지만, 파라미터화된 문제는 전혀 다른 기술이 필요하다. 이를 위해 저자들은 “용량 게임(capacity game)”이라는 추상화를 도입한다. 용량 게임에서는 각 상태에 존재하는 에이전트 수를 정확히 세지 않고, 오직 ‘채울 수 있는 용량’만을 추적한다. 이 게임의 승패는 원래 인구 제어 문제와 동치임을 증명한다. 다음 단계에서는 용량 게임을 지수적인 상태 수와 다항식 개수의 우선순위만을 갖는 ‘짝수 우선순위(parity) 게임’으로 변환한다. 변환 과정에서 각 알파벳 기호에 대해 ‘전이 그래프(transfer graph)’를 구성하고, 이 그래프들의 조합을 새로운 상태로 만든다. 결과적으로 얻어지는 우선순위 게임은 EXPTIME 내에 해결 가능하다. 복잡도 측면에서, 저자들은 NFA‑동기화 문제와의 다항식 환원을 통해 EXPTIME‑hardness 를 보이며, 따라서 인구 제어 문제는 EXPTIME‑complete 라는 결론에 도달한다. 또한, 승리 전략이 존재하지 않을 경우 “컷오프” M 이 존재한다는 사실을 보인다. M 은 컨트롤러가 승리할 수 있는 최대 인구 규모이며, NFA 상태 수 n 에 대해 이중 지수(2^{2^{Θ(n)}}) 로 성장한다는 상·하한을 제시한다. 이는 직접적인 컷오프 탐색이 비현실적임을 의미한다. 전략적 측면에서는, 승리 전략이 “기호적(symbolic)”이며, 에이전트들의 정확한 분포를 세지 않고도 동작한다는 점이 강조된다. 컨트롤러는 미리 정의된 전이 그래프들의 순서를 따라 행동하고, 에이전트는 가능한 모든 비결정적 선택을 해도 결국 목표 상태로 수렴한다. 반대로 에이전트가 승리할 경우, 그 역시 전이 그래프들을 균등하게 분할하는 방식으로 무한히 많은 에이전트를 방어한다. 마지막으로, 동기화에 필요한 최대 단계 수는 에이전트 수 m 에 대해 다항식, NFA 크기 n 에 대해 지수적으로 제한된다. 이는 전략이 최적임을 보이며, 일부 구성에서는 이 경계가 실제로 달성됨을 증명한다. 전체적으로 논문은 파라미터화된 시스템 제어라는 새로운 영역에 대한 첫 번째 결정 가능성 결과를 제공하고, 복잡도 이론과 게임 이론을 결합한 정교한 기법을 제시한다는 점에서 학문적·실용적 의의가 크다. 또한, 생물학적 시스템 제어와 같은 실제 응용에 대한 이론적 토대를 마련한다.