acwing 368银河（tarjan + 强连通分量）

最新推荐文章于 2024-10-02 22:45:05 发布

一曲诉哀愁

最新推荐文章于 2024-10-02 22:45:05 发布

阅读量89

点赞数 1

分类专栏：大一算法学习文章标签：算法 c++ 图论

本文链接：https://blog.csdn.net/stldecember/article/details/129206243

版权

对差分约束有了更深一层的理解吧，一套差分约束系统中只有一种约束关系，要么是a <= b，由a向b连边，要么是a >= b，由a向b连边，然后求最长路（最小值）或者最短路（最大值），这道题就是求最小值，所以要用小于建边，比如a + 1 <= b，b + 1 <= c，a + 1 <= c，我们就建三条边跑最长路，得出c的最小值是a + 2。
至于强连通分量，这道题的使用很神奇，一套差分约束系统中的强连通分量，不能有正环等同于强连通分量中没有一条边的值大于等于1，因为只有0和1两个值，如果有大于等于1的值说明存在正环。然后这样判断可能效率更高一点？直接用SPFA应该也可以判断。
贴代码

#include <bits/stdc++.h>
using namespace std;
const int N = 1e6 + 5,M = 1e6 + 5;
struct Edge{
   
	int to,dis,next;
}e[M * 3];
int h[N],hs[N];
int in_stk[N];
int dfn[N],low[N];
int scc_cnt;
int id[N],scc_size[N];
int dist[N];
int idx,timestamp;
stack <int> st;
void add(int h[],int a,int b,int c){
   
	idx ++;
	e[idx].to = b;
	e[idx].next = h[a];
	e[idx