[論文レビュー] Counting unrooted maps using tree-decomposition

Éric Fusy|ArXiv.org|Jan 6, 2006

semigroups and automata theory参考文献 15被引用数 6

ひとこと要約

本稿では、2連結および3連結なマップを、制約付き四角形分割の木構造的構造に変換することで、非根付きマップを効率的に列挙するための新しい木分解手法を提案する。この手法は、母関数とバーンサイドの公式を用いて、非根付き3連結マップの最初の $N$ 個の係数を $\u00d3(N\log N)$ の計算量で得ることを可能にし、従来の手法に比べ顕著な改善を実現する。

ABSTRACT

We present a new method to count unrooted maps on the sphere up to orientation-preserving homeomorphisms. The principle, called tree-decomposition, is to deform a map into an arborescent structure whose nodes are occupied by constrained maps. Tree-decomposition turns out to be very efficient and flexible for the enumeration of constrained families of maps. In this article, the method is applied to count unrooted 2-connected maps and, more importantly, to count unrooted 3-connected maps, which correspond to the combinatorial types of oriented convex polyhedra. Our method improves significantly on the previously best-known complexity to enumerate unrooted 3-connected maps.

研究の動機と目的

• 非根付きマップ、特に2連結および3連結マップのような制約付き族を一般かつ効率的に列挙するための手法を開発すること。
• ウォルシュによる非根付き3連結マップの列挙において、コストの高い係数抽出処理に起因する計算非効率性を克服すること。
• マップの列挙を単純化するため、双対性を利用した四角形分割への置換として、木分解技術を四角形分割に適用すること。
• バーンサイドの公式を用いて、$k$-根付きマップの代数的および計算複雑性に関する結果を確立し、非根付きマップの個数を効率的に計算可能にする。
• ループなしや単純なマップなどの他のマップ族に対しても、分解戦略を適応することで、この手法を拡張すること。

提案手法

• 本手法は、多重辺による分解と分離4サイクルによる分解の2つの木分解を用い、単純かつ非可約な四角形分割を木構造的構造として表現する。
• 角の双対性を用いて非根付きマップを $k$-根付き対象に写像し、マップの列挙問題を四角形分割の列挙問題に変換する。
• $k$-根付きマップに対して、分解木のコアが対称性の固定点を形成するため、$k$-根付き四角形分割の母関数とその構成要素の母関数との間の関係式を導出可能となる。
• 最初の木分解を用いて $k$-根付き非可約四角形分割の母関数を、2番目の木分解を用いて $k$-根付き単純四角形分割の母関数をそれぞれ導出するが、$k=2$ の場合については注意深いケース解析を実施する。
• バーンサイドの公式を適用して、$k$-根付きカウントを統合し、非根付きマップカウントを得る。この際、母関数の代数的構造を活用する。
• 特に、代数的級数 $\gamma(z)$ に有理的である母関数の $D$-有限性および代数的性質を活用し、効率的な係数計算を実現する。

実験結果

リサーチクエスチョン

• RQ1 木分解を用いて、特に3連結マップに対して、$k$-根付き非根付きマップのための効率的母関数を導出可能か？
• RQ2 本手法を用いた非根付き3連結マップの列挙における計算量は、従来の手法と比較してどのように異なるか？
• RQ3 多重辺による木分解と分離4サイクルによる木分解を、単純および非可約四角形分割を木構造的構造に分解するためにどのように利用できるか？
• RQ4 ループや多重辺、分離4サイクルによる木分解を組み合わせることで、ループなしや単純なマップ族に対してもこの手法を拡張可能か？
• RQ5 分解木のコアは、特に $k=2$ の場合に $k$-根付きマップの構造にどのように影響を与えるか？

主な発見

• $k$-根付き非可約四角形分割の母関数は、$\gamma(z)$ が $\gamma(z) = z(1 + \gamma(z))^2$ を満たす代数的級数であるとき、2変数の $(\gamma_1, \gamma_2)$-有理型である。
• $k$-根付き単純四角形分割の母関数は、1変数の $\gamma$-有理型であり、コア分解の代数的構造と直接的な関連を有する。
• 非根付き3連結マップに関しては、母関数の代数的および $D$-有限性を活用し、辺数による最初の $N$ 個の係数を $\u00d3(N\log N)$ の演算で計算可能である。
• 頂点数と辺数の組 $(i,j)$ でインデックス付けされた、$i+j \leq N$ を満たす非根付き3連結マップの係数表は、$\u00d3(N^2)$ の演算で計算可能である。
• 従来の最も良い既知の複雑度に比べ、本手法は非根付き3連結マップの列挙において顕著な改善を実現しており、特に高価な係数抽出ステップの削減に寄与している。
• ループ、多重辺、分離4サイクルによる木分解を組み合わせることで、本手法はループなしや単純なマップ族に対しても拡張可能である。