题目描述:有n个骑士,他们有些人之间有矛盾,现在要求选出一些骑士围成一圈,圈要满足如下条件:1.人数大于1。2.总人数为奇数。3.有仇恨的骑士不能挨着坐。问有几个骑士不能和任何人形成任何的圆圈。
这是一道经典的无向图双联通分量问题。
首先将没有矛盾即可以挨着坐的骑士,然后找到环,判断是否为奇数环。
这里有两个定理:
(1)如果一个双连通分量内的某些顶点在一个奇圈中(即双连通分量含有奇圈),那么这个双连通分量的其他顶点也在某个奇圈中;
(2)如果一个双连通分量含有奇圈,则他必定不是一个二分图。反过来也成立,这是一个充要条件。
我们可以用染色法来判断是否为奇数环。
#include <iostream>
#include <cstdio>
#include <cstring>
#define MAXN 1100
#define min(a,b) ((a)<(b)?(a):(b))
using namespace std;
int n ,m ,a ,b ;
int dfn[MAXN] ,low[MAXN] ,stack[MAXN] ,p[MAXN] ,tmp[MAXN] ,pos ,cnt ,tail ,sum ;
bool flag[MAXN][MAXN] ,vis[MAXN] ,sign[MAXN] ;
struct node
{
int v ;
node *next ;
}edge[MAXN*MAXN*2] ,*num[MAXN] ,*code=edge ;
void add(int