文章目录
负环
如果图中存在权值为负的边,且产生了一个环,环上各边的权值和为负值,那么这个环就成为了负环。一旦图中存在负环,那么将会导致一遍又一遍地更新最短路。
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 ≤ w x_{a} - x_{b}\le w xa−xb≤w。这个方程稍微变形一下就成为了 x a ≤ x