CF R639 div 2 E Quantifier Question 数学 dfs 图论
LINK:Quantifier Question
题面过长 引起不适 读题花了好长时间 对于 和 存在符合不是很熟练 导致很懵逼的做完了。
好在还算很好想。不过wa到了一个坑点上面 自闭一大晌 还以为自己思路错了 看了某个强者的blog才知道自己有个地方没处理好。
题目中明确指出 这种关系运算符只能顺序的添加 也就是说 \(\forall x_2\exists x_1\) 这是不能被表达的 只能表达出\(\exists x_1\forall x_2\)
如果有题目中的f函数 那么后者将会被判定为错误的。再次定义 对于x<y 表达为x向y连了一条有向边。
考虑存在环的时候 容易证明是无解的 全是\(\exists\)都不行。
所以接下来考虑 有向无环的图 尝试给每个x赋上一个符号 容易想到 若对于一个较大的数字赋上\(\forall\)
一个显然的事实 两个\(\forall\)不能连在一起。一个显然的事实大的是\(\forall\)小的是\(\exists\)也不行。
而且尽可能多放\(\forall\)所以应该从小到大开始放。
放了一个\(\forall\)之后观察 和这个点相连的前驱和后继 容易发现都不能是\(\forall\) 继续考察 前驱和前驱 和后继的后继 容易想到 都不能放\(\forall\)
而那些点被连向的边则暂时合法 因为还有满足大小关系。
至此 没便利到一个点可以dfs一下前驱和后继 把他们都标记为不合法即可。
值得注意的是 对于标记后继 只能是反图上的后继 前驱同理 所以 如果使用一个vis数组的话 可能之前便利过了前驱 现在需要便利后继 便利不了了 所以需要开两个vis数组。
const int MAXN=200010;
int n,m,ans,len1,len;
int flag=0;
int vis[MAXN],ru[MAXN],vis1[MAXN],q[MAXN],mark[MAXN];
int lin[MAXN],nex[MAXN],ver[MAXN];
int lin1[MAXN],nex1[MAXN],ver1[MAXN];
inline void add(int x,int y)
{
ver[++len]=y;
nex[len]=lin[x];
lin[x]=len;++ru[y];
ver1[++len1]=x;
nex1[len1]=lin1[y];
lin1[y]=len1;
}
inline void topsort()
{
int t=0,h=0;
rep(1,n,i)if(!ru[i])q[++t]=i;
while(h++<t)
{
int x=q[h];
go(x)
{
--ru[tn];
if(!ru[tn])q[++t]=tn;
}
}
rep(1,n,i)if(ru[i])flag=1;
}
inline void dp(int x)
{
vis[x]=1;
go(x)if(!vis[tn])dp(tn);
}
inline void dp1(int x)
{
vis1[x]=1;
for(int i=lin1[x];i;i=nex1[i])
{
int tn=ver1[i];
if(vis1[tn])continue;
dp1(tn);
}
}
int main()
{
freopen("1.in","r",stdin);
get(n);get(m);
rep(1,m,i)
{
int get(x),get(y);
add(x,y);
}
topsort();
if(flag){puts("-1");return 0;}
rep(1,n,j)
{
if(vis[j]||vis1[j]){dp(j);dp1(j);continue;}
dp1(j);dp(j);mark[j]=1;++ans;
}
put(ans);
rep(1,n,i)if(mark[i])putchar('A');
else putchar('E');
return 0;
}
CF R639 div 2 E Quantifier Question 数学 dfs 图论的更多相关文章
- CF #376 (Div. 2) C. dfs
1.CF #376 (Div. 2) C. Socks dfs 2.题意:给袜子上色,使n天左右脚袜子都同样颜色. 3.总结:一开始用链表存图,一直TLE test 6 (1)如果需 ...
- CF #375 (Div. 2) D. bfs
1.CF #375 (Div. 2) D. Lakes in Berland 2.总结:麻烦的bfs,但其实很水.. 3.题意:n*m的陆地与水泽,水泽在边界表示连通海洋.最后要剩k个湖,总要填掉多 ...
- CF #374 (Div. 2) D. 贪心,优先队列或set
1.CF #374 (Div. 2) D. Maxim and Array 2.总结:按绝对值最小贪心下去即可 3.题意:对n个数进行+x或-x的k次操作,要使操作之后的n个数乘积最小. (1)优 ...
- CF #374 (Div. 2) C. Journey dp
1.CF #374 (Div. 2) C. Journey 2.总结:好题,这一道题,WA,MLE,TLE,RE,各种姿势都来了一遍.. 3.题意:有向无环图,找出第1个点到第n个点的一条路径 ...
- CF #371 (Div. 2) C、map标记
1.CF #371 (Div. 2) C. Sonya and Queries map应用,也可用trie 2.总结:一开始直接用数组遍历,果断T了一发 题意:t个数,奇变1,偶变0,然后与问的 ...
- CF #365 (Div. 2) D - Mishka and Interesting sum 离线树状数组
题目链接:CF #365 (Div. 2) D - Mishka and Interesting sum 题意:给出n个数和m个询问,(1 ≤ n, m ≤ 1 000 000) ,问在每个区间里所有 ...
- CF #365 (Div. 2) D - Mishka and Interesting sum 离线树状数组(转)
转载自:http://www.cnblogs.com/icode-girl/p/5744409.html 题目链接:CF #365 (Div. 2) D - Mishka and Interestin ...
- 题解-Quantifier Question
Quantifier Question 有长度为 \(n\) 的序列 \(x\{n\}\),有 \(m\) 个条件 \((j_i,k_i)\).有 \(n\) 个待定的条件符 \(Q_i\in\{\f ...
- CF #305(Div.2) D. Mike and Feet(数学推导)
D. Mike and Feet time limit per test 1 second memory limit per test 256 megabytes input standard inp ...
随机推荐
- 小师妹学JVM之:cache line对代码性能的影响
目录 简介 一个奇怪的现象 两个问题的答案 CPU cache line inc 和 add 总结 简介 读万卷书不如行万里路,讲了这么多assembly和JVM的原理与优化,今天我们来点不一样的实战 ...
- 3.Unity3d物体操作常用按键
新建一个cube物体.在unity3d界面左上角可以看到红色下划线的五个图标(下面用图标1到5数字表示),分别对应不同功能,这些功能操作物体很常用.下面用cube物体的操作来演示这几个功能. 1.按Q ...
- 2.Unity3d常用按键
Unity3d常用按键和组合键: 1.鼠标左键:选中物体 2.鼠标中键:平移视角,和手型功能一样 3.鼠标右键:旋转观察角度 4.Alt+鼠标左键:旋转观察角度 5.Alt+鼠标右键:拉远拉近
- JS的数据类型你真的懂了吗
一.JS数据类型分类 1.基本数据类型 (1)Number 数字 (2)String 字符串 (3)Boolean 布尔值 (4)null 空对象指针 (5)undefined 为定义 (6)symb ...
- shell专题(九):函数
9.1 系统函数 1.basename基本语法 basename [string / pathname] [suffix] (功能描述:basename命令会删掉所有的前缀包括最后一个(‘/’)字 ...
- python 并发专题(四):yield以及 yield from
一.yield python中yield的用法很像return,都是提供一个返回值,但是yield和return的最大区别在于,return一旦返回,则代码段执行结束,但是yield在返回值以后,会交 ...
- 数据可视化之分析篇(二)Power BI 数据分析:客户购买频次分布
https://zhuanlan.zhihu.com/p/100070260 商业数据分析通常都可以简化为对数据进行筛选.分组.汇总的过程,本文通过一个实例来看看PowerBI是如何快速完成整个过程的 ...
- Java常用API(Scanner类)
Java常用API( Scanner类)1 1.Scanner类 首先给大家介绍一下什么是JavaAPI API(Application Programming Interface),应用程序编程接口 ...
- 耐心看,1个Dubbo漏洞,35道必问面试题,Dubbo没什么可神秘的
Dubbo漏洞 无意中在网上看到了这样的一条新闻,说是我们360监测发现了Dubbo官方发布的危险漏洞通告,而且尴尬的是,世界上受影响最大的居然是中国,有图有真相 我感觉这也从侧面证明了一件事情,就是 ...
- Go的100天之旅-08字符串
目录 简介 UTF-8字符 字符串的常用操作 简介 字符串在各种编程语言中都是很基础的一种类型,在Go中字符串简单理解就是一个数组,数组里面的元素是byte类型.因此基本上拥有类似数组的全部特性.例如 ...