fjut—ACM留校集训

差分约束：
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;
  
}