这两个概念都是相对于有向无环图而言的, 有向无环图就是一种偏序集
对于偏序集
链的定义是 链上的两点 x,y 要么 x可以到达y 要么y可以到达x
反链的定义 链上两点 x,y 两点相互不可达
最小相交路覆盖的定义 就是在一个有向图中,找出最少的路径,使得这些路径经过了所有的点。每条路径过的点可以重复,就是每个点最少经过一次。
最小相交路径覆盖 还等于 顶点数 - 最大匹配数(二分图而言的)
是用已经有的图用特定的方法构造出来的二分图
方法 首先将图进行floyd 算法判断各个两点的连通性 然后按下图所说
取自博客参考博客
证明 最小路径覆盖 还等于 顶点数 - 最大匹配数(二分图而言的)
假设拆点建的图中一条匹配边都没有——也就意味着没有边。此时每一个顶点为一条路径,最小路径覆盖为N。
然后,在拆点建的图中增加一条匹配边,我们发现这对应着原图中的一个点融入了另一条路径,因此最小路径覆盖要-1。进一步我们发现,每增加一条能够匹配的边,就意味着原图中的又一个点加入到了某一条路径当中。因此最小路径覆盖会-1。因此有多少条匹配边就减几次。所以要让答案最小,也就是让匹配边尽量多。问题转化为了二分图的最大匹配问题
二分图最大匹配学习链接: 学习
关于 最小路径覆盖=最长反链长度
这个可以将图 画成哈斯图 可能看着就会理解了, 其实是在每条路径上,都会找出一个点,这些点组成最长反链,讲不清楚,
画图看着看着就有感觉了