[論文レビュー] Boundary cliques, clique trees and perfect sequences of maximal cliques of a chordal graph

Hisayuki Hara, Akimichi Takemura|ArXiv.org|Jul 11, 2006

Commutative Algebra and Its Applications参考文献 25被引用数 12

ひとこと要約

この論文は、境界クリーク（最小頂点分離集合をちょうど1つと交差するクリーク）を用いて、弦的グラフにおけるクリークツリーと完全な最大クリーク列を特徴づける。境界クリークがクリークツリーの端点とちょうど一致することを示し、クリークツリーと完全なクリーク列を結ぶ二部グラフが常に連結であること、および弦的グラフにおけるクリークツリーの一意性および任意性の必要十分条件を導出する。

ABSTRACT

We characterize clique trees of a chordal graph in their relation to simplicial vertices and perfect sequences of maximal cliques. We investigate boundary cliques defined by Shibata and clarify their relation to endpoints of clique trees. Next we define a symmetric binary relation between the set of clique trees and the set of perfect sequences of maximal cliques. We describe the relation as a bipartite graph and prove that the bipartite graph is always connected. Lastly we consider to characterize chordal graphs from the aspect of non-uniqueness of clique trees.

研究の動機と目的

• 境界クリーク（最小頂点分離集合をちょうど1つと交差する最大クリーク）の概念を用いて、弦的グラフにおけるクリークツリーの端点を特徴づけること。
• クリークツリーの集合と最大クリークの完全列の集合との間に対称的な二項関係を確立し、その構造的性質を分析すること。
• 弦的グラフの任意の例について、クリークツリーと完全なクリーク列を結ぶ二部グラフが常に連結であることの証明。
• 弦的グラフが一意なクリークツリーを持つための必要十分条件、および任意の木をクリークツリーとして許容するための必要十分条件を導出すること。

提案手法

• 境界クリークを、ちょうど1つの最小頂点分離集合と交差する最大クリークとして定義し、それがクリークツリーの端点と等価であることを示す。
• Lauritzenのアルゴリズムに基づき、クリークツリーと最大クリークの完全列との間の対称的二項関係を導入する。
• クリークツリーの集合と完全なクリーク列の集合との間の関係を、二部グラフとして表現し、最大クリークの数に関する帰納法を用いてその連結性を証明する。
• 最小頂点分離集合に沿った弦的グラフの構造的分解と帰納法を用いて、二部グラフの連結性を証明する。
• 端点の特徴づけ（境界クリークを用いて）を、最大クリーク数に関する帰納的証明における連結性の証明を支援するために活用する。
• 最小頂点分離集合の構造とその関連クリークを分析することで、クリークツリーの一意性および任意性の必要十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 弦的グラフにおいて、どの最大クリークがクリークツリーの端点として現れ得るか、そしてそれらはどのように特徴づけられるか？
• RQ2 弦的グラフにおいて、クリークツリーの集合と最大クリークの完全列の集合との間の構造的関係は何か？
• RQ3 クリークツリーと完全なクリーク列を結ぶ二部グラフは、任意の弦的グラフについて常に連結か？
• RQ4 弦的グラフのクリークツリーが一意となる条件は何か？また、任意の木をクリークツリーとして許容する条件は何か？

主な発見

• 境界クリーク（最小頂点分離集合をちょうど1つと交差する最大クリーク）は、クリークツリーの端点として現れる最大クリークの集合とちょうど一致する。
• 任意の弦的グラフについて、クリークツリーの集合と完全な最大クリーク列の集合を結ぶ二部グラフは常に連結である。
• 二部グラフの連結性により、クリークツリーと完全なクリーク列の空間上で連結なマルコフ連鎖を構築でき、最適化に有用である。
• 弦的グラフが任意の木をクリークツリーとして許容するための必要十分条件は、すべての最小頂点分離集合が単一の頂点からなること（すなわち、サイズが2以上の最小頂点分離集合が存在しないこと）である。
• 弦的グラフが一意なクリークツリーを持つための必要十分条件は、すべての最小頂点分離集合がちょうど2つの最大クリークに含まれることである。
• 最大クリーク数に関する帰納法による二部グラフの連結性の証明において、境界クリークによる端点の特徴づけが不可欠である。