[論文レビュー] Domination Cover Pebbling: Structural Results

Nathaniel G. Watson, Carl Yerger|ArXiv.org|Sep 23, 2005

Advanced Graph Theory Research参考文献 11被引用数 3

ひとこと要約

本稿は、直径が有界なグラフにおける支配被覆ペブル数 ψ(G) の構造的上限を確立し、直径2のグラフでは ψ(G) ≤ n−1、直径dのグラフでは ψ(G) ≤ 2^{d−2}(n−2)+1 を証明する。また、直径2のグラフにおける比 λ(G)/ψ(G) の下限が3であることを示し、劣化支配被覆ペブル（subversion domination cover pebbling）を導入し、サイズが最大ωの支配されていない連結成分に対するパラメータ Ωω(G) を分析する。

ABSTRACT

This paper continues the results of "Domination Cover Pebbling: Graph Families." An almost sharp bound for the domination cover pebbling (DCP) number for graphs G with specified diameter has been computed. For graphs of diameter two, a bound for the ratio between the cover pebbling number of G and the DCP number of G has been computed. A variant of domination cover pebbling, called subversion DCP is introducted, and preliminary results are discussed.

研究の動機と目的

• 本稿の目的は、直径が有界なグラフにおける支配被覆ペブル数 ψ(G) に対して、タイトな構造的上限を確立することである。
• 本稿は、ψ(G) と被覆ペブル数 λ(G) の関係、特に直径2のグラフにおけるそれらの比の関係を調査する。
• 著者らは、パラメータ Ωω(G) を通じて定義される、劣化支配被覆ペブル（subversion domination cover pebbling）という変種を導入し、その分析を行う。このパラメータは、ペブルを配置した後、最大ω個の頂点を除きすべての頂点が支配されるために必要なペブルの最小数を測定する。
• 本研究は、支配被覆ペブルに関する先行研究を拡張し、支配されていない連結成分の存在がペブル配置要件に与える影響を検討する。

提案手法

• 直径2のグラフにおける ψ(G) ≤ n−1 の証明は、頂点集合 S1（1つ以上のペブルを持つ頂点）、S2（S1 に隣接する空の頂点）、S3（S1 も S2 も支配しない頂点）に基づくケース別分析を用いる。
• ペブル配置から利用可能なペブル移動回数を推定するために、ペアリング数 P(c′) = ∑v∈G max{0, ⌈(c′(v)−1)/2⌉} が用いられる。
• 直径-d のグラフでは、帰納的推論と距離に基づく頂点分割を用いて、ψ(G) ≤ 2^{d−2}(n−2)+1 の上限が導出される。
• 直径2のグラフにおける比 λ(G)/ψ(G) ≥3 は、最悪ケースの配置を分析し、λ(G) が全頂点の被覆を要求するのに対し、ψ(G) は支配の要件のみを満たせばよいという事実を活用することで確立される。
• 劣化DCPモデルでは、Ωω(G) が導入され、これはペブル配置後に最大ω個の頂点を除きすべての頂点が支配されるようにする最小ペブル数を表す。支配されていない頂点は連結成分を形成する。
• 直径2のグラフにおける Ωω(G) ≤ n−1−ω の証明は、還元論法を用いる：T2 からω個の頂点を削除し、残りのグラフ G′ に直径2の議論を適用する。この際、距離の性質が保たれることを活用する。

実験結果

リサーチクエスチョン

• RQ1 直径2のグラフにおける支配被覆ペブル数 ψ(G) のタイトな上界は何か？
• RQ2 直径2のグラフにおいて、被覆ペブル数 λ(G) と ψ(G) の関係はどのように異なり、比 λ(G)/ψ(G) の最小値は何か？
• RQ3 支配被覆ペブルの一般化された変種、すなわち劣化DCP を意味的に定義し、特に支配されていない連結成分のサイズがωである場合に有界化できるか？
• RQ4 直径がより高いグラフ（例：d=3）が持つ構造的性質は、Ωω(G) に対する類似の上限を可能にするものであり、そのような上限はどのように構築できるか？

主な発見

• すべての頂点数 n で直径2であるグラフ G に対して、支配被覆ペブル数は ψ(G) ≤ n−1 を満たし、これは星形グラフ（1つの葉を除きすべての葉に n−1 個のペブルが配置されたもの）によって、この上限がタイトであることが示された。
• すべての直径2のグラフに対して、被覆ペブル数 λ(G) と支配被覆ペブル数 ψ(G) の比は、少なくとも3以上である。
• 直径2のグラフにおいて、すべての頂点が支配される必要がないが最大ω個の頂点を除く場合に必要なペブルの最小数を表すパラメータ Ωω(G) は、Ωω(G) ≤ n−1−ω を満たす。
• 外側の頂点間にω本の追加辺を持つスターベースのグラフ Hn の構成により、Ωω(Hn) > n−2−ω であることが示され、この上限がタイトであることが証明された。
• 本稿では、直径3のグラフに対して Ωω(G) ≤ ⌊3/2(n−2−ω) + 1⌋ であると予想し、その上限が床関数を除いてタイトであることを示す構成が提示された。
• 分析により、直径2のグラフからω個の頂点を削除した後、残りのグラフ G′ においても、T′1 に属するすべての頂点が G′ の任意の頂点から距離2以内に存在するという性質が保たれ、直径2の議論が依然として適用可能であることが示された。