[POJ 3164]

Command Network

有向图最小生成树

需要用到朱刘-Edmonds算法。算法的基本步骤很简单(证明就略过了):
(1)从源点出发DFS,若无法到达所有点,最小生成树不存在,直接返回;
(2)找每个结点的最小权入边;
(3)若存在环,将同一环上所有结点进行缩点,对于指向该环内某点的边,将其权值减去该点的最小入边权,重复(2);若无环,则树已建成。

但实现这个算法却想了整整一天。

分析算法步骤可以发现,(2)中每次选中的各个最小权,其值都属于最小生成树的一部分,一旦某边被选中后,其权值将确定不再修改。因此可以考虑对边作一个标记,表示是否已选走,之后找环时可以直接忽略这些边。另外,缩点操作可能使某些边变成自环,这些边也是要忽略的。

(3)找环时,可以考虑标记各个点,每次从无标记的某个点出发沿入边回溯,若遇到标记相同的点表示找到了环,此时可继续回溯将环上所有点标记为第t步找出的环。然后就是缩点,这里我用到了并查集。首先,需要修改各入边权值。然后,记录各个环上的点原本的父结点,再依次将环上各点与其父结点作并集。最后,将生成的新点入边权值更新为无穷大。这里需要记录原父结点是因为并查集缩点后原来的结点编号就失效了,因此环信息也就被破坏了(在这一步DEBUG了很久才发现问题……)。

最后就是遍历整个边表,将各个有标记的边权值相加,即为最小生成树权值。

时间复杂度方面,迭代部分的找最小权入边O(E),找环O(V),更新边权值O(E),缩点O(V)。以上这些操作最多迭代O(V)次,因此总体时间复杂度是O(VE)的。实在是很漂亮的算法……

ps:做题到现在为止,第一次用到中国人发明的算法。两位作者中,我只搜到了朱永津,只有这篇文章讲得稍微多点,相关资料出奇的少呢……