[論文レビュー] Independent sets in certain classes of (almost) regular graphs

Alexander Burstein, Sergey Kitaev+1 more|ArXiv.org|Oct 23, 2003

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

ひとこと要約

本稿では、$G_{\theta}^n$, $R_{\theta}^n$, $K_{\theta}^n$, および $P_{\theta}^n$ という4つの再帰的に構築された（ほぼ）正則グラフのクラスにおける独立集合を、転送行列法を用いて明示的な母関数を導出することによって研究している。$P_4^n$ における独立集合と、各奇数が偶数の隣接要素を持つ $\{1,2,\dots,2n+1\}$ の部分列との間の直接的な全単射を確立し、$p_\theta(n)$（$P_\theta^n$ における独立集合の数）の閉形式母関数 $\sum_{n\geq 0} p_\theta(n)x^n = \frac{1+2x}{1-(\theta-1)x-2x^2}$ を得た。主な貢献は、サイクルおよび完全グラフの線グラフから導かれる正則グラフクラスにおける独立集合の組合せ的解釈と、正確な母関数の導出である。

ABSTRACT

We enumerate the independent sets of several classes of regular and almost regular graphs and compute the corresponding generating functions. We also note the relations between these graphs and other combinatorial objects and, in some cases, construct the corresponding bijections.

研究の動機と目的

• 4つの再帰的に定義された（ほぼ）正則グラフクラス $G_{\ell}^n$, $R_{\ell}^n$, $K_{\ell}^n$, $P_{\ell}^n$ における独立集合を数えること。
• これらのグラフにおける独立集合の数を計算するための転送行列法を開発すること。
• 独立集合と他の組合せ的対象（特に $P_4^n$ に関して）との間の組合せ的解釈を確立し、明示的な全単射を構築すること。
• $P_{\ell}^n$ における独立集合の数の閉形式母関数を導出すること。
• これらのグラフクラスと既知の組合せ的数列（OEIS に掲載されたものなど）との関係を調査すること。

提案手法

• 再帰的に構築されたグラフの各段階における独立集合の状態遷移をモデル化するために、転送行列法が適用された。
• $P = P_{\ell}$ を、各段階における独立集合状態に対応するラベルの集合上に定義された $(\ell+1) \times (\ell+1)$ の転送行列とする。
• $p_{\ell}(n)$ の母関数は、$(I - xP)^{-1} \mathbf{1}$ の最初の成分として導出され、閉形式表現 $\sum_{n \geq 0} p_{\ell}(n)x^n = \frac{1+2x}{1 - (\ell-1)x - 2x^2}$ が得られた。
• $P_4^n$ に対して、独立集合と $\{1,2,\dots,2n+1\}$ の部分列との間の直接的な全単射が構築された。ここで、各奇数は偶数の隣接要素を持つものとする。
• $P_4^n$ の頂点のラベリングは再帰的に定義され、各段階 $n-i$ のラベルが $n-i+1$ 段階のラベルから、括弧付きおよび括弧なし整数を用いた特定の規則によって導かれる。
• 逆写像は、列をブロック $123|45|67|\dots|2n(2n+1)$ に分割し、ラベルの内容と括弧状態に基づいて頂点を選択することで構築された。

実験結果

リサーチクエスチョン

• RQ1 任意の $n$ に対して、$\ell$-正則グラフ $P_{\ell}^n$ における独立集合の数は何か？
• RQ2 $P_4^n$ における独立集合の数について、既知の組合せ的対象を用いた組合せ的解釈は存在するか？
• RQ3 $p_{\ell}(n)$（$P_{\ell}^n$ における独立集合の数）の閉形式母関数を導出できるか？
• RQ4 $G_{\ell}^n$, $R_{\ell}^n$, $K_{\ell}^n$, $P_{\ell}^n$ の再帰的構成は、線グラフや完全グラフとどのように関係しているか？
• RQ5 $P_4^n$ における独立集合と、各奇数が偶数の隣接要素を持つ $\{1,2,\dots,2n+1\}$ の部分列との間の構造的関係は何か？

主な発見

• $P_{\ell}^n$ における独立集合の数の母関数は、明示的に $\sum_{n \geq 0} p_{\ell}(n)x^n = \frac{1+2x}{1 - (\ell-1)x - 2x^2}$ と与えられ、これはすべての $\ell \geq 2$ に対して有効である。
• $\ell = 3$ の場合、$p_3(n) = r_3(n)$ が成り立つ。これは、グラフ構築の構造的同型性により、$P_3^n$ と $R_3^n$ における独立集合の数が等しいことを示している。
• $n \geq 0$ に対して $p_4(n)$ の数列は $1, 5, 17, 61, 217, 773, 2753, 9805, 34921, 124373, \dots$ となり、OEIS シーケンス A007483 と一致する。
• $P_4^n$ における独立集合と、各奇数が偶数の隣接要素を持つ $\{1,2,\dots,2n+1\}$ の部分列との間の直接的な全単射が構築され、再帰的ラベリングと括弧規則を用いて明示的な前向き写像と逆写像が定義された。
• $G_3^n$ における独立集合の数は第2節で明示的に計算されており、グラフの再帰的構造の基本ケースを提供している。
• 転送行列法は、4つのすべてのグラフクラスに対して正確な母関数を効果的に得ており、行列 $P_{\ell}$ の構造が各段階における隣接関係と独立性制約を反映している。