二分图的覆盖与独立集

最小点覆盖

概念

给定一个二分图，求出一个最小的点集$S$，使得图中任意一条边都有至少一个端点属于$S$。这个问题被称为二分图的最小点覆盖，简称最小覆盖。

定理

二分图最小点覆盖包含的点数等于二分图最大匹配包含的边数。

最大独立集

概念

图的独立集就是任意两点之间都没有边相连的点集。包含点数最多的一个就是图的最大独立集。
任意两点之间都有一条边相连的子图被称为无向图的团。点数最多的团被称为团的最大团。

定理

无向图$G$的最大团等于其补图$G^{\prime }$的最大独立集。
二分图最大独立集的大小等于$n$减去最大匹配数。

有向无环图的最小路径点覆盖

概念

给定一张有向无环图，要求用尽量少的不相交的简单路径，覆盖有向无环图的所有顶点（也就是每个顶点恰好被覆盖一次）。这个问题被称为有向无环图的最小路径点覆盖，简称“最小路径覆盖”。
设原来的有向无环图为$G=(V,E)$，$n=|V|$。把$G$中的每个点$x$拆成编号为$x$和$x+n$的两个点。建立一张新的二分图，$1\sim n$作为二分图左部点，$n+1\sim 2n$作为二分图的右部点，对于原图的每条有向边$(x,y)$，在二分图的左部点$x$与右部点$y+n$之间连边。最终得到的二分图称为$G$拆点二分图，记为$G_2$。

定理

有向无环图$G$的最小路径点覆盖包含的路径条数，等于$n$减去拆点二分图$G_2$的最大匹配数。

最小路径可重复点覆盖

概念

给定一张有向无环图，要求用尽量少的可相交的简单路径，覆盖有向无环图的所有顶点（也就是一个节点被覆盖多次）。这个问题被称为有向无环图的最小路径点覆盖。

定理

有向无环图$G$的最小路径点可重复点覆盖，等价于先对有向图传递闭包，得到有向无环图$G^{\prime }$，再在$G^{\prime }$上求一般的（路径不可相交）最小路径点覆盖。