[論文レビュー] Edge-clique graphs of cocktail parties have unbounded rankwidth

Maw‐Shang Chang, Ton Kloks+1 more|arXiv (Cornell University)|May 11, 2012

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

ひとこと要約

この論文は、カクテルパーティー図のエッジクリークグラフが有界でないランク幅を持つことを示し、cographのエッジクリークグラフが有界ランク幅を持つという予想を反証した。著者らは、χ-有界性とエッジクリークグラフの独立集合数に基づく背理法を用い、ランク幅が有界であれば、これらのグラフにおけるエッジクリーク被覆数と独立集合数の既知の下界と矛盾することを示した。

ABSTRACT

In an attempt to find a polynomial-time algorithm for the edge-clique cover problem on cographs we tried to prove that the edge-clique graphs of cographs have bounded rankwidth. However, this is not the case. In this note we show that the edge-clique graphs of cocktail party graphs have unbounded rankwidth.

研究の動機と目的

• エッジクリークグラフがcographに対して有界ランク幅を持つかどうかを調査すること。これは効率的なアルゴリズムのための重要な構造的性質である。
• 特定のcographであるカクテルパーティー図から導かれるエッジクリークグラフのランク幅の挙動を特定すること。
• エッジクリーク被覆問題がcograph上で多項式時間で解ける可能性を、構造的グラフ理論によって挑戦すること。
• 有界でないランク幅がパラメータ化計算複雑性およびエッジクリーク被覆問題のカーネル化に与える影響を検討すること。

提案手法

• エッジクリークグラフ $K_e(G)$ を、$G$ の辺に対応する頂点を持ち、辺が共通するクリークを共有する場合に隣接すると定義する。
• 関係式 $\theta_e(G) = \kappa(K_e(G))$ を用いる。ここで $\kappa$ は頂点クリーク被覆数を表す。
• 定理 1.1 を適用し、$\theta_e(cp(n))$ に対して対数的下界を確立する。これにより $\theta_e(cp(n)) \geq \log_2(2n+1)$ が得られる。
• 明示的な構成とエッジクリークグラフ内での隣接関係の解析を用いて、$n \geq 2$ のとき $\alpha(K_e(cp(n))) = 4$ を示す。
• グラフのランク幅がその補グラフのランク幅の1つより小さいことを利用し、$\text{rankwidth}(K_e(G))$ と $\text{rankwidth}(\overline{K_e(G)})$ の関係を確立する。
• DvořákとKrálの結果（有界ランク幅のグラフはχ-有界）を用い、$K_e(cp(n))$ が有界ランク幅を持つと仮定すると矛盾が生じることを導く。

実験結果

リサーチクエスチョン

• RQ1 cographのエッジクリークグラフは有界ランク幅を持つのか？
• RQ2 カクテルパーティー図から導かれるエッジクリークグラフのランク幅は何か？
• RQ3 cograph上でエッジクリーク被覆問題が多項式時間で解ける可能性があると仮定するならば、エッジクリークグラフが有界ランク幅を持つ場合にどうなるか？
• RQ4 有界ランク幅グラフのχ-有界性と、$K_e(cp(n))$ の独立集合数およびクリーク被覆数との間に矛盾は生じるか？
• RQ5 もし $K_e(cp(n))$ が有界でないランク幅を持つならば、エッジクリーク被覆問題のカーネル化にどのような制限が生じるか？

主な発見

• カクテルパーティー図のエッジクリークグラフは有界でないランク幅を持つ。これは、cographのエッジクリークグラフが有界ランク幅を持つという仮説を反証した。
• $n \geq 2$ のとき、独立集合数 $\alpha(K_e(cp(n)))$ は正確に 4 である。これは重要な構造的不変量である。
• エッジクリーク被覆数 $\theta_e(cp(n))$ は $\theta_e(cp(n)) \geq \log_2(2n+1)$ を満たし、$n$ に対して対数的に増加する。
• 矛盾は、$K_e(cp(n))$ が有界ランク幅を持つと仮定すると、$\kappa(K_e(cp(n)))$ が $\alpha(K_e(cp(n))) = 4$ の関数で有界でなければならないが、これは $\theta_e(cp(n))$ の対数的増加と矛盾するため生じる。
• この結果により、cographのエッジクリークグラフのクラスは有界ランク幅ではないことが示され、ランク幅に基づくアルゴリズムの適用範囲が制限される。
• エッジクリーク被覆問題はcographに対してもNP完全のままであり、そのエッジクリークグラフの構造的複雑性が示唆している。