[論文レビュー] Cover pebbling numbers and bounds for certain families of graphs

Nathaniel G. Watson, Carl Yerger|ArXiv.org|Sep 18, 2004

Graph theory and applications参考文献 5被引用数 13

ひとこと要約

本稿は、完全多部グラフおよびホイールグラフのカバー・ペブル数を決定し、直径と頂点数に基づいた一般グラフのカバー・ペブル数の鋭い上界を確立する。完全 $ r $-部グラフ $ K_{s_1,s_2,\dots,s_r} $ のカバー・ペブル数は $ \phi(G) = 4s_1 + 2s_2 + \cdots + 2s_r - 3 $ であり、直径 $ d $ と $ n $ 頂点をもつグラフに対しては $ 2^d(n - d + 1) - 1 $ のタイトな上界が得られる。

ABSTRACT

Given a configuration of pebbles on the vertices of a graph, a pebbling move is defined by removing two pebbles from some vertex and placing one pebble on an adjacent vertex. The cover pebbling number of a graph, gamma(G), is the smallest number of pebbles such that through a sequence of pebbling moves, a pebble can eventually be placed on every vertex simultaneously, no matter how the pebbles are initially distributed. The cover pebbling number for complete multipartite graphs and wheel graphs is determined. We also prove a sharp bound for gamma(G) given the diameter and number of vertices of G.

研究の動機と目的

• 完全多部グラフ $ K_{s_1,s_2,\ldots,s_r} $ のカバー・ペブル数を決定する。ここでペブル移動は2つのペブルを隣接頂点に移動させるものとする。
• ホイールグラフ $ W_n $ のカバー・ペブル数を計算する。これは中心のハブがサイクルに接続された特定のグラフ族である。
• 一般グラフのカバー・ペブル数に対して、直径 $ d $ と頂点数 $ n $ を用いたタイトな上界を確立する。
• カバー・ペブル数に関する未解決問題、特に最小非カバー・ソルブ可能な構成の構造に関する予想を解消する。

提案手法

• カバー・ペブル数 $ \gamma(G) $ を、すべての頂点をカバーできるようなペブルの最小数として定義する。
• 完全多部グラフに対して、極値構成と帰納的推論を用いて $ \phi(G) = 4s_1 + 2s_2 + \cdots + 2s_r - 3 $ を導出する。
• 帰納法と部分グラフ解析を用いて、完全多部グラフにおけるサイズ $ \phi(G) $ の任意の構成がカバー・ソルブ可能であることを証明する。
• ホイールグラフに対しては、対称性と距離に基づくペブル要件を活用して類似の推論を適用し、$ \gamma(W_n) $ を計算する。
• 頂点を集合 $ R_m, S_m, T_m $ に分割し、2進重み付けを用いた再帰的ペブル戦略を構築することで、完全カバーへのペブル進行をシミュレートする。
• 直径 $ d $ と $ n $ 頂点をもつグラフに対して、2進重み付けの議論と帰納的ペブル列を用いて一般上界 $ \gamma(G) \leq 2^d(n - d + 1) - 1 $ を確立する。

実験結果

リサーチクエスチョン

• RQ1 完全多部グラフ $ K_{s_1,s_2,\ldots,s_r} $ のカバー・ペブル数は何か？ そして、閉形式で表せるか？
• RQ2 ホイールグラフ $ W_n $ のカバー・ペブル数は何か？ スポーク数にどのように依存するか？
• RQ3 直径と頂点数のみを用いて、一般グラフのカバー・ペブル数に対するタイトな上界を確立できるか？
• RQ4 完全多部グラフに対して最小非カバー・ソルブ可能な構成は存在するか？ その構造は上界の性質をどのように明らかにするか？

主な発見

• 頂点数が $ s_1 \geq s_2 \geq \cdots \geq s_r $ である完全 $ r $-部グラフ $ K_{s_1,s_2,\ldots,s_r} $ のカバー・ペブル数は正確に $ \phi(G) = 4s_1 + 2s_2 + \cdots + 2s_r - 3 $ に等しい。
• ホイールグラフ $ W_n $ については、明示的なカバー・ペブル数が決定されているが、要約ではその正確な式は示されない。詳細は第3節で導出されている。
• 直径 $ d $ と $ n $ 頂点をもつ任意のグラフ $ G $ に対して、カバー・ペブル数の鋭い上界 $ \gamma(G) \leq 2^d(n - d + 1) - 1 $ が成立し、この上界はタイトである。
• この上界は、根からの距離に基づいて頂点を分割し、2進重み付けを用いてペブル進行をシミュレートする再帰的ペブル戦略によって導出される。
• 証明により、直径 $ d $ のグラフにおいて、サイズ $ 2^d(n - d + 1) - 1 $ の任意の構成はカバー・ソルブ可能であることが示され、この上界は改善できない。
• 構成により、サイズ $ 2^d(n - d + 1) - 2 $ の構成がカバー・ソルブ不能である可能性があることが示され、結果のタイトさが確認された。