poj 2942--Knights of the Round Table (点的双连通分量)

做这题简直是一种折磨。。。

有n个骑士,骑士之间相互憎恨。给出骑士的相互憎恨的关系。 骑士要去开会,围成一圈坐,相互憎恨的骑士不能相邻。开会骑士的个数不能小于三个人。求有多少个骑士不能开会。

注意:会议可以开无数次,也就是说一个骑士其实是可以开多次会议的,所以一共可以开会的人也未必是奇数。

求出相互并不憎恨的骑士的关系图,也就是相连的骑士可以挨着。这样如果有一个奇数圈就可以确定一圈的人全部可以参加会议。

性质:如果一个双连通分量内的某些顶点在一个奇圈中(即双连通分量含有奇圈),那么这个双连通分量的其他顶点也在某个奇圈中

又知道二分图染色可以判断奇数圈,所以对每个点的强连通分量求二分图染色就ok了。这题的关键在于求点的双连通分量。

/*********************************************
Memory: 4752 KB		Time: 1141 MS
Language: G++		Result: Accepted
*********************************************/
#include <iostream>
#include <cstdio>
#include <cstring>
#define pk puts("kkk");
using namespace std;

const int N = 1005;
const int M = N * N;

struct Edge {
    int to, next;
} edge[M];
int head[N];
int cnt_edge;
void add_edge(int u, int v)
{
    edge[cnt_edge].to = v;
    edge[cnt_edge].next = head[u];
    head[u] = cnt_edge++;

    edge[cnt_edge].to = u;
    edge[cnt_edge].next = head[v];
    head[v] = cnt_edge++;
}

int dfn[N], low[N], idx;
int stk[N], top;
int kind[N], cnt;
bool ok[N], in[N];

int color[N];

int mp[N][N];
int n;

bool dfs_color(int u, int c)
{
    color[u] = c;
    for (int i = head[u]; i != -1; i = edge[i].next)
    {
        int v = edge[i].to;
        if (in[v])
        {
            if (!color[v] && !dfs_color(v, 3 - c)) return false;
            else if (color[v] == color[u]) return false;
        }
    }
    return true;
}

void dfs(int u, int pre)
{
    dfn[u] = low[u] = ++idx;
    stk[++top] = u;
    for (int i = head[u]; i != -1; i = edge[i].next)
    {
        int v = edge[i].to;
        if (v == pre) continue;
        if (!dfn[v])
        {
            dfs(v, u);
            low[u] = min(low[u], low[v]);
            if (low[v] >= dfn[u]) // u是割点, 求双连通分量
            {
                memset(in, 0, sizeof in);
                memset(color, 0, sizeof color);
                cnt = 0;
                int x;
                int num = 0;
                do {
                    x = stk[top--];
                    kind[cnt++] = x;
                    in[x] = true;
                    num++;
                } while (x != v);
                if (num <= 1) continue;
                in[u] = true;
                if (!dfs_color(u, 1))
                {
                    ok[u] = true;
                    while (cnt--) { ok[ kind[cnt] ] = true;}
                }
            }
        }
        else low[u] = min(low[u], dfn[v]);
    }
}

void solve()
{
    int ans = 0;
    for (int i = 1; i <= n; ++i) dfs(i, -1);
    for (int i = 1; i <= n; ++i) if (ok[i]) ans++;
    printf("%d\n", n - ans);
}

void init()
{
    memset(head, -1, sizeof head);
    memset(dfn, 0, sizeof dfn);
    memset(ok, 0, sizeof ok);
    memset(mp, 0, sizeof mp);
    cnt_edge = top = idx = 0;
}

int main()
{
    int m;
    int u, v;
    while (~scanf("%d%d", &n, &m))
    {
        if (n == 0 && m == 0) break;
        init();
        for (int i = 1; i <= m; ++i)
        {
            scanf("%d%d", &u, &v);
            mp[u][v] = mp[v][u] = 1;
        }
        for (int i = 1; i <= n; ++i)
            for (int j = 1; j <= n; ++j)
                if (i != j && !mp[i][j]) add_edge(i, j);
        solve();
    }

    return 0;
}

  

时间: 2024-07-29 00:29:40

poj 2942--Knights of the Round Table (点的双连通分量)的相关文章

POJ 2942 Knights of the Round Table (点-双连通分量 + 交叉法染色判二分图)

POJ 2942 Knights of the Round Table 链接:http://poj.org/problem?id=2942 题意:亚瑟王要在圆桌上召开骑士会议,为了不引发骑士之间的冲突,并且能够让会议的议题有令人满意的结果,每次开会前都必须对出席会议的骑士有如下要求: 1. 相互憎恨的两个骑士不能坐在直接相邻的2个位置: 2. 出席会议的骑士数必须是奇数,这是为了让投票表决议题时都能有结果. 如果出现有某些骑士无法出席所有会议(例如这个骑士憎恨所有的其他骑士),则亚瑟王为了世界和

poj 2942 Knights of the Round Table(无向图的双连通分量+二分图判定)

#include<cstdio> #include<cstring> #include<cmath> #include<cstdlib> #include<iostream> #include<algorithm> #include<vector> #include<map> #include<queue> #include<stack> #include<string> #

POJ 2942 Knights of the Round Table (点双连通分量,偶图判定)

题意:多个骑士要开会,3人及以上才能凑一桌,其中部分人已经互相讨厌,肯定不坐在同一桌的相邻位置,而且一桌只能奇数个人才能开台.给出多个人的互相讨厌图,要求多少人开不成会(注:会议不要求同时进行,一个人开多个会不冲突)? 分析: 给的是互相讨厌的图,那么转成互相喜欢的吧,扫一遍,如果不互相讨厌就认为互相喜欢,矩阵转邻接表先. 有边相连的两个点代表能坐在一块.那么找出一个圈圈出来,在该圈内的点有奇数个人的话肯定能凑成1桌.圈圈?那就是简单环了,跟点双连通分量的定义好像一样:每个点都能同时处于1个及以

POJ 2942 Knights of the Round Table 黑白着色+点双连通分量

题目来源:POJ 2942 Knights of the Round Table 题意:统计多个个骑士不能參加随意一场会议 每场会议必须至少三个人 排成一个圈 而且相邻的人不能有矛盾 题目给出若干个条件表示2个人直接有矛盾 思路:求补图  能够坐在一起 就是能够相邻的人建一条边 然后假设在一个奇圈上的都是满足的 那些不再不论什么一个奇圈的就是不满足 求出全部奇圈上的点 总数减去它就是答案 首先有2个定理 1.一个点双连通分量是二分图 你就没有奇圈 假设有奇圈  那就不是二分图  充分必要条件 所

POJ 2942 - Knights of the Round Table(双连通图 Tarjan + 二分判定)

POJ 2942 - Knights of the Round Table(双连通图 Tarjan + 二分判定) ACM 题目地址: POJ 2942 - Knights of the Round Table 题意: 有N个骑士,给出某些骑士之间的仇恨关系,骑士们开会时会围坐在一个圆桌旁.一次会议能够顺利举行,要满足两个条件: 任意相互憎恨的两个骑士不能相邻 开会人数为大于2的奇数 若某个骑士任何会议都不能参加,那么就必须将他踢出,给出骑士之间的仇恨关系,问最少需要踢出多少个骑士? 分析: 把

poj 2942 Knights of the Round Table 【双连通缩点+判奇圈】【经典】

题目:poj 2942 Knights of the Round Table 题意:n个骑士经常一起开会,其中有一些两两相互憎恨,他们不能同一桌,开会要表决一些事情,所以必须奇数个人,最少3个,求永远也参加不了会议的人的个数. 分析:这个题目两点 首先,建图求双连通缩点 建图的话,因为相互憎恨的不能再一块,所以要建补图,让能够在一起的所有的连接,这样的话,如果能存在环且环上的点是奇数个的话就可以参加会议,标记求不能参加的即可. 建好图之后用tarjan算法双连通缩点,把在一个环上的点保存起来.

poj 2942 Knights of the Round Table - Tarjan

Being a knight is a very attractive career: searching for the Holy Grail, saving damsels in distress, and drinking with the other knights are fun things to do. Therefore, it is not very surprising that in recent years the kingdom of King Arthur has e

UVALive 3523 Knights of the Round Table(二分图+双连通分量)

Description Being a knight is a very attractive career: searching for the Holy Grail, saving damsels in distress, and drinking with the other knights are fun things to do. Therefore, it is not very surprising that in recent years the kingdom of King

POJ 2942.Knights of the Round Table 解题报告

简要题解: 意在判断哪些点在一个图的  奇环的双连通分量内. tarjan求出所有的点双连通分量,再用二分图染色判断每个双连通分量是否形成了奇环,记录哪些点出现在内奇环内 输出没有在奇环内的点的数目 coder /* 求有向图的点双连通分支tarjan算法 思路: 1.对图先进行深度优先搜索形成搜索数,计算每一个节点的先深编号dfn[n] 2.计算所有节点v的low[v]是在先深生成树上按照后根遍历的顺序进行的. 因此,当仿问节点v时它的每一个儿子u的low[u]已经计算完毕这时low[v]取下

poj 2942 Knights of the Round Table

先建补图,一组骐士可以一组的条件是他们成奇环 引理1:若2个骐士属于2个不同的点双,则他们不可能一起出席,易证 引理2:若一v-dcc中有奇环,则每个点都被至少一个奇环包围,易证 于是求所有的v-dcc再分别染色判奇环就行了 我括号打错了一个调了nmb一下午我透 #include<bits/stdc++.h> using namespace std; const int N=1007; const int M=1000007; int n,m,tot=1,head[N],nxt[M],ver[