标签:blog lock 系统 blank log htm https 题目 size
关于差分约束系统
转换题目所给的关系式(参考cxr大佬
$A=B$,可拆为$A\ge B,B\ge A$,即为$A-B\ge 0,B-A\ge 0$ (X=1)
$A<B$,改写为$A\le B-1$,即为$B-A\ge 1$ (X=2)
$A\ge B$,即为$A-B\ge 0$ (X=3)
$A>B$,改写为$A-1\ge B$,即为$A-B\ge 1$ (X=4)
$A\le B$,即为$B\ge A$ (X=5)
根据转换后的关系式建图,用SPFA跑一遍最长路即可~
最后答案为$\sum_{i=1}^{n}dis[i]$
标签:blog lock 系统 blank log htm https 题目 size
原文地址:https://www.cnblogs.com/qq8260573/p/10333137.html