算法分析
文章平均质量分 77
yuhailin060
这个作者很懒,什么都没留下…
展开
-
转:二分图的必须边
POJ1486, FOJ1202在自己做的二分图的题目当中,除了常见的最大匹配、最小覆盖、最大独立集、最小路径覆盖、带权最佳匹配外,自己还发现一类题型,就是要求出二分图里的哪些边是能够确定的。因为自己没系统的学习过二分图,我暂时把这些边叫做二分图的必须边。这些题的一般是给出哪些边可能存在或一定不存在,要你通过计算输出这样的二分图中哪些边是一定存在的。|| 先看一个例子:原创 2009-11-15 15:57:00 · 476 阅读 · 0 评论 -
ISPA 算法
4. Improved SAP 算法 本次介绍的重头戏。通常的 SAP 类算法在寻找增广路时总要先进行 BFS,BFS 的最坏情况下复杂度为 O(E),这样使得普通 SAP 类算法最坏情况下时间复杂度达到了 O(VE2)。为了避免这种情况,Ahuja 和 Orlin 在1987年提出了Improved SAP 算法,它充分利用了距离标号的作用,每次发现顶点无出弧时不是像 Dinic 算法那样转载 2009-11-28 23:34:00 · 649 阅读 · 0 评论 -
King 定理
Knig定理König定理 是一个二分图中很重要定理的意思是,一个二分图中的最大匹配数等于这个图中的最小点覆盖数。假如选了一个点就相当于覆盖了以它为端点的所有边,你需要选择最少的点来覆盖所有的边。证明 假如我们已经通过匈牙利算法求出了最大匹配(假设它等于M),下面给出的方法可以告诉我们,选哪M个点可以覆盖所有的边。 匈牙利算法需要我们从右边的某个没有匹配的点,走原创 2010-01-05 13:50:00 · 672 阅读 · 0 评论 -
稳定婚姻问题
话说在1962年,两个数学家David Gale 和Lloyd Shapley提出了下面的问题: 给定若干个男生和同样多的女生,他们每个人都对所有的异性有一个心理的偏好次序。是否存在一种男女配对组合构成一种稳定的组合关系?这里稳定组合的意思是说,不存在两个非伴侣的异性对彼此的评价比对各自伴侣的评价还要高。(可以理解,这样的异性太容易红杏出墙了,所以是某种不稳定因素。)进一步的问题是,在已知每个转载 2010-03-22 18:42:00 · 3076 阅读 · 1 评论 -
havel 定理 判断非负序列 是否可以图化
改部分来自网络:贪心的方法是每次把顶点按度大小从大到小排序,取出度最大的点Vi,依次和度较大的那些顶点Vj连接,同时减去Vj的度。连接完之后就不再考虑Vi了,剩下的点再次排序然后找度最大的去连接……这样就可以构造出一个可行解。判断无解有两个地方,若某次选出的Vi的度比剩下的顶点还多,则无解;若某次Vj的度减成了负数,则无解。至于什么是Havel定理,上面这个构造过程就是了定理的简单原创 2010-04-24 19:37:00 · 2044 阅读 · 0 评论 -
转 PKU 3687
转自: http://imlazy.ycool.com/post.2144071.html 个人觉得分析还可以! PKU 3687 在基本的拓扑排序的基础上又增加了一个要求:编号最小的节点要尽量排在前面;在满足上一个条件的基础上,编号第二小的节点要尽量排在前面;在满足前两个条件的基础上,编号第三小的节点要尽量排在前面……依此类推。(注意,这和字典序是两回事,不可以混淆。) 如图 1转载 2010-05-09 01:37:00 · 390 阅读 · 0 评论