LG4171/BZOJ1823 「JSOI2010」满汉全席 2-SAT
时间:2019-09-13
本文章向大家介绍LG4171/BZOJ1823 「JSOI2010」满汉全席 2-SAT,主要包括LG4171/BZOJ1823 「JSOI2010」满汉全席 2-SAT使用实例、应用技巧、基本知识点总结和需要注意事项,具有一定的参考价值,需要的朋友可以参考一下。
问题描述
题解
显然,每个评委对每个材料的满式/汉式要求是对\(n\)个元素的\(0,1\)取值限制。
显然想到\(\mathrm{2-SAT}\)
于是就可以切掉了。
\(\mathrm{Code}\)
#include<bits/stdc++.h>
using namespace std;
template <typename Tp>
void read(Tp &x){
x=0;char ch=1;int fh;
while(ch!='-'&&(ch<'0'||ch>'9')) ch=getchar();
if(ch=='-'){
fh=-1;ch=getchar();
}
else fh=1;
while(ch>='0'&&ch<='9'){
x=(x<<1)+(x<<3)+ch-'0';
ch=getchar();
}
x*=fh;
}
const int maxn=207;
const int maxm=2007;
int T,n,m;
int Head[maxn],to[maxm],Next[maxm],tot=1;
void add(int x,int y){
to[++tot]=y,Next[tot]=Head[x],Head[x]=tot;
}
void fr(int &x){
char ch=1;
while(ch!='m'&&ch!='h') ch=getchar();
if(ch=='m') x=1;
else x=0;
}
int dfn[maxn],low[maxn],bel[maxn],cnt,ind;
bool ins[maxn];
int sta[maxn],top;
void tarjan(int x){
dfn[x]=low[x]=++ind;ins[x]=1;sta[++top]=x;
for(int i=Head[x];i;i=Next[i]){
int y=to[i];
if(dfn[y]){
if(ins[y]) low[x]=min(low[x],dfn[y]);
}
else{
tarjan(y);
low[x]=min(low[x],low[y]);
}
}
if(dfn[x]==low[x]){
++cnt;
while(sta[top]!=x){
ins[sta[top]]=0,bel[sta[top]]=cnt,top--;
}
ins[x]=0,bel[x]=cnt,top--;
}
}
bool flag;
void clear(){
memset(ins,0,sizeof(ins));top=0;flag=1;
memset(dfn,0,sizeof(dfn));memset(low,0,sizeof(low));ind=cnt=tot=0;memset(bel,0,sizeof(bel));memset(Next,0,sizeof(Next));memset(Head,0,sizeof(Head));
}
int main(){
read(T);
while(T--){
read(n);read(m);clear();
for(int i=1,x,y,xx,yy;i<=m;i++){
fr(xx);read(x);fr(yy);read(y);
if(!xx&&!yy){
add(x,y+n);add(y,x+n);
}
if(!xx&&yy){
add(x,y);add(y+n,x+n);
}
if(xx&&!yy){
add(x+n,y+n);add(y,x);
}
if(xx&&yy){
add(x+n,y);add(y+n,x);
}
}
for(int i=1;i<=2*n;i++){
if(!dfn[i]) tarjan(i);
}
for(int i=1;i<=n;i++){
if(bel[i]==bel[i+n]){
puts("BAD");flag=0;break;
}
}
if(flag) puts("GOOD");
}
return 0;
}
原文地址:https://www.cnblogs.com/liubainian/p/11516366.html
- JavaScript 教程
- JavaScript 编辑工具
- JavaScript 与HTML
- JavaScript 与Java
- JavaScript 数据结构
- JavaScript 基本数据类型
- JavaScript 特殊数据类型
- JavaScript 运算符
- JavaScript typeof 运算符
- JavaScript 表达式
- JavaScript 类型转换
- JavaScript 基本语法
- JavaScript 注释
- Javascript 基本处理流程
- Javascript 选择结构
- Javascript if 语句
- Javascript if 语句的嵌套
- Javascript switch 语句
- Javascript 循环结构
- Javascript 循环结构实例
- Javascript 跳转语句
- Javascript 控制语句总结
- Javascript 函数介绍
- Javascript 函数的定义
- Javascript 函数调用
- Javascript 几种特殊的函数
- JavaScript 内置函数简介
- Javascript eval() 函数
- Javascript isFinite() 函数
- Javascript isNaN() 函数
- parseInt() 与 parseFloat()
- escape() 与 unescape()
- Javascript 字符串介绍
- Javascript length属性
- javascript 字符串函数
- Javascript 日期对象简介
- Javascript 日期对象用途
- Date 对象属性和方法
- Javascript 数组是什么
- Javascript 创建数组
- Javascript 数组赋值与取值
- Javascript 数组属性和方法
- 解决python pandas读取excel中多个不同sheet表格存在的问题
- .img/.hdr格式转.nii格式的操作
- PHP实现的操作数组类库定义与用法示例
- python使用nibabel和sitk读取保存nii.gz文件实例
- PHP从尾到头打印链表实例讲解
- python如何写try语句
- python怎么判断素数
- php数组遍历类与用法示例
- PHP格式化显示时间date()函数代码
- python操作微信自动发消息的实现(微信聊天机器人)
- 使用ITK-SNAP进行抠图操作并保存mask的实例
- Yii2框架加载css和js文件的方法分析
- php 与 nginx 的处理方式及nginx与php-fpm通信的两种方式
- python如何求圆的面积
- php实现微信公众号企业转账功能