[论文解读] Pebbling on Graph Products and other Binary Graph Constructions

John Asplund, Glenn Hurlbert+1 more|arXiv (Cornell University)|Jan 23, 2018

Advanced Graph Theory Research参考文献 16被引用 4

一句话总结

本文為圖形乘積及其他二元圖形構造（包括笛卡爾乘積、強乘積、分類乘積與冠圖）建立了改進的上界，證明了 π(G□H) ≤ 2π(G)π(H)，並提出更緊緻的界如 π(G□H) ≤ (π(G)+|G|)π(H)，朝向格雷厄姆猜想邁進，同時將結果擴展至多種圖形運算，並提供明確的推鉛數估計。

ABSTRACT

Pebbling on graphs is a two-player game which involves repeatedly moving a pebble from one vertex to another by removing another pebble from the first vertex. The pebbling number $π(G)$ is the least number of pebbles required so that, regardless of the initial configuration of pebbles, a pebble can reach any vertex. Graham conjectured that the pebbling number for the cartesian product, $G \hspace{1mm}\square\hspace{1mm} H$, is bounded above by $π(G) π(H)$. We show that $π(G\hspace{1mm}\square\hspace{1mm} H) \le 2π(G) π(H)$ and, more sharply, that $π(G \hspace{1mm}\square\hspace{1mm} H) \le (π(G)+|G|) π(H)$. Furthermore, we provide similar results for other graph products and graph operations.

研究动机与目标

• 為圖形乘積（特別是笛卡爾乘積）的推鉛數建立通用上界，以促進格雷厄姆猜想的進展。
• 將這些上界擴展至其他二元圖形構造，如強乘積、分類乘積與冠圖。
• 利用直徑、節儉性與根可解配置等結構性質，精煉現有的推鉛界。
• 透過特定圖形家族（包括完全圖、環與樹）分析上界的緊緻性與適用性。
• 探討這些上界對 0類圖與節儉圖的影響，並研究其在圖形乘積下的封閉性。

提出的方法

• 採用基於配置的推鉛分析，專注於最大 r-不可解配置，以推導上界。
• 應用 k 重推鉛框架，定義 π_k(G) 為將 k 顆推鉛移動至根頂點所需的最小推鉛數。
• 引入函數 φ(G) 以量化推鉛效率，特別是在以 φ(G) 和 φ(H) 繫結強乘積時。
• 運用組合引理（例如引理 6.3）證明：在 H 的一個複本上放置 |H|+2k−1 隻推鉛，可使 k 隻推鉛移動至中心頂點。
• 根據根位置（位於 G 內或冠圖構造中 H 的一個複本內）進行情況分析，以推導不同的上界。
• 使用「節儉圖」的概念，其中 π_k(G) ≤ π(G) + (k−1)2^{diam(G)}，以精煉特定圖類的上界。

实验结果

研究问题

• RQ1 是否存在最佳通用常數 β，使得對所有連通圖 G 和 H，均有 π(G□H) ≤ βπ(G)π(H)？
• RQ2 能否利用圖形的結構性質，建立比 2π(G)π(H) 更緊緻的笛卡爾乘積上界？
• RQ3 推鉛數在其他二元圖形運算（如強乘積、分類乘積與冠圖）下如何表現？
• RQ4 這些上界在多大程度上適用於節儉圖或 0類圖？這些性質是否能在圖形乘積下保持？
• RQ5 所導出的上界是否支持格雷厄姆猜想（π(G□H) ≤ π(G)π(H)）？它們在何處未達緊緻性或接近緊緻性？

主要发现

• 本文證明對所有連通圖 G 和 H，均有 π(G□H) ≤ 2π(G)π(H)，優於先前的通用上界。
• 提出更緊緻的上界：π(G□H) ≤ (π(G) + |G|)π(H)，當 π(G) 相對於 |G| 較小時，此界優於 2π(G)π(H)。
• 針對強乘積，本文利用函數 φ(G) 導出上界，顯示 π(G⊠H) ≤ φ(G)φ(H)π(G)π(H)，其中 φ(G) ≤ 2^{diam(G)}，且對完全圖有 φ(G) = 1。
• 針對冠圖乘積 G⋈H，證明上界 π(G⋈H) ≤ |G||H| + 4π(G)，此上界對某些家族（如 K_m⋈K_t）在漸近意義下為緊緻。
• 證明上界 π(G⋈H) ≤ |G||H| + 4π(G) 在 K_m⋈K_t 中當 t 很大時為緊緻極限，其中 π(K_m⋈K_t) = mt + 2m + 2，而上界給出 mt + 4m。
• 在特定圖形上驗證結果：對於太陽圖 S_n = K_m⋈K_1，上界給出 5m，而實際值為 3m+2，顯示上界可能較鬆弛，但仍具資訊性。