[論文レビュー] Clique-width of unit interval graphs

Vadim Lozin|ArXiv.org|Sep 12, 2007

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

ひとこと要約

この論文は、ユニットインターバルグラフの任意の適切な遺伝的部分クラスが有界なクライク幅を持つことを証明しており、ユニットインターバルグラフのクラスが無限大のクライク幅に対して最小であることを確立している。この結果は、このような部分クラスがすべてあるユニットインターバルグラフを誘導部分グラフとして含まないことを示すことから導かれる。さらに、それらを標準的なユニットインターバルグラフ $H_{k,k}$ に埋め込むことで、構造的分解とモジュール数の議論によりクライク幅が有界であることが示される。

ABSTRACT

The clique-width is known to be unbounded in the class of unit interval graphs. In this paper, we show that this is a minimal hereditary class of unbounded clique-width, i.e., in every hereditary subclass of unit interval graphs the clique-width is bounded by a constant.

研究の動機と目的

• ユニットインターバルグラフの遺伝的部分クラスに有界なクライク幅が存在するかどうかを特定すること。
• ユニットインターバルグラフのクラスが無限大のクライク幅に関して最小であるかどうかを調査すること。
• ユニットインターバルグラフの構造的性質を同定し、それがクライク幅が有界または無限大になる原因となること。
• ユニットインターバルグラフの任意の適切な遺伝的部分クラスが有界なクライク幅を持つことを証明すること。
• ユニットインターバルグラフのクライク幅は無限大であるが、任意の適切な遺伝的部分クラスでは有界になることを確立すること。

提案手法

• すべての $n$ 頂点を持つユニットインターバルグラフを埋め込むことができる普遍的なサブグラフとしての、標準的なユニットインターバルグラフ $H_{n,m}$ を使用する。
• ストライプを単調に通過する分離曲線 $Ω$ を用いたパーティショニング手順を適用し、グラフを部分集合 $X$ と $Y$ に分割する。
• 補グラフが二部グラフ鎖グラフ（co-chain graphs）である場合に、クラスタと自明なクラスタを定義し、近傍の類似性を分析する。
• モジュール数（$\mu$）を適用して、各パーティション内の近傍タイプの数を有界化し、$\mu(X), \mu(Y) \leq 4k^2 - 5k$ を保証する。
• グラフを $V_1, \dots, V_t$ に再帰的にパーティショニングし、各部分集合がクライク幅 3k 以下の部分グラフを誘導することを保証する。
• 補題 4 と系 5 を適用して、グラフ全体のクライク幅を $12k^3 + 72k^2 - 36k + 96$ 以下に有界化する。

実験結果

リサーチクエスチョン

• RQ1 ユニットインターバルグラフのすべての遺伝的部分クラスにおいてクライク幅は無限大であるか？
• RQ2 ユニットインターバルグラフの遺伝的部分クラスが有界なクライク幅を持つために必要な構造的性質は何か？
• RQ3 ユニットインターバルグラフのクラスは、無限大のクライク幅に関して最小とみなせるか？
• RQ4 任意の1つのユニットインターバルグラフを誘導部分グラフとして除外することで、クライク幅が有界になるか？
• RQ5 適切な遺伝的部分クラスに属するグラフの最大クライク幅は何か？

主な発見

• ユニットインターバルグラフのクラス全体のクライク幅は、以前に確立されたように無限大である。
• ユニットインターバルグラフの任意の適切な遺伝的部分クラスは有界なクライク幅を持つため、このクラスは無限大のクライク幅に対して最小である。
• すべての $k$ 頂点を持つユニットインターバルグラフは、標準的なユニットインターバルグラフ $H_{k,k}$ の誘導部分グラフである。
• 適切な遺伝的部分クラスに属するグラフのクライク幅は、$12k^3 + 72k^2 - 36k + 96$ 以下に有界であり、ここで $k$ は除外された最小のユニットインターバルグラフの頂点数である。
• パーティショニングプロセスにおける任意の誘導部分グラフのモジュール数 $\mu$ は $4k^2 - 5k$ 以下に有界であり、これがクライク幅の有界性を可能にする。
• 証明は、分離曲線による構造的分解と、補グラフにおけるクラスタベースの近傍解析に依存しており、類似クラスが有界であることを保証する。