【学习笔记】图论基础

本文不涉及各种高端操作，仅仅属于noip考纲内。
也是mark一下紫书上的妙题

---

拓扑排序

UVa1572

很巧妙的离散了一下，再拓扑一遍。

#include <bits/stdc++.h>
using namespace std;
int G[100][100],c[100],n;
int ID(char s1,char s2)
{
	int x;
	if(s2=='+') x=0; else x=1;
	return (s1-'A')*2+x;
}
void connect(char s1,char s2,char s3,char s4)
{
	if(s1=='0' || s3=='0') return;
	int I1=ID(s1,s2)^1,I2=ID(s3,s4);//I1就是把A-转换成A+ 
	G[I1][I2]=1;
}
bool dfs(int u)
{
	c[u]=-1;
	for(int v=0;v<60;v++)
		if(G[u][v])
		{
			if(c[v]<0) return false;
			if(!c[v] && !dfs(v)) return false;
		}
	c[u]=1;
	return true;
}
bool find_cycle()
{
	for(int i=0;i<60;i++)
	{
		if(!c[i]) if(!dfs(i)) return true;
	}
	return false;
}
int main()
{
	while(scanf("%d",&n)==1)
	{
		memset(G,0,sizeof(G));
		memset(c,0,sizeof(c));
		char s[20];
		for(int i=0;i<n;i++)
		{
			scanf("%s",s);
			for(int i=0;i<4;i++)
				for(int j=0;j<4;j++)
					if(i!=j) connect(s[2*i],s[2*i+1],s[2*j],s[2*j+1]);
		}
		if(find_cycle()) printf("unbounded\n");
    	else printf("bounded\n");
	}
	return 0;
}