[論文レビュー] Power propagation time and lower bounds for power domination number

Daniela Ferrero, Leslie Hogben+2 more|arXiv (Cornell University)|Dec 20, 2015

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

ひとこと要約

この論文は、先行研究で提案された電力支配数の誤った下界を是正し、電力伝搬時間とグラフの直径の間の主張された関係が一般には成り立たないことを示している。電力伝搬時間の概念を導入し、木構造における有効な下界を確立し、伝搬時間が直径より1つ小さいことを証明することで、電力支配解析における従来の理論的限界を大幅に改善している。

ABSTRACT

We present a counterexample to a lower bound for the power domination number given in Liao, Power domination with bounded time constraints, J. Comb. Optim. 31 (2016)725-742. We also define the power propagation time, using the power domination propagation ideas in Liao and the (zero forcing) propagation time in Hogben et al, Propagation time for zero forcing on a graph, Discrete Appl. Math.160 (2012) 1994-2005.

研究の動機と目的

• 電力支配数の誤った下界を特定・是正すること。この下界は、電力伝搬時間がグラフの直径によって有界であると誤って仮定していた。
• 電力伝搬時間の概念を定義・形式化し、ゼロフォースィングと電力支配伝搬のアイデアを拡張すること。
• 伝搬時間と最大次数を用いて、特に木構造において、電力支配数の有効で非自明な下界を確立すること。
• 電力伝搬時間と直径の関係が一般に成り立たないことを、電力支配数が2であるが、誤った下界が任意に大きな値をとるグラフ族を用いた反例によって示すこと。

提案手法

• 電力支配数が2であるが、誤った下界 |V|/(diam(G)·Δ(G)+1) が任意に大きな値をとる無限のグラフ族を構築し、主張された下界の反例とする。
• 電力伝搬時間 ppt(G,S) を、初期の電力支配集合 S から出発し、反復的な近傍拡張ルールを用いて全頂点を観測するまでの最小時間を定義する。
• 観測時間による頂点および辺のラベル付けに基づく単調な経路の議論を適用し、木構造における伝搬を分析し、長い単調な経路は長いパスを意味することを証明する。
• 帰納法と構造的解析を用いて、木構造における任意の最小電力支配集合を、伝搬時間を増加させずに次数1の頂点を含まない形に再構成できることを示す。
• 伝搬時間の関係式 ppt(T) ≤ diam(T) − 1 を用いて、木構造の電力支配数の新しい下界を導出する。その結果、γP(T) ≥ ⌈|V| / ((diam(T)−1)·Δ(T)+1)⌉ が得られる。
• 少なくとも3つの頂点を持つ木構造において、電力伝搬時間が直径より1つ小さい、すなわち、直径より小さいというより強い正しい境界が成り立つことを証明し、伝搬ダイナミクスの理論的理解を強化する。

実験結果

リサーチクエスチョン

• RQ1 先行研究が主張するように、すべてのグラフにおいて γP(G) ≥ |V|/(diam(G)·Δ(G)+1) が成り立つかどうか。
• RQ2 特に木構造において、電力伝搬時間がグラフの直径によって有界にできるか。
• RQ3 木構造における任意の最小電力支配集合は、伝搬時間を増加させずに次数1の頂点を含まない形に再構成可能か。
• RQ4 直径ではなく、実際の電力伝搬時間を用いて、電力支配数の有効な下界を導出可能か。
• RQ5 電力支配プロセスにおける単調な経路と木構造の直径との間の構造的関係は何か。

主な発見

• 電力支配数が2であるが、誤った下界 |V|/(diam(G)·Δ(G)+1) が2を超えて任意に大きくできる反例族を提示し、主張された下界を否定した。
• 反例により、ppt(G) ≤ diam(G) の関係が一般には成り立たないことが示され、先行研究の根幹的な仮定が無効であることが判明した。
• 少なくとも3つの頂点を持つ木構造において、電力伝搬時間は ppt(T) ≤ diam(T) − 1 を満たす。これは、従来の主張よりも強く正しい境界である。
• 木構造の電力支配数の新しい有効な下界が確立された：γP(T) ≥ ⌈|V| / ((diam(T)−1)·Δ(T)+1)⌉。
• 本論文は、任意の最小電力支配集合が、伝搬時間を維持したまま次数1の頂点を含まない形に変換可能であることを示し、単調な経路の議論を可能にした。
• 電力伝搬時間の新しい下界が導出された：ppt(G) ≥ ⌈(|V(G)| − γP(G)) / (γP(G)·Δ(G))⌉。これは、γP(G) が既知である場合に有用である。