幼儿园里有N个小朋友,lxhgww老师现在想要给这些小朋友们分配糖果,要求每个小朋友都要分到糖果。但是小朋友们也有嫉妒心,总是会提出一些要求,比如小明不希望小红分到的糖果比他的多,于是在分配糖果的时候,lxhgww需要满足小朋友们的K个要求。幼儿园的糖果总是有限的,lxhgww想知道他至少需要准备多少个糖果,才能使得每个小朋友都能够分到糖果,并且满足小朋友们所有的要求。
Input
输入的第一行是两个整数N(1≤N≤100000),K(1≤K≤100000)。
接下来K行,表示这些点需要满足的关系,每行3个数字,X,A,B(1 ≤ X ≤ 5, 1 ≤ A,B ≤N)。
如果X=1, 表示第A个小朋友分到的糖果必须和第B个小朋友分到的糖果一样多;
如果X=2, 表示第A个小朋友分到的糖果必须少于第B个小朋友分到的糖果;
如果X=3, 表示第A个小朋友分到的糖果必须不少于第B个小朋友分到的糖果;
如果X=4, 表示第A个小朋友分到的糖果必须多于第B个小朋友分到的糖果;
如果X=5, 表示第A个小朋友分到的糖果必须不多于第B个小朋友分到的糖果;
Output
输出一行,表示lxhgww老师至少需要准备的糖果数,如果不能满足小朋友们的所有要求,就输出−1
样例输入:
5 7
1 1 2
2 3 2
4 4 1
3 4 5
5 4 5
2 3 5
4 5 1
样例输出:
11
题解:差分约束系统+判环,dis[i]表示第i个小朋友最少拿几个糖果。stack大法好,切记答案可能会超过int
#include<iostream>
#include<cstring>
#include<algorithm>
#include<stack>
#include<cstdio>
#include<queue>
#include<cstdlib>
#define LiangJiaJun main
#define INF 1999122700
using namespace std;
int n,k,ne=1,h[100004];
struct edge{
int to,next,w;
}e[300004];
void insert(int u,int v,int w){
e[++ne].to = v;
e[ne].w = w;
e[ne].next = h[u];
h[u] = ne;
}
int dis[100004],cnt[100004];
bool inq[100004];
queue<int>q;
bool spfa(){
for(int i=0;i<=n;i++)dis[i]=-INF;
dis[0]=0;cnt[0]=1;
inq[0]=1;q.push(0);
while(!q.empty()){
int x=q.front();q.pop();
for(int i=h[x];i;i=e[i].next){
if( dis[e[i].to] < dis[x] + e[i].w){
dis[e[i].to] = dis[x] + e[i].w;
if(!inq[e[i].to]){
inq[e[i].to]=1;
q.push(e[i].to);
}
++cnt[e[i].to];
if(cnt[e[i].to] >= n) return 1;
}
}
inq[x]=0;
}
return 0;
}
int LiangJiaJun(){
scanf("%d%d",&n,&k);
for(int i=1;i<=n;i++)insert(0,i,1);
for(int i=1;i<=k;i++){
int x,a,b;
scanf("%d%d%d",&x,&a,&b);
if(x == 1){
insert(a,b,0);
insert(b,a,0);
}
if(x == 2){
if(a != b)insert(a,b,1);
else {
puts("-1");
return 0;
}
}
if(x == 3){
insert(b,a,0);
}
if(x == 4){
if(a != b)insert(b,a,1);
else {
puts("-1");
return 0;
}
}
if(x == 5){
insert(a,b,0);
}
}
if(spfa()){puts("-1");return 0;}
long long ans=0;
for(int i=1;i<=n;i++)ans += (long long)dis[i];
printf("%lld\n",ans);
return 0;
}