图论知识整理

定义：

最小路径覆盖：

用简单路径（一个点只经过一次的路径）去覆盖所有点的最少路径条数。

最小点覆盖：

选出最少的点，使任意一条边连接的两个点都至少有一个被选。

最大独立集：

独立集：图的点集的一个子集，这些点之间两两没有边相连。
最大独立集：点数最大的独立集。

最大团：

团：和独立集相对，图的点集的一个子集，这些点两两之间都有边相连。
最大团：点数最大的团。

DAG的定理：

最小路径覆盖：

将每个点拆成x,x’
如果有边x->y,则在二分图中连x->y’.

最小路径覆盖=节点数-二分图最大匹配。

二分图的定理：

最小点覆盖：

最小顶点覆盖=最大匹配，证明显然。

最大独立集：

最大独立集=节点数-最大匹配。

最大团：

在正常图的定义中，团是两两之间都有边。
但是很显然二分图中同一集合的点是没有边的。
所以二分图的最大团指的是，从A、B两边各选出一些点，使得A的点和B的点之间都有边相连。

二分图最大团=补图的最大独立集。

补图指的是如果原图有(x,y)这条边，则补图没有，反之有。二分图的补图定义也要满足二分图的性质。