由最短路构成的有向无环图

由最短路构成的有向无环图

题目背景 P1841 重要的城市

题意概括

给定一张无向图，对于一个点，如果它被删去了，任意两点（不包括删去点）最短路径增长（或不通），则称这个点是重要的，求出所有重要的点。$N\le 200$。

首先考虑最暴力的算法：枚举每一个点，删除它后跑一遍全源最短路。但是这样无论用什么算法都会超时。但只要省掉一维还是可以的。

我们可以只考虑在原图中最短路径上的边，也就是说，对于源点 $u$，其他点 $v$，只保留 $u$ 到 $v$ 最短路径上的边。注意最短路径有多条，所以得到的不是最短路树，而是最短路 DAG，为什么一定没有环呢，因为对于 $u\to v$，总有 $d_u<d_v$，不可能形成闭环。

这就是最短路 DAG，它保证了所有路径绝对是最短路径。

回到原题，我们会发现，对于一个点 $u$，如果它有多个父节点，似乎不好判断什么。但是如果它只有一个不是源点的父节点，那么这个父节点一定是重要节点，删去它，就会更新 $d_u$。我们只要统计这类点就好了，因为后面点的最短路径是从前面点继承而来的。

这就是最短路 DAG，个人认为它比最短路树更有应用空间，在保留所有最短路径同时，也有着 DAG 的无后效性。对解决有关最短路数量的问题有很大帮助。