本文详细介绍了洛谷P3953题目的解题思路，主要涉及最短路径、冗余度计算以及快速判断零环的方法。通过定义路径冗余度，利用动态规划dp[i][j]表示1到i冗余度为j的路径数量。在处理过程中，注意到存在零环时无解，并根据冗余度大小确定DP顺序。文章提供了排序及DP状态转移的策略，以及如何处理零边的情况，最终给出了解决问题的代码实现。
P3953 逛公园
题目：传送门
思路：
定义⼀条路径 (X…Y) 的冗余度为它的长度减去 X…Y 的最短路长度，那么这题就是求1到N的冗余度小于k的路径的条数。我们定义 d p [ i ] [ j ] dp[i][j] dp[i][j] 代表1到 i 的冗余度等于 j 的路径的条数。对于一条有u到v的边表示为W(u,v)，我们定义函数 p ( u , v ) = w ( u , v ) + d i s [ u ] + d i t [ v ] − d i s [ T ] p(u,v)=w(u,v)+dis[u]+dit[v]-dis[T] p(u,v)=w(u,v)+dis[u]+dit[v]−dis[T] 。那么 d p [ v ] [ j ] = S U M ( d p [ u ] [ j − p ( u , v ) ] ) dp[v][j]=SUM(dp[u][j-p(u,v)]) dp[v][j]=SUM(dp[u][j−p(u,v)]) ,这个函数的意义是S到T的路径中走(u,v)这条边浪费的长度。其中 u 是后驱为v的边的前驱顶点，边权为w。
这题我们主要注意两点，第一点即零环无解，第二点是确定DP顺序，使得DP顺序是DP图的一个拓扑序(满足无后效性)。
第一点因为数据量较大，我们可以考虑把所有0边都提出来，判断是否存在环即可。
第二点我们可以根据先从小到大枚举冗余度k，在排除第一点的条件下，因为冗余度为0的路径不可能是一个环，对于冗余度不为0的边，我们不用管(因为我们是枚举是k从大到小)，对于浪费度为0的边(这些边只可能是到v的最短路上的边，非零边和零边)，在最短路上的边我们可以根据dis值从小到大来确定dp顶点顺序。对于dis值相等且这两个顶点有一个冗余度为0的边，即零边。我们需要额外的用另一种方法确定他们的dp顺序，我们可以在前面第一点的时候求零的顶点拓扑序列设为id，这样的话得到了零边的更新方式。
So
最低0.47元/天 解锁文章
298
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
