[論文レビュー] The Domination Polynomials of Cubic graphs of order 10

Saieed Akbari, ‎Saeid Alikhani+1 more|ArXiv.org|May 20, 2009

Advanced Graph Theory Research被引用数 3

ひとこと要約

本稿では、10次3正則（キュービック）グラフの全組み合わせについて、支配多項式を調査し、支配集合を計算・分析する。頂点推移性と組合せ的数え上げを用いて、ペテルセン図が支配多項式によって一意に特定可能であることを証明し、D-一意性を確立する。一方で、19個の10次3正則グラフの中から、いくつかのD-一意グラフとD同値類を同定した。

ABSTRACT

Let G be a simple graph of order n. The domination polynomial of G is the polynomial D(G,x)=\sum_{i=γ(G)}^{n} d(G,i) x^{i}, where d(G,i) is the number of dominating sets of G of size i, and γ(G) is the domination number of G. In this paper we study the domination polynomials of cubic graphs of order 10. As a consequence, we show that the Petersen graph is determined uniquely by its domination polynomial.

研究の動機と目的

• 10次3正則グラフの支配多項式を計算・分析すること。
• これらのグラフの中で、支配多項式によって一意に特定可能なD-一意グラフ（D-unique）を同定すること。
• 10次3正則グラフの間でD同値類を分類し、同一の支配多項式を持つグラフを特定すること。
• 特にペテルセン図における支配集合の構造的・組合せ的性質を調査すること。
• ペテルセン図がD-一意である、すなわち他のいかなるグラフとも同じ支配多項式を持たないことを確立すること。

提案手法

• 支配多項式 $ D(G,x) = \sum_{i=\gamma(G)}^{n} d(G,i)x^i $ の計算。ここで $ d(G,i) $ はサイズ $ i $ の支配集合の数を表す。
• 補題1の適用：頂点推移的グラフでは $ d(G,i) = \frac{n}{i} d_v(G,i) $ が成り立つ。これにより、頂点ごとの支配集合数から $ d(G,i) $ を効率的に計算可能となる。
• 定理2の適用：$ d(G,j) = \binom{n}{j} $ となる点から、最小次数の制約を導出可能。これはすべての $ j $-部分集合が支配集合であることを示唆する。
• 各10次3正則グラフについて $ \gamma $-集合（最小支配集合）を列挙し、構造的性質を比較する。
• 非連結グラフに関する定理6の適用：$ D(G,x) = D(G_1,x) \cdots D(G_m,x) $ により、複数の成分からなるグラフの多項式を計算する。
• グラフ間の $ d(G,i) $ 値を比較し、D同値類およびD-一意性を特定する。

実験結果

リサーチクエスチョン

• RQ1 ペテルセン図は、10次3正則グラフの中で支配多項式によって一意に特定可能か？
• RQ2 10次3正則グラフの中で、D-一意（非同型なグラフが支配多項式を共有しない）であるものはどれか？
• RQ3 19個の10次3正則グラフにおけるD同値類は何か？ また、D同値関係で等価となるグラフはどれか？
• RQ4 10次3正則グラフ間で、さまざまなサイズの支配集合の数はどのように異なるか？ また、これらの数に影響を与える構造的特徴は何か？
• RQ5 支配多項式は、10次3正則グラフの非同型なグラフを区別できるか？ 特にペテルセン図の場合はどうか？

主な発見

• ペテルセン図はD-一意である：$ d(G_9,4) = 91 > d(P,4) $ であることから、$ [P] = \{P\} $ であることが示された。
• グラフ $ G_9 $ もD-一意である：$ d(G_9,4) = 91 $ であり、ペテルセン図を上回る。
• グラフ $ G_6 $ と $ G_{10} $ はD同値クラスを形成し、同一の支配多項式 $ x^{10} + \binom{10}{9}x^9 + \binom{10}{8}x^8 + \binom{10}{7}x^7 + (\binom{10}{6}-10)x^6 + (\binom{10}{5}-60)x^5 + 85x^4 + 10x^3 $ を持つ。
• グラフ $ G_7 $ と $ G_8 $ はD同値である：両者とも $ d(G_i,4) = 80 $ であり、補題1と頂点別支配集合列挙により計算された。
• グラフ $ G_{12}, G_{13}, G_{14}, G_{16}, G_{19} $ はD-一意である：それぞれの $ \gamma $-集合の数（$ |\Gamma(G)| $）が他と異なり、15, 7, 22, 13, 13 である。
• グラフ $ G_{20} $ と $ G_{21} $ はD同値である：両者とも支配多項式 $ x^{10} + 10x^9 + 45x^8 + 120x^7 + 203x^6 + 216x^5 + 134x^4 + 36x^3 $ を持ち、成分の多項式の積から導出された。