定义:
最小路径覆盖:
用简单路径(一个点只经过一次的路径)去覆盖所有点的最少路径条数。
最小点覆盖:
选出最少的点,使任意一条边连接的两个点都至少有一个被选。
最大独立集:
独立集:图的点集的一个子集,这些点之间两两没有边相连。
最大独立集:点数最大的独立集。
最大团:
团:和独立集相对,图的点集的一个子集,这些点两两之间都有边相连。
最大团:点数最大的团。
DAG的定理:
最小路径覆盖:
将每个点拆成x,x’
如果有边x->y,则在二分图中连x->y’.
最小路径覆盖=节点数-二分图最大匹配。
二分图的定理:
最小点覆盖:
最小顶点覆盖=最大匹配,证明显然。
最大独立集:
最大独立集=节点数-最大匹配。
最大团:
在正常图的定义中,团是两两之间都有边。
但是很显然二分图中同一集合的点是没有边的。
所以二分图的最大团指的是,从A、B两边各选出一些点,使得A的点和B的点之间都有边相连。
二分图最大团=补图的最大独立集。
补图指的是如果原图有(x,y)这条边,则补图没有,反之有。二分图的补图定义也要满足二分图的性质。