摘要:
差分约束系统 求解不等式组 有解 必有无穷多解(全部加上一个常数) 无解 转化为图上的最短路或者最长路 不等号方向为 ⇐ 最短路 不等号方向为 >= 最长路 例子 B - A >= c (1) C - B >= a (2) C - A >= b (3) 把A看做源点,A到A的距离是0(或者想象一个虚 阅读全文
摘要:
弗洛伊德算法 基本思想 先限制从u到v的路径只能经过1号结点或不经过1号结点 再放宽限制,u到v的路径可以从2号结点或不经过2号结点 以此类推,从u到v的路径可以经过任意中继结点或者不经过任意中继节点 特性 可以处理负边 源码 HDU 1874 c++ include include include 阅读全文