「NOI2017」游戏题解

最新推荐文章于 2024-08-24 21:01:27 发布

cyh20100812

最新推荐文章于 2024-08-24 21:01:27 发布

阅读量69

点赞数 2

分类专栏：题解文章标签：算法图论 c++

本文链接：https://blog.csdn.net/cyh20100812/article/details/132310663

版权

题解专栏收录该内容

3 篇文章 0 订阅

订阅专栏

前言

从来没有这么想写题解这道耗了我一个下午(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;
}