【日志】负环 差分约束

负环

如果图中存在权值为负的边，且产生了一个环，环上各边的权值和为负值，那么这个环就成为了负环。一旦图中存在负环，那么将会导致一遍又一遍地更新最短路。

Dijkstra算法不可以用于判断负环（其实图里面有负值边的都不可以用，因为松弛dist的时候负值边会导致dist可能不是最小），可以用Bellman-Ford或者队列优化的Bellman-Ford（SPFA）判断负环。

vector<vector<PII>>g;
vector<int>dist, cnt;
vector<bool>vis;

bool SPFA(int sta){
   
    fill(dist.begin(), dist.end(), 0x7fffffff);
    fill(cnt.begin(), cnt.end(), 0);
    fill(vis.begin(), vis.end(), false);
    queue<int>q;
    q.push(sta);
    dist[sta] = 0;
    vis[sta] = true;
    while (!q.empty()){
   
        int v = q.front();
        vis[v] = false;
        for (auto it : g[v]){
     // c++ 11标准
            if (dist[it.first] > dist[it] + it.second){
   
                dist[it.first] = dist[it] + it.second;
                if ((cnt[it.first] = cnt[v] + 1) >= n){
     // n为结点个数
                    return false;
                }
                if (!vis[it.first]){
   
                    q.push(vis[it.first]);
                    vis[it.first] = true;
                    // 下面的是另一种判断负环的方式，通过判断入队次数来判断负环
                    // if (++ cnt[it.first] == n){
   
                    //     return false;
                    // }
                }
            }
        }
    }
    return true;
}

差分约束

差分约束，就是两个一次变量之间的差值有一个条件进行约束，比如$x_a-x_b\le w$