算法提高-差分约束

• 不一定要遍历所有点，因为有的点可能是孤立点，在不等式中取什么都可以，但是一定要遍历到所有边，因为每个边都代表一个不等式关系。
• 如果求最短路，那么不断放缩可与发现如果存在负环 比如x₂->x₃->x₄->x₅->x₆->x₂,那么最终不断放缩后的结果就是x₂<x₂，这肯定是错的。
• 如果求最长路，那么不断放缩可与发现如果存在正环 比如x₂->x₃->x₄->x₅->x₆->x₂,那么最终不断放缩后的结果就是x₂>x₂，这肯定是错的。
• 求最大值：即找下届里面最大的，（x >= …）x要满足多个>=的关系，为了满足所有不等式，肯定是下界里找一个最大的；即找最短路里面的最长的那条路
• 求最小值：即找上届里面最小的， （x <= …）x要满足多个<=的关系，为了满足所有不等式，肯定是上界里找一个最小的；即找最长路里面的最短的那条路
  

AcWing 1169. 糖果

#include<iostream>
#include <cstring>

using namespace std;
typedef long long LL;
const int N = 1e5 + 10;
int h[N], ne[3 * N], e[3 * N], w[3 *N], idx;//多了一个虚拟源点，多了一倍的N
int cnt[N], q[N], dist[N];
bool st[N];
int n, m;

void add(int a, int b, int c)
{
    e[idx] = b, ne[idx] = h[a], w[idx] = c, h[a] = idx++;
}

bool spfa()
{
    int hh = 0, tt = 0;
    memset(dist, -0x3f, sizeof dist);
    dist[0] = 0;
    q[++tt] = 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;
              //因为加上了虚拟源点，如果到达j的点有n+1个,说明它通过他自己也能到达自己，说明有环存在
              if (cnt[j] >= n + 1) return false;
              if (!st[j])
              {
                  st[j] = true;
                  q[++tt] = j;
              }
          }
      }
  }
  return true;
}
void solve()
{
    cin >> n >> m;
    memset(h, -1, sizeof h);
    while(m --)
    {
        int x, a, b;
        cin >> x >> a >> b;
        if (x == 1) add(a, b, 0), add(b, a, 0);
        else if (x == 2) add(a, b, 1);//B没有说必须比A多，因此建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);//每个小朋友都要有糖果，那说明至少每个小朋友都有1个
    if (!spfa()) cout << -1;
    else
    {
      LL res = 0;
      for (int i = 1; i <= n; ++ i) res += dist[i];
      cout << res;
    } 
}
int main()
{
    solve();
    return 0;
}