[論文レビュー] New bounds on the signed domination numbers of graphs

S. M. Hosseini Moghaddam, Abdollah Khodkar+1 more|arXiv (Cornell University)|Sep 7, 2014

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

ひとこと要約

本稿では、グラフの符号付き支配数に対する新たな鋭い下界および上界を確立する。特に、$ n $ 個の頂点、$ \ell $ 個の葉、$ s $ 個のサポート頂点をもつ木について、その符号付き支配数が $ \frac{n + 4 + 2(\ell - s)}{3} $ 以上であることを示している。著者らは、限界的パッキングおよびタプル支配の概念を用いて、タイトな境界を導出しており、特に木の境界は理論的にも構成的にも鋭い。

ABSTRACT

In this paper, we study the signed domination numbers of graphs and present new sharp lower and upper bounds for this parameter. As an example, we present a lower bound on signed domination number of trees in terms of the order, leaves and support vertices.

研究の動機と目的

• 一般のグラフの符号付き支配数 $ \gamma_s(G) $ に対する新たな鋭い下界および上界を導出すること。
• 最小次数、パッキング数、および葉やサポート頂点といった木固有のパラメータを組み込むことで、既存の境界を改善すること。
• 既知の $ \frac{n+4}{3} $ の境界を一般化し、改善する、木の符号付き支配数に対するよりタイトな下界を確立すること。
• 特に完全グラフおよび特定の木の族に対して明示的な構成を用いて、提案された境界の鋭さを示すこと。

提案手法

• 符号付き支配数の上界を求めるために、$ k $-限界的パッキングの概念を用い、このような集合の最大サイズを活用する。
• 下界を導出するために、$ k $-タプル支配理論を適用し、符号付き支配数を支配数および最小次数に関連付ける。
• 根付き木の分解技術を用い、頂点集合を $ V^+ $ と $ V^- $ に分割し、$ V^- $ の頂点がその正の後継者に与える寄与を分析する。
• 非根の負の頂点を分類するために、集合 $ W_0 $ および $ W_1 $ を導入し、その正の後継者にサポート頂点が含まれるかどうかを基準にする。
• $ \lceil \delta^*/2 \rceil $、木の最小次数、および葉およびサポート頂点の数を含む不等式を用いて下界を導出する。
• 頂点数の恒等式 $ |V^+| = \frac{n + \gamma_s(G)}{2} $、$ |V^-| = \frac{n - \gamma_s(G)}{2} $ を代数的に操作し、構造的境界を数値的不等式に変換する。

実験結果

リサーチクエスチョン

• RQ1 グラフの位数、最小次数、およびパッキング数を用いた符号付き支配数の新たな鋭い上界は何か？
• RQ2 葉およびサポート頂点の個数を用いて、木の符号付き支配数をよりタイトにどのように評価できるか？
• RQ3 既知の下界 $ \gamma_s(T) \geq \frac{n+4}{3} $ は、葉やサポート頂点といった構造的パラメータを組み込むことで改善可能か？
• RQ4 新しい境界 $ \gamma_s(T) \geq \frac{n + 4 + 2(\ell - s)}{3} $ が鋭い条件は何か、そしてその確認方法は？

主な発見

• 上界として $ \gamma_s(G) \leq n - 2\left\lfloor \frac{2\rho(G) + \delta(G) - 2}{2} \right\rfloor $ が確立され、これは完全グラフにおいて鋭い。
• 任意の位数 $ n $、$ \ell $ 個の葉、$ s $ 個のサポート頂点をもつ木 $ T $ に対して、$ \gamma_s(T) \geq \frac{n + 4 + 2(\ell - s)}{3} $ が成り立ち、この境界は鋭い。
• 新しい木の境界は、$ \ell - s $ の差を組み込むことで、古典的な $ \frac{n+4}{3} $ の境界を改善しており、構造的疎らかさを反映している。
• 境界 $ \gamma_s(T) \geq \frac{(2\lceil \delta^*/2 \rceil - 1)n + 2(\ell - s + 2)}{2\lceil \delta^*/2 \rceil + 1} $ が導出され、$ \frac{n+4}{3} $ の境界よりもタイトであることが示された。
• 根付き木と負の頂点の後継者集合への $ V^+ $ の分割を用いた証明技法により、境界導出における構造的正確性が保証された。
• 特にパスおよびスターモデルにおいて等号が成立することを示す構成により、木の境界の鋭さが確認された。