핵심 지속성 확보를 위한 P2P 시스템의 크기·수명 관계 분석

본 논문은 대규모·고동적인 P2P 오버레이에서 중요한 데이터를 지속적으로 보존하기 위한 “코어”(core) 개념과, 그 코어를 유지하기 위해 필요한 probing 집합의 크기 q와 재구성 주기 δ 사이의 수학적 관계를 체계적으로 분석한다. **1. 연구 배경 및 문제 정의** 전통적인 정적 시스템에서는 복제 수와 위치를 미리 정해두면 데이터 손실을 방지할 수 있었지만, P2P와 같이 노드가 자유롭게 입·퇴장하는 환경에서는 이러한 정적 설계가 무용지물이다. 따라서 일정 확률 이하로 코어가 완전히 사라지는 상황을 허용하면서, 최소한의 오버헤드(프로빙 횟수·주기)로 데이터 지속성을 보장하고자 한다. **2. 시스템 모델** - 전체 노드 수 n 은 일정하다고 가정한다(입·퇴장 비율이 동일). - 매 시간 단위마다 n·c 개의 노드가 떠나고, 동일한 수가 새로 들어온다. 여기서 c 는 챈 비율(0 < c < 1). - 코어 Q는 크기 q 인 노드 집합이며, 초기 시점 τ 에 존재한다. - τ + δ 시점에 코어가 얼마나 남아 있는지를 확률적으로 평가한다. **3. 핵심 수학적 결과** - **Lemma 1**: δ 시간 후에 초기 노드가 교체된 비율 C = 1 − (1 − c)^δ 로 정확히 표현된다. 이는 누적 교체 비율을 시간에 따라 지수적으로 감소함을 의미한다. - **Theorem 1**: 하이퍼지오메트리 분포를 이용해, δ 후에 임의로 선택된 q개의 노드가 모두 초기 코어와 겹치지 않을 확률 P_fail 를 구한다. 구체적인 식은   P_fail = ∑_{k=a}^{b}