Portal --> broken qwq

Description

  大M正在学习函数的光滑性并对Lipschitz常数非常感兴趣:当一个定义域为\([l,r]\)的函数\(f\),对于定义域内的任意\(x,y\)都有\(|f(x)-f(y)|<=K*|x-y|\)时,则称\(K\)为该函数在\([l,r]\)上的Lipschitz常数。

​  然而大M并不满足于函数,所以他定义:对于一个序列\(v[1..n]\)的Lipschitz常数\(K\),当\(1<=x<y<=n\)且\(x,y\)均为整数时,同样满足\(|v[x]-v[y]|<=K*|x-y|\)的\(K\)的最小值

  现在给你一个长度为n的序列\(v[1..n]\)并给出\(q\)个询问,对于每对询问\([l,r]\),你需要求出\(v[l..r]\)的所有子序列\(v[x..y](l<=x<y<=r)\)的Lipschitz常数之和

​  数据范围:$n<=100000,q<=100 $

  

Solution

  这题的关键在于,要证明对于区间\([l,r]\)来说,\(K\)一定是\(max(\frac{|v[i]-v[i-1]}{|i-(i-1)|})\)

  我们可以将\(\frac{|v[x]-v[y]|}{|x-y|}\)看成一个求平均值的过程,再具体一点的话就是如果我们将\(v\)看成一个函数,这个式子其实相当于求一段区间(两个端点分别是\(x\)和\(y\))中\(|v[i]-v[i-1]|\)的平均值,那么也就是说明最大值显然应该是在区间长度为\(1\)的时候取得(否则总能通过舍掉较小的部分取得更优的结果)

  那所以我们可以直接求得\(K\)的所有可能的取值了(存在\(w\)数组中),接下来还是常用的套路,看每个取值能在哪个区间内提供贡献

  这个其实比较好处理,我们用一个单调栈预处理出每一个\(K\)值的前一个比它大的位置和后一个比它大的位置,前者记为\(pre\),后者记为\(nxt\),那么我们可以直接算出这个由\(|v[i]-v[i-1]|\)产生的\(K\)对答案的贡献了,它能贡献的子区间左端点的取值范围为\(w\)数组中的\([max(l+1,pre+1),i]\),右端点的取值范围为\(w\)数组中的\([i,min(r,nxt-1)]\),其中\(l,r\)是询问的区间

​  什么叫做\(w\)数组中的一个区间呢?其实是因为\(w\)数组的定义写出来的话应该是\(w[i]=|v[i]-v[i-1]|\),也就是说\(w\)中的一个位置其实包含了\(v\)中的两个位置,这么说好像还是有点绕,但反正就是边界什么的需要稍微。。自己推一下

​  然后还有一个问题是如果说\(w\)数组中(也就是\(K\)的所有取值中)有重复的怎么处理,那其实比较显然只要左端点算上重复的,右端点不算上就好了

​  (然而。。貌似左端点不算右端点算不太行的样子(也可能是因为我自己写挫了),就比如说会出现这种情况:\(w=\{0,2,1,2,1\}\),然后如果左端点不算右端点算的话会把\(K=2\)时的\(\{2,1,2,1\}\)这种情况漏掉)

  

​  代码大概长这个样子

#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
#define Pr pair<int,int>
#define mp make_pair
#define ll long long
using namespace std;
const int N=100010;
int a[N],pre[N],nxt[N],loc[N],w[N];
Pr rec[N];
int n,m,top;
int Abs(int x){return x<0?-x:x;}
bool cmp(int x,int y){return w[x]<w[y];}
void prework(){
top=0;
pre[1]=0; rec[++top]=mp(w[1],1);
for (int i=2;i<=n;++i){
while(top&&rec[top].first<w[i]) --top;
if (top==0) pre[i]=0;
else pre[i]=rec[top].second;
rec[++top]=mp(w[i],i);
}
top=0;
nxt[n]=n+1; rec[++top]=mp(w[n],n);
for (int i=n-1;i>=1;--i){
while (top&&rec[top].first<w[i]) --top;
if (top==0) nxt[i]=n+1;
else nxt[i]=rec[top].second;
rec[++top]=mp(w[i],i);
}
}
void solve(int l,int r){
int L,R;
ll ans=0;
for (int i=l+1;i<=r;++i){
L=max(l+1,w[pre[i]]==w[i]?pre[i]:pre[i]+1),R=min(nxt[i]-1,r);
ans+=1LL*w[i]*((R-i+1)*(i-L+1));
//printf("%d %d\n",w[i],(R-i+1)*(i-L+1));
}
printf("%lld\n",ans);
} int main(){
#ifndef ONLINE_JUDGE
freopen("a.in","r",stdin);
#endif
int l,r;
scanf("%d%d",&n,&m);
for (int i=1;i<=n;++i) scanf("%d",a+i);
w[1]=0;
for (int i=2;i<=n;++i) w[i]=Abs(a[i]-a[i-1]);
prework();
for (int i=1;i<=m;++i){
scanf("%d%d",&l,&r);
solve(l,r);
}
}
/*
input1
10 4
1 5 2 9 1 3 4 2 1 7
2 4
3 8
7 10
1 9 output1
17
82
23
210 input2
7 6
5 7 7 4 6 6 2
1 2
2 3
2 6
1 7
4 7
3 5 output2
2
0
22
59
16
8
*/

Lipshitz的更多相关文章

  1. Codeforces Round #333 (Div. 1) B. Lipshitz Sequence 倍增 二分

    B. Lipshitz Sequence Time Limit: 20 Sec Memory Limit: 256 MB 题目连接 http://codeforces.com/contest/601/ ...

  2. [Contest20171109]函数(lipshitz)

    大M正在学习函数的光滑性并对Lipshitz常数非常感兴趣:当一个定义域为$[l,r]$的函数$f$,对于定义域内的任意$x,y$都有$\left|f(x)-f(y)\right|\leq K\cdo ...

  3. CodeForces 601B Lipshitz Sequence

    Lipshitz Sequence 题解: 可以通过观察得到,对于任意一个区间来说, 只有相邻的2个点的差值才会是区间的最大值. 具体观察方法,可以用数学分析, 我是通过画图得到的. 那么基于上面的观 ...

  4. Codeforces 601B. Lipshitz Sequence(单调栈)

    Codeforces 601B. Lipshitz Sequence 题意:,q个询问,每次询问给出l,r,求a数组[l,r]中所有子区间的L值的和. 思路:首先要观察到,斜率最大值只会出现在相邻两点 ...

  5. Codeforces Round #333 (Div. 1)--B. Lipshitz Sequence 单调栈

    题意:n个点, 坐标已知,其中横坐标为为1~n. 求区间[l, r] 的所有子区间内斜率最大值的和. 首先要知道,[l, r]区间内最大的斜率必然是相邻的两个点构成的. 然后问题就变成了求区间[l, ...

  6. CF 602 D. Lipshitz Sequence 数学 + 单调栈 + 优化

    http://codeforces.com/contest/602/problem/D 这题需要注意到的是,对于三个点(x1, y1)和(x2, y2)和(x3, y3).如果要算出区间[1, 3]的 ...

  7. 【codeforces 602D】Lipshitz Sequence

    time limit per test1 second memory limit per test256 megabytes inputstandard input outputstandard ou ...

  8. Codeforces Round #333 (Div. 2)

    水 A - Two Bases 水题,但是pow的精度不高,应该是转换成long long精度丢失了干脆直接double就可以了.被hack掉了.用long long能存的下 #include < ...

  9. Codeforces Round #333 DIV2

    D: B. Lipshitz Sequence time limit per test 1 second memory limit per test 256 megabytes input stand ...

随机推荐

  1. Appium+python 自动发送邮件(1)(转)

    (原文:https://www.cnblogs.com/fancy0158/p/10056091.html) SMTP:简单传输协议,实在Internet上传输Email的事实标准. Python的s ...

  2. JMeter:全面的乱码解决方案【转】

    本文是转自https://www.cnblogs.com/mawenqiangios/p/7918583.html 感谢分享者   中文乱码一直都是比较让人棘手的问题,我们在使用Jmeter的过程中, ...

  3. OAI搭建总结

    我是参考网上的方法:oai搭建之eNB的文章, 接下来就根据自身所遇到的问题再这里总结一下步骤: 一.再官网上下载oai的文件openairinterface5g-master.zip 二.编译的过程 ...

  4. windows环境下apache-apollo服务器搭建及发布订阅测试

    查证了一些资料之后,发现 apache-apollo服务器使用的人还是挺多的,资料也比较齐全,所以直接选择 apache-apollo了,具体性能如何,先用起来再说吧: 1.下载 apache-apo ...

  5. C#匿名参数(转载too)

    匿名方法是在初始化委托时内联声明的方法. 例如下面这两个例子: 不使用匿名方法的委托: using System; using System.Collections.Generic; using Sy ...

  6. 完美的【去重留一】SQL

    DELETE consum_record FROM consum_record, ( SELECT min(id) id, user_id, monetary, consume_time FROM c ...

  7. ES6的新特性(21)——Proxy

    Proxy 概述 Proxy 用于修改某些操作的默认行为,等同于在语言层面做出修改,所以属于一种“元编程”(meta programming),即对编程语言进行编程. Proxy 可以理解成,在目标对 ...

  8. scrum立会报告+燃尽图(第三周第四次)

    此作业要求参见:https://edu.cnblogs.com/campus/nenu/2018fall/homework/2286 项目地址:https://coding.net/u/wuyy694 ...

  9. Beta阶段第三次网络会议

    Beta阶段第三次网络会议 第二次会议问题解决情况 不同等级城堡不同图片,移动动画解决,阴影效果添加 小地图信息添加城堡和士兵信息 新AI设计失败,在存在科技树的情况下,如果将所有可能操作全部纳入考虑 ...

  10. hdu 5524

    由于是完全二叉树,所以我们可以预先知道整棵树的形状,因此可以判断根节点的两个子节点哪个是满二叉树,哪个不是满二叉树(必然是一边满,一边不满),对于满的子节点,我们可以直接求出它的不同子树的个数,也就是 ...