[論文レビュー] A comparison of two approaches for polynomial time algorithms computing basic graph parameters

Frank Gurski|ArXiv.org|Jun 25, 2008

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

ひとこと要約

この論文は、木幅とクライク幅の表現に基づく動的計画法を比較し、木幅とクライク幅が有界なグラフ上で、独立数、クライク数、彩色数、クライク被覆数といった基本的なグラフパラメータを効率的に計算する手法を検討している。幅パラメータに依存する多項式時間アルゴリズムを提示し、木幅1（木）やクライク幅≤2（co-グラフ）の特殊ケースでは線形時間解法を実現している。両手法は補完的であり、木幅は論理的枠組みに基づく広範な tractability を可能にし、クライク幅はより大きなグラフクラスをカバーできることを示している。

ABSTRACT

In this paper we compare and illustrate the algorithmic use of graphs of bounded tree-width and graphs of bounded clique-width. For this purpose we give polynomial time algorithms for computing the four basic graph parameters independence number, clique number, chromatic number, and clique covering number on a given tree structure of graphs of bounded tree-width and graphs of bounded clique-width in polynomial time. We also present linear time algorithms for computing the latter four basic graph parameters on trees, i.e. graphs of tree-width 1, and on co-graphs, i.e. graphs of clique-width at most 2.

研究の動機と目的

• NP困難なグラフ問題を多項式時間で解くために、木幅とクライク幅の構造のアルゴリズム的有効性を比較すること。
• 木幅とクライク幅が有界なグラフ上で、4つの基本的グラフパラメータ（独立数、クライク数、彩色数、クライク被覆数）を計算するための動的計画法スキームの開発と分析を行うこと。
• 特殊ケースとして、木（木幅1）とco-グラフ（クライク幅≤2）におけるこれらのパラメータの線形時間アルゴリズムを提供すること。
• パラメータ計算にあたり、木分解とクライク幅表現の両方を用いる際の実用的・理論的トレードオフを評価すること。
• 補完問題とモノディック第二階論理（MSO₁）表現可能性が、これらのアルゴリズム枠組みに与える影響を検討すること。

提案手法

• 木幅が有界なグラフに対して、木構造の下向き走査を用いた木分解に基づく動的計画法スキームを設計する。
• 頂点結合、ラベル付き頂点間の辺追加、再ラベル操作を活用したクライク幅表現に基づく第二の動的計画法スキームを実装する。
• 木分解または表現木の各ノードで部分解をメモ化し、ラベル構成とパラメータ状態を追跡する。
• 分解木または表現木を介して状態を伝搬させ、独立数、クライク数、彩色数、クライク被覆数を計算する。
• 既知のモノディック第二階論理（MSO₁）の結果を活用し、クライク幅表現が与えられた場合に、有界クライク幅グラフ上で線形時間解法が存在することを正当化する。
• 補完問題の解法を比較する：グラフのクライク幅表現を変換して、補完グラフ上のパラメータを計算する。クライク幅kのグラフにおける補完問題は2k-表現を必要とすることに注意する。

実験結果

リサーチクエスチョン

• RQ1 木幅とクライク幅の構造は、基本的グラフパラメータの多項式時間計算において、それぞれどの程度の能力を発揮するか？
• RQ2 木分解とクライク幅表現に基づく動的計画法は、独立数、クライク数、彩色数、クライク被覆数の両方を効率的に計算できるか？
• RQ3 これらのアルゴリズムの時間計算量は何か？ また、木幅とクライク幅パラメータに対してどのようにスケーリングされるか？
• RQ4 なぜ一部の問題は有界木幅では tractable だが、有界クライク幅ではNP困難となるのか？ また、モノディック第二階論理（MSO₁）はこの違いにどのように関与するか？
• RQ5 有界クライク幅グラフ上の補完問題を、直接計算する場合と変換済み表現を用いる場合とで、効率性はどのように比較されるか？

主な発見

• 木幅とクライク幅が有界なグラフ上で、独立数、クライク数、彩色数、クライク被覆数を計算する多項式時間アルゴリズムが存在する。計算時間は幅パラメータに関して指数的であり、入力サイズに関しては多項式的である。
• 木（木幅1）とco-グラフ（クライク幅≤2）では、それぞれの構造に基づく動的計画法を用いて、これらの4つのパラメータを線形時間で計算可能である。
• クライク幅有界グラフ上の補完問題に関しては、k-表現を2k-表現に変換することで、クライク数などのパラメータを独立集合アルゴリズムで計算可能であるが、計算時間の指数部分が増加する。
• モノディック第二階論理（MSO₁）により、クライク幅が有界なグラフ上でクライク数と独立数は線形時間で解けることが保証されるが、分割問題には拡張されない。
• 頂点被覆数は、Gallaiの恒等式 τ(G) + α(G) = |V_G| により、有界木幅および有界クライク幅グラフ上で線形時間で計算可能である。これは独立集合問題と関連している。
• 木幅はMSO₁に基づく結果の適用範囲を広くカバーできるが、クライク幅はより大きなグラフクラスをカバーできる。しかし一部の問題（例：頂点素性パス）は、有界クライク幅グラフに対してもNP困難であるため、クライク幅の主な限界が浮き彫りになる。