[論文レビュー] Cartesian product of hypergraphs: properties and algorithms

Alain Bretto, Yannick Silvestre+1 more|Sep 28, 2009

Graph Labeling and Dimension Problems被引用数 4

ひとこと要約

本稿では、2節とラベル付き2節を用いて、連結な同型超グラフの素因数分解の線形時間アルゴリズムを提示する。これは、ImrichとPeterinのグラフ因数分解アルゴリズムを拡張したものである。また、超グラフのカルテシアン積における彩色数と彩色性質が因数分解のもとで保存されることを確立し、複雑な超グラフ問題をより単純な構成要素に効率的に分解することが可能になる。

ABSTRACT

Cartesian products of graphs have been studied extensively since the 1960s. They make it possible to decrease the algorithmic complexity of problems by using the factorization of the product. Hypergraphs were introduced as a generalization of graphs and the definition of Cartesian products extends naturally to them. In this paper, we give new properties and algorithms concerning coloring aspects of Cartesian products of hypergraphs. We also extend a classical prime factorization algorithm initially designed for graphs to connected conformal hypergraphs using 2-sections of hypergraphs.

研究の動機と目的

• 2節とラベル付き2節を用いて、グラフの素因数分解アルゴリズムを連結な同型超グラフへ拡張すること。
• カルテシアン積の分解における超グラフ彩色性質の安定性を調査すること。
• カルテシアン積の因数に超グラフ問題を分解することで、アルゴリズム的複雑性を低減すること。
• 同型を除いて、同型超グラフの素因数分解が一意に定まることを証明すること。
• 問題解決を単純化するために、超グラフを素因数に分解する多項式時間手法を提供すること。

提案手法

• 同型超グラフ H のラベル付き2節（L2節）を構築し、頂点の隣接関係と超辺のラベルを捉える。
• 2節グラフ G に対して、ImrichとPeterinの線形時間素因数分解アルゴリズムを適用し、素因数 G₁,…,Gₖ を得る。
• L2節から各因数 Gi に辺ラベルを制限して、部分的なラベル付きグラフ Γi を再構成する。
• 各 Γi の逆L2節として、元の超グラフ因数 Hi を再構成し、それらが同型超グラフであることを保証する。
• 元の超グラフ H が H₁□H₂□…□Hₖ と同型であることを検証する。
• 2節およびL2節の同型不変性を用いて、因数分解の正しさと一意性を保証する。

実験結果

リサーチクエスチョン

• RQ1 グラフの素因数分解アルゴリズムは、2節とラベル付き2節を用いて、超グラフ、特に同型超グラフへ適応可能か？
• RQ2 彩色数や彩色指数といった重要な彩色性質は、超グラフにおけるカルテシアン積の分解のもとで安定するか？
• RQ3 連結な同型超グラフの素因数分解は、同型を除いて一意的であり、かつ効率的に計算可能か？
• RQ4 超グラフ上の問題をカルテシアン積の因数に分解することで、アルゴリズム的複雑性を低減可能か？
• RQ5 この手法を用いて同型超グラフの素因数分解を計算する際の計算複雑性は何か？

主な発見

• 提案されたアルゴリズムは、任意の連結な同型超グラフの素因数分解を、O(m(H)·r(H)²) 時間で計算する。ここで m(H) は超辺数、r(H) は最大超辺サイズである。
• 超グラフのカルテシアン積の彩色数 χ(H) は、その因数の彩色数の最大値に等しい。
• 超グラフの彩色指数 q(H) は、q(H) = Δ(H) であるための必要十分条件は、超グラフが「彩色された超辺性質」を持つことであり、この性質はカルテシアン積の分解のもとで保存される。
• 連結な同型超グラフの素因数分解は、2節因数分解の一意性によって保証されるように、同型を除いて一意的である。
• このアルゴリズムは健全かつ完全である：常に同型超グラフの正しい素因数を返し、すべての同型超グラフがこのような分解をもつ。
• この手法により、問題の計算複雑性を元の超グラフからその因数へ移すことができ、因数上で効率的な問題解決が可能になる。