전염병 확산 방지를 위한 네트워크 탈소규모화 전략

초록

본 논문은 네트워크에서 개인 간 접촉을 제한함으로써 전염병·오정보 등 확산을 늦추는 전략을 연구한다. ‘평균 이웃 크기’를 새로운 소규모성 지표로 정의하고, 이를 최소화하는 ‘탈소규모 네트워크 문제’를 공식화한다. 일반적인 도달 가능한 쌍을 차단하는 문제는 NP‑hard임을 증명하고, 에지 베터니스 기반 탐욕적 알고리즘을 벤치마크로 제시한다. 또한 문제를 OR‑AND 부울 함수 최대화 형태로 변환하고, 연속적인 수치 완화 기법과 ‘짧은 베터니스(short‑betweenness)’를 도입해 효율성을 높인다. 실험을 통해 제안 방법들의 효과와 실행 속도를 검증한다.

상세 분석

이 연구는 전통적인 평균 최단거리(average distance) 지표가 연결·분리된 그래프를 일관되게 평가하지 못한다는 점을 지적하고, 대신 사용자가 지정한 전파 한계 k 내에서 각 정점이 도달할 수 있는 정점 수, 즉 Nk(v) 를 합산한 평균 이웃 크기 P = (1/|V|)∑v |Nk(v)| 를 소규모성을 측정하는 새로운 척도로 제안한다. k > 1인 경우에만 의미가 있으며, k = 1이면 평균 차수와 동일해 차별성이 사라진다. 문제 정의는 “주어진 예산 L 개의 에지를 제거해 평균 이웃 크기를 최소화하라”는 최적화 문제이며, 이를 “지역‑도달 가능한 쌍(RG) 중 거리 k 이하인 쌍을 최대한 차단하라”는 Reachable Pair Cut 문제로 동등하게 변환한다.

정리된 문제는 일반적인 R‑cut 문제와 동일하게 NP‑hard임을 정리 1에서 증명한다. 또한, 차단된 쌍 수를 세는 집합 함수 f(E′)는 서브모듈러도, 슈퍼모듈러도 아니며, 이는 기존의 영향력 최대화나 정보 차단 문제에서 활용되는 그리디 서브모듈러 최적화 기법을 직접 적용할 수 없음을 의미한다.

이를 보완하기 위해 저자들은 두 가지 탐욕적 베터니스 기반 알고리즘을 제시한다. 전역 에지 베터니스 B(e)=∑{s≠t}δ{st}(e)/δ_{st}와, k 이하 거리만 고려하는 지역 베터니스 LB(e)=∑{d(s,t)≤k}δ{st}(e)/δ_{st}를 계산하고, 값이 큰 에지를 순차적으로 제거한다. 이 방법은 구현이 간단하고, 베터니스 계산 비용 O(nm) (여기서 n=|V|, m=|E|)에 의해 실용적이다.

하지만 탐욕적 접근만으로는 전역 최적해에 도달하기 어렵다. 논문은 문제를 OR‑AND 부울 함수 형태로 재구성한다. 각 에지는 변수 x_e∈{0,1} (1이면 제거)로 두고, 각 도달 가능한 쌍 (u,v) 에 대해 “∃ e∈P_{uv} : x_e=1”이라는 OR 절을 만든 뒤, 모든 쌍에 대한 AND 연산을 적용한다. 최종 목표는 이 부울식의 값을 최대화(즉, 차단된 쌍 수를 최대화)하는 x 벡터를 찾는 것이며, 이는 또다시 NP‑hard다.

저자들은 이 부울 최적화를 연속적인 변수 y_e∈