그래프 프로토콜을 위한 최적 접근·비접근 구조

초록

본 논문은 그래프에서 “접근 집합”(odd‑neighbourhood을 포함하는 부분집합)과 “비접근 집합”(그 보완집합) 의 최소·최대 크기를 나타내는 매개변수 κ′(G)와 κ(G)를 정의하고, 이들의 정확한 값과 경계, 완전 코드와의 연관성을 분석한다. 또한 κ, κ′, κ_Q에 대한 결정 문제를 NP‑Complete임을 증명한다.

상세 분석

논문은 먼저 양자 비밀 공유(QSS) 프로토콜에서 그래프 상태가 어떻게 접근 가능한 플레이어 집합과 비접근 집합을 결정하는지를 설명한다. 정의 1에 따라 B⊆V(G)가 접근 집합이 되려면 D⊆B (|D|≡1 mod 2) 가 존재해 Odd(D)⊆B가 되어야 한다. Lemma 1은 접근 집합의 보완이 비접근 집합임을 보이며, κ′(G)=min{|B|:B는 접근 집합}, κ(G)=max{|B|:B는 비접근 집합} 로 정의한다.

다음으로 저자는 그래프 복제 연산 G_r (G의 r개의 독립 복사) 에 대해 κ(G_r)=r·κ(G), κ′(G_r)=κ′(G) 를 증명한다. 이는 NP‑완전성 증명에 핵심적인 구성이다. 이후 완전 q‑partite 그래프 G_{p,q} (각 파트가 크기 p인 완전 q‑partite) 에 대해 q의 홀짝에 따라 κ와 κ′의 정확한 값을 구한다. 예를 들어 q≡1(mod 2)이면 κ(G_{p,q})=n−p, κ′(G_{p,q})=q이며, q≡0(mod 2)이면 κ(G_{p,q})=max(n−p,n−q), κ′(G_{p,q})=p+q+1 이 된다. 이러한 결과는 완전 코드(perfect code)와 직접 연결된다.

Lemma 5와 Theorem 1을 통해 κ(G)+κ′(G)≥|V| 가 성립함을 보이고, κ(G)≤n·Δ/(Δ+1) (Δ는 최대 차수) 라는 상한을 제시한다. 특히 κ(G)=n·Δ/(Δ+1) 일 경우 그래프는 완전 코드를 갖는다는 강력한 조건을 얻는다. 정규 그래프에 대해서는 κ(G)=n·Δ/(Δ+1) ⇔ 완전 코드 존재가 동치임을 Corollary 2 로 정리한다.

복잡도 측면에서는 KAPPA≥ (κ(G)≥k) 문제와 KAPPA′≤ (κ′(G)≤k) 문제를 각각 NP‑Complete 로 증명한다. 증명은 3‑regular 그래프에서 완전 코드 존재 여부가 NP‑Complete인 사실을 이용한다. 또한 κ_Q(G)=max{κ(G), n−κ′(G)} 에 대한 결정 문제 QKAPPA는 co‑NP‑Complete 임을 보인다.

마지막으로 저자는 κ′(G)의 하한 n·n/(n−δ) (δ는 최소 차수) 를 제시하고, 정규 그래프에서 이 하한이 정확히 달성될 경우 역시 완전 코드와 동치임을 Theorem 4 로 증명한다. 전체적으로 논문은 그래프 이론의 고전적인 완전 코드 문제와 양자 정보 이론의 비밀 공유 모델을 연결함으로써, 새로운 그래프 매개변수 κ, κ′, κ_Q 를 도입하고 그 구조적·복잡도적 특성을 체계적으로 밝힌다.