最小相交路径覆盖=最长反链长度

这两个概念都是相对于有向无环图而言的， 有向无环图就是一种偏序集

对于偏序集 

链的定义是 链上的两点 x，y   要么 x可以到达y 要么y可以到达x

反链的定义   链上两点 x，y   两点相互不可达

最小相交路覆盖的定义  就是在一个有向图中，找出最少的路径，使得这些路径经过了所有的点。每条路径过的点可以重复，就是每个点最少经过一次。

最小相交路径覆盖 还等于 顶点数 - 最大匹配数（二分图而言的）

是用已经有的图用特定的方法构造出来的二分图

方法  首先将图进行floyd 算法判断各个两点的连通性  然后按下图所说  

取自博客参考博客

证明  最小路径覆盖 还等于 顶点数 - 最大匹配数（二分图而言的）

假设拆点建的图中一条匹配边都没有——也就意味着没有边。此时每一个顶点为一条路径，最小路径覆盖为N。

然后，在拆点建的图中增加一条匹配边，我们发现这对应着原图中的一个点融入了另一条路径，因此最小路径覆盖要-1。进一步我们发现，每增加一条能够匹配的边，就意味着原图中的又一个点加入到了某一条路径当中。因此最小路径覆盖会-1。因此有多少条匹配边就减几次。所以要让答案最小，也就是让匹配边尽量多。问题转化为了二分图的最大匹配问题

二分图最大匹配学习链接： 学习

 

关于 最小路径覆盖=最长反链长度 

这个可以将图 画成哈斯图  可能看着就会理解了， 其实是在每条路径上，都会找出一个点，这些点组成最长反链，讲不清楚，

画图看着看着就有感觉了

 

最小路径覆盖学习链接