前言
从来没有这么想写题解这道耗了我一个下午(14:30-?)的毒瘤题终于是把它办掉了…
众所周知一场比赛是需要一张头图的 虽然这是TJ但不妨碍我放头图。。。
题意
是的 没错 我B完了
其实这道题的题意很简单 在n场比赛中你有4种不同的地图(a b c x) 3辆不同的赛车(A B C) 请寻找任意一种可行方案并输出
限制条件:
1.赛车 A 不适合在地图 a 上使用
2.赛车 B 不适合在地图 b 上使用
3.赛车 C 不适合在地图 c 上使用
4.我们拥有 d 张神奇的适合所有赛车的 x 地图
思路
乍一看 x 地图很神奇啊?!好 我选择先放手
a b c 图
对于友好的 a b c 图,因为能放在上面的车只有两种,而限制条件又形如选了 A 就要选 B (若在第 i 场使用型号为 hi 的车子,则第 j 场游戏要使用型号为 hj 的车子),那不爽歪了——这是一个 2-sat 问题
现在我们设 m 表示 a 地图能用的第一辆车,m′ 表示 a 地图能用的第二辆车
如果 m 选了就必须要选 n 的话,那么显然有 m′ 选了就必须要选 n′ 其他情况同理,这里可以直接连一条边
考虑一些特殊情况,如果选了 m 就必须选 n 但是 n 不能选的话,显然 m 也不能选,于是直接连一条 m → m′ 把选 m 的可能性否决掉
如果给出的限制 m 不能选的话,可以直接无视掉这条限制,因为 m 本身就不在进行 Tarjan 的点中
代入一下
对于一组限制(i,h_i,j,h_j),如果(i)上不能放(h_i)这辆车,那么这个操作就不用处理了废话
如果(j)上不能放(h_j)这辆车,那么就让(i → i′),表示一旦选择(i)就不合法了
否则我们就正常连边,连(i → j),表示选择(h_i)就必须选(h_j)。当然最重要的是根据对称性,我们还得连(j′→ i′),表示不选(h_j)就不能选(h_i)
x 图
(快按住去找键盘的手 我们还没说完)
那么神奇的 x 地图呢,它竟然允许放3种车,莫非是传说中的 3-sat 问题?! 好吧我选择找老朋友帮忙
使用 DFS 强行搜索(毕竟d不算大)
暴力枚举 x 对应的地图是 a 还是 b 还是 c 直觉告诉我NOI的题目这么暴力觉得超时
优化一下
于是我们选择考虑爆搜的时候不搜 x 放什么车了,改为搜 x 不放什么车。
不放 A 车,那么就能放 B 车和 C 车;不放 B 车就能放 A 车和 C 车;所以我们只搜这个位置填成 a 还是 b 就把三种情况都计算了
于是复杂度…(不会算
当你认为万事具备只欠代码时。。。 那恭喜你 确实只欠代码了
ac代码
注释版
#include<bits/stdc++.h>
using namespace std;
int n,d,m,num,top,tot,cnt,numm;
int I[1000000],J[1000000];//此处的 I J 就是题目中的 i j (怕写循环难受 So...
char s[5000005],hi[5000005],hj[5000005];
int dfn[10000005],head[10000005],low[10000005],st[10000005],col[10000005],f[10000005];
int ans[2][10000005],pos[10000005];
inline int read() {//怕超时卡卡角角找的快读 试了下不加也不会超
char c=getchar();int x=0;
while(c<'0'||c>'9') c=getchar();
while(c>='0'&&c<='9') x=(x<<3)+(x<<1)+c-48,c=getchar();
return x;
}
struct edge{//同老师的 PPT
int v,nxt;
}e[9000005];
void add(int x,int y) {//同老师的 PPT
e[++num].v=y;
e[num].nxt=head[x];
head[x]=num;
}
void tarjan(int x) {//同老师的 PPT
dfn[x]=low[x]=++numm;
f[x]=1;
st[++top]=x;
for(int i=head[x];i;i=e[i].nxt)
if(!dfn[e[i].v]) tarjan(e[i].v),low[x]=min(low[x],low[e[i].v]);
else if(f[e[i].v]) low[x]=min(low[x],dfn[e[i].v]);
if(dfn[x]==low[x]) {
++cnt;int now;
do{
now=st[top--];
col[now]=cnt;
f[now]=0;
}while(now!=x);
}
}
int getans(int i,char c) { //找答案
if(s[i]==c+'a'-'A') return -1;
if(s[i]=='a'){
if(c=='B')
return 0;
return 1;
}
if(s[i]=='b'){
if(c=='C')
return 0;
return 1;
}
if(s[i]=='c'){
if(c=='A')
return 0;
return 1;
}
}
void ccout(int i,int c) { //输出函数
if(s[i]=='a'){//a图 跑 B C
if(c!=0)
cout<<"C";
else
cout<<"B";
}
if(s[i]=='b'){//同上
if(c!=0)
cout<<"A";
else
cout<<"C";
}
if(s[i]=='c'){//同上
if(c!=0)
cout<<"B";
else
cout<<"A";
}
}
void maain() {//大法师的铺垫
cnt=0;
numm=0;
num=0;
top=0;
memset(head,0,sizeof(head));
memset(dfn,0,sizeof(dfn));
memset(low,0,sizeof(low));
memset(col,0,sizeof(col));
memset(f,0,sizeof(f));//以上全为初始化
for(int i=1;i<=m;i++) {
int x=getans(I[i],hi[i]);
if(x==-1) continue;
int y=getans(J[i],hj[i]);
if(y==-1){
add(ans[x][I[i]],ans[x^1][I[i]]);
continue;
}
add(ans[x][I[i]],ans[y][J[i]]);
add(ans[y^1][J[i]],ans[x^1][I[i]]);
}
for(int i=1;i<=n+n;i++) if(!dfn[i]) tarjan(i);
for(int i=1;i<=n;i++) if(col[i]==col[i+n]) return;
for(int i=1;i<=n;i++){
if(col[i]<col[i+n])
ccout(i,0);
else
ccout(i,1);
}
exit(0);
}
void dfs(int x) {
if(x==d+1) {
maain();
return;
}
s[pos[x]]='a';
dfs(x+1);
s[pos[x]]='b';
dfs(x+1);
}
int main(){
n=read();d=read();scanf("%s",s+1);m=read();//输入
for(int i=1;i<=m;i++) {
cin>>I[i];cin>>hi[i];
cin>>J[i];cin>>hj[i];
}//输入
for(int i=1;i<=n;i++) ans[0][i]=i,ans[1][i]=i+n;//应该算 初始化 吧。。。
for(int i=1;i<=n;i++) if(s[i]=='x') pos[++tot]=i;
dfs(1);
cout<<-1;//没有合法情况
return 0;
}
绿色通行版
#include<bits/stdc++.h>
using namespace std;
int n,d,m,I[1000000],J[1000000],num,top,tot,cnt,numm;
char s[5000005],hi[5000005],hj[5000005];
int dfn[10000005],head[10000005],low[10000005],st[10000005],col[10000005],f[10000005];
int ans[2][10000005],pos[10000005];
inline int read() {
char c=getchar();int x=0;while(c<'0'||c>'9') c=getchar();
while(c>='0'&&c<='9') x=(x<<3)+(x<<1)+c-48,c=getchar();return x;
}
struct edge{
int v,nxt;
}e[9000005];
void add(int x,int y) {
e[++num].v=y;
e[num].nxt=head[x];
head[x]=num;
}
void tarjan(int x) {
dfn[x]=low[x]=++numm;
f[x]=1;
st[++top]=x;
for(int i=head[x];i;i=e[i].nxt)
if(!dfn[e[i].v]) tarjan(e[i].v),low[x]=min(low[x],low[e[i].v]);
else if(f[e[i].v]) low[x]=min(low[x],dfn[e[i].v]);
if(dfn[x]==low[x]) {
++cnt;int now;
do{
now=st[top--];
col[now]=cnt;
f[now]=0;
}while(now!=x);
}
}
int getans(int i,char c) {
if(s[i]==c+'a'-'A') return -1;
if(s[i]=='a'){
if(c=='B')
return 0;
return 1;
}
if(s[i]=='b'){
if(c=='C')
return 0;
return 1;
}
if(s[i]=='c'){
if(c=='A')
return 0;
return 1;
}
}
void ccout(int i,int c) {
if(s[i]=='a'){
if(c!=0)
cout<<"C";
else
cout<<"B";
}
if(s[i]=='b'){
if(c!=0)
cout<<"A";
else
cout<<"C";
}
if(s[i]=='c'){
if(c!=0)
cout<<"B";
else
cout<<"A";
}
}
void maain() {
cnt=0;
numm=0;
num=0;
top=0;
memset(head,0,sizeof(head));
memset(dfn,0,sizeof(dfn));
memset(low,0,sizeof(low));
memset(col,0,sizeof(col));
memset(f,0,sizeof(f));
for(int i=1;i<=m;i++) {
int x=getans(I[i],hi[i]);
if(x==-1) continue;
int y=getans(J[i],hj[i]);
if(y==-1){
add(ans[x][I[i]],ans[x^1][I[i]]);// 取反 x 的最低位
continue;
}
add(ans[x][I[i]],ans[y][J[i]]);
add(ans[y^1][J[i]],ans[x^1][I[i]]);
}
for(int i=1;i<=n+n;i++) if(!dfn[i]) tarjan(i);
for(int i=1;i<=n;i++) if(col[i]==col[i+n]) return;
for(int i=1;i<=n;i++){
if(col[i]<col[i+n])
ccout(i,0);
else
ccout(i,1);
}
exit(0);
}
void dfs(int x) {
if(x==d+1) {
maain();
return;
}
s[pos[x]]='a';
dfs(x+1);
s[pos[x]]='b';
dfs(x+1);
}
int main(){
n=read();d=read();scanf("%s",s+1);m=read();
for(int i=1;i<=m;i++) {
cin>>I[i];cin>>hi[i];
cin>>J[i];cin>>hj[i];
}
for(int i=1;i<=n;i++) ans[0][i]=i,ans[1][i]=i+n;
for(int i=1;i<=n;i++) if(s[i]=='x') pos[++tot]=i;
dfs(1);
cout<<-1;
return 0;
}