[論文レビュー] Dominating sets and Domination polynomials of Cycles

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

Advanced Graph Theory Research被引用数 5

ひとこと要約

本稿では、サイクルの支配集合の数を数えるための再帰的公式を開発し、サイクルの支配多項式を導入してその構造的性質を導出する。主な貢献は、各サイズの支配集合の数を効率的に計算できる再帰関係であり、支配多項式の係数に対する閉形式式と組み合わせ的恒等式を導く。

ABSTRACT

Let G=(V,E) be a simple graph. A set S\subset V is a dominating set of G, if every vertex in V§is adjacent to at least one vertex in S. Let {\mathcal C}_n^i be the family of dominating sets of a cycle C_n with cardinality i, and let d(C_n,i) = |{\mathcal C}_n^i. In this paper, we construct {\mathcal C}_n^i, and obtain a recursive formula for d(C_n, i). Using this recursive formula, we consider the polynomial D(C_n, x) = \sum_{i=1}^n d(C_n, i)x^i, which we call domination polynomial of cycles and obtain some properties of this polynomial.

研究の動機と目的

• サイクルグラフ $C_n$ のすべての支配集合をサイズごとに特徴づけ、数えること。
• 支配多項式 $D(C_n, x) = \sum_{i=\lceil n/3 \rceil}^n d(C_n, i) x^i$ を定義し、$d(C_n, i)$ をサイズ $i$ の支配集合の数とする。
• より小さいサイクル $C_{n-1}, C_{n-2}, C_{n-3}$ を用いた $d(C_n, i)$ の再帰的公式を導出すること。
• 支配多項式の係数に関する組み合わせ的恒等式と再帰的関係を確立すること。
• $n$ と $i$ の異なる値における $d(C_n, i)$ の振る舞いを、極値ケースや対称性の性質を含めて分析すること。

提案手法

• $\mathcal{C}_n^i$ を、$\mathcal{C}_{n-1}^{i-1}, \mathcal{C}_{n-2}^{i-1}, \mathcal{C}_{n-3}^{i-1}$ からの再帰的構成を用いて、$C_n$ 内のサイズ $i$ の支配集合の族として構築する。
• 再帰的関係 $d(C_n, i) = d(C_{n-1}, i-1) + d(C_{n-2}, i-1) + d(C_{n-3}, i-1)$ を確立し、$n$ と $i$ の特定の条件下で有効であることを示す。
• 不可能な配置を除外するための補題を用い、有効な再帰的組み合わせの数を五つに削減する。
• 支配多項式 $D(C_n, x)$ が再帰 $S_n = S_{n-1} + S_{n-2} + S_{n-3}$ を満たすことを証明する。ここで $S_n = \sum_{j=\lceil n/3 \rceil}^n d(C_n, j)$ である。
• 特殊ケース、たとえば $i = n$, $i = n-1$, $i = n-2$, $i = \lceil n/3 \rceil$ における $d(C_n, i)$ の閉形式式と恒等式を導出する。
• 数学的帰納法とケース解析を用いて、$n$ と $i$ の異なる値における $d(C_n, i)$ の恒等式を検証する。特に恒等式 $\sum_{i=j}^{3j} d(C_i, j) = 3 \sum_{i=j-1}^{3j-3} d(C_i, j-1)$ を含む。

実験結果

リサーチクエスチョン

• RQ1 サイクル $C_n$ のサイズ $i$ の支配集合の数は、より小さいサイクルを用いて再帰的にどのように計算できるか？
• RQ2 サイクルにおける支配多項式 $D(C_n, x)$ の構造的および組み合わせ的性質は何か？
• RQ3 $d(C_n, i)$ の極値は何か。たとえば $d(C_n, n)$, $d(C_n, n-1)$, $d(C_n, \lceil n/3 \rceil)$ は？
• RQ4 固定された $i$ に対して $n$ が増加する際の $d(C_n, i)$ の振る舞いは？特に単峰的成長の性質はどうか？
• RQ5 すべてのサイズの支配集合総数を表す再帰的関係または恒等式は何か？

主な発見

• サイクルの支配多項式は $S_n = S_{n-1} + S_{n-2} + S_{n-3}$ を満たし、初期値 $S_1 = 1$, $S_2 = 3$, $S_3 = 7$ である。ここで $S_n$ は $C_n$ 内の支配集合総数を表す。
• $d(C_n, n) = 1$ かつ $d(C_n, n-1) = n$ であり、それぞれ全集合と1つの頂点を除いた集合に対応する。
• $d(C_n, n-2) = \frac{n(n-1)}{2}$ であり、再帰的関係から導出し、帰納法で検証した。
• $d(C_n, n-3) = \frac{(n-4)n(n+1)}{6}$ であり、再帰的関係を用いた帰納的証明により確立した。
• $n = 3k$ のとき、$d(C_{3k}, k) = 3$ であり、サイズ $k$ の3つの完全な支配集合に対応する。
• 固定された $i$ に対して、$d(C_n, i)$ は $n = 2i$ まで増加し、その後減少する。$d(C_{3i}, i) = 3$ であるため、単峰的パターンを示す。