差分约束------------糖果

幼儿园里有 NN

个小朋友,老师现在想要给这些小朋友们分配糖果,要求每个小朋友都要分到糖果。但是小朋友们也有嫉妒心,总是会提出一些要求,比如小明不希望小红分到的糖果比他的多,于是在分配糖果的时候, 老师需要满足小朋友们的 KK

个要求。幼儿园的糖果总是有限的,老师想知道他至少需要准备多少个糖果,才能使得每个小朋友都能够分到糖果,并且满足小朋友们所有的要求。输入格式输入的第一行是两个整数 N,KN,K

。接下来 KK

行,表示分配糖果时需要满足的关系,每行 33

个数字 X,A,BX,A,B

。如果 X=1X=1

.表示第 AA

个小朋友分到的糖果必须和第 BB

个小朋友分到的糖果一样多。如果 X=2X=2

,表示第 AA

个小朋友分到的糖果必须少于第 BB

个小朋友分到的糖果。如果 X=3X=3

,表示第 AA

个小朋友分到的糖果必须不少于第 BB

个小朋友分到的糖果。如果 X=4X=4

,表示第 AA

个小朋友分到的糖果必须多于第 BB

个小朋友分到的糖果。如果 X=5X=5

,表示第 AA

个小朋友分到的糖果必须不多于第 BB

个小朋友分到的糖果。小朋友编号从 11

到 NN

。输出格式输出一行,表示老师至少需要准备的糖果数,如果不能满足小朋友们的所有要求,就输出 −1−1

。数据范围1≤N<1051≤N<105

,
1≤K≤1051≤K≤105

,
1≤X≤51≤X≤5

,
1≤A,B≤N1≤A,B≤N

输入样例:5 7
1 1 2
2 3 2
4 4 1
3 4 5
5 4 5
2 3 5
4 5 1
输出样例:11

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
const int N = 1000010, M = 3000010;
typedef long long LL;
int n, m;
int h[N], e[M], w[M], ne[M], idx;
LL dist[N];
int q[N], cnt[N];
bool st[N];
void add(int a, int b, int c){
 e[idx] = b, w[idx] = c, ne[idx] = h[a], h[a] = idx ++;
}
bool spfa(){
 int hh = 0, tt = 1;
 memset(dist, -0x3f, sizeof dist);
 dist[0] = 0;
 q[0] = 0;
 st[0] = true;
  while(hh != tt){
  int t = q[-- tt];
  st[t] = false;
  for (int i = h[t]; ~i; i = ne[i]){
   int j = e[i];
   if (dist[j] < dist[t] + w[i]){
    dist[j] = dist[t] + w[i];
    cnt[j] = cnt[t] + 1;
    if (cnt[j] >= n + 1)   return false;
    if (!st[j]){
     q[tt ++] = j;
     st[j] = true;
    }
   }
  }
 }
  return true;
}
int main(){
   scanf("%d%d", &n, &m);
   memset(h, -1, sizeof h);
      while(m --){
    int x, a, b;
    scanf("%d%d%d", &x, &a, &b);
    if (x == 1)   add(b, a, 0), add(a, b, 0);
    else  if (x == 2)   add(a, b, 1);
    else  if (x == 3)   add(b, a, 0);
    else  if (x == 4)   add(b, a, 1);
    else  add(a, b, 0);
   }
    for (int i = 1; i <= n; i ++)  add(0, i, 1);
  if (!spfa())   puts("-1");
 else{
  LL res = 0;
  for (int i = 1; i <= n; i ++)   res += dist[i];
  printf("%llf\n", res);
 }
  return 0;
}
发布了164 篇原创文章 · 获赞 112 · 访问量 6766

猜你喜欢

转载自blog.csdn.net/qq_45772483/article/details/105488251