弦图与区间图

原来想把论文里面所有没证的东西都证一遍,结果发现我太弱证不了【捂脸熊】那就把一些结论记一下吧QAQ以后有什么兴趣的话再来补证明

一些定义什么的自行脑补吧

1.对任意的一张图来说,团数<=色数,最大独立集数<=最小团覆盖数。当图是弦图的时候这两个式子都取到了等号。  

2.一张图是弦图当且仅当它有一个完美消除序列。

3.最大势算法(MCS)求一张弦图的完美消除序列。从n到1的顺序给每个点标号,设label[i]表示i与多少个已经标号的节点标号。那么每次选择label[i]最大点进行标号。

mlogn的算法只要维护一个堆即可。O(n+m)可以考虑给每个label[i]=j的j挂链表表示谁的label是j。

4.判断一个序列是否为完美消除序列。

设v[i+1……n]中与v[i]相邻的从前往后依次是v[j1]v[j2]。。。v[jk]只要判断v[j1]与其他的节点是否相邻即可。(正确性显然)

复杂度O(n+m)我们可以考虑从1到n判断,每次就给 i 对应的j1挂链表表示j1需要与谁相邻,然后复杂度应该均摊是O(n+m)

5.设N(i)表示与i节点相邻的且在完美消除序列中处于i之后的节点集合。根据定义可知i∪N(i)为一个团。

那么最大团一定是i∪N(i)的形式。证明可以把最大团的最前面那个点拎出来。

同理可以证明所有的团都是i∪N(i)或者是i∪N(i)的一个子集。

6.弦图的最大点独立集可以把完美消除序列求出来后从前往后能选就选。(为什么?)

7.求出最大点独立集之后取最大点独立集中的每个点i∪N(i)的团即为一个最小团覆盖。(这里的N(i)的定义还和原来的相同?)

8.完美图指一个图的任意一个诱导子图都满足 团数=色数,而伴完美图指任何一个诱导子图都满足  最大点独立集=最小团覆盖

完美图=伴完美图。弦图是完美图。

9.区间图是弦图。

10.给定n个区间,要求选择最多的区间 使得区间不互相重叠。其实就是区间图的最大点独立集。

11.有n个积木,高度均为1,第i个积木的宽度范围为[Li, Ri],选择一个积木的下落顺序使得最后积木总高度尽可能小。其实就是区间图的最小染色数。

12.区间图的一个完美消除序列可以把所有的区间按照右端点从小到大排序而得到。

后面就弃疗了【捂脸熊】

时间: 2024-10-31 00:27:16

弦图与区间图的相关文章

[ZOJ 1015]Fishing Net(MCS弦图的判定)

Description In a highly modernized fishing village, inhabitants there make a living on fishery. Their major tools, fishing nets, are produced and fixed by computer. After catching fishes each time, together with plenty of fishes, they will bring back

ZOJ 1015 弦图判定

一些定义: 弦图是一种特殊图:它的所有极小环都只有3个顶点. 单纯点:该顶点与其邻接点在原图中的导出子图是一个完全图. 图G的完美消去序列:一个顶点序列a1a2a3...an,使得对于每个元素ai,ai在ai.ai+1.ai+2...an的导出子图中是一个单纯点. 弦图有一个性质:任何一个弦图都至少存在一个单纯点(该点和其邻接点组成一个完全图) 弦图另一个性质:一个图是弦图当且仅当其存在完美消去序列.(归纳证明) 最大势算法(msc):若原图是弦图,则该算法计算出的序列是完美消去序列. 算法大致

ZOJ 1015 Fishing Net(弦图判定)

In a highly modernized fishing village, inhabitants there make a living on fishery. Their major tools, fishing nets, are produced and fixed by computer. After catching fishes each time, together with plenty of fishes, they will bring back the shabby

[BZOJ1006] [HNOI2008] 神奇的国度 (弦图)

Description K国是一个热衷三角形的国度,连人的交往也只喜欢三角原则.他们认为三角关系:即AB相互认识,BC相互认识,CA相互认识,是简洁高效的.为了巩固三角关系,K国禁止四边关系,五边关系等等的存在.所谓N边关系,是指N个人 A1A2...An之间仅存在N对认识关系:(A1A2)(A2A3)...(AnA1),而没有其它认识关系.比如四边关系指ABCD四个人 AB,BC,CD,DA相互认识,而AC,BD不认识.全民比赛时,为了防止做弊,规定任意一对相互认识的人不得在一队,国王相知道,

BZOJ 1006 HNOI2008 奇妙的国度 弦图最小染色 MCS算法

题目大意:给定一个弦图,求最小染色 弦图相关问题,详细见陈丹琦09年讲稿<弦图与区间图> PPT里有一个问题没说清楚 就是MCS算法的O(m+n)怎么来的 那个在 http://tieba.baidu.com/p/2891159900 有jcvb神犇具体的解答 至于染色怎样标号,时间戳标记暴力硬扫就可以 #include<cstdio> #include<cstring> #include<iostream> #include<algorithm>

BZOJ 1006 HNOI2008 神奇的国度 弦图最小染色 MCS算法

题目大意:给定一个弦图,求最小染色 弦图相关问题,具体见陈丹琦09年讲稿<弦图与区间图> PPT里有一个问题没说清楚 就是MCS算法的O(m+n)怎么来的 那个在 http://tieba.baidu.com/p/2891159900 有jcvb神犇详细的解答 至于染色如何标号,时间戳标记暴力硬扫即可 #include<cstdio> #include<cstring> #include<iostream> #include<algorithm>

[BZOJ 1006] [HNOI2008] 神奇的国度 【弦图最小染色】

题目链接: BZOJ - 1006 题目分析 这道题是一个弦图最小染色数的裸的模型. 弦图的最小染色求法,先求出弦图的完美消除序列(MCS算法),再按照完美消除序列,从后向前倒着,给每个点染能染的最小颜色. 求出的颜色数就是最小染色,同时也是最大团. 代码 #include <iostream> #include <cstdlib> #include <cstdio> #include <cmath> #include <cstring> #in

bzoj 1006 弦图染色

给定一个弦图,问最少染色数. 对于弦图的一个完美消去序列,从后往前染色,每次染可以染的最小编号的颜色,由完美消去序列的定义,序列任一后缀的点的导出子图中,由该后缀第一个元素及其邻接点导出的子图一定是完全图,所以,序列中某一元素染的颜色编号是该完全图的大小.所以最小染色数小于等于最大团的点数,而显然前者又大于等于后者,故弦图的最小染色数等于最大团的大小. 1 /************************************************************** 2 Prob

bzoj 1006: [HNOI2008]神奇的国度 弦图的染色问题&amp;&amp;弦图的完美消除序列

1006: [HNOI2008]神奇的国度 Time Limit: 20 Sec  Memory Limit: 162 MBSubmit: 1788  Solved: 775[Submit][Status] Description K国是一个热衷三角形的国度,连人的交往也只喜欢三角原则.他们认为三角关系:即AB相互认识,BC相互认识,CA相互认识,是简洁高效的.为了巩固三角关系,K国禁止四边关系,五边关系等等的存在.所谓N边关系,是指N个人 A1A2...An之间仅存在N对认识关系:(A1A2)