[論文レビュー] On the number of outer connected dominating sets of graphs

‎Saeid Alikhani, Mohammad Hadi Akhbari+2 more|arXiv (Cornell University)|Dec 5, 2011

Advanced Graph Theory Research被引用数 9

ひとこと要約

本稿では、グラフ内の外側連結支配集合（ocd-集合）の数を係数として数える生成多項式としての ocd-多項式を導入する。多項式の構造と性質を分析することで、パス、サイクル、完全グラフなどの特定のグラフ族における ocd-集合の正確な数え上げが得られ、これら支配集合の体系的な列挙の基盤が確立される。

ABSTRACT

Let $G=(V,E)$ be a simple graph. A set $S\subseteq V(G)$ is called an outer-connected dominating set (or ocd-set) of $G$, if $S$ is a dominating set of $G$ and either $S=V(G)$ or $V\backslash S$ is a connected graph. In this paper we introduce a polynomial which its coefficients are the number of ocd-sets of $G$. We obtain some properties of this polynomial and its coefficients. Also we compute this polynomial for some specific graphs.

研究の動機と目的

• グラフにおける外側連結支配集合（ocd-集合）の数を係数として持つ多項式を形式化すること。
• ocd-多項式の構造的および代数的性質を調査すること。
• パス、サイクル、完全グラフを含む特定のグラフ族における ocd-多項式を計算すること。
• 代数的グラフ理論を用いて ocd-集合の列挙の基盤的結果を確立すること。

提案手法

• ocd-多項式を生成関数として定義し、x^k の係数がグラフ G におけるサイズ k の ocd-集合の数であるようにする。
• グラフ理論的条件を用いる：集合 S が ocd-集合であるとは、S が G を支配し、かつ V\S が連結（または S=V）であることを意味する。
• 多項式の係数を分析することで、ocd-集合に関連する組合せ的性質を導出する。
• 再帰的および構造的技法を用いて、パス、サイクル、完全グラフにおける ocd-多項式を計算する。
• 特定のグラフクラスにおける ocd-多項式の再帰関係および閉形式表現を確立する。
• 既知のグラフの性質（例えば、連結性、次数列）を活用して、多項式の係数の妥当性を検証および計算する。

実験結果

リサーチクエスチョン

• RQ1 グラフにおける外側連結支配集合の数を、多項式を用いて体系的に符号化・分析することは可能か？
• RQ2 さまざまなグラフ族において、ocd-多項式の構造的および代数的性質は何か？
• RQ3 パス、サイクル、完全グラフにおける ocd-多項式に対して、正確な値または式は導出可能か？
• RQ4 ocd-多項式は、グラフの支配および連結性の性質とどのように関係しているか？

主な発見

• ocd-多項式はすべての有限単純グラフに対して定義可能であり、係数は各サイズの ocd-集合の数を表す。
• パス P_n については、ocd-多項式が明示的に計算され、再帰関係に従うことが示された。
• サイクル C_n については、連結性と支配の制約を用いて多項式が導出され、閉形式の表現が得られた。
• 完全グラフ K_n については、サイズが n-1 以上のすべての部分集合が ocd-集合であるという事実に基づき、簡単な閉形式の表現が得られた。
• 特定のグラフ族では、ocd-多項式が対称性および単峰性の性質を満たしており、構造的な規則性を示している。
• 多項式により ocd-集合の正確な列挙が可能となり、グラフにおける外側連結支配の研究に新たな代数的道具が提供された。