1 条题解
-
0
思路
付费规则把相邻两条道路绑定在一起。为记录尚未配对的第一条道路,可以把状态扩展为“当前城市”和“上一条未结算道路的权值”。权值只在 到 之间,因此每个城市只需常数个扩展状态。
将一对权值为 的道路费用拆成 。经过第一条道路时先加入 并记录 ;经过第二条时加入 ,然后清除记录。
做法
建立状态 。 表示当前没有未结算道路; 表示上一条道路权值为 。
从 经过权值 的边到达 ,边权为 。从 经过权值 的边到达 ,边权为 。所有扩展边权非负,因此从 运行 Dijkstra。城市 的答案是状态 的最短距离,其他带未结算权值的状态不能作为合法终点。
正确性证明
任意合法原图路径包含偶数条边。按顺序把每两条边分成一组,扩展图会先记录第一条权值,再在第二条边后回到未记录状态;两次扩展边权之和恰为 。因此每条合法路径对应一条等费用的扩展图路径。
反过来,从未记录状态出发并到达未记录状态的扩展图路径必然交替记录和结算道路,投影回原图后就是按两条道路成组的合法路径,费用也完全相同。Dijkstra 求得扩展图最短路,所以未记录状态的距离就是原问题最小费用。
复杂度
扩展图有 个状态,隐式转移总量为 。时间复杂度为 (常数含权值范围 ),空间复杂度为 。
- 1
信息
- ID
- 1273
- 时间
- 5000ms
- 内存
- 512MiB
- 难度
- 10
- 标签
- 递交数
- 1
- 已通过
- 1
- 上传者