- 博客(8)
- 资源 (3)
- 收藏
- 关注
RSS订阅原创 Tarjan三大算法之双连通分量（割点，桥）
Robert Endre Tarjan是一个美国计算机学家，他传奇的一生中发明了无数算法，统称为Tarjan算法。其中最著名的有三个，分别用来求解 1) 无向图的双连通分量 2) 有向图的强连通分量 3) 最近公共祖先问题 接下来几篇博客将分别讲述三个算法，首先是无向图的双连通分量，我们先从无向图的割点和桥讲起。 下面介绍中无向图中割点和桥的概念： 割点：一个结点称为割点（或者割顶）当
2016-04-23 11:25:35
11457
4
原创 UVALIVE 3523（双连通分量+二分图染色）
题目链接：UVALIVE 3523解题思路： 这题是一道神题，考察的内容非常综合！ 这题最终转化为求解图中结点是在一个奇圈上。首先我们可以把所有的圈找出来，即找到所有的双连通分量，跑一边tarjan算法即可。之后重头戏来了，我们获得一个双连通块之后，怎么判断块中的点是不是在一个奇圈上？答案——二分图染色！ 定理：一个图为二分图的充分必要条件是图中不存在奇圈。 因此，如果一个双连通块为二分图，
2016-04-08 10:21:21
1062
2
原创 UVA 11478（差分约束系统）
题目链接：UVA 11478解题思路： 题目要求使所有的边权值为正且尽量大，可以很自然地想到最大值最大化的经典解法——二分法。我们需要二分地去寻找答案，判断答案是否合理可以通过构建差分约束系统解决。 我们假设在第 i 个点上进行的权值操作为sum[i]，那么所有 i 的出边都增加sum[i]，入边都减少sum[i]，因为每条边本身有权值，我们要满足权值增减之后所有边权为正，即满足等式sum[i]
2016-04-07 18:04:02
981
原创 匹配极其相关问题（四）
前言： 之前已经介绍了最小点覆盖与最大点独立，那么接下来就应该是最小边覆盖问题了。最小边覆盖问题有很多变种，其中最常见的就是DAG上的最小路径覆盖，这种问题可以转化成二分图最大匹配解决。基本定理： 根据博客（一），有定理如下： 定理4：二分图中，无孤立点，点独立数=边覆盖数=N-边独立数 若存在M个孤立点，上述定理3、4在顶点数N扣除M后成立。 定理7：无向图中，无孤立点， 1）若
2016-04-06 23:21:56
535
原创 匹配及其相关问题（三）
前言： 第二篇博客介绍了匈牙利算法解二分图最大匹配，这次我们需要应用这个算法来解决最小点覆盖与最大点独立问题。基本定理： 根据博客（一），我们有以下定理： 定理3：二分图中，无孤立点，点覆盖数=边独立数（匹配数） 定理8：无向图中，无孤立点，最小点覆盖集与最大点独立集互补 我们这次需要使用这两个定理来解决最小点覆盖与最大点独立问题。算法思路： 根据定理3，我们有点覆盖数等于匹配数，那么
2016-04-05 22:24:08
582
原创 匹配极其相关问题（一）
简介： 匹配问题是图论中一类非常经典的问题，最经典、常见的有二分图最大匹配和二分图最大权匹配，分别可以使用匈牙利算法与KM算法较高效解决。另外，匹配问题通常与支配集、覆盖集、独立集相关联，我们可以通过转化问题，将这些问题转化成匹配问题后套用算法解决。下面先介绍一些基本概念。基本概念： 匹配问题通常与支配集、覆盖集、独立集等问题相关，下面分别介绍五个基本概念。 1、点支配集： 对无向图G=(V
2016-04-05 11:09:13
826
原创 UVA 11090（SPFA判负环）
题目链接：UVA 11090解题思路： 这题需要使用二分法来解决，思路类似与最大值最小化问题，我们可以把求解最小均值环的问题转化成判断负环的问题。二分的过程中，我们可以每次猜想一个最小值，然后使所有的边的权值减去这个最小值，若存在负环，则这个值太大了，最小值需要减小，否则增加。判断负环可以使用Bellman-Ford算法的优化算法，SPFA算法解决。代码设计： 因为最小均值可以为浮点数，而且只需
2016-04-04 14:02:40
899
原创 UVA 10537（最短路）
题目链接：UVA 10537解题思路： 这题是大白书上的最短路例题，应用情景非常经典。首先我们在计算最短路的时候需要从终点算起，因为图中边的权值是变化的；计算的方法是一个坑，大概就是对于一个整数N，求一个整数M，使得N=M−⌈M/20⌉N=M-\lceil M/20\rceil式子是这样的M=⌈19N/20⌉M=\lceil 19N / 20 \rceil，公式的得出需要先考虑M可以被20整除的情
2016-04-03 21:47:27
1288
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人