poj3713 Transferring Sylla 枚举+tarjan判割点

题意：给出一个无向图(可能不联通),判断是否每两个点之间都能至少有3条独立不同的路径可达。独立定义为任意两条路径只有起点和

终点相同，其他点均不相同。

思路：图的三联通判断。枚举删去一个点看是否存在割点，如果存在那么说明不满足。详见代码：

// file name: poj3713.cpp //
// author: kereo //
// create time:  2014年09月02日 星期二 00时08分19秒 //
//***********************************//
#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
#include<set>
#include<map>
#include<vector>
#include<stack>
#include<cmath>
#include<algorithm>
using namespace std;
typedef long long ll;
const int MAXN=1000+100;
const int M=20000+100;
const int inf=0x3fffffff;
#define L(x) (x<<1)
#define R(x) (x<<1|1)
int n,m,edge_cnt,dfs_clock,del,flag,root;
int head[MAXN],dfn[MAXN],low[MAXN];
struct Edge
{
	int v;
	int next;
}edge[2*M];
void init(){
	edge_cnt=0;
	memset(head,-1,sizeof(head));
}
void addedge(int u,int v){
	edge[edge_cnt].v=v;
	edge[edge_cnt].next=head[u];
	head[u]=edge_cnt++;
}
void dfs(int u,int fa){
	if(flag) return ;
	int tot=0; //孩子数
	low[u]=dfn[u]=++dfs_clock;
	for(int i=head[u];i!=-1;i=edge[i].next){
		int v=edge[i].v;
		if(v == fa || v == del)
			continue;
		if(!dfn[v]){
			tot++;
			dfs(v,u);
			low[u]=min(low[u],low[v]);
			if((u == root && tot>1) || (u!=root && low[v]>=dfn[u]))
				flag=1;
		}
		else 
			low[u]=min(low[u],dfn[v]);
	}
}
int main()
{
	while(~scanf("%d%d",&n,&m) && n+m){
		init();
		for(int i=0;i<m;i++){
			int u,v;
			scanf("%d%d",&u,&v);
			addedge(u,v); addedge(v,u);
		}
		flag=0;
		for(int i=0;i<n;i++){
			del=i;dfs_clock=0;
			memset(dfn,0,sizeof(dfn));
			root=0;
			if(del == 0) root=1;
			dfn[del]=1;
			dfs(root,-1);
			for(int j=0;j<n;j++)
				if(!dfn[j]){
					flag=1; break;
				}
			if(flag)
				break;
		}
		if(flag)
			printf("NO\n");
		else 
			printf("YES\n");
	}
	return 0;
}