[论文解读] The Complexity of Pebbling and Cover Pebbling

Nathaniel G. Watson|ArXiv.org|Mar 24, 2005

Cellular Automata and Applications参考文献 8被引用 11

一句话总结

本文確立了圖形 Pebbling 問題的計算複雜度，證明判斷標準 Pebbling 和覆蓋 Pebbling 的可解性均為 NP-完全。此外，本文進一步顯示計算可達性配置的覆蓋 Pebbling 數為 NP-難，透過從精確覆蓋問題的歸約來證明其不可解性。

ABSTRACT

This paper discusses the complexity of graph pebbling, dealing with both traditional pebbling and the recently introduced game of cover pebbling. Determining whether a configuration is solvable according to either the traditional definition or the cover pebbling definition is shown to be NP-complete. The problem of determining the cover pebbling number for an arbitrary demand configuration is shown to be NP-hard.

研究动机与目标

• 分析圖形 Pebbling 中可解性的計算複雜度，特別是針對覆蓋 Pebbling。
• 判斷給定配置是否能透過有效的 Pebbling 動作滿足需求配置。
• 研究計算覆蓋 Pebbling 數的困難度，特別是針對可達性需求。
• 透過從已知的 NP-完全問題歸約至 Pebbling 決策問題，來證明複雜度界限。

提出的方法

• 使用廣義 Pebbling 模型，允許負 Pebble，以整數線性約束表徵可解性。
• 定義涉及頂點間移動次數 $ n_{ij} $ 的方程組，以表示 Pebbling 動作序列。
• 應用條件 $ C(v_k) + \sum_l n_{lk} - 2\sum_l n_{kl} \geq D(v_k) $ 來判斷負 Pebbling 模型中的可解性。
• 透過包含路徑與輔助頂點的圖形，從精確覆蓋問題構造至覆蓋 Pebbling 問題的歸約。
• 運用鴿巢原理與 Pebbling 容量界限（例如，每條路徑需 16 個 Pebble 才能將兩個 Pebble 達到目標）來分析可達性。
• 證明某頂點 $ v $ 的可解性等價於集合系統中存在精確覆蓋，從而連結至 NP-完全性。

实验结果

研究问题

• RQ1 判斷某配置對給定需求配置是否可解的問題是否為 NP-完全？
• RQ2 計算可達性配置 $ R_v $ 的覆蓋 Pebbling 數的問題是否為 NP-難？
• RQ3 對於特定圖形類別（如超立方體或平面圖）是否能有效計算覆蓋 Pebbling 數？
• RQ4 判斷圖形是否為 0 類（即 $ \pi(G) = |G| $）的複雜度為何？
• RQ5 是否存在對稱圖形家族，使得覆蓋 Pebbling 可解性仍為 NP-完全？

主要发现

• 判斷某配置對單位配置是否為覆蓋可解的問題為 NP-完全。
• 判斷某配置對可達性配置 $ R_v $ 是否可解的問題為 NP-完全。
• 計算可達性需求 $ R_v $ 的覆蓋 Pebbling 數 $ \gamma_G(R_v) $ 的問題為 NP-難。
• 當底層集合系統中不存在精確覆蓋時，可達性配置的覆蓋 Pebbling 數有上界 $ 31n + 15(m - n) $。
• 圖形 $ G' $ 的構造確保 $ R_v $ 的可解性等價於集合系統 $ A $ 中存在精確覆蓋，從而證明 NP-難度。
• 即使配置被限制為非負 Pebble，該結果仍成立，因為負 Pebbling 模型在非負約束下仍表徵相同的可解性條件。