Description

  

​   题目链接

  

  

  

Description

  

​   好题。题意是维护一个初始值,交替加减一段时间,有上界\(m\)和下界0(不能超过这两条界限),问对于某一种初始值,在某一个时刻时该值为多少?

  

​   可以把所有询问按时间排序成一列,然后用线段树区间加减、区间min、max暴力实现,然而我不会做。

  

​   实际上直接模拟即可。

  

​   如果按时间增长为横坐标,按该时间的权值为纵坐标,画出对于\([0,m]\)的每一种初始值的函数图像,我们会发现,随着时间的增长,函数曲线变得原来越少,也就是图像会不断重叠在一起。

  

​   形式化地讲,我们可以发现一个重要性质:对于一个在某一时刻触碰到上/下边界的曲线,在这个时刻之后,其函数图像将会和在这个时刻之前已触碰到上/下边界的曲线完全相同。

  

   在某一时刻时,我们称一个初始值为“归上”,当且仅当其在这个时刻及以前已经触碰到了上边界;“归下“同理。我们发现,对于任意确定时刻,”归上“的初始值都是\([y,m]\),而"归下"的初始值都是\([0,x]\)。而且随着时间推进,\(y\)单调不增,\(x\)单调不减。

  

​   既然询问已经以时间递增的顺序给出,那我们就顺序模拟时间推进,并逐一处理询问。

  

​   我们要维护的东西有三个:"归上"初始值在当前时间的具体取值\(up\)、“归下”的初始值在当前时间的具体取值\(dn\),以及从开始到现在上下移动的总和\(sum\)。

  

​   对于一个询问\((t,a)\),假设时间已经模拟到了\(t\),如果\(a\)"归上",也就是曾经碰到上边界,那么答案就是\(up\);如果其"归下",则答案就是\(dn\);否则,\(a\)从开始到现在没有碰到任何边界,所以其取值直接模拟即可,恰好为\(a+sum\)。至于”是否曾经触边“的判定,可以维护\(sum\)有史以来的最大值和最小值,加在\(a\)上判定与0或m的大小关系即可。

  

​   对于\(up\)和\(dn\)的计算,在初始时令\(dn=0\),\(up=m\),然后在时间推进的过程中不断对它们进行带边界限制的模拟上下移动,那么我们就可以保证在每一个时刻时,\(up\)和\(dn\)都是我们所定义的值。为什么?因为初始时,“归上”恰好只有\(m\),"归下"恰好只有0。而之后触碰到上/下边界的所有曲线,都必定在m/0之后触碰,也必定在m/0之后成为"归上"/“归下"。只要一触碰,其函数值就会和m/0相同。于是本质上,我们是在维护\(a=0\)和\(a=m\)在任意时刻的取值。

  

​   形象地讲,这道题就像一个非弹性形变的柱子在管道里上下移动,柱子的”长度“就代表着那一部分从未触边的初始值,而上面和下面空出来的部分,代表着上面这些取值的答案都是柱子的”上端“,下面这些初始值的答案都是柱子的“下端”。为什么会空出来呢?因为曾经被“挤”在一起了,因此这一部分初始值在以后的取值都相同了。那么\(up\)和\(dn\)其实就是柱子的上下端。

  

  

  

Code

  

#include <cstdio>
using namespace std;
const int N=100005;
int n,m,q,a[N];
int l,r,sum,summn,summx;
inline int min(int x,int y){
return x<y?x:y;
}
inline int max(int x,int y){
return x>y?x:y;
}
inline void move(int &x,int d,int tim){
x+=d*tim;
if(x>m) x=m;
if(x<0) x=0;
}
void cont(int tim,int d){
static int lasttim=0;
int delta=tim-lasttim;
lasttim=tim;
sum+=delta*d;
summn=min(summn,sum);
summx=max(summx,sum);
move(l,d,delta);
move(r,d,delta);
}
int query(int x){
if(x+summn<=0) return l;
else if(x+summx>=m) return r;
else return x+sum;
}
int main(){
scanf("%d%d",&m,&n);
for(int i=1;i<=n;i++)
scanf("%d",a+i);
scanf("%d",&q);
l=0; r=m;
sum=summx=summn=0;
int i=1,d=-1,x,y;
while(q--){
scanf("%d%d",&x,&y);
for(;i<=n&&a[i]<=x;cont(a[i++],d),d=-d);
cont(x,d);
printf("%d\n",query(y));
}
return 0;
}

【ARC082D】Sandglass的更多相关文章

  1. 【AtCoder】ARC082 F - Sandglass

    [链接]F - Sandglass [题意]给定沙漏A和B,分别装着a和X-a的沙子,开始时A在上B在下,每秒漏1,漏完不再漏.给定n,有n个时刻ai沙漏倒转.给定m个询问,每次询问给定初值a和时刻t ...

  2. 【AtCoder Regular Contest 082 F】Sandglass

    [链接]点击打开链接 [题意] 你有一个沙漏. 沙漏里面总共有X单位的沙子. 沙漏分A,B上下两个部分. 沙漏从上半部分漏沙子到下半部分. 每个时间单位漏1单位的沙子. 一开始A部分在上面.然后在r1 ...

  3. Python高手之路【六】python基础之字符串格式化

    Python的字符串格式化有两种方式: 百分号方式.format方式 百分号的方式相对来说比较老,而format方式则是比较先进的方式,企图替换古老的方式,目前两者并存.[PEP-3101] This ...

  4. 【原】谈谈对Objective-C中代理模式的误解

    [原]谈谈对Objective-C中代理模式的误解 本文转载请注明出处 —— polobymulberry-博客园 1. 前言 这篇文章主要是对代理模式和委托模式进行了对比,个人认为Objective ...

  5. 【原】FMDB源码阅读(三)

    [原]FMDB源码阅读(三) 本文转载请注明出处 —— polobymulberry-博客园 1. 前言 FMDB比较优秀的地方就在于对多线程的处理.所以这一篇主要是研究FMDB的多线程处理的实现.而 ...

  6. 【原】Android热更新开源项目Tinker源码解析系列之一:Dex热更新

    [原]Android热更新开源项目Tinker源码解析系列之一:Dex热更新 Tinker是微信的第一个开源项目,主要用于安卓应用bug的热修复和功能的迭代. Tinker github地址:http ...

  7. 【调侃】IOC前世今生

    前些天,参与了公司内部小组的一次技术交流,主要是针对<IOC与AOP>,本着学而时习之的态度及积极分享的精神,我就结合一个小故事来初浅地剖析一下我眼中的“IOC前世今生”,以方便初学者能更 ...

  8. Python高手之路【三】python基础之函数

    基本数据类型补充: set 是一个无序且不重复的元素集合 class set(object): """ set() -> new empty set object ...

  9. Python高手之路【一】初识python

    Python简介 1:Python的创始人 Python (英国发音:/ˈpaɪθən/ 美国发音:/ˈpaɪθɑːn/), 是一种解释型.面向对象.动态数据类型的高级程序设计语言,由荷兰人Guido ...

随机推荐

  1. AS3.0 自定义右键菜单类

    AS3.0 自定义右键菜单类: /** * 自定义右键菜单类 * 自定义菜单项不得超过15个,每个标题必须至少包含一个可见字符. * 标题字符不能超过100个,并且开头的空白字符会被忽略. * 与任何 ...

  2. 使用selenium进行自动化测试

    selenium 支持多个客户端:ruby,Java,python.可以用来对网页进行全面测试,支持真实浏览器测试. firefox IE chrome safari 支持多操作系统: Linux w ...

  3. Huploadify V2.1+ SpringMVC上传文件的实现

    <%@ page language="java" contentType="text/html; charset=UTF-8" pageEncoding= ...

  4. 20155206赵飞 基于《Arm试验箱的国密算法应用》课程设计个人报告

    20155206赵飞 基于<Arm试验箱的国密算法应用>课程设计个人报告 课程设计中承担的任务 完成试验箱测试功能1,2,3 . 1:LED闪烁实验 一.实验目的  学习GPIO原理  ...

  5. Java技术——String类为什么是不可变的

    0. 前言   如果一个对象,在它创建完成之后不能再改变它的状态,包括对象内的成员变量.基本数据类型的值等等.那么这个对象就是不可变的.众所周知String类就是不可变的.转载请注明出处为SEU_Ca ...

  6. 汇编 fsub ,fmul,fdiv,fild,CVTTPS2PI 指令

    知识点:  浮点指令 fsub 一.浮点指令fsub 格式 fsub memvar // st0=st0-memvar 知识点:  浮点指令 fmul 一.浮点指令fmul 格式 fmul mem ...

  7. mfc Picture Control 控件属性

    知识点: Picture Control 控件属性 CStatic类 图片控件 图片控件使用 一.图片控件属性 Picture Control 属性: Type:Frame //框架 Type:Etc ...

  8. In-Memory:内存优化表的DMV

    SQL Server 在执行查询时,自动将活动的相关信息保存在内存中,这些活动信息称作DMV(Dynamic Management View),DMV记录SQL Server实例级别上的活动信息.由于 ...

  9. Azure 基础:File Storage

    Azure Storage 是微软 Azure 云提供的云端存储解决方案,当前支持的存储类型有 Blob.Queue.File 和 Table. 笔者在前文中介绍了 Blob Storage 的基本用 ...

  10. MOSFET中的重要参数

    最近在调试MOSFET电路中,发现了更多问题,比如同样的PI反馈控制电路可以很好的控制PMOS工作,却对NMOS不能很好控制.当然你肯定会说那是因为PMOS和NMOS不同呀,这自然没有错,我在上一篇文 ...