[論文レビュー] Introduction to Domination Polynomial of a Graph

‎Saeid Alikhani, Yee-Hock Peng|ArXiv.org|May 14, 2009

Advanced Graph Theory Research参考文献 2被引用数 14

ひとこと要約

本稿は、サイズごとの支配集合の個数を係数として持つ支配多項式 $ D(G,x) $ を導入する。これは支配集合のサイズによる母関数として定義される。基本的な性質を確立し、特に互いに素な和集合における乗法的性質と、$ G \circ K_1 $ のコロナに対する閉形式 $ D(G \circ K_1, x) = x^n(x+2)^n $ を示し、このクラスにおける単峰性を証明する。これにより、すべてのグラフにおいて支配多項式が単峰的であるというより広範な予想を支持する。

ABSTRACT

We introduce a domination polynomial of a graph G. The domination polynomial of a graph G of order n is the polynomial D(G, x) =\sum_{i=1}^n d(G, i)x^i, where d(G, i) is the number of dominating sets of G of size i. We obtain some properties of D(G, x) and its coefficients. Also we compute this polynomial for some specific graphs.

研究の動機と目的

• グラフ $ G $ の支配集合の母関数としての支配多項式 $ D(G,x) $ を形式化し、その性質を研究すること。
• 支配多項式 $ D(G,x) $ の構造的性質を導出し、特に互いに素な和集合や結合といったグラフ演算における挙動を明らかにすること。
• $ G \circ K_1 $、特に $ K_1 $ とのコロナにおける $ D(G,x) $ を明示的に計算すること。
• 支配多項式の単峰性を調査し、$ G \circ K_1 $ における単峰性の証明に至り、支配多項式が単峰的であるというより広範な予想を支持すること。

提案手法

• 支配多項式を $ D(G,x) = \sum_{i=\gamma(G)}^{n} d(G,i)x^i $ として定義し、ここで $ d(G,i) $ はサイズ $ i $ の支配集合の個数を表す。
• $ D(G,x) $ が互いに素な和集合において乗法的であること、すなわち $ D(G_1 \cup G_2, x) = D(G_1,x) D(G_2,x) $ を証明する。
• 結合 $ G_1 \vee G_2 $ の支配多項式について閉形式を導出し、$ D(G_1 \vee G_2,x) = ((1+x)^{n_1}-1)((1+x)^{n_2}-1) + D(G_1,x) + D(G_2,x) $ を示す。
• $ G \circ K_1 $ に対して、支配多項式が $ D(G \circ K_1, x) = x^n(x+2)^n $ に等しいことを、$ n $ 個の頂点ペアにおける支配集合の組み合わせ的数え上げによって確立する。
• 二項係数の不等式と比の解析を用いて、$ D(G \circ K_1, x) $ の単峰性を証明し、係数列が頂点に達するまで増加し、その後減少することを示す。
• 対数的凸性と実根がすべて負であることを用いて、$ G \circ K_1 $ における単峰性の別証明を提供する。

実験結果

リサーチクエスチョン

• RQ1 支配多項式 $ D(G,x) $ は支配集合の母関数として、その構造と基本的性質はどのようなものか？
• RQ2 $ D(G,x) $ は、互いに素な和集合やグラフ結合といった基本的なグラフ演算において、どのように振る舞うか？
• RQ3 $ G \circ K_1 $、すなわち $ K_1 $ とのコロナにおける支配多項式 $ D(G \circ K_1, x) $ に対して、閉形式の表現を得られるか？
• RQ4 すべてのグラフにおいて支配多項式は単峰的か？特に $ G \circ K_1 $ といった特定のグラフ族においては証明可能か？
• RQ5 係数 $ d(G,i) $ とグラフ構造の間にはどのような関係があるか？特に単調性や極値に関する点で。

主な発見

• 完全グラフ $ K_n $ の支配多項式は $ D(K_n,x) = (1+x)^n - 1 $ に等しく、非空部分集合がすべて支配集合を形成することを反映している。
• 空グラフ $ \overline{K}_n $ の支配多項式は $ D(\overline{K}_n,x) = x^n $ に等しく、唯一の支配集合は全頂点集合であることを示している。
• $ G \circ K_1 $ の支配多項式は $ D(G \circ K_1, x) = x^n(x+2)^n $ に等しく、$ n $ 個の頂点ペアにおける選択による支配集合の数え上げから導出された。
• $ m \in [n, 2n] $ における係数 $ d(G \circ K_1, m) $ は $ \binom{n}{m-n} 2^{2n-m} $ に等しく、単峰的分布を示している。
• $ G_{3n}^* $ については、係数が $ d(G_{3n}^*,3n) = 2^{3n} $ から $ d(G_{3n}^*,4n) $ まで増加し、$ d(G_{3n}^*,6n) = 1 $ まで減少するため、単峰性が確認される。
• $ G_{3n+2}^* $ では、ピーク係数 $ d(G_{3n+2}^*,4n+2) $ と $ d(G_{3n+2}^*,4n+3) $ が等しく、モードが一意でないことを示しており、他のグラフ族とは異なっている。