分析:比较经典的差分约束,对于每种情况我们可以通过不同的连边方式来体现。
1.=,add(x,y,0),add(y,x,0)
2.<,add(x,y,1)
3.>=,add(y,x,0)
4.>,add(y,x,1)
5.<=,add(x,y,0)
其中2,4是无等于号的,如果x=y,明显无解。
然后连边,连边完以后跑spfa最长路,注意这里spfa先把所有点加入,然后一个个跑,具体看代码。答案就是所有点的dis值。其实这里的spfa类似于连了一个超级源点跑。
code:
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#define fo(i,a,b) for(int i=a;i<=b;i++)
#define fd(i,a,b) for(int i=a;i>=b;i--)
using namespace std;
typedef long long ll;
const int N=5e5+5;
int n,m;
int head[N],go[N],next[N];
int q[N],in[N],vis[N],val[N],dis[N];
int tot;
int t=0,w=1;
inline void add(int x,int y,int z)
{
go[++tot]=y;
val[tot]=z;
next[tot]=head[x];
head[x]=tot;
}
inline bool spfa()
{
while (t<w)
{
int x=q[++t];
int i=head[x];
vis[x]=0;
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];
in[i]++;
if (in[i]>n)return 0;
if (!vis[v])
{
vis[v]=1;
q[++w]=v;
}
}
}
}
return 1;
}
int main()
{
scanf("%d%d",&n,&m);
fo(i,1,m)
{
int id,x,y;
scanf("%d%d%d",&id,&x,&y);
if (id==1)
{
add(x,y,0);
add(y,x,0);
}
if (id==2)
{
add(x,y,1);
if (x==y)
{
printf("-1\n");
return 0;
}
}
if (id==3)
{
add(y,x,0);
}
if (id==4)
{
add(y,x,1);
if (x==y)
{
printf("-1\n");
return 0;
}
}
if (id==5)
{
add(x,y,0);
}
}
fo(i,1,n)
{
vis[i]=dis[i]=1;
q[++w]=i;
}
if (!spfa())
{
printf("-1\n");
return 0;
}
ll ans=0;
fo(i,1,n)ans+=dis[i];
printf("%lld\n",ans);
return 0;
}