동적 네트워크 생성 게임에서 시간적 최단거리의 무한한 비효율성

본 논문은 동적 네트워크 생성 게임(Dynamic Network Creation Game, DNCG)을 정의하고, 그 가격(Price of Anarchy, PoA)과 안정성 가격(Price of Stability, PoS)을 시간적 최단거리 기반으로 분석한다. 전통적인 정적 네트워크 생성 게임에서는 플레이어가 영구적인 무방향 에지를 구매하고, 구축 비용 α와 통신 비용(그래프 거리)의 합을 최소화한다. 이때, 모든 Nash 균형이 트리 형태라면 PoA는 상수(≤5)라는 “Tree Conjecture”이 제안되었다. 그러나 실제 네트워크는 시간에 따라 연결이 변하고, 라벨이 붙은 에지만이 이용 가능하다는 점에서 정적 모델과 차이가 있다. **모델 정의** - 플레이어 집합 V, |V|=n. - 각 플레이어 v의 전략 s(v)⊆V×ℕ, (u,t)∈s(v) 의미는 “시간 t에 u와 연결되는 에지를 구매”. - 구축 비용: α·|s(v)| (α>0). - 통신 비용: 모든 다른 플레이어 w에 대해 시간적 최단거리 d_G(v,w)의 합. 여기서 d_G는 라벨이 엄격히 증가하는 경로의 최소 에지 수이며, 방향성에 따라 출발‑도착(Out‑reach) 혹은 도착‑출발(In‑reach) 두 형태가 있다. - 전체 사회 비용 c(G)=∑_v (α·|s(v)| + Σ_w d_G(v,w)) = α·∑_e |λ(e)| + Σ_{u,v} d_G(u,v). **주요 정리** Theorem 1에 따르면 α 구간에 따라 PoS와 PoA가 다음과 같이 달라진다. 1. 0<α<1: 구축 비용이 무시될 정도로 작아 모든 플레이어가 완전 그래프 K_n을 형성하는 것이 최적이며, 모든 Nash 균형도 동일하므로 PoS=PoA=1. 2. 1≤α<2: 구축 비용이 어느 정도 영향을 주지만 아직 충분히 낮다. 최적 사회 비용은 K_n(완전 그래프)이며, 최악의 Nash 균형은 K_{2,n‑2} 형태의 이분 그래프가 된다. 이 경우 PoA≤4/3(상한은 증명에서 비엄격함을 인정). 3. α≥2: 구축 비용이 크게 작용해 최적 설계는 K_{2,n‑2}와 적절히 라벨링된 형태가 된다. 그러나 최악의 Nash 균형은 여전히 K_n(완전 그래프) 혹은 K_{2,n‑2}와 같은 구조가 될 수 있다. Lemma 5를 이용해 하이퍼큐브 Q_d (d≈log n)와 같은 고차원 구조를 라벨링하면, 각 플레이어가 평균 O(log n)개의 라벨만 보유하면서도 전체 네트워크가 연결된다. 이를 통해 PoA≥n/13이라는 선형 하한을 얻는다. 즉, α가 크더라도 플레이어가 이기적으로 행동하면 사회적 비용이 최적 대비 거의 n배까지 악화될 수 있다. **증명 개요** - Lemma 2는 사회 최적이 α≤2일 때 완전 그래프 K_n, α≥2일 때 K_{2,n‑2}임을 보인다. 이는 구축 비용 α와 전체 라벨 수 |λ(e)| 사이의 균형을 분석한 결과이다. - 최악의 Nash 균형을 구성하기 위해 두 가지 그래프 패밀리를 사용한다. α<1에서는 K_n 자체가 Nash 균형이며, α≥1에서는 K_{2,n‑2}가 균형이 된다(플레이어가 추가 라벨을 사면 구축 비용이 증가해 이득이 없기 때문). - Lemma 4는 하이퍼큐브 Q_d를 이용해 PoA≥log n/4라는 약한 하한을 도출한다. 하이퍼큐브는 각 정점이 O(log n)개의 라벨만 보유하면서도 전체가 연결되는 특성을 갖는다. - Lemma 5는 하이퍼큐브와 비슷한 구조를 변형해, 라벨 수를 최소화하면서도 평균 거리(시간적 최단거리)를 크게 늘리는 그래프를 만든다. 이를 통해 PoA≥n/13이라는 선형 하한을 얻는다. **의미와 시사점** - 시간적 제약이 네트워크 형성에 미치는 영향을 정량화함으로써, 정적 NCG에서 기대되는 상수 수준의 PoA가 동적 환경에서는 깨진다. - 실제 네트워크(모바일, IoT, 센서 네트워크 등)에서는 하드웨어·전력 제한과 시간‑가변 연결성을 동시에 고려해야 하는데, 이 논문의 모델은 그런 현실을 반영한다. - 구축 비용 α와 통신 비용 사이의 트레이드오프가 복합적으로 작용해, α가 작을 때는 완전 연결이 최적이지만, α가 커질수록 희소 연결(예: 이분 그래프, 하이퍼큐브)이 사회 최적이 된다. 그러나 플레이어들의 개별 이기심은 여전히 완전 연결을 선호하게 만들 수 있다. - 연구는 PoA가 Θ(n)까지 성장할 수 있음을 보였지만, 정확한 상수 계수와 α에 대한 완전한 구간 분석은 남아 있다. 또한, “most distance”(최소 라벨)와 “fastest distance”(시간 차이 최소)와 같은 다른 시간적 거리 정의에 대한 PoA 분석은 향후 연구 과제로 제시된다. **결론** 동적 네트워크 생성 게임에서 시간적 최단거리를 통신 비용으로 채택하면, 플레이어들의 자율적 행동이 전체 시스템 효율성을 크게 저해할 수 있음을 보였다. 특히 α≥2인 경우, 최악의 Nash 균형이 최적 대비 선형적으로 비효율적이며, 이는 정적 네트워크 모델에서 기대되는 상수 수준의 가격과는 근본적으로 다른 현상이다. 이 결과는 동적 네트워크 설계와 인센티브 메커니즘 연구에 새로운 관점을 제공한다.