题面

对不起我又写了一个板题qvq

和洛谷那道模板题没区别。。。两样菜至少做一样即可

不过注意define和函数的区别!!!


#include <cmath>
#include <cstring>
#include <cstdio>
#include <cstdlib>
#include <algorithm>
#include <iostream>
#include <complex>
#include <ctime>
#include <vector>
#define mp(x, y) make_pair(x, y)
#define node(x, y) ((x << 1) - y)
using namespace std;
const int N = 2e4 + 5;
struct Edge{
int v, next;
}edge[N];
int head[N], esize;
inline void addedge(int x, int y){
//printf("%d %d\n", x, y);
edge[++esize] = (Edge){y, head[x]}; head[x] = esize;
} int n, m;
int dfn[N], low[N], tim;
int col[N], colsize, stk[N], top;
bool vis[N]; void tarjan(int x){
stk[++top] = x; vis[x] = 1;
dfn[x] = low[x] = ++tim;
for(int i = head[x], vv; ~i; i = edge[i].next){
vv = edge[i].v;
if(!dfn[vv]) tarjan(vv), low[x] = min(low[x], low[vv]);
else if(vis[vv]) low[x] = min(low[x], dfn[vv]);
}
if(low[x] == dfn[x]){
++colsize;
do{
col[stk[top]] = colsize; vis[stk[top]] = 0;
}while(top && stk[top--] != x);
}
} inline void clear(){
memset(head, -1, sizeof(head));
memset(col, 0, sizeof(col));
memset(vis, 0, sizeof(vis));
memset(dfn, 0, sizeof(dfn));
memset(low, 0, sizeof(low));
esize = tim = top = colsize = 0;//!!!
} int main(){
int T; scanf("%d", &T);
while(T--){
clear();
scanf("%d %d\n", &n, &m);
char c1, c2; int x1, x2;
for(int i = 1; i <= m; ++i){
do{c1 = getchar();}while(c1 != 'm' && c1 != 'h');
scanf("%d", &x1);
do{c2 = getchar();}while(c2 != 'm' && c2 != 'h');
scanf("%d", &x2);
int f1 = (c1 == 'm'), f2 = (c2 == 'm');
addedge(node(x1, (f1 ^ 1)), node(x2, f2));
addedge(node(x2, (f2 ^ 1)), node(x1, f1));
//注意define和函数的区别!
//printf("%d %d %d %d %d %d %d\n", x1, f1 ^ 1, x1 << 1, f1 ^ 1, x2, f2, node(x2, f2));
}
for(int i = 1; i <= (n << 1); ++i){
if(!dfn[i]) tarjan(i);
}
bool flag = 1;
for(int i = 1; i <= n; ++i){
// printf("%d %d\n", col[node(i, 0)], col[node(i, 1)]);
if(col[node(i, 0)] == col[node(i, 1)]){
flag = 0; break;
}
}
if(flag) printf("GOOD\n"); else printf("BAD\n");
}
return 0;
}


满汉全席[2-SAT]的更多相关文章

  1. 多边形碰撞 -- SAT方法

    检测凸多边形碰撞的一种简单的方法是SAT(Separating Axis Theorem),即分离轴定理. 原理:将多边形投影到一条向量上,看这两个多边形的投影是否重叠.如果不重叠,则认为这两个多边形 ...

  2. Bzoj1823 [JSOI2010]满汉全席

    Time Limit: 10 Sec  Memory Limit: 64 MBSubmit: 1640  Solved: 798 Description 满汉全席是中国最丰盛的宴客菜肴,有许多种不同的 ...

  3. Essential C++中文版——满汉全席之外

    满汉全席之外 Stanley B. Lippman 所著的C++ Primer 雄踞书坛历久不衰,堪称C++最佳教科书.但是走过十个年头之后,继1237 页的C++ Primer 第3 版,Lippm ...

  4. C++之路进阶——bzoj1823(满汉全席)

    F.A.Qs Home Discuss ProblemSet Status Ranklist Contest ModifyUser  hyxzc Logout 捐赠本站 Notice:由于本OJ建立在 ...

  5. 【BZOJ1823】 [JSOI2010]满汉全席

    Description 满汉全席是中国最丰盛的宴客菜肴,有许多种不同的材料透过满族或是汉族的料理方式,呈现在數量繁多的菜色之中.由于菜色众多而繁杂,只有极少數博学多闻技艺高超的厨师能够做出满汉全席,而 ...

  6. BZOJ 1823 满汉全席

    Description 满汉全席是中国最丰盛的宴客菜肴,有许多种不同的材料透过满族或是汉族的料理方式,呈现在數量繁多的菜色之中.由于菜色众多而繁杂,只有极少數博学多闻技艺高超的厨师能够做出满汉全席,而 ...

  7. bzoj1823 [JSOI2010]满汉全席(2-SAT)

    1823: [JSOI2010]满汉全席 Time Limit: 10 Sec  Memory Limit: 64 MBSubmit: 1246  Solved: 598[Submit][Status ...

  8. POJ 3678 Katu Puzzle(2 - SAT) - from lanshui_Yang

    Description Katu Puzzle is presented as a directed graph G(V, E) with each edge e(a, b) labeled by a ...

  9. BZOJ 1823: [JSOI2010]满汉全席( 2-sat )

    2-sat...假如一个评委喜好的2样中..其中一样没做, 那另一样就一定要做, 这样去建图..然后跑tarjan. 时间复杂度O((n+m)*K) ------------------------- ...

  10. BZOJ_1823_[JSOI2010]满汉全席_2-sat+tarjan

    BZOJ_1823_[JSOI2010]满汉全席_2-sat 题意:http://www.lydsy.com/JudgeOnline/problem.php?id=1823 分析:一道比较容易看出来的 ...

随机推荐

  1. foaf

    <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http: ...

  2. 监控 redis 执行命令

    监控 redis 执行命令 Intro 最近在用 redis 的时候想看看执行了哪些命令,于是发现了 redis-cli 提供的 Monitor 命令,直接使用这个就可以监控执行的大部分 redis ...

  3. Setup script exited with error: command 'x86_64-linux-gnu-gcc' failed with exit status 1 解决办法

    今天在Ubuntu16.04 上安装python包的时候,出现了这个坑爹的问题: 解决办法,内容总结如下 情况是这样,报错是因为没有把依赖包安装全,报错情况如下图: 解决办法,先安装一些必须的依赖: ...

  4. mssql sqlserver 快速表备份和表还原的方法

    摘要: 在sqlserver维护中,我们偶尔需要运行一些sql脚本对数据进行相关修改操作,在数据修改前我们必须对表数据进行备份来避免出现异常时,可以快速修复数据, 下文讲述sqlserver维护中,快 ...

  5. 从0开始的Python学习006流程控制

    流程控制语句 Python中有三种控制流程语句: if.for.和while. if语句 使用if语句来校验一个条件,如果条件为真(True),运行if-块,如果为假(False),运行else-块. ...

  6. 深入理解Mysql索引的底层数据结构 B+ Tree (1)

    关键字的个数等于路的个数减1. 一个二叉树节点可以存储4kb大小的数据,假如关键字是整型的一个关键字占用4byte,其他数据冗余4个字节 4 kb = 4*1024 byte = 4096 byte. ...

  7. c/c++ 多线程 等待一次性事件 异常处理

    多线程 等待一次性事件 异常处理 背景:假设某个future在等待另一个线程结束,但是在被future等待的线程里发生了异常(throw一个异常A),这时怎么处理. 结果:假设发生了上面的场景,则在调 ...

  8. swoole多端口监听

    今天测试swoole写webserver实现多端口监听.记录下爬过的坑:关于tcp协议监听触发不到receive!!!!! 首先上服务端代码 class Http { /** * 服务实例 * @va ...

  9. 解决topjui中工具栏按钮删除刷新从属表

    遇到了这么个问题:当在从属datagrid表格中,点击主表工具栏按钮中的删除,通过后台的多表删除的sql,返回给前台之后,从属表的数据成功在数据库中删除,但是在前台页面显示的时候,只刷新了主表,子表未 ...

  10. 面向对象_item项目

    详细见老师博客:http://www.cnblogs.com/Eva-J/articles/7351812.html#_label9 __getitem__\__setitem__\__delitem ...