- 不一定要遍历所有点,因为有的点可能是孤立点,在不等式中取什么都可以,但是一定要遍历到所有边,因为每个边都代表一个不等式关系。
- 如果求最短路,那么不断放缩可与发现如果存在负环 比如x2->x3->x4->x5->x6->x2,那么最终不断放缩后的结果就是x2<x2,这肯定是错的。
- 如果求最长路,那么不断放缩可与发现如果存在正环 比如x2->x3->x4->x5->x6->x2,那么最终不断放缩后的结果就是x2>x2,这肯定是错的。
- 求最大值:即找下届里面最大的,(x >= …)x要满足多个>=的关系,为了满足所有不等式,肯定是下界里找一个最大的;即找最短路里面的最长的那条路
- 求最小值:即找上届里面最小的, (x <= …)x要满足多个<=的关系,为了满足所有不等式,肯定是上界里找一个最小的;即找最长路里面的最短的那条路
![在这里插入图片描述](https://i-blog.csdnimg.cn/blog_migrate/e4857662a0bfc80de5251c0f69bbeb1c.png)
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;
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;
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);
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()) cout << -1;
else
{
LL res = 0;
for (int i = 1; i <= n; ++ i) res += dist[i];
cout << res;
}
}
int main()
{
solve();
return 0;
}