[论文解读] Optimal accessing and non-accessing structures for graph protocols

Sylvain Gravier, Jérôme Javelle+2 more|arXiv (Cornell University)|Sep 28, 2011

Cooperative Communication and Network Coding参考文献 14被引用 4

一句话总结

本文引入並分析了圖中的最佳存取與非存取集合，定義了決定量子秘密共享（QSS）協定門檻安全性的關鍵參數 𝜅(G) 和 𝜅′(G)。本文建立了這些參數的緊緻界限，證明其 NP-完全性，並顯示特定圖族——特別是具有完美碼的正則圖——可達成接近最佳的 QSS 門檻 (n, n−√n)。

ABSTRACT

An accessing set in a graph is a subset B of vertices such that there exists D subset of B, such that each vertex of V\B has an even number of neighbors in D. In this paper, we introduce new bounds on the minimal size kappa'(G) of an accessing set, and on the maximal size kappa(G) of a non-accessing set of a graph G. We show strong connections with perfect codes and give explicitly kappa(G) and kappa'(G) for several families of graphs. Finally, we show that the corresponding decision problems are NP-Complete.

研究动机与目标

• 定義並分析無向圖中最小存取集合大小 𝜅′(G) 與最大非存取集合大小 𝜫(G)。
• 建立這些圖形參數與量子秘密共享（QSS）協定之間的強烈關聯。
• 針對正則圖與複合圖族，推導 𝜫(G) 和 𝜅′(G) 的緊緻解析界限。
• 證明與 𝜫(G)、𝜅′(G) 及 QSS 門檻參數 𝜅_Q(G) 相關之決策問題的 NP-完全性。

提出的方法

• 引入「存取集合」B ⊆ V(G) 的概念，其中存在某子集 D ⊆ B 滿足 |D| 為奇數，且 Odd(D) ⊆ B，其中 Odd(D) 表示 D 的奇數鄰域。
• 定義 𝜫(G) 為非存取集合的最大大小，𝜫′(G) 為存取集合的最小大小。
• 利用圖的補圖與對偶性，將 𝜫′(G) 與 𝜫(Ḡ) 關聯，進而透過度數與碼結構推導界限。
• 應用來自完美碼問題的歸約，證明 𝜫′(G) 與 𝜅_Q(G) 決策問題的 NP-完全性。
• 分析圖族如 r 重複圖 G^r，顯示 𝜫(G^r) = r·𝜫(G) 與 𝜫′(G^r) = 𝜫′(G)。
• 推導下界：𝜫′(G) ≥ n / (n − δ)，當補圖具有奇數大小的完美碼時等號成立。

实验结果

研究问题

• RQ1 在圖中，最小存取集合大小 (𝜫′(G)) 與最大非存取集合大小 (𝜫(G)) 的緊緻界限為何？
• RQ2 這些參數如何與量子秘密共享（QSS）協定關聯，特別是在決定門檻安全性方面？
• RQ3 特定圖族（如正則圖或 r 重複圖）是否可達成接近最佳的 QSS 門檻？
• RQ4 判斷 𝜫′(G) ≤ k 的決策問題是否為 NP-完全？
• RQ5 判斷 QSS 門檻參數 𝜅_Q(G) ≤ k 的複雜度為何？

主要发现

• 對於任意圖 G，𝜫′(G) ≥ n / (n − δ)，其中 δ 為最小度數，且等號成立當且僅當補圖具有奇數大小的完美碼。
• 對於圖 G 的 r 重複圖 G^r，𝜫(G^r) = r·𝜫(G) 與 𝜫′(G^r) = 𝜫′(G)，進而可實現可擴展的建構。
• QSS 門檻參數 𝜅_Q(G) = max(𝜫(G), n − 𝜫′(G)) 對於某些圖族（如具有完美碼的正則圖）可達成 (n, n − √n) 門檻。
• 決策問題 KAPPA′_≤ 與 KAPPA_Q 為 NP-完全，而 KAPPA′_≥ 為 co-NP-完全，歸約自完美碼問題。
• 補圖的完美碼結構直接決定 𝜫′(G) 下界何時為緊緻。
• 判斷局部補圖操作下最小度數是否超過 k 的問題仍為開放問題，儘管與 𝜫′(G) 密切相關。