LOJ_2305_「NOI2017」游戏 _2-sat
LOJ_2305_「NOI2017」游戏 _2-sat
题意:
给你一个长度为n的字符串S,其中第i个字符为a表示第i个地图只能用B,C两种赛车,为b表示第i个地图只能用A,C两种赛车,为c表示第i个地图只能用A,B两种赛车。
另有d(d<=8)个字符x,表示这个地图三种车都能用。有m个要求,(i,hi,j,hj)表示如果在第i场用了hi,在第j场必须用hj。
求一种满足要求的方案,若无解输出-1。
样例输入
3 1
xcc
1
1 A 2 B
样例输出
ABA
分析:先思考如果没有万能的x该怎么做。每个地图只有两种选择,不妨把这两种选择看作0和1,然后按要求建图。
1.如果hi不在i可选的范围内,显然不需要做任何事。
2.如果hj不在j可选的范围内,显然不能选hi这个,那么我们连i(hi)->i(hi^1)表示i位置不能选hi。
3.如果i==j,当hi!=hj时仿照2那么连边,否则什么也不做
其他的情况:连i(hi)->j(hj) 和 j(hj^1)->i(hi^1)
然后tarjan缩点,如果i(0)和i(1)在一个强连通分量中,则不合法,否则输出方案。
输出方案时对于点i的两种选择,要选择拓扑序靠前的那个,但其实缩点后的强连通分量的编号是满足拓扑序的(这个真的厉害),直接输出即可。
然后考虑有x怎么做,首先一个想法是3^d枚举x是什么,然后验证。但其实是不必要的,因为x相当于三个都可能选,如果x这里既不能是a,也不能是b,那么枚举c就是没有意义的。
因为我们枚举a和b就已经包含了所有情况。所以只需2^d枚举即可。
代码:
#include <stdio.h>
#include <string.h>
#include <algorithm>
#include <stdlib.h>
using namespace std;
#define N 100050
char s[N],op1[10],op2[10];
int n,d,m;
int head[N],to[N<<1],nxt[N<<1],cnt,low[N],dfn[N],tot,scc,fs[N],sd[N];
int xx[N],yy[N],zz[N],ww[N],pos[10],ins[N],S[N],bl[N];
inline void add(int u,int v) {
to[++cnt]=v; nxt[cnt]=head[u]; head[u]=cnt;
}
void tarjan(int x) {
dfn[x]=low[x]=++tot;
int i;
S[++S[0]]=x;
ins[x]=1;
for(i=head[x];i;i=nxt[i]) {
if(!dfn[to[i]]) {
tarjan(to[i]);
low[x]=min(low[x],low[to[i]]);
}else if(ins[to[i]]) {
low[x]=min(low[x],dfn[to[i]]);
}
}
if(low[x]==dfn[x]) {
int t=S[S[0]--]; bl[t]=++scc; ins[t]=0;
while(x!=t) {
t=S[S[0]--]; bl[t]=scc; ins[t]=0;
}
}
}
void init() {
memset(head,0,sizeof(head));
memset(dfn,0,sizeof(dfn));
cnt=0; tot=0; scc=0; S[0]=0;
}
bool check() {
int i;
init();
for(i=1;i<=m;i++) {
int u=xx[i],v=zz[i],g=yy[i],h=ww[i];
if(g!=fs[u]&&g!=sd[u]) continue;
if(u==v) {
if(g!=h) {
if(g==fs[u]) add(u,u+n);
else add(u+n,u);
}
continue;
}
if(h==fs[v]||h==sd[v]) {
if(g==fs[u]) {
if(h==fs[v]) {
add(u,v);
add(v+n,u+n);
}else {
add(u,v+n);
add(v,u+n);
}
}else {
if(h==fs[v]) {
add(u+n,v);
add(v+n,u);
}else {
add(u+n,v+n);
add(v,u);
}
}
}else {
if(g==fs[u]) add(u,u+n);
else add(u+n,u);
}
}
for(i=1;i<=n+n;i++) if(!dfn[i]) tarjan(i);
for(i=1;i<=n;i++) if(bl[i]==bl[i+n]) return 0;
return 1;
}
void print() {
int i;
for(i=1;i<=n;i++) {
if(bl[i]<bl[i+n]) {
printf("%c",fs[i]+'A'-1);
}else {
printf("%c",sd[i]+'A'-1);
}
}
}
int main() {
//puts("CA"); return 0;
//freopen("tt.in","r",stdin);
//freopen("tt.out","w",stdout);
scanf("%d%d%s%d",&n,&d,s+1,&m);
int mask=(1<<d)-1;
int i,j;
for(i=1;i<=n;i++) {
if(s[i]=='x') pos[++pos[0]]=i;
if(s[i]=='a') {
fs[i]=2; sd[i]=3;
}else if(s[i]=='b') {
fs[i]=1; sd[i]=3;
}else if(s[i]=='c') {
fs[i]=1; sd[i]=2;
}
}
for(i=1;i<=m;i++) {
scanf("%d%s%d%s",&xx[i],op1,&zz[i],op2);
yy[i]=op1[0]-'A'+1; ww[i]=op2[0]-'A'+1;
}
for(i=0;i<=mask;i++) {
for(j=1;j<=d;j++) {
if(i&(1<<(j-1))) {
fs[pos[j]]=2; sd[pos[j]]=3;
}else {
fs[pos[j]]=1; sd[pos[j]]=3;
}
}
if(check()) {
print();
puts("");
return 0;
}
}
puts("-1");
return 0;
}
LOJ_2305_「NOI2017」游戏 _2-sat的更多相关文章
- 「NOI2017」游戏
「NOI2017」游戏 题目描述 小 L 计划进行 \(n\) 场游戏,每场游戏使用一张地图,小 L 会选择一辆车在该地图上完成游戏. 小 L 的赛车有三辆,分别用大写字母 \(A\).\(B\).\ ...
- loj #2305. 「NOI2017」游戏
#2305. 「NOI2017」游戏 题目描述 小 L 计划进行 nnn 场游戏,每场游戏使用一张地图,小 L 会选择一辆车在该地图上完成游戏. 小 L 的赛车有三辆,分别用大写字母 AAA.BBB. ...
- LOJ2305 「NOI2017」游戏
「NOI2017」游戏 题目背景 狂野飙车是小 L 最喜欢的游戏.与其他业余玩家不同的是,小 L 在玩游戏之余,还精于研究游戏的设计,因此他有着与众不同的游戏策略. 题目描述 小 L 计划进行$n$场 ...
- 「NOI2017」游戏 解题报告
「NOI2017」游戏 \(d\)这么小,你考虑直接对\(d\)个东西暴力 枚举\(x\)为\(a\)或\(b\)(\(c\)就不用了,因为\(a,b\)已经包含\(c\))了,剩下的就是个\(2-s ...
- loj#2305. 「NOI2017」游戏 2-sat
链接 https://loj.ac/problem/2305 https://www.luogu.org/problemnew/show/P3825 思路 3-sat神马的就不要想了,NP问题 除去x ...
- 【LOJ】 #2305. 「NOI2017」游戏
题解 枚举x所在的地图的颜色,然后2-SAT建边 如果v所在的地图刚好是不能选的,那么u这边只能选另一种颜色 否则就是u的颜色到v的颜色 v的另一种颜色到u的另一种颜色 代码 #include < ...
- LG3825/BZOJ4945/LOJ2305 「NOI2017」游戏 dfs+2-SAT
问题描述 LG3825 BZOJ4945 LOJ2305 题解 发现对于每个地图,如果没有\(A,B,C\)地图不可以使用\(a,b,c\),就是一个\(\mathrm{3-SAT}\)问题. 有了这 ...
- 「HNOI2018」游戏
「HNOI2018」游戏 解题思路 首先没有锁上的门可以缩点缩掉,然后对于一扇锁上的门,如果钥匙在左边,那么右边就永远不可能到达左边,同理如果钥匙在右边,左边就永远不可能到达右边. 然后考虑一个暴力的 ...
- LOJ2303 「NOI2017」蚯蚓排队
「NOI2017」蚯蚓排队 题目描述 蚯蚓幼儿园有$n$只蚯蚓.幼儿园园长神刀手为了管理方便,时常让这些蚯蚓们列队表演. 所有蚯蚓用从$1$到$n$的连续正整数编号.每只蚯蚓的长度可以用一个正整数表示 ...
随机推荐
- Integer 和int 比较
在jdk1.5的环境下,有如下4条语句: 1 2 3 4 Integer i01 = 59; int i02 = 59; Integer i03 =Integer.valueOf(59); Integ ...
- spring mvc和spring的区别
springmvc只是spring其中的一部分. spring 可以 支持 hibernate ,ibatis ,JMS,JDBC 支持事务管理, 注解功能,表达式语言,测试 springmvc 就是 ...
- FreeMarker系列学习笔记
FreeMarker是一个非常优秀的模板引擎,这个模板引擎可用于任何场景,FreeMarker负责将数据模型中的数据合并到模板中,从而生成标准输出.FreeMarker可以提供昜好的团队协作,对于界面 ...
- 我的sql数据库存储过程分页- -
以前用到数据库存储过程分页的时候都是用 not in 但是最近工作的时候,随着数据库记录的不断增大,发现not in的效率 真的不行 虽然都设置了索引,但是当记录达到10w的时候就发现不行了,都是需要 ...
- JVM如何理解Java泛型类
//泛型代码 public class Pair<T>{ private T first=null; private T second=null; public Pair(T fir,T ...
- JVM笔记8-虚拟机性能监控与故障处理工具
1.JDK命令行工具 Java开发人员肯定都知道JDK的bin目录有“java.exe”,"javac.exe"这两个命令行工具,但并非所有程序员都了解过JDK的bin目录之中其他 ...
- pg_dump命令帮助信息
仅为参考查阅方便,完全命令行帮助信息,无阅读价值. pg_dump dumps a database as a text file or to other formats. Usage: pg_du ...
- 详解CSS选择器、优先级与匹配原理【转】
作为一个Web开发者,掌握必要的前台技术也是很重要的,特别是在遇到一些实际问题的时候.这里给大家列举一个例子: 给一个p标签增加一个类(class),可是执行后该class中的有些属性并没有起作用.通 ...
- day13_Mysql事务与数据库连接池学习笔记
一.Mysql事务 事务: 事务指逻辑上的一组操作,组成这组操作的各个单元,要么全部成功,要么全部不成功(数据回滚). 例如:A给B转帐,对应于如下两条sql语句 : update account ...
- CAS与OAuth2的区别
CAS与OAuth2的区别 一. CAS的单点登录时保障客户端的用户资源的安全 . OAuth2则是保障服务端的用户资源的安全 . 二. CAS客户端要获取的最终信息是,这个用户到底有没有权限访问我( ...