AGC012 - E: Camel and Oases
题意简述
沙漠中有n(n≤2×105)个排成一条直线的绿洲,一头储水量为V(V≤2×105)的骆驼。
骆驼有两个操作:
- 走到距离在V以内的一个绿洲。
- 飞到任意一个绿洲,但V减少一半。V=0时不能飞。
问骆驼依次从每个绿洲出发,能否一次性遍历所有绿洲。
分析
首先预处理出 V=V0 时哪些绿洲之间是可以随便走的,对于每个V0扫一遍即可。时间复杂度为O(nlog2V)。
每飞一次相当于下一层。题目转化成钦定第一条线段,然后从每一层选一条线段,问能否覆盖整个区间。
万万没想到,这道题居然是状压DP!!!
s中的后起第i位为1表示从第i层选出了一条线段。
f1[s]表示状态s时从1起向右最远能延伸到哪,f2[s]表示状态s时从n起向左最远能延伸到哪。
f1[s]=max(f1[s],upFind(f1[s0]))
f2[s]=min(f2[s],lowFind(f2[s0]−1))
意义是从s0加上一条线段能延伸到哪。这个转移方程和我的写法有关,具体看代码。
时间复杂度O(log2V⋅log2n⋅2log2V+1)=O(Vlog2nlog2V)
检查答案时,对于第一层的每一条线段,寻找是否存在s,使得f1[s],f2[U−s−1]和该线段覆盖整个区间。表示用状态s这些线段尽可能扩展左半部分,用剩下的线段(不包括第一层)尽可能扩展右半部分,再加上第一层的这条线段。
最大时间复杂度O(n⋅2log2V)=O(nV),GG ╮(╯﹏╰)╭
但实际上,第一层的线段条数是不能超过log2V+1的。因为飞log2V+1次后V0=0,并且下一层的条数比上一层只多不少,要是第一层就超过log2V+1那么不可能遍历所有绿洲。
所以最大时间复杂度为O(Vlog2V)。
总时间复杂度最大为O(nlog2V+Vlog2nlog2V)。
实现
a[i][j]记录第i层的第j条线段的右端点。特别地,a[i][0]记录第i层线段的条数。
upFind(x)找出第一个严格大于x的右端点。这个右端点所在的区间一定能延伸当前的f1。
lowFind(x−1)找出第一个严格小于x-1的右端点。这个右端点的下一个区间一定能延伸当前的f2。如果写lowFind(x),要是找到x-1的话,说明有一段以x-1为右端点的区间以及一段以x为左端点的区间。这时候明明可以加入前者,实际上却加入了后者,导致问题。
代码
//Camel and Oases
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
typedef long long lint;
int const N=2e5+10;
int const S=1<<19;
int n,V;
lint d[N];
int logV,a[25][N];
int U,f1[S],f2[S];
int upFind(int a[],int x)
{
int L=1,R=a[0];
while(L<R-1)
{
int mid=(L+R)>>1;
if(a[mid]<=x) L=mid+1;
if(a[mid]>x) R=mid;
}
if(a[L]>x) return a[L];
else return a[R];
}
int lowFind(int a[],int x)
{
int L=1,R=a[0];
while(L<R-1)
{
int mid=(L+R)>>1;
if(a[mid]<x) L=mid;
if(a[mid]>=x) R=mid-1;
}
if(a[R]<x) return a[R]+1;
else return a[L]+1;
}
int main()
{
scanf("%d%d",&n,&V);
logV=0;
while((1<<logV)<=V) logV++;
logV++;
for(int i=1;i<=n;i++) scanf("%lld",&d[i]),d[i-1]=d[i]-d[i-1];
d[n]=0;
for(int i=1;i<=logV;i++)
{
a[i][0]=1;
for(int j=1;j<=n;j++)
{
a[i][a[i][0]]=j;
if(d[j]>(V>>(i-1))) a[i][0]++;
}
}
if(a[1][0]>logV)
{
for(int i=1;i<=n;i++) printf("Impossible\n");
return 0;
}
U=(1<<logV)-1;
for(int s=0;s<=U;s++) f1[s]=0,f2[s]=n+1;
for(int s=0;s<=U;s+=2)
for(int i=2;i<=logV;i++)
{
int s0=1<<(i-1);
if(s&s0) continue;
f1[s|s0]=max(f1[s|s0],upFind(a[i],f1[s]));
f2[s|s0]=min(f2[s|s0],lowFind(a[i],f2[s]-1));
}
for(int i=1;i<=a[1][0];i++)
{
bool f=false;
int fr=a[1][i-1]+1,to=a[1][i];
if(i==1) fr=1;
for(int s=0;s<=U&&!f;s+=2)
if(fr<=f1[s]+1 && f2[U-s-1]-1<=to) f=true;
if(f) for(int j=fr;j<=to;j++) printf("Possible\n");
else for(int j=fr;j<=to;j++) printf("Impossible\n");
}
return 0;
}
注意
- 因为最多飞log2V+1次,所以全集状态U=2log2V+1−1,体现在题目中为219,而不是218。
- a[i][0]做他用,有些地方写的可能会麻烦一些。
AGC012 - E: Camel and Oases的更多相关文章
- 【AtCoder】【模拟】【模型转化】Camel and Oases(AGC012)
题意: 有一个骆驼,n个绿洲遍布在数轴上,第i个绿洲的坐标为x[i],保证x[i]单增.骆驼的驼峰有体积初始值V.当驼峰的体积变为v的时候,驼峰中至多只能够存储v L的水.骆驼希望走完所有的绿洲,并且 ...
- 【agc012E】Camel and Oases
Portal --> agc012 Description 有一排点,两点间有一定距离,初始的时候有一个行走值\(v\),如果说两点间距离不超过\(v\),那么可以在这两点间自由行走,如果当前\ ...
- 【AGC012E】 Camel and Oases ST表+状压dp
题目大意:一排点,两点间有距离. 初始你有一个行走值$v$,如果相邻两点距离不超过$v$你可以自由在这两点行走. 当$v$大于$0$时,你可以选择某一时刻突然飞到任意点,这样做后$v$会减半(下取整) ...
- [AGC012E]Camel and Oases
题意:有$n$个数轴上的绿洲,给定它们的坐标,有一只骆驼想要访问所有绿洲,当它的驼峰容量为$V$时,它可以走到和当前绿洲距离$\leq V$的绿洲,并可以继续走,它也可以用一次跳跃到达任意一个绿洲,只 ...
- Agc012_E Camel and Oases
传送门 题目大意 坐标轴上有$n$个坐标,第$i$个坐标是$x_i$,初始你有一个容量$V$,当两个给定的坐标距离不超过$V$时,你可以从一个坐标到达另一个坐标,同时你还可以令$V=\lfloor \ ...
- 【AtCoder】AGC012
AGC012 A - AtCoder Group Contest 从最后开始间隔着取就行 #include <bits/stdc++.h> #define fi first #define ...
- AtCoder Grand Contest 012
AtCoder Grand Contest 012 A - AtCoder Group Contest 翻译 有\(3n\)个人,每一个人有一个强大值(看我的假翻译),每三个人可以分成一组,一组的强大 ...
- A♂G&C012
A♂G&C012 A AtCoder Group Contest 从大到小sort后输出\(a_2+a_4+a_6+\ldots a_{2n}\) 好♂啊,只会背结论/kk B Splatte ...
- Camel运行原理分析
Camel运行原理分析 以一个简单的例子说明一下camel的运行原理,例子本身很简单,目的就是将一个目录下的文件搬运到另一个文件夹,处理器只是将文件(限于文本文件)的内容打印到控制台,首先代码如下: ...
随机推荐
- junit4X系列--Statement
原文出处:http://www.blogjava.net/DLevin/archive/2012/05/11/377954.html.感谢作者的无私分享. 初次用文字的方式记录读源码的过程,不知道怎么 ...
- 反射应用--IOC和AOP
反射最大的价值就是用来写框架,下面贴出自己的3篇代码,模拟实现SPING框架的bean工厂,IOC,AOP.当然这里重点是在利用反射实现功能,为了图方便,我用的是Properties文件,关于XML后 ...
- linux判断文件是否存在
#!/bin/sh myPath="/var/log/httpd/" myFile="/var /log/httpd/access.log" # 这里的-x 参 ...
- 《.NET 设计规范》第 6 章:扩展性设计
第 6 章:扩展性设计 6.1 扩展机制 考虑用不包含任何虚成员或受保护的成员的非密封类来为框架提供扩展性.这种方法所提供的扩展性广受用户欢迎,而且它的开销也不高. 考虑将受保护的成员用于高级的定制方 ...
- CSS中的选择器之类选择器和id选择器
1.css中的选择器: 1.类选择器,又叫class选择器 2.id选择器 3.html元素选择器(又叫标签选择器) 4.通配符选择器 5.伪类选择器 6.组合选择器(多元素选择器,子元素选择器,后代 ...
- Mybatis使用过程问题总结
Mybatis配置文件 test语句问题 字符串比较问题 示例语句:<if test="isIbatis == 'Y'"></if> 问题:NumberEx ...
- 跨域资源请求(除jsonp以外)的方法
---------------------------------------------------------------------------------------------------- ...
- 小甲鱼OD学习第9讲
这次我们的任务是破解这个要注册的软件,如下图所示 当我们输入账号密码的时候,它会提示输入的账号密码是无效的,如下图 我们把程序载入OD,然后在查找字符串那里输入提示的无效账号密码的字符串,如下图 然后 ...
- Git教程:
使用前配置: git init git config --global user.name "yanpeng1314" git config --global user.email ...
- 使用Python的requests库进行接口测试——session对象的妙用
from:http://blog.csdn.net/liuchunming033/article/details/48131051 在进行接口测试的时候,我们会调用多个接口发出多个请求,在这些请求中有 ...