差分约束的裸题,顺便学习一下差分约束。。表示以前只会差分。。发现这个东西好像就是用差分的思想转化题目模型,感觉肯定会有超强的脑洞题目= =
这题的话,我们可以对题目模型做如下转化。
对于亲密的奶牛,d[y]-d[x]<=z,那么我们连一条x->y边长为z的边,表示x,y的距离至多为z。
对于那些互相憎恶的奶牛,d[y]-d[x]>=z,那么我们连一条y->x边长为-z的边,表示从y到x的距离至少为z。
由于编号在前位置肯定在前所以add(i,i-1,0);
如果看不懂看下面这个
对于一对点x,y(x>y),可能列出的不等式:d(x)-d(y)<=L,d(x)-d(y)>=D,移项得出d(x)<=d(y)+L,d(y)<=d(x)-D
然后求起点为1的最短路就行了(d(1)=0),如果1和n不连通那么无限大,如果存在负环则无解
#include<cstdio>
#include<cstring>
#include<algorithm>
#define fo(i,a,b) for(int i=a;i<=b;i++)
#define fd(i,a,b) for(int i=a;i>=b;i--)
#define inf 0x3c3c3c3c
using namespace std;
const int N=3e5+5;
int n,m;
typedef long long ll;
int head[N],next[N],go[N];
int val[N],a[N],b[N],c[N];
int q[N];
int dis[N];
int t,ans,tot,m2,m1;
inline void add(int x,int y,int z)
{
go[++tot]=y;
next[tot]=head[x];
val[tot]=z;
head[x]=tot;
}
bool vis[N],flag=0;
int cnt[N];
inline void spfa()
{
memset(dis,0x3c,sizeof(dis));
dis[1]=0;
q[1]=1;
int t=0,w=1;
vis[1]=1,cnt[1]=1;
while (t<w)
{
int x=q[++t];
for(int i=head[x];i;i=next[i])
{
int v=go[i];
if (dis[v]>dis[x]+val[i])
{
dis[v]=dis[x]+val[i];
if (!vis[v])
{
if (cnt[v]==n)
{
flag=1;
return ;
}
q[++w]=v;
vis[v]=1;
cnt[v]++;
}
}
}
vis[x]=0;
}
}
int main()
{
scanf("%d%d%d",&n,&m1,&m2);
fo(i,1,m1)
{
int x,y,z;
scanf("%d%d%d",&x,&y,&z);
add(x,y,z);
}
fo(i,1,m2)
{
int x,y,z;
scanf("%d%d%d",&x,&y,&z);
add(y,x,-z);
}
fo(i,2,n)add(i,i-1,0);
spfa();
if (flag)printf("-1\n");
else if(dis[n]==inf)printf("-2");
else printf("%d\n",dis[n]);
}