环和负环及差分约束

一，环

图论概念：略，过于直白
判定：

1，无向图搜索树判环

思路：在DFS生成树上，如果遍历产生了返祖边，那么，毋庸置疑出现了环

2，有向图拓扑判环（同号的边权）

• 思路：根据拓补的定义，选择一个入度为0的节点，删去这个点及从他出发的所有的边，修改某些节点的入度，再次遍历，找到新的入度为0的点，删去，输出…如果存在环的话，那么输出的序列的点数小于图上点的数目

int in[M];
void judge ()
{
	int psum=0;
	
	queue<int>q;
	for(int i=1;i<=n;i++)if(in[i]==0)q.push(i);
	while (q.size()){
		int t=q.front();
		q.pop();
		psum++;
		for(int i=h[t];~i;i++)in[to[i]]--,if(in[to[i]]==0)q.push(to[i]);
	} 
	if(psum==n)return 0;
	else return 1;
	
}

3，有向图并查集行进判环

如果我们要连起来的一条边，一个点的祖宗和另一个点的祖宗是相同的，那么就可以判定出现了一个环。

bool judge()
{
	int x,y;	cin>>x>>y;
	int fx=get(x);	int fy=get(y);
	if(fx==fy)return 1;
	else fa[fx]=fy;
} 

4，spfa判环（混合符号边权）

• 思路：基于抽屉原理
• 打表小技巧：spfa低效的时候，可能出现负环，当所有的点入队次数超过$2\ast n$的话，很大可能存在负环！（正确性不保证，但是符合经验~）

11，点判据

思路：统计每个点的入队次数，若入队n次，即存在负环
存在构造的边权全部为负数，可能更新$O(n\ast n)$级别，ko！！

bool spfa()
{
	for(int i=1;i<=n;i++)q.push(i),vis[i]=1;
	
	while(q.size())
	{
		int id=q.front();
		q.pop();
		vis[id]=0;
		for(int i=h[id];~i;i=nxt[i])
		{
			int j=to[i];
			if(d[j]>d[id]+w[i]){
				d[j]=d[id]+w[i];
				++cnt[j];
				if(cnt[j]>=n) return 1; // 存在负环 
				if(!vis[j])q.push(j),vis[j]=1;
			}
		} 
	} 
	return 0;
}

22，边判据

• 思路：统计源点到其他的点的最短路的边数，若 >= n，存在环 （推荐）
• 坑： 可能负环不从起点开始，将所以点全部加入队列（可以用虚拟源点的思路来解释）
• 小技巧： d的初值是无所谓的，因为在负环里反复转，转无限次，必然到负无穷，对结果而言是无所谓的

bool spfa()
{
	for(int i=1;i<=n;i++)q.push(i);
	while(q.size())
	{
		int id=q.front();q.pop();
		vis[id]=0;
		for(int i=h[id];~i;i=nxt[i])
		{
			int j=to[i];
			if(d[j]>d[id]+w[i]){
				d[j]=d[id]+w[i];
				cnt[j]=cnt[id]+1;
				if(cnt[j]>=n)return 1;// 存在负环 
				if(!vis[j])q.push(j),vis[j]=1;
			} 
		} 
	}
	return 0;
}

5，folyd判环（传送门：floyd算法的拓展和综合应用）

二，差分约束系统

用处：寻找特殊的n元一次不等式的一组可行解

证明和思路是显然了
要点：把不等关系变成两个元做差小于等于某个常数的情况，跑spfa