【luogu1993】小 K 的农场（差分约束）

题目：

小K的农场

题解：新知识了差分约束

学会了就会发现这题是个裸题。

这里提出hin重要的几句话

 对于每个不等式 x[i] - x[j] <= a[k]，对结点 j 和 i 建立一条 j -> i的有向边，边权为a[k]，求x[n-1] - x[0] 的最大值就是求 0 到n-1的最短路。

如果这个建图中有负环，说明不存在，可以用SPFA判断有无负环。此题一定使用SPFA的DFS形式，因为SPFA的BFS判断负环最坏复杂度为O(N^2)而DFS只有O(N)，所以用BFS会TLE。

没有用longlong会T？？？

代码：

#include <cstdio>#include <cstring>#define N 20005#define LL long long using namespace std;int tot,nxt[N],point[N],v[N],cc[N],n;LL dis[N];bool vis[N];void addline(int x,int y,int cap){++tot; nxt[tot]=point[x];point[x]=tot; v[tot]=y; cc[tot]=cap;}bool spfa(int now){vis[now]=1;for (int i=point[now];i;i=nxt[i])if (dis[v[i]]>dis[now]+cc[i]){  dis[v[i]]=dis[now]+cc[i];  if (vis[v[i]]) return 0;  else if (!spfa(v[i])) return 0;}vis[now]=0;return 1;}int main(){int m,i;scanf("%d%d",&n,&m);for (i=1;i<=m;i++){int id,a,b,c;scanf("%d",&id);if (id==1){scanf("%d%d%d",&a,&b,&c);addline(a,b,-c);}if (id==2){scanf("%d%d%d",&a,&b,&c);addline(b,a,c);}if (id==3){scanf("%d%d",&a,&b);    addline(a,b,0); addline(b,a,0);}}for (i=1;i<=n;i++) addline(0,i,0);memset(dis,0x7f,sizeof(dis));dis[0]=0;if (spfa(0)) printf("Yes");else printf("No");}