[論文レビュー] An Improvement on Vizing's Conjecture

Yunjian Wu|ArXiv.org|Sep 21, 2009

Graph Labeling and Dimension Problems参考文献 2被引用数 5

ひとこと要約

この論文は、バジンの予想を改善し、2つのグラフの支配数の積がそれらのカルテシアン積におけるローマン支配数によって上から抑えられることを証明している。すなわち、γ(G)γ(H) ≤ γR(G□H) である。証明は、ローマン支配関数を用いて G□H における支配構造を構築し、射影と近傍被覆を活用して境界を確立する。これにより、以前の結果 γ(G)γ(H) ≤ 2γ(G□H) が改善される。

ABSTRACT

Let $γ(G)$ denote the domination number of a graph $G$. A {\it Roman domination function} of a graph $G$ is a function $f: V o\{0,1,2\}$ such that every vertex with 0 has a neighbor with 2. The {\it Roman domination number} $γ_R(G)$ is the minimum of $f(V(G))=Σ_{v\in V}f(v)$ over all such functions. Let $G\square H$ denote the Cartesian product of graphs $G$ and $H$. We prove that $γ(G)γ(H) \leq γ_R(G\square H)$ for all simple graphs $G$ and $H$, which is an improvement of $γ(G)γ(H) \leq 2γ(G\square H)$ given by Clark and Suen \cite{CS}, since $γ(G\square H)\leq γ_R(G\square H)\leq 2γ(G\square H)$.

研究の動機と目的

• 支配数をローマン支配数に置き換えた上界により、バジンの予想 γ(G)γ(H) ≤ γ(G□H) を強化すること。
• 既知の境界 γ(G)γ(H) ≤ 2γ(G□H) と予想されるタイトな境界 γ(G)γ(H) ≤ γ(G□H) の間のギャップを解消すること。
• ローマン支配数 γR(G□H) が支配数の積の上界として 2γ(G□H) よりもタイトで自然な上界を提供することを示すこと。
• ローマン支配の観点からバジンの予想の類似が成り立つかどうかを調査し、一般には成り立たないことを示すこと。

提案手法

• G□H における γR(G□H)-関数 f = (V₀, V₁, V₂) を構築し、V₂ が G□H − V₁ における支配集合であることを保証する。
• V(G) を γ(G) 個の集合 Π₁, ..., Πγ(G) に分割し、各 Πᵢ が支配頂点 uᵢ を含み、uᵢ への隣接性について閉じているようにする。
• D = V₁ ∪ V₂ に対する分割 D₁, ..., Dγ(G) を、Πᵢ × V(H) と D の交わりとして誘導する。
• Dᵢ を H へ射影する Pᵢ を定義し、|V(H) − NH[Pᵢ]| ≥ γ(H) − |Pᵢ| を用いて未支配頂点を抑え込む。
• C ⊆ {1, ..., γ(G)} × V(H) を、(i,v) ∈ C となるのは Πᵢ × {v} が Qᵥ = V₂ ∩ (V(G) × {v}) によって支配されるときであると定義する。
• |C| = ∑|Lᵢ| = ∑|Rᵥ| に対する二重数え上げを用い、近傍被覆からの境界と V₂ 内の頂点数からの境界を導出し、最終的な不等式を得る。

実験結果

リサーチクエスチョン

• RQ1 境界 γ(G)γ(H) ≤ 2γ(G□H) は、2γ(G□H) を γR(G□H) に置き換えることで改善可能か？
• RQ2 すべての有限単純グラフ G と H に対して、γ(G)γ(H) ≤ γR(G□H) が成り立つか？
• RQ3 G□H におけるローマン支配関数のどの構造的性質が、元のバジン型不等式よりもタイトな境界を可能にするか？
• RQ4 ローマン支配の類似版バジンの予想、すなわち γR(G)γR(H) ≤ γR(G□H) は成り立つか？

主な発見

• 本論文は、すべての有限単純グラフ G と H に対して不等式 γ(G)γ(H) ≤ γR(G□H) を確立しており、これはクラークとスーンの境界 γ(G)γ(H) ≤ 2γ(G□H) よりも厳密に改善されたものである。
• 証明は、集合 C を構築することに依存しており、C はインデックス-頂点ペア (i,v) からなり、Πᵢ × {v} が Qᵥ ⊆ V₂ によって支配されるようなものである。|C| に対する二重数え上げを用いて境界を導出する。
• |C| ≥ γ(G)γ(H) − |V₁| − |V₂| および |C| ≤ |V₂| が示され、結果として γ(G)γ(H) ≤ |V₁| + 2|V₂| = γR(G□H) が得られる。
• ローマン支配数 γR(G□H) は、支配数の積の上界として 2γ(G□H) よりもタイトであることが示された。
• 反例により、ローマン支配の類似版バジンの予想 γR(G)γR(H) ≤ γR(G□H) は一般には成り立たないことが示された。例えば G = H = K₂ の場合に反例が存在する。
• この結果により、γR(G□H) が γ(G)γ(H) の上界として 2γ(G□H) よりも適切でタイトであることが確認され、グラフ積における支配の理解が前進した。