差分约束:
1—求不等式组的可行解
步骤:1-先将每个不等式 xi<xj+c转换为长度为c的边
2—找到一个超级源点,使得该源点一定可以遍历到所有边
3-从超级源点求一次单源最短路
求最短路时
结果1:如果存在负环,则原不等式一定无解
结果2:如果没有负环,则dist[i]就是原不等式的一个可行解
(2)如何求最大值或者最小值
结论1:如果求最小值应该用求最长路 >=
结论2:如果求最大值应该用最短路 用<=
问题1:如何转换xi<=c,c是常数
方法:建立一个超级源点,0;转化为xi<=x0+c;
以x1的最大值为例:所有从xi出发,构成的不等式链 xi<=xj+c1<=xk+c2+c1<=c1+c2+...最终x1的最大值为所有上界的最小值。
typedef pair<double, double> PII;
const int N = 3e5 + 10;
int n, m;
int h[N], e[N], ne[N];
double w[N];
int idx;
void add(int a, int b, int c)
{
e[idx] = b, w[idx] = c, ne[idx] = h[a], h[a] = idx++;
}
int dist[N]; int cnt[N];
bool st[N];
bool check()
{
stack<int>q;
q.push(0);
while (q.size())
{
int t = q.top();
q.pop();
st[t] = 0;
for (int i = h[t]; ~i; i = ne[i])
{
int j = e[i];
if (dist[j] < dist[t] + w[i])
{
cnt[j] = cnt[t] + 1;
if (cnt[j] >= n+1)return true;
dist[j] = dist[t] + w[i];
if (!st[j])
{
q.push(j);
st[j] = 1;
}
}
}
}
return false;
}
fjut—ACM留校集训
最新推荐文章于 2024-09-04 21:39:45 发布