[bzoj4945]游戏
2024-09-03 17:09:13
暴力枚举$2^{d}$表示这d个点中一定不选A或一定不选B(那么就包含了所有情况),然后就对原图跑2-sat即可
注意一个细节,如果某一条限制中初始点不合法,就不用管了;如果最终点不合法,那么相当于初始点不能选,可以用向同类连边的方式来标记一定不能选
1 #include<bits/stdc++.h>
2 using namespace std;
3 #define N 100005
4 struct ji{
5 int nex,to;
6 }edge[N<<2];
7 int E,n,m,flag,x[N],y[N],cx[N],cy[N],head[N<<1],vis[N],a[N],bl[N];
8 char s1[11],s2[11],s[N];
9 int id(char c,int p){
10 if (p==c-'a')return -1;
11 return (2*p>3-(c-'a'));
12 }
13 void add(int x,int y){
14 edge[E].nex=head[x];
15 edge[E].to=y;
16 head[x]=E++;
17 if (E&1)add(y+2*n,x);
18 }
19 void dfs1(int k){
20 if (vis[k])return;
21 vis[k]=1;
22 for(int i=head[k];i!=-1;i=edge[i].nex)dfs1(edge[i].to);
23 a[++a[0]]=k;
24 }
25 void dfs2(int k,int s){
26 if (!vis[k])return;
27 vis[k]=0;
28 bl[k]=s;
29 for(int i=head[k];i!=-1;i=edge[i].nex)dfs2(edge[i].to,s);
30 }
31 void dfs(int k){
32 if (flag)return;
33 int nex=n+1;
34 for(int i=n;i>k;i--)
35 if (s[i]=='x')nex=i;
36 if (nex>n){
37 int scc=E=a[0]=0;
38 memset(head,-1,sizeof(head));
39 for(int i=1;i<=m;i++){
40 int xx=id(s[x[i]],cx[i]),yy=id(s[y[i]],cy[i]);
41 if (xx<0)continue;
42 if (yy>=0){
43 add(2*y[i]+yy-1,2*x[i]+xx-1);
44 add(2*x[i]+(xx^1)-1,2*y[i]+(yy^1)-1);
45 }
46 else
47 for(int j=0;j<3;j++)
48 if (id(s[x[i]],j)==(xx^1))add(2*x[i]+(xx^1)-1,2*x[i]+xx-1);
49 }
50 for(int i=1;i<=n;i++)dfs1(2*i-1);
51 for(int i=1;i<=n;i++)dfs1(2*i);
52 for(int i=1;i<=2*n;i++)head[i]=head[i+2*n];
53 for(int i=2*n;i;i--)dfs2(a[i],++scc);
54 for(int i=1;i<2*n;i+=2)
55 if (bl[i]==bl[i+1])return;
56 flag=1;
57 for(int i=1;i<=n;i++)
58 for(int j=0;j<3;j++)
59 if (id(s[i],j)==(bl[2*i-1]>bl[2*i]))printf("%c",'A'+j);
60 return;
61 }
62 s[nex]='a';
63 dfs(nex);
64 s[nex]='b';
65 dfs(nex);
66 s[nex]='x';
67 }
68 int main(){
69 scanf("%d%*d%s%d",&n,s+1,&m);
70 for(int i=1;i<=m;i++){
71 scanf("%d%s%d%s",&x[i],s1,&y[i],s2);
72 cx[i]=s1[0]-'A';
73 cy[i]=s2[0]-'A';
74 }
75 dfs(0);
76 if (!flag)printf("-1");
77 }
最新文章
- Dom元素的操作
- 【转载】Linux常用命令列表
- caffe中关于数据进行预处理的方式
- Eclipses使用小技巧
- sourceforge免费空间申请及使用笔记
- [数据库]SQL Server 用户NT AUTHORITY\IUSR 登录失败
- ssh原理
- 学习练习 java 小题
- 使用truncate命令清空当前用户所有表的所有数据
- Hadoop高可用平台搭建
- 交换机VLAN、 TRUNK 、VTP 配置
- 《RabbitMQ Tutorial》第 1 章 简介
- MyBatis入门简述
- .NET Core 多项目工程生成EF迁移代码
- 【Linux】文件IO --- sync、fsync、fdatesync
- 8-13、Python 散列复习
- Git的学习与使用
- Window对象属性
- Codeforces Round 500 (Div 2) Solution
- webpack1--安装与初始化