UOJ和洛谷上能A,bzoj 8ms即WA,现在也不是知道为啥……因为我太弱了

先看数据范围发现d非常小,自然想到了状压。

所以先假装都是只能跑两种车的,这显然就是个2-SAT问题了:对于x场没有hx的,直接跳过;对于y场没有hy的,连(x,x'),表示x不能选;对于都有的,连接(x,y),表示选了x必须选y,(y',x'),表示不选y的话也不能选x。

注意!

1 连(x,x')的时候不要直接add(i,i+n)!这里方便起见写成(x,x'),实际上应该是(x,不是x的另一个)

2 (x,y)(y',x')是反着的!后边一条不能连成(x',y')!选了x'并不是一定要选y',但是选y'就意味着不能选x相当于必须选x'!

然后tarjan缩点判每一对点所在的scc编号是否一样,是则无解,否则输出方案:

正常的输出方案应该是输出一对点中拓扑序在前的,其实就相当于在一对点里选一个scc编号小的即可

然后考虑x,就是在最外面套一层二进制枚举x的状态。为什么不是三进制呢?会TLE,因为发现组合并不重要,重要的是每个可选地都在两个一对的方案里出现过即可,也就是只需要枚举x是选(A,C),或者选(B,C)。

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
const int N=100005;
int n,m,d,h[N],cnt,a[N],p[10],tot,x[N],hx[N],y[N],hy[N],id[N][4],con,top,s[N],dfn[N],low[N],dft,bl[N];
char c[N];
bool v[N];
struct qwe
{
int ne,to;
}e[N*10];
int read()
{
int r=0,f=1;
char p=getchar();
while(p>'9'||p<'0')
{
if(p=='-')
f=-1;
p=getchar();
}
while(p>='0'&&p<='9')
{
r=r*10+p-48;
p=getchar();
}
return r*f;
}
int readc()
{
char p=getchar();
while(p<'A'||p>'Z')
p=getchar();
return p-'A'+1;
}
void add(int u,int v)
{//cout<<u<<" "<<v<<endl;
cnt++;
e[cnt].ne=h[u];
e[cnt].to=v;
h[u]=cnt;
}
void tarjan(int u)
{
low[u]=dfn[u]=++dft;
v[s[++top]=u]=1;
for(int i=h[u];i;i=e[i].ne)
{
if(!dfn[e[i].to])
{
tarjan(e[i].to);
low[u]=min(low[u],low[e[i].to]);
}
else if(v[e[i].to])
low[u]=min(low[u],dfn[e[i].to]);
}
if(dfn[u]==low[u])
{
con++;
while(s[top]!=u)
{
bl[s[top]]=con;
v[s[top--]]=0;
}
bl[s[top]]=con;
v[s[top--]]=0;
}
}
int main()
{
n=read(),d=read();
scanf("%s",c+1);
for(int i=1;i<=n;i++)
{
if(c[i]=='x')
p[++tot]=i;
a[i]=c[i]-'a'+1;
if(a[i]==1)
id[i][2]=0,id[i][3]=1;
else if(a[i]==2)
id[i][1]=0,id[i][3]=1;
else
id[i][1]=0,id[i][2]=1;
}
m=read();
for(int i=1;i<=m;i++)
x[i]=read(),hx[i]=readc(),y[i]=read(),hy[i]=readc();
for(int b=0;b<(1<<d);b++)
{//cout<<endl;
memset(h,0,sizeof(h));
memset(v,0,sizeof(v));
memset(dfn,0,sizeof(dfn));
cnt=0;top=0,con=0;dft=0;
int q=b;
for(int i=1;i<=tot;i++,q>>=1)
{
if(q&1)
a[p[i]]=1;
else
a[p[i]]=2;
if(a[p[i]]==1)
id[p[i]][2]=0,id[p[i]][3]=1;
else if(a[p[i]]==2)
id[p[i]][1]=0,id[p[i]][3]=1;
}
// for(int i=1;i<=n;i++)
// printf("%d ",a[i]);
// cout<<endl;
for(int i=1;i<=m;i++)
if(a[x[i]]!=hx[i]&&!(x[i]==y[i]&&hx[i]==hy[i]))
{
if(a[y[i]]==hy[i])
add(x[i]+n*id[x[i]][hx[i]],x[i]+n*(id[x[i]][hx[i]]^1));
else
add(x[i]+n*id[x[i]][hx[i]],y[i]+n*id[y[i]][hy[i]]),add(y[i]+n*(id[y[i]][hy[i]]^1),x[i]+n*(id[x[i]][hx[i]]^1));
}
for(int i=1;i<=2*n;i++)
if(!dfn[i])
tarjan(i);
bool f=1;
for(int i=1;i<=n;i++)
if(bl[i]==bl[i+n])
{
f=0;
break;
}
if(f)
{
for(int i=1;i<=n;i++)
{
if(bl[i]<bl[i+n])
{
if(a[i]==1)
printf("B");
else
printf("A");
}
else
{
if(a[i]==3)
printf("B");
else
printf("C");
}
}
return 0;
}
}
puts("-1");
return 0;
}

洛谷 P3825 [NOI2017]游戏 【2-SAT+状压】的更多相关文章

  1. 洛谷P3825 [NOI2017]游戏(2-SAT)

    传送门 果然图论的题永远建图最麻烦……看着题解代码的建图过程真的很珂怕…… 先不考虑地图$x$,那么每一个地图都只能用两种赛车,于是我们可以用2-SAT来搞,用$i$表示这个地图能用的第一辆车,$i' ...

  2. 洛谷3825 [NOI2017]游戏 2-sat

    原文链接http://www.cnblogs.com/zhouzhendong/p/8146041.html 题目传送门 - 洛谷3825 题解 我们考虑到地图中x的个数很少,最多只有8个. 所以我们 ...

  3. 【题解】洛谷P2704 [NOI2001] 炮兵阵地(状压DP)

    洛谷P2704:https://www.luogu.org/problemnew/show/P2704 思路 这道题一开始以为是什么基于状压的高端算法 没想到只是一道加了一行状态判断的状压DP而已 与 ...

  4. 【题解】洛谷P1896 [SCOI2005] 互不侵犯(状压DP)

    洛谷P1896:https://www.luogu.org/problemnew/show/P1896 前言 这是一道状压DP的经典题 原来已经做过了 但是快要NOIP 复习一波 关于一些位运算的知识 ...

  5. 【题解】洛谷P1879 [USACO06NOV] Corn Fields(状压DP)

    洛谷P1879:https://www.luogu.org/problemnew/show/P1879 思路 把题目翻译成人话 在n*m的棋盘 每个格子不是0就是1 1表示可以种 0表示不能种 相邻的 ...

  6. 洛谷 P7620 - CF1431J Zero-XOR Array(状压 dp)

    洛谷题面传送门 首先显然题目等价于求有多少个长度 \(n-1\) 的序列 \(b\) 满足 \(a_i\le b_i\le a_{i+1}\),满足 \(b_1\oplus b_2\oplus\cdo ...

  7. 洛谷P1171 售货员的难题【状压DP】

    题目描述 某乡有n个村庄(1 输入格式: 村庄数n和各村之间的路程(均是整数). 输出格式: 最短的路程. 输入样例: 3 0 2 1 1 0 2 2 1 0 输出样例 3 说明 输入解释 3 {村庄 ...

  8. 洛谷 P2622 关灯问题II【状压DP;隐式图搜索】

    题目描述 现有n盏灯,以及m个按钮.每个按钮可以同时控制这n盏灯--按下了第i个按钮,对于所有的灯都有一个效果.按下i按钮对于第j盏灯,是下面3中效果之一:如果a[i][j]为1,那么当这盏灯开了的时 ...

  9. 洛谷P4289 移动玩具 HAOI2008 搜索+状压

    正解:状压 解题报告: 先,放下传送门QwQ 说真的我jio得这题不管是思路还是实现上,都还是有一定难度的?然后就看到神仙hl博客里一句"太水了不讲了"就过掉了,,,好的趴太强辽Q ...

随机推荐

  1. 无向图生成树计数 基尔霍夫矩阵 SPOJ Highways

    基尔霍夫矩阵 https://blog.csdn.net/w4149/article/details/77387045 https://blog.csdn.net/qq_29963431/articl ...

  2. 2016 ACM-ICPC CHINA-Final

    补题进度:10/12 地址:http://codeforces.com/gym/101194 A(签到) 略 B(数位DP) 题意: 定义一个01字符串为good串当且仅当将其奇数位或者偶数位单独拎出 ...

  3. 2017CodeM初赛A场

    A.最长树链(loj6159) 分析: 对于每个质因数,取出所有是它倍数的点组成一个树,然后找最长路径 每个数操作次数是其质因数的个数 所以总的复杂度不超过O(nlogA) B.二分图染色(loj61 ...

  4. 实验二:编写输出“Hello word!”

    一:编写输出“Hello word!” 1.运行eclipse,在project name中输入要创建的项目名称. 2.创建java类,点击File->New->Class,在弹出窗口中N ...

  5. Linux学习笔记总结

    零.求人不如求已:        1. 在Linux中,文件,目录,驱动,命令,脚本都视为文件,也即一切皆file. 2.记住使用Linux 的关键就是六个字: 命令.选项.參数. 3.学会看帮助,不 ...

  6. IO流(SequenceInputStream序列流--文件拆分与合并)

    一.文件拆分 1.将一个文件按照规定的大小进行分割成多个文件并将被分割详细信息保存至配置信息中 Properties 类表示了一个持久的属性集.Properties 可保存在流中或从流中加载,属性列表 ...

  7. 记一次UICollectionView中visibleCells的坑

    记一次UICollectionView中visibleCells的坑 项目的要求是这样的 其实也是一个轮播图,而已,所以依照轮播图的实现原理,这里觉得也很简单,还是利用UICollectionView ...

  8. 常用的Sublime Text插件及安装方法

    Package Control 功能:安装包管理 简介:sublime插件控制台,提供添加.删除.禁用.查找插件等功能 使用:https://sublime.wbond.net/installatio ...

  9. hexSHA1散列加密解密(不可逆)

    1.maven引入codec和commons依赖: <dependency> <groupId>commons-codec</groupId> <artifa ...

  10. python compileall 打包发布

    Python工程的编译.合并.打包.发布   from:https://my.oschina.net/bfbd/blog/864310 确保要发布的包(demo)的根目录中有__main__.py文件 ...