qq_43653111的博客

Codeforces Global Round 12 E. Capitalism【查分约束】题意： 给你n个点，m条边的无向图，现在有m个限制.每个点都有自己的属性值disop= =1,说明dis[u]+1=dis[v];op= =2,说明dis[u]+1=dis[v]或dis[v]+1=dis[u];让你最大化max(dis[1-n])-min(dis[1-n]),不满足限制条件输出NO，否则输出属性方案。思路： 看上去很明显的查分约束，首先是把等式转换成不等式，再根据三角不等式建边跑最短路。

具体三类模型看这篇博客：添加链接描述写的很详细，我只给出对应例题的代码:建图技巧：1.a-b<=c ——> add(b,a,-c)spfa跑最短路2.a-b>=c ——> add(b,a,c)spfa跑最长路其他不等式或者等式可以转化成这种形式来做1、线性约束线性约束一般是在一维空间中给出一些变量（一般定义位置），然后告诉你某两个变量的约束关系，求两个变量a和...