首先看蓝书上的代码
为什么即将开始dfs时,没有一开始就把vis[i]标记了?
其实dfs的流程是从左部的一个节点出发,考察右部的一个节点,如果右部的节点已经匹配了,下次dfs直接从这个右部节点的匹配点开始计算,所以vis的标记都是标记的右部节点,左部节点是不用标记的(因为是匹配二分图,只会被访问到一次)
而且对第i个点的dfs中,从右部节点走到左部节点的这个左部节点一定是之前就已经经历过的左部节点,不会是比i还大的左部节点。因为每一次dfs的结果,要么就是没找到增广路,此时第i个点是非匹配点,要么就是找到了增广路了,此时一定会把第i个点和右部的一个节点变成匹配点(路径上其余点都是之前已经确定了的匹配点)
所以左部节点都经历过dfs后,这个图一定没有增广路了。假设有,那么对于这条增广路,设其从左部非匹配节点x出发,终点是右部非匹配节点y,那么在之前的循环循环到x的时候,肯定也考察了这一条路径的,之所以认为这条路径不是增广路,就是因为不是交错路,此时肯定是这条路径中相邻三个点i,j,k(其中i和k是左部节点,j是右部节点)的两条边都是非匹配边,那么此时j一定是非匹配点,所以这条路径的部分(从x到j)就是一条增广路,就会把x标记成匹配节点,矛盾,所以一定没有增广路了
标签:解释,匹配,增广,匈牙利,dfs,算法,右部,左部,节点 From: https://www.cnblogs.com/dingxingdi/p/17835008.html