[論文レビュー] Cover pebbling cycles and certain graph products

Maggy Tomova, Cindy Wyels|ArXiv.org|Oct 1, 2004

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

ひとこと要約

この論文は、サイクル、パスおよびサイクルの積（例えば、木、完全グラフなど）のカバー・ペブル数を決定し、これらの積が同様に良いグラフであることを確立する。著者らは、新しい色ベースのペブル変換技術を用いて、積グラフのカバー・ペブル数が個々のカバー・ペブル数の積に等しいことを証明し、グラハムの予想のカバー・ペブル版を支持する。

ABSTRACT

A pebbling step on a graph consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. A graph is said to be cover pebbled if every vertex has a pebble on it after a series of pebbling steps. The cover pebbling number of a graph is the minimum number of pebbles such that the graph can be cover pebbled, no matter how the pebbles are initially placed on the vertices of the graph. In this paper we determine the cover pebbling numbers of cycles, finite products of paths and cycles, and products of a path or a cycle with good graphs, amongst which are trees and complete graphs. In the process we provide evidence in support of an affirmative answer to a question posed in a paper by Cundiff, Crull, et al.

研究の動機と目的

• サイクルおよびパスとサイクルの有限積のカバー・ペブル数を決定すること。
• 積グラフ $G \square H$ のカバー・ペブル数が、その因子のカバー・ペブル数の積に等しいかどうかを調査すること。これは、通常のペブルに対してグラハムが提起した類似の予想である。
• サイクルが良いグラフであることを確立すること。すなわち、カバー・ペブル数がキーノードからの距離の $2^{\text{dist}}$ の和に等しいこと。
• パスまたはサイクルとの積が良いグラフであることを証明し、良いグラフのクラスを拡張すること。
• パスとサイクルの有限積のカバー・ペブル数の一般式を提供すること。これにはハイパーキューブやグリッドが含まれる。

提案手法

• ペブルに色を割り当て、ペブル移動ステップでは同じ色のペブルのみ使用できる、色を尊重するペブルモデルを導入する。
• グラフ $G \square H$ 上の配置を、$H$ 上の色付き配置に翻訳することで、$H$ の性質を用いて上界を推定可能にする。
• 良いグラフにおける「キーノード」の概念を用いて、カバー・ペブル解析を簡素化する。カバー・ペブル数は、すべての頂点 $w$ についての $2^{\text{dist}(u,w)}$ の和に等しい。
• 色翻訳技術を用いて、$G \square P_n$ および $G \square C_n$ の上界を導出し、$G$ が良い場合にそれがタイトであることを示す。
• もし $G$ と $H$ が良いならば、$G \square H$ が良いことと、$\gamma(G \square H) = \gamma(G)\gamma(H)$ が同値であることを証明する。これは重要な同値性を確立する。
• 既知の結果（パス、木、完全グラフが良いこと）を活用し、帰納法と積構造を用いて、複雑な積のカバー・ペブル数の計算を拡張する。

実験結果

リサーチクエスチョン

• RQ1 サイクル $C_n$ のカバー・ペブル数は何か？
• RQ2 積グラフ $G \square H$ のカバー・ペブル数は、$G$ と $H$ のカバー・ペブル数の積に等しいか？
• RQ3 サイクルは良いグラフか？すなわち、キーノード $u$ からの $2^{\text{dist}(u,w)}$ の和に等しいか？
• RQ4 良いグラフとパスまたはサイクルとの積は、やはり良いグラフか？
• RQ5 グリッド、ハイパーキューブ、ウェブグラフなどの複雑な積のカバー・ペブル数は、積の公式を用いて計算可能か？

主な発見

• サイクル $C_n$ のカバー・ペブル数は、$\gamma(C_n) = 2^r + 2^{n-r+1} - 3$ であり、$r = \lceil n/2 \rceil$ である。
• サイクルが良いグラフであることが証明された。カバー・ペブル数がキーノード $u$ からの $2^{\text{dist}(u,w)}$ の和に一致するからである。
• 任意の良いグラフ $G$ に対して、$\gamma(G \square P_n) = \gamma(G)\gamma(P_n)$ および $\gamma(G \square C_n) = \gamma(G)\gamma(C_n)$ が成り立ち、$\gamma(P_n) = 2^n - 1$ である。
• 任意の良いグラフとパスまたはサイクルとの積も良いグラフである。これにより、良いグラフのクラスは、すべてのパスとサイクルの有限積を含むように拡張される。
• 有限積 $H = (\square_i P_{n_i}) \square (\square_j C_{m_j})$ のカバー・ペブル数は、$\gamma(H) = \prod_i \gamma(P_{n_i}) \prod_j \gamma(C_{m_j})$ に等しい。
• $k$ 次元ハイパーキューブ $Q^k$ のカバー・ペブル数は $\gamma(Q^k) = 3^k$ である。なぜなら $Q^k \cong \square^k P_2$ かつ $\gamma(P_2) = 3$ であるから。