P3825 [NOI2017]游戏

 

P3825 [NOI2017]游戏

 

题目描述

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

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

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

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

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

输入格式

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

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

输入第三行为一个正整数m,表示有m条用车规则。接下来m行,每行包含一个四元组  (i,h_i, j, h_j)  ,其中i, j为整数,h_i, h_j 为字符abc,含义见题目描述。

输出格式

输出一行。

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

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

数据范围

n\leqslant 50000,m\leqslant 100000,d\leqslant 8

 

Solution

感觉2-SAT的题都比较显然吧,只要是每组二选一的大多都可以2-SAT。

先从整体观察此题。题意是给每个位置从ABC三种字母中选择一个填入,某些位置只有两个选项,某些位置有三个选项(出现次数不多于8次),并给出m个条件,每个条件要求x位置为p字符,则y位置为q字符,给出任意方案。

我们发现当所有位置只有两种选项时,就是一道基础的2-SAT题了。

设刚开始给的关于赛道条件的字符串为st,把不选择x表示为选择x^{-1}

对于一个条件

  • 若st[x]=p,那么不会产生任何影响
  • 若st[x]!=p,且st[y]=q,那么我们倘若选择了p,则y位置为q,必然不合法,所以我们连一条x->x^{-1}的边。
  • 若st[x]!=p,且st[y]!=q,那么我们选择了p,相当于选择了q,所以连x->y的边和y^{-1}->x的边。

直接tarjan,输出方案即可。(不会输出方案可以看 P4782 【模板】2-SAT 问题 的题解)

而现在某些位置有三个选项,但出现次数少于8,所以我们直接暴力枚举这些位置选择A还是B,每一次都做一遍上述的2-SAT过程即可。(感觉这题出在NOI2017简直送分)

时间复杂度为O(怎么样都能过)。

空间复杂度为O(怎么开都可以)。 

 

Code(这个编辑器怎么把我的缩进安排了啊):

​
#include<bits/stdc++.h>
using namespace std;
const int MAXN=2e5+50;
const char C[3][2]={{'B','C'},{'A','C'},{'A','B'}}; 
const int c[3][2]={{1,2},{0,2},{0,1}};  //用这两个数组可以方便地判断谁是这个位置的第一种方式char st[MAXN];
bool ins[MAXN];
int DFN,colornum,n,m,d;
int dfn[MAXN],low[MAXN],color[MAXN];
int flag[MAXN],id[MAXN],chx[MAXN],chy[MAXN],X[MAXN],Y[MAXN];
vector<int> e[MAXN];
stack<int> stacks;
void add_edge(int u,int v) 
{ e[u].push_back(v); //cout<<u<<" "<<v<<endl; 
}
inline int read()
{int f=1,x=0; char c=getchar();while (c<'0'||c>'9') { if (c=='-') f=-1; c=getchar(); }while (c>='0'&&c<='9') { x=(x<<3)+(x<<1)+(c^48); c=getchar(); }return x*f;
}
inline char get_ch()
{char c=getchar();while (c<'A'||c>'Z') c=getchar();return c;
}
void tarjan_init()
{DFN=0; colornum=0;memset(dfn,0,sizeof dfn);memset(low,0,sizeof low);memset(color,0,sizeof color);
}
void tarjan(int x)
{stacks.push(x);ins[x]=1;low[x]=dfn[x]=++DFN;for (int i=0;i<e[x].size();i++){int to=e[x][i];if (!dfn[to]){tarjan(to);low[x]=min(low[x],low[to]);}else if (ins[to]) low[x]=min(low[x],dfn[to]);}if (low[x]==dfn[x]){color[x]=++colornum;ins[x]=0;while (stacks.top()!=x){ins[stacks.top()]=0;color[stacks.top()]=colornum;stacks.pop();}stacks.pop();}
}
void make_graph()                                         //分类讨论,构图
{for (int j=1;j<=n*2;j++) e[j].clear();for (int j=1;j<=m;j++) {//cout<<j<<":"<<endl;if (flag[X[j]]==chx[j]) continue;                        if (flag[Y[j]]==chy[j])                         {if (chx[j]==c[flag[X[j]]][0]) add_edge(X[j],X[j]+n);else add_edge(X[j]+n,X[j]);//add_edge(X[j]+n,X[j]);add_edge(X[j],X[j]+n);}else {if (chx[j]==c[flag[X[j]]][0]) {if (chy[j]==c[flag[Y[j]]][0]) add_edge(X[j],Y[j]),add_edge(Y[j]+n,X[j]+n);else add_edge(X[j],Y[j]+n),add_edge(Y[j],X[j]+n);}else {if (chy[j]==c[flag[Y[j]]][0]) add_edge(X[j]+n,Y[j]),add_edge(Y[j]+n,X[j]); else add_edge(X[j]+n,Y[j]+n),add_edge(Y[j],X[j]);}}}
}
bool check()                              //判断是否无解
{for (int j=1;j<=n;j++) if (color[j]==color[j+n]) return 0;return 1;
}
int main()
{n=read(),d=read();scanf("%s",st+1);int xnum=0;for (int i=1;i<=n;i++){if (st[i]=='x') id[++xnum]=i;else flag[i]=st[i]-'a';}m=read();for (int i=1;i<=m;i++){X[i]=read(); chx[i]=get_ch()-'A'; Y[i]=read(); chy[i]=get_ch()-'A';}for (int i=0;i<(1<<d);i++){for (int j=0;j<d;j++) flag[id[j+1]]=((i>>j)&1);make_graph();tarjan_init();for (int j=1;j<=(n<<1);j++)  if (!dfn[j]) tarjan(j);//cout<<endl; for (int j=1;j<=(n<<1);j++) cout<<j<<" "<<dfn[j]<<" "<<low[j]<<" "<<color[j]<<endl;if (!check()) continue;for (int j=1;j<=n;j++) putchar((color[j]<color[j+n])?C[flag[j]][0]:C[flag[j]][1]);                        //输出方案return 0;  }puts("-1");return 0;} 
/*
3 3
axb
5
1 A 3 B
1 B 2 A
1 C 2 C
2 A 3 B
2 B 3 B
*/​

 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/315867.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

事关SuperSocket发布,寻找YangFan哥哥

SuperSocket近日发布了2.0的第一个预览版《SuperSocket 2.0 Preview1 发布&#xff0c;.NET Socket服务器框架》&#xff0c;在NuGet上以一个包含数个SuperSocket程序集的大包的形式发布。https://www.nuget.org/packages/SuperSocket/2.0.0-preview1我原意以独立小包的形式发布…

P3321 [SDOI2015]序列统计(未解决)

P3321 [SDOI2015]序列统计 题意&#xff1a; 题解&#xff1a; 参考题解&#xff1a; 题解 P3321 【[SDOI2015]序列统计】 【LG3321】[SDOI2015]序列统计 神仙题。。学透再补 代码&#xff1a;

P1963 [NOI2009]变换序列

题目描述 不想水字&#xff0c;详见某谷&#xff1a;P1963 [NOI2009]变换序列 solution 其实 的计算就类似于环上的距离。 对于每一个 都可能有两种位置选择&#xff1a;&#xff0c; 。 所以把它们分别连边&#xff0c;二分图上匈牙利算法求完美匹配即可。 #include&…

一次 .NET Core 中玩锁的经历:ManualResetEventSlim, SemaphoreSlim

最近同事对 .net core memcached 缓存客户端 EnyimMemcachedCore 进行了高并发下的压力测试&#xff0c;发现在 linux 上高并发下使用 async 异步方法读取缓存数据会出现大量失败的情况&#xff0c;比如在一次测试中&#xff0c;100万次读取缓存&#xff0c;只有12次成功&…

BZOJ4589. Hard Nim

BZOJ4589. Hard Nim 题意&#xff1a; Claris和NanoApe在玩石子游戏&#xff0c;他们有n堆石子&#xff0c;规则如下&#xff1a; Claris和NanoApe两个人轮流拿石子&#xff0c;Claris先拿。每次只能从一堆中取若干个&#xff0c;可将一堆全取走&#xff0c;但不可不取&…

P2825 [HEOI2016/TJOI2016]游戏

题目描述 详见 P2825 [HEOI2016/TJOI2016]游戏。 solution 套路题。 一般思路是行列建点跑二分图最大匹配。 此题中的#会分隔行列&#xff0c;因此我们把每行的极大联通块设为点&#xff0c;列同理建点。 再对于每个*对应的行的极大联通块与列的最大联通块编号连边&…

P3033 [USACO11NOV]牛的障碍Cow Steeplechase

P3033 [USACO11NOV]牛的障碍Cow Steeplechase 题目描述 详见&#xff1a;P3033 [USACO11NOV]牛的障碍Cow Steeplechase solution 裸题。 对于每一对相交的线段&#xff0c;连一条边&#xff0c;表示这一对线段不能都取。 显然这样会建立一个二分图&#xff08;横的线段不…

Tree Cutting HDU - 5909

Tree Cutting HDU - 5909 题意&#xff1a; 一个无根树&#xff0c;n个点&#xff0c;n-1条边&#xff0c;每个节点有一个权值&#xff0c;一棵树的权值就是其节点(包含本身及其子节点)的权值的异或和&#xff1b;求价值为[0,m)的树有多少颗&#xff1f;(所谓的树其实就是原连…

Redis作者antirez:开源维护者的挣扎

这两天&#xff0c;一篇名为《开源维护者的挣扎》的文章被迅速顶至 Hacker News 首页&#xff0c;这是 Redis 作者 antirez 发布的最新博客。几个月前&#xff0c;一名开源项目的维护者向 antirez 发邮件&#xff0c;倾诉自己苦心维护项目多年&#xff0c;这或多或少带来了一些…

CF662C Binary Table

CF662C Binary Table 题意&#xff1a; 有一个 n 行 m 列的表格&#xff0c;每个元素都是 0/1 &#xff0c;每次操作可以选择一行或一列&#xff0c;把 0/1 翻转&#xff0c;即把 0 换为 1 &#xff0c;把 1 换为 0 。请问经过若干次操作后&#xff0c;表格中最少有多少个 1 …

P4111 [HEOI2015]小Z的房间

P4111 [HEOI2015]小Z的房间 题目描述 详见&#xff1a;P4111 [HEOI2015]小Z的房间 solution Matrix-Tree裸题。 题意为求一个有障碍的网格图的生成树个数。 因此对于每一个点向左边和上面的节点连边&#xff0c;Matrix-Tree定理求解生成树个数即可。 #include<bits/s…

黑科技抢先尝(续) - Windows terminal中WSL Linux 终端的极简美化指南

之前&#xff0c;本人写了两篇文章 黑科技抢先尝 | Windows全新终端初体验(附代码Build全过程) 和 程会玩 | 无需自行编译也能玩转 Windows Terminal&#xff0c;介绍了玩转Windows terminal的两种方式。今天这篇文章&#xff0c;主要介绍如何美化 Windows terminal 中 WSL 的 …

P3203 [HNOI2010]弹飞绵羊

P3203 [HNOI2010]弹飞绵羊 题目描述 详见&#xff1a;P3203 [HNOI2010]弹飞绵羊 solution 这是一道LCT的裸题。 但是我并不想用LCT解决此题&#xff08;In fact 是不会LCT ~QAQ&#xff09; 于是我们开始大力分块。 考虑把弹跳装置分块&#xff0c;我们每次需要知道在一…

L - Two Ants Gym - 102823L

L - Two Ants Gym - 102823L 题意&#xff1a; 有两个线段A&#xff0c;B&#xff0c;两个线段不会超过一个公共点&#xff0c; 你站在线段B上&#xff0c;整个平面你看不到的区域的面积(如图中S所在区域) 题解&#xff1a; 计算几何&#xff0c;恶心题。调了一个小时还是…

C# 8.0 中开启默认接口实现

当你升级到 C# 8.0 和 .NET Core 3.0 之后&#xff0c;你就可以开始使用默认接口实现的功能了。从现在开始&#xff0c;你可以在接口里面添加一些默认实现的成员&#xff0c;避免在接口中添加成员导致大量对此接口的实现崩溃。要写出并且正常使用接口的默认实现&#xff0c;你需…

P4396 [AHOI2013]作业

P4396 [AHOI2013]作业 题目描述 详见&#xff1a;P4396 [AHOI2013]作业 solution 莫队树状数组的裸题&#xff08;莫队分块&#xff0c;CDQ分治都可以&#xff0c;莫队线段树大概需要卡常&#xff09;。 时间复杂度 Code #include<bits/stdc.h> using namespac…

Codeforces Round #732 (Div. 1Div. 2)

Codeforces Round #732 (Div. 2) 题号题目知识点AAquaMoon and Two Arrays贪心BAquaMoon and Stolen String异或CAquaMoon and Strange SortDAquaMoon and ChessEAquaMoon and PermutationsFAquaMoon and Wrong CoordinateG1AquaMoon and Time Stop (easy version)G2AquaMoon …

在编写异步方法时,使用 ConfigureAwait(false) 避免使用者死锁

我在 使用 Task.Wait()&#xff1f;立刻死锁&#xff08;deadlock&#xff09; 一文中站在类库使用者的角度看 async/await 代码的死锁问题&#xff1b;而本文将站在类库设计者的角度来看死锁问题。阅读本文&#xff0c;我们将知道如何编写类库代码&#xff0c;来尽可能避免类库…

P1903 [国家集训队]数颜色 / 维护队列

P1903 [国家集训队]数颜色 / 维护队列 题目描述 详见&#xff1a;P1903 [国家集训队]数颜色 / 维护队列 solution 裸的带修莫队。 多记录一维询问时已经进行多少次修改。 用莫队思想暴力即可。 &#xff08;不开O2时需要卡常&#xff0c;洛谷评测两发一样的代码&#xf…

妄想集合(牛客练习赛90)

妄想集合(牛客练习赛90) 题意&#xff1a; 开始有 n 个可重集合&#xff0c;开始时每一个集合中都有一个数&#xff0c;有 m 个操作。 Quant l r x\text{Quant l r x}Quant l r x&#xff1a;往编号在 l∼rl\sim rl∼r 的每个集合中加入一个数 x。 Ask l r\text{Ask l r}Ask …