[论文解读] Irreversible 2-conversion set in graphs of bounded degree

Jan Kynčl, Bernard Lidický+1 more|Iowa State University Digital Repository (Iowa State University)|Dec 13, 2014

Markov Chains and Monte Carlo Methods被引用 6

一句话总结

本文解決了圖形中尋找最小不可逆2-轉換集的計算複雜度問題，證明最大度數為4的圖形中該問題為NP完全問題，同時顯示最大度數為3的圖形中該問題可在多項式時間內求解。此外，本文提出了一種簡化且最佳的不可逆3-轉換集構造方法，適用於環面網格，相較於先前成果，提供了更緊緻的界限與更簡潔的模式。

ABSTRACT

An irreversible $k$-threshold process (also a $k$-neighbor bootstrap percolation) is a dynamic process on a graph where vertices change color from white to black if they have at least $k$ black neighbors. An irreversible $k$-conversion set of a graph $G$ is a subset $S$ of vertices of $G$ such that the irreversible $k$-threshold process starting with $S$ black eventually changes all vertices of $G$ to black. We show that deciding the existence of an irreversible 2-conversion set of a given size is NP-complete, even for graphs of maximum degree 4, which answers a question of Dreyer and Roberts. Conversely, we show that for graphs of maximum degree 3, the minimum size of an irreversible 2-conversion set can be computed in polynomial time. Moreover, we find an optimal irreversible 3-conversion set for the toroidal grid, simplifying constructions of Pike and Zou.

研究动机与目标

• 解決圖形中尋找最小不可逆2-轉換集之計算複雜度的開放問題。
• 確立即使在最大度數為4的圖形中，該問題仍為NP完全問題。
• 顯示當最大度數至多為3時，該問題可於多項式時間內求解。
• 構造環面網格上最優的不可逆3-轉換集，簡化先前的構造方法。
• 針對不同尺寸的環面網格，提供此類轉換集大小的緊緻上界。

提出的方法

• 透過從已知NP完全問題的歸約，證明最大度數為4之圖形中不可逆2-轉換集問題的NP完全性。
• 利用最大度數為3之圖形的結構特性，顯示其等價於可於多項式時間內求解的頂點反饋集問題。
• 設計基於鋪砌的構造方法，使用重複的3×3模式，在環面網格上生成不可逆3-轉換集。
• 利用模運算與環面的週期性分析，驗證在不可逆3閾值規則下，所有白色區域最終均會轉為黑色。
• 根據網格尺寸對3和4取模的分類分析，以處理邊界條件並最小化集合大小。
• 透過證明所構造的集合消除了所有白色環，從而確保完全轉為黑色，驗證其正確性。

Figure 1: A one-way gadget.

实验结果

研究问题

• RQ1 在最大度數為4的圖形中，尋找最小不可逆2-轉換集的問題是否為NP完全問題？
• RQ2 對於最大度數為3的圖形，是否可於多項式時間內計算最小不可逆2-轉換集？
• RQ3 環面網格T(m,n)的最小不可逆3-轉換集大小為何？
• RQ4 與先前工作相比，能否針對環面網格上的不可逆3-轉換集提出更簡潔且最優的構造方法？
• RQ5 最優不可逆3-轉換集的大小如何隨環面網格尺寸m和n變化？

主要发现

• 即使限制在最大度數為4的圖形中，尋找最小不可逆2-轉換集的問題仍為NP完全問題。
• 對於最大度數為3的圖形，最小不可逆2-轉換集可於多項式時間內求解。
• 當n=4或m=4時，環面網格T(m,n)上存在大小不超過(3mn + 4)/8的最優不可逆3-轉換集。
• 對於所有其他滿足m,n ≥ 3且m,n不全為4的環面網格，存在大小不超過(mn + 4)/3的最優不可逆3-轉換集。
• 透過策略性地放置黑色方格與模式鋪砌，該構造方法消除了所有白色環，從而實現最優性。
• 該方法簡化了Pike與Zou的先前構造，提供更均勻且易於分析的鋪砌方式，並透過環面上的拓撲環分析證明其正確性。

Figure 2: A variable gadget $g(X_{i})$ connected to a vertex $u_{i}$ of a distributing path.