码迷,mamicode.com
首页 > 其他好文 > 详细

NOI2017 [NOI2017]游戏 【2-sat】

时间:2018-02-03 18:56:09      阅读:213      评论:0      收藏:0      [点我收藏+]

标签:bbb   思维   适合   span   return   cstring   cst   names   etc   

题目

题目背景

狂野飙车是小 L 最喜欢的游戏。与其他业余玩家不同的是,小 L 在玩游戏之余,还精于研究游戏的设计,因此他有着与众不同的游戏策略。

题目描述

小 L 计划进行nn 场游戏,每场游戏使用一张地图,小 L 会选择一辆车在该地图上完成游戏。

小 L 的赛车有三辆,分别用大写字母A、B、C表示。地图一共有四种,分别用小写字母x、a、b、c表示。其中,赛车A不适合在地图a上使用,赛车B不适合在地图b上使用,赛车C不适合在地图c上使用,而地图x则适合所有赛车参加。适合所有赛车参加的地图并不多见,最多只会有d张。

nn 场游戏的地图可以用一个小写字母组成的字符串描述。例如:S=xaabxcbc表示小 L 计划进行88 场游戏,其中第11 场和第55 场的地图类型是x,适合所有赛车,第22 场和第33 场的地图是a,不适合赛车A,第44 场和第77 场的地图是b,不适合赛车B,第66 场和第88 场的地图是c,不适合赛车C。

小 L 对游戏有一些特殊的要求,这些要求可以用四元组 (i, h_i, j, h_j)(i,h
i
? ,j,h
j
? ) 来描述,表示若在第ii 场使用型号为h_ih
i
? 的车子,则第jj 场游戏要使用型号为h_jh
j
? 的车子。

你能帮小 L 选择每场游戏使用的赛车吗?如果有多种方案,输出任意一种方案。如果无解,输出 “-1’’(不含双引号)。

输入格式

输入第一行包含两个非负整数n, dn,d 。

输入第二行为一个字符串SS 。n, d, Sn,d,S 的含义见题目描述,其中SS 包含nn 个字符,且其中恰好dd 个为小写字母xx 。

输入第三行为一个正整数mm ,表示有mm 条用车规则。接下来mm 行,每行包含一个四元组i, h_i, j, h_ji,h
i
? ,j,h
j
? ,其中i, ji,j 为整数,h_i, h_jh
i
? ,h
j
? 为字符a、b或c,含义见题目描述。

输出格式

输出一行。

若无解输出 “-1’’(不含双引号)。

若有解,则包含一个长度为nn 的仅包含大写字母A、B、C的字符串,表示小 L 在这nn 场游戏中如何安排赛车的使用。如果存在多组解,输出其中任意一组即可。

输入样例

3 1
xcc
1
1 A 2 B

输出样例

ABA

提示

【样例1解释】

小 L 计划进行33 场游戏,其中第11 场的地图类型是x,适合所有赛车,第22 场和第33 场的地图是c,不适合赛车C。

小 L 希望:若第11 场游戏使用赛车A,则第22 场游戏使用赛车B。那么为这33 场游戏分别安排赛车A、B、A可以满足所有条件。若依次为33 场游戏安排赛车为BBB或BAA时,也可以满足所有条件,也被视为正确答案。但依次安排赛车为AAB或ABC时,因为不能满足所有条件,所以不被视为正确答案。
技术分享图片

题解

其实是比较裸的一道2-sat,主要思维难点在于处理"x"
我们先这样想,如果没有x,会是怎样?

每场比赛不能用三种车中以一种,就只有两种选择,选且只选一个
每场比赛之间会有影响

这就可以2-sat建模了
每场比赛的两种车分别作为两个对立的点
对于m个限制:
①如果\(h_i\)本身就是\(i\)不能使用的车,\(i\)肯定不会选,直接忽视
②若\(h_j\)\(j\)不能选的车,那么\(i\)就不能选\(h_i\),由\(h_i\)对立点\(h_i‘\)连有向边
③否则\(h_i\)连向\(h_j\)\(h_j‘\)连向\(h_i‘\)

跑tarjan缩点判断即可,输出方案按拓扑逆序【其实就是Scc编号正序】

撒花~~
等等......
好像还忘了x
题目中x最多为8,可以直接枚举所有x的限制
\(3^d\)会T
我们只枚举x为a或者b,这样子每个x点三种车都有机会选到,如果这样情况下仍然无解,那么肯定就无解了

#include<iostream>
#include<cmath>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define cls(s) memset(s,0,sizeof(s))
#define LL long long int
#define REP(i,n) for (int i = 1; i <= (n); i++)
#define Redge(u) for (int k = h[u],to; k; k = ed[k].nxt)
#define BUG(s,n) for (int i = 1; i <= (n); i++) cout<<s[i]<<‘ ‘; puts("");
using namespace std;
const int maxn = 100005,maxm = 200005,INF = 1000000000;
inline int read(){
    int out = 0,flag = 1; char c = getchar();
    while (c < 48 || c > 57) {if (c == ‘-‘) flag = -1; c = getchar();}
    while (c >= 48 && c <= 57) {out = (out << 3) + (out << 1) + c - ‘0‘; c = getchar();}
    return out * flag;
}
int h[maxn],ne = 1;
struct EDGE{int to,nxt;}ed[maxm];
inline void build(int u,int v){ed[ne] = (EDGE){v,h[u]}; h[u] = ne++;}
const char alpha[] = {"abc"};
char s[maxn],P[maxn],A[maxn],B[maxn];
int pos[20],n,d,m,p1[maxn],p2[maxn];
int Scc[maxn],dfn[maxn],low[maxn],st[maxn],top,cnt,scci;
inline int id(int u,char c){
    if (c == ‘a‘) return u;
    if (c == ‘b‘ && P[u] == ‘a‘) return u;
    return u + n;
}
inline char Get(int u,int v){
    if (P[u] == ‘a‘) return v ? ‘B‘ : ‘C‘;
    if (P[u] == ‘b‘) return v ? ‘A‘ : ‘C‘;
    return v ? ‘A‘ : ‘B‘;
}
void dfs(int u){
    dfn[u] = low[u] = ++cnt;
    st[++top] = u;
    Redge(u){
        if (!dfn[to = ed[k].to]){
            dfs(to);
            low[u] = min(low[u],low[to]);
        }else if (!Scc[to]) low[u] = min(low[u],dfn[to]);
    }
    if (dfn[u] == low[u]){
        scci++;
        do{
            Scc[st[top]] = scci;
        }while (st[top--] != u);
    }
}
bool solve(){
    for (int i = 1; i <= (n << 1); i++)
        h[i] = Scc[i] = dfn[i] = low[i] = 0;
    top = cnt = scci = 0; ne = 1;
    for (int i = 1; i <= m; i++){
        int a = p1[i],b = p2[i];
        int x = id(a,A[i]),y = id(b,B[i]);
        int x1 = x > n ? x - n : x + n,y1 = y > n ? y - n : y + n;
        if (A[i] == P[a]) continue;
        if (B[i] == P[b]) build(x,x1);
        else build(x,y),build(y1,x1);
    }
    for (int i = 1; i <= (n << 1); i++) if (!dfn[i]) dfs(i);
    for (int i = 1; i <= n; i++) if (Scc[i] == Scc[i + n]) return false;
    /*puts("");
    for (int i = 1; i <= (n << 1); i++) printf("%d:%d\n",i,Scc[i]); puts("");*/
    
    for (int i = 1; i <= n; i++) putchar(Get(i,Scc[i] < Scc[i + n]));
    return true;
}
bool Dfs(int u){
    if (u > d) return solve();
    for (int i = 0; i < 2; i++){
        P[pos[u]] = alpha[i];
        if (Dfs(u + 1)) return true;
    }
    return false;
}
int main(){
    n = read(); d = read(); d = 0;
    scanf("%s",s + 1);
    for (int i = 1; i <= n; i++)
        if (s[i] == ‘x‘) pos[++d] = i;
        else P[i] = s[i];
    m = read();
    for (int i = 1; i <= m; i++){
        scanf("%d %c %d %c",&p1[i],&A[i],&p2[i],&B[i]);
        A[i] += ‘a‘ - ‘A‘; B[i] += ‘a‘ - ‘A‘;
    }
    if (!Dfs(1)) puts("-1");
    return 0;
}

NOI2017 [NOI2017]游戏 【2-sat】

标签:bbb   思维   适合   span   return   cstring   cst   names   etc   

原文地址:https://www.cnblogs.com/Mychael/p/8410045.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!