[論文レビュー] Counting unlabelled toroidal graphs with no K33-subdivisions

Andrei Gagarin, Gilbert Labelle+1 more|ArXiv.org|Sep 1, 2005

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

ひとこと要約

この論文は、種の理論とウォルシュのインデックス級数を用いて、$K_{3,3}$-部分分割を含まないトーラス的および射影平面上のグラフの、新しい未ラベル化列挙フレームワークを構築する。構造定理を応用して、2ポールネットワークをコアグラフに置換することで、このようなグラフを分解し、明示的な母関数と列挙式を導出し、64頂点まで未ラベル化非平面的$K_{3,3}$-自由グラフの数え上げを可能にする。

ABSTRACT

We provide a description of unlabelled enumeration techniques, with complete proofs, for graphs that can be canonically obtained by substituting 2-pole networks for the edges of core graphs. Using structure theorems for toroidal and projective-planar graphs containing no K33-subdivisions, we apply these techniques to obtain their unlabelled enumeration.

研究の動機と目的

• トーラスまたは射影平面上に埋め込める非平面的$K_{3,3}$-自由グラフの体系的未ラベル化列挙手法の開発。
• 特にウォルシュのインデックス級数を用いた、自動同型と辺サイクル構造を扱うための種の理論的手法の拡張。
• $K_{3,3}$-自由2連結グラフの構造定理を応用し、2ポールネットワークを置換したコアグラフに分解する。
• 64頂点まで未ラベル化トーラス的および射影平面上のグラフの明示的母関数を計算する。
• 問題をネットワーク級数とコアの自動同型型の計算に還元することで、未ラベル化$K_{3,3}$-自由グラフの列挙の基盤を提供する。

提案手法

• 2ポールネットワークのクラス$\mathcal{N}$をコアグラフのクラス$\mathcal{G}$の辺に置換する操作$\mathcal{G} \uparrow \mathcal{N}$を導入し、複雑なグラフを構成する。
• 自動同型データを符号化するウォルシュインデックス級数$W_{\mathcal{G}}$を定義し、コアグラフ上の自動同型のサイクル型と、ネットワーク上に誘導される wreath 構造を統合する。
• 種の理論を用いて、未ラベル化列挙を、自動同型$\sigma$を伴うラベル付きペア$(G, \sigma)$の指数母関数に関連付ける。
• 生成関数の再帰的公式を、$\mathcal{G}$のウォルシュ級数と$\mathcal{N}$の正負の wreath 級数に基づいて導出する。
• トーラス的および射影平面上のコアにこの手法を適用し、特に無限族の「トーラスクラウン」を対象とし、パスとサイクルのマッチング多項式を用いる。
• ネットワークのルート付きシリンダ型およびモビウス型 wreath 構造と自動同型サイクル型の関係を確立し、サイクル指数分解を用いた正確な列挙を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ラベル化列挙を超えて、$K_{3,3}$-自由トーラス的および射影平面上のグラフの未ラベル化列挙を体系的に行うにはどうすればよいか？
• RQ2 自動同型サイクル型と辺サイクルのルート付けは、複雑なグラフをコアとネットワークに分解することを可能にする役割を果たすか？
• RQ3 種の理論と母関数を用いて、2ポールネットワークをコアグラフに置換する操作をどのように形式化できるか？
• RQ4 特にトーラスクラウンの無限族に対して、未ラベル化$K_{3,3}$-自由トーラス的グラフの母関数の構造はいかなるものか？
• RQ5 未ラベル化非平面的$K_{3,3}$-自由グラフの列挙は、どの程度までネットワーク級数とコアの自動同型データの計算に還元できるか？

主な発見

• 本論文は、$\mathcal{G} \uparrow \mathcal{N}$ 置換モデルを用いて、未ラベル化$K_{3,3}$-自由トーラス的および射影平面上のグラフの完全な母関数フレームワークを確立した。
• ウォルシュインデックス級数の閉形式表現を、$\mathcal{G}$のウォルシュ級数と$\mathcal{N}$の正負の wreath 級数に基づいて導出し、正確な列挙を可能にした。
• トーラスクラウンの場合、母関数はパスとサイクルのマッチング多項式を含み、自動同型の下でシリンダ型およびモビウス型 wreath 構造の両方を考慮した。
• 著者らは、64頂点まで未ラベル化トーラスクラウンおよびトーラスコアの数を計算し、小さなサイズの明示的数値データを提供した。
• 表2と表3は、未ラベル化非平面的2連結$K_{3,3}$-自由射影平面上のグラフ（最大9頂点）およびトーラス的グラフ（最大12頂点）の完全な列挙を示している。
• この手法により、未ラベル化列挙問題はネットワーク級数の計算に還元され、一般には未解決のままだが、小規模グラフについてはアルゴリズム的生成により取り扱える。