zoukankan      html  css  js  c++  java
  • [置顶] 白话最小边覆盖总结--附加 hdu1151结题报告

    刚开始看到这个题目的时候就觉得想法很明了,就是不知道如何去匹配...

    去网上看了不少人的解题报告,但是对于刚接触“最小边覆盖”的我来说....还是很困难滴....于是自己又开始一如以往学习“最大独立集”、“最小点覆盖的”的思考方式啦:在了解一个看似高深的知识点之前,粗略了解这是个什么东东,那么看概念也会更好理解,(希望此博客在自己以后回头来看会一目明了,也对刚接触“最小边覆盖”的人有帮助(万分感到荣幸害羞)):

    首先把题目的第一个案例图形化(第一,图形好理解,第二,很多人看到文字就烦啦。第三,图论不画图怎么可以捏大笑),我们把交叉路看成点,街道看成边,就如下图:

    要求选择最少的伞兵降落在某些交叉口,使他们走完所有的交叉口,(注意是单向边)从图中很容易选择,我们在二号交叉口降落一个走到3再走到4,然后在1好交叉口降落一个,总共两个就可以访问所有的交叉口,我们就可以这样看:把3号街道和1号街道看做一条边,把2.3.4号交叉点都覆盖啦:如图

    这样就对“最小边覆盖”有了那么点粗俗的理解啦

    接下来是解决这个问题,用匈牙利匹配:因为刚开始接触二分匹配,我就想用街道(简化为点)去和交叉口匹配:(谁知道...如图)

    可想而知..完全不知道怎么匹配....

    接着就看看最小边覆盖和二分匹配的关系吧:(如果觉得看文字概念还是很烦..可以看下面的图形说明,不过结合文字和图形更有助理解)(摘自百度百科)

    路径覆盖与 二分图匹配的关系(必须是没有圈的有向图):
    最小路径覆盖=|P|-最大匹配数(|P|为定点数)
    其中最大匹配数的求法是把P中的每个顶点pi分成两个顶点pi'与pj'',如果在p中存在一条pi到pj的边,那么在二分图P'中就有一条连接pi'与pj''的无向边;这里pi' 就是p中pi的出边,pj''就是p中pj 的一条入边;
    对于 公式:最小路径覆盖=|P|-最大匹配数;可以这么来理解;
    如果匹配数为零,那么P中不存在有向边,于是显然有:
    最小路径覆盖=|P|-最大匹配数=|P|-0=|P|;即P的最小路径覆盖数为|P|;
    P'中不在于匹配边时,路径覆盖数为|P|;
    如果在P'中增加一条匹配边pi'-->pj'',那么在图P的路径覆盖中就存在一条由pi连接pj的边,也就是说pi与pj 在一条路径上,于是路径覆盖数就可以减少一个;
    如此继续增加匹配边,每增加一条,路径覆盖数就减少一条;直到匹配边不能继续增加时,路径覆盖数也不能再减少了,此时就有了前面的公式;但是这里只 是说明了每条匹配边对应于路径覆盖中的一条路径上的一条连接两个点之间的有向边;下面来说明一个路径覆盖中的每条连接两个顶点之间的有向边对应于一条匹配 边;
    与前面类似,对于路径覆盖中的每条连接两个顶点之间的每条有向边pi--->pj,我们可以在匹配图中对应做一条连接pi'与pj''的边, 显然这样做出来图的是一个匹配图(这一点用反证法很容易证明,如果得到的图不是一个匹配图,那么这个图中必定存在这样两条边 pi'---pj'' 及 pi' ----pk'',(j!=k),那么在路径覆盖图中就存在了两条边pi-->pj, pi--->pk ,那边从pi出发的路径就不止一条了,这与路径覆盖图是矛盾的;还有另外一种情况就是存在pi'---pj'',pk'---pj'',这种情况也类似可证);
    至此,就说明了匹配边与路径覆盖图中连接两顶点之间边的一一对应关系,那么也就说明了前面的公式成立!
    我们根据上面概念方法来画图.... 让交叉点和交叉点点去匹配
    那么图中连线的意思就是:1号有一条路可以去3号,二号也有一条路去3号,三号有一条路去4号,可以想象1号2号我们可以来一个伞兵任意选一个走到3号...(一个匹配),然后从3号走到4号,就先1/2---->3------>4两个匹配就走了三个点,剩下一个点就再来一个兵就可以啦。。。。那么 最小边覆盖=|P|-最大匹配这个公式就比较明了啦....
    上马,马上来点解释:
    // 0MS 244K 
    #include<stdio.h>
    #include<string.h>
    
    #define MAX 121
    
    int no_in,no_st;//交叉路的数量,街道数量
    bool map[MAX][MAX];//map[i][j]表示i号交叉口有一条街道可以达到j号交叉口
    int link[MAX];
    bool useif[MAX];
    
    bool dfs(int t)
    {
    	for(int i=1;i<=no_in;i++)
    	{
    		if(!useif[i] && map[t][i])
    		{
    			useif[i]=true;
    			if(link[i]==-1 || dfs(link[i]))
    			{
    				link[i]=t;return true;
    			}
    		}
    	}
    	return false;
    }
    
    int match()
    {
    	int sum=0;
    	memset(link,-1,sizeof(link));
    	for(int i=1;i<=no_in;i++)
    	{
    		memset(useif,false,sizeof(useif));
    		if(dfs(i))
    			sum++;
    	}
    	return sum;
    }
    
    int main()
    {
    	int T;
    	int a,b;
    	scanf("%d",&T);
    	while(T--)
    	{
    		memset(map,0,sizeof(map));
    		scanf("%d%d",&no_in,&no_st);
    		for(int i=1;i<=no_st;i++)
    		{
    			scanf("%d%d",&a,&b);
    			map[a][b]=1;//注意是单项路
    		}
    		printf("%d
    ",no_in-match());
    	}
    	return 0;
    }


    个人愚昧观点...欢迎指正、交流讨论
  • 相关阅读:
    Scrum冲刺第一篇
    项目冲刺
    需求改进&系统设计
    需求规格说明书
    团队作业第五周-测试和发布
    冲刺集合贴
    冲刺第6天
    冲刺第7天
    冲刺第5天
    冲刺第四天
  • 原文地址:https://www.cnblogs.com/keanuyaoo/p/3279726.html
Copyright © 2011-2022 走看看