다단계 방어·차단 게임의 복잡도 완전성 연구

초록

**
본 논문은 방어‑공격‑방어(Defender‑Attacker‑Defender) 형태의 삼단계 적대 게임들을 다항계층(polynomial hierarchy) 내에서 정확히 위치시킨다. Tri‑level Interdiction Knapsack, Max‑flow·Shortest‑Path 차단 문제, Multi‑level Critical Node 문제, 전력망 방어 계획 등 여러 대표적인 문제에 대해 Σ₂^p 혹은 Σ₃^p 완전성을 증명하고, 보호·차단 라운드 수가 임의인 다단계 Knapsack 문제는 Σ_k^p(모든 k) 완전임을 보인다.

**

상세 분석

**
이 논문은 삼단계(Defender‑Attacker‑Defender) 구조를 갖는 방어‑차단 게임들의 복잡도 이론적 기반을 체계적으로 정립한다. 기존 연구들은 대부분 알고리즘 설계와 실험적 평가에 집중했으며, 문제의 복잡도 등급을 명시적으로 규명한 경우는 드물었다. 저자들은 먼저 이론적 배경으로 다항계층(polynomial hierarchy)과 Σ_k^p‑complete 문제들의 정의를 제시하고, 특히 Σ₂^p‑complete인 B₂∩3‑CNF(양변수 양화 3‑CNF)와 Σ₃^p‑complete인 QBF 문제를 복잡도 감소의 기준으로 사용한다.

핵심 기법은 “단위 비용(unit cost)” 가정 하에 정수 가중치와 이익을 자리수(digit)별로 인코딩하는 정밀한 수치 변환이다. 이를 통해 각 변수·절에 대응하는 아이템을 생성하고, 가중치·이익의 자리수 비교가 논리식의 만족 여부와 일대일 대응하도록 설계한다. 예를 들어, Tri‑level Interdiction Knapsack (TIKP)에서는 공격자가 차단할 아이템 집합을 선택하고, 방어자가 남은 아이템 중에서 배낭을 채우는 과정을 Σ₃^p‑문제로 변환한다. 동일한 인코딩 방식을 Max‑flow 차단(MFIPF)과 Shortest‑Path 차단(SPIPF)에도 적용해, 각각 Σ₂^p‑완전성을 입증한다.

특히 논문은 다단계(임의 라운드 수) Fortification‑Interdiction Knapsack 문제에 대해, 라운드 수 k에 따라 Σ_k^p‑완전임을 귀납적으로 증명한다. 이는 “라운드 수가 늘어날수록 복잡도 계층이 한 단계씩 상승한다”는 직관을 엄밀히 뒷받침한다. 또한, Multi‑level Critical Node Problem(MCNP)에서는 방어자가 먼저 일부 노드를 백신으로 보호하고, 공격자가 노드를 차단한 뒤, 다시 방어자가 격리 조치를 취하는 3‑단계 과정을 Σ₃^p‑완전으로 규명한다.

이러한 복잡도 결과는 두 가지 중요한 시사점을 가진다. 첫째, 단위 비용 가정 하에서도 문제는 NP‑완전 수준을 넘어 다항계층 상위에 위치함을 보여, 기존의 NP‑완전성 분석만으로는 충분하지 않다는 점을 강조한다. 둘째, 복잡도 등급이 명확히 규정되면, 문제에 대한 근사·휴리스틱 설계 시 기대할 수 있는 최선의 성능 한계와 알고리즘 선택 기준을 이론적으로 정당화할 수 있다.

**