弦图与区图-陈丹琦.pptx

清华大学 陈丹琦;图的基本概念;图的基本概念;图的基本概念;图的基本概念;图的基本概念;图的基本概念;图的基本概念;图的基本概念;图的基本概念;图的基本概念;弦图的概念;弦图的概念;弦图的概念;弦图的判定;弦图的判定;弦图的判定;弦图的判定;弦图的判定;弦图的判定;弦图的判定;弦图的判定;求完美消除序列;求完美消除序列;求完美消除序列;LexBFS算法;LexBFS算法;LexBFS算法;LexBFS算法;LexBFS算法;LexBFS算法;LexBFS算法;LexBFS算法;LexBFS算法;MCS算法;MCS算法;MCS算法;MCS算法;MCS算法;MCS算法;MCS算法;MCS算法;MCS算法;MCS算法;MCS算法;MCS算法;弦图的判定;弦图的判定;弦图的判定;弦图的判定;设第i个点在弦图的完美消除序列第p(i)个。 令N(v) = {w | w与v相邻且p(w) p(v)} 弦图的极大团一定是 的形式。 证明： 设点集V的诱导子图为弦图的极大团，设v为V中p(i)值最小的点即出现在完美消除序列中最前面的点。由于 为一个团，V为极大团所以 。 ;设第i个点在弦图的完美消除序列第p(i)个。 令N(v) = {w | w与v相邻且p(w) p(v)} 弦图的极大团一定是 的形式。 推论：弦图最多有n个极大团。 如何找到弦图的所有极大团呢? 即判断每个 是否为极大团 ;判断 是否为极大团;判断 是否为极大团;判断 是否为极大团;判断 是否为极大团;Next(w) = v 当且仅当 |N(v)| + 1 ≤ |N(w)| ;Next(w) = v 当且仅当 |N(v)| + 1 ≤ |N(w)| ;弦图的点染色问题;弦图的点染色问题;弦图的点染色问题;弦图的点染色问题;弦图的点染色问题;弦图的点染色问题;弦图的点染色问题;弦图的点染色问题;弦图的点染色问题;弦图的点染色问题;弦图的点染色问题;弦图的最大独立集和最小团覆盖;弦图的最大独立集和最小团覆盖;弦图的最大独立集和最小团覆盖;弦图的最大独立集和最小团覆盖;弦图的最大独立集和最小团覆盖;弦图的最大独立集和最小团覆盖;弦图的最大独立集和最小团覆盖;完美图与伴完美图;完美图与伴完美图;完美图与伴完美图;区间图;区间图;经典问题;经典问题;经典问题;经典问题;区间图;区间图;区间图;树的分解(Tree Decomposition);树的分解(Tree Decomposition);树的分解(Tree Decomposition);树的分解(Tree Decomposition);树的分解(Tree Decomposition);Clique Tree;Clique Tree;Clique Tree;Clique Tree;Clique Tree;Clique Tree;区间图的判定;区间图的判定;区间图的判定;区间图的判定;区间图的判定;区间图的判定;区间图的判定;例;例;例;区间图的判定;区间图的判定;Thank you.