방향 그래프에서 일방적 영향 전파를 위한 동적 독점군 연구

초록

본 논문은 모든 정점의 진입 차수가 최소 1인 방향 그래프와 정점마다 할당된 임계값 τ에 대해, 초기 정점 집합 M이 전체 정점을 단계적으로 활성화시키는 동적 독점군(dynamic monopoly)의 크기와 복잡성을 탐구한다. 특히 진입 차수의 절반보다 약간 큰 값인 ⌈(deg⁽ᶦⁿ⁾+1)/2⌉ 로 정의되는 엄격 다수(Strict Majority) 임계값에 초점을 맞추어, n개의 정점을 가진 그래프가 최소 진입 차수 ≥1이면 n/2 이하의 정점만으로도 전체를 활성화할 수 있음을 보인다. 이 상한은 다항시간 알고리즘으로 구현 가능하며, 기존 최선 결과를 크게 개선한다. 또한 일반 임계값에 대한 상하한과 최소 동적 독점군 크기 문제의 NP‑hardness를 증명한다. 마지막으로 n/2 상한의 가능성 향상 여부를 논의한다.

상세 분석

논문은 먼저 동적 독점군의 정의를 명확히 한다. 방향 그래프 G=(V,E)와 임계값 함수 τ:V→ℕ에 대해, 초기 집합 M⊆V가 동적 독점군이 되려면 V를 D₀∪D₁∪…∪D_t 로 분할할 수 있어야 하며, D₀=M이고 각 단계 i≥1에서 정점 v∈D_i는 이전 단계들의 정점들로부터 들어오는 간선 수가 τ(v) 이상이어야 한다. 이 모델은 사회 네트워크에서 일방적인 영향(예: 팔로우 관계) 전파를 수학적으로 포착한다.

일반 임계값에 대해 저자들은 두 가지 기본 경계식을 제시한다. 하한은 각 정점의 최소 필요 진입 간선 수를 고려한 선형식으로, 특히 τ(v) > deg⁽ᶦⁿ⁾(v)/2 인 경우에는 독점군 크기가 최소 ⌈∑_v τ(v)/Δ⌉ (Δ는 최대 진입 차수) 이상임을 보인다. 상한은 정점 정렬 기반의 그리디 전략을 이용해, 매 단계 가장 많은 미활성 정점을 만족시키는 정점을 선택함으로써 O(log n) 배율의 근사해를 얻을 수 있음을 증명한다.

복잡도 측면에서는 최소 동적 독점군 크기 문제(MDM)가 일반 그래프와 일반 τ에 대해 NP‑complete임을, 그리고 심지어 파라메트릭 형태인 k‑크기 독점군 존재 여부도 W