[论文解读] 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

一句话总结

本文通过边界团（定义为仅与一个最小点分割集相交的团）刻画弦图中的团树及最大团的完美序列。证明了边界团恰好对应团树的端点，建立了团树与完美序列之间的对称二元关系，并证明该关系所构成的二分图对任意弦图均为连通。此外，推导出弦图中团树唯一性与任意性的充要条件。

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.

研究动机与目标

• 通过边界团（即仅与一个最小点分割集相交的最大团）刻画弦图中团树端点的特征。
• 在团树集合与最大团完美序列集合之间建立对称二元关系，并分析其结构性质。
• 证明表示团树与完美序列之间关系的二分图对任意弦图始终连通。
• 推导弦图具有唯一团树或可接受任意树作为团树的充要条件。

提出的方法

• 将边界团定义为仅与一个最小点分割集相交的最大团，并证明其等价于团树的端点。
• 基于Lauritzen提出的团树与完美序列相互转换的算法，引入团树与最大团完美序列之间的对称二元关系。
• 将该关系表示为团树集合与完美序列集合之间的二分图，并通过最大团数量的归纳法证明其连通性。
• 通过在最小点分割集上对弦图进行结构分解并结合归纳法，证明该二分图的连通性。
• 利用端点的刻画（通过边界团）支持基于最大团数量的归纳法证明连通性。
• 通过分析最小点分割集及其相关团的结构，推导出团树唯一性与任意性的充要条件。

实验结果

研究问题

• RQ1 在弦图中，哪些最大团可作为团树的端点，其特征如何？
• RQ2 弦图中团树集合与最大团完美序列集合之间存在何种结构关系？
• RQ3 连接团树与完美序列的二分图是否对任意弦图都保持连通？
• RQ4 在何种条件下，弦图的团树是唯一的？在何种条件下，任意树均可作为其团树？

主要发现

• 边界团（即仅与一个最小点分割集相交的最大团）恰好是可作为团树端点的最大团。
• 连接团树集合与最大团完美序列集合的二分图对任意弦图始终连通。
• 该二分图的连通性使得可在团树与完美序列空间上构造连通的马尔可夫链，对优化具有实用价值。
• 弦图可接受任意树作为团树，当且仅当每个最小点分割集均为单点集（即不存在大小≥2的最小点分割集）。
• 弦图具有唯一团树，当且仅当每个最小点分割集恰好包含于两个最大团中。
• 通过边界团对端点的刻画，是通过最大团数量归纳法证明二分图连通性的关键要素。