Lipshitz
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的更多相关文章
- Codeforces Round #333 (Div. 1) B. Lipshitz Sequence 倍增 二分
B. Lipshitz Sequence Time Limit: 20 Sec Memory Limit: 256 MB 题目连接 http://codeforces.com/contest/601/ ...
- [Contest20171109]函数(lipshitz)
大M正在学习函数的光滑性并对Lipshitz常数非常感兴趣:当一个定义域为$[l,r]$的函数$f$,对于定义域内的任意$x,y$都有$\left|f(x)-f(y)\right|\leq K\cdo ...
- CodeForces 601B Lipshitz Sequence
Lipshitz Sequence 题解: 可以通过观察得到,对于任意一个区间来说, 只有相邻的2个点的差值才会是区间的最大值. 具体观察方法,可以用数学分析, 我是通过画图得到的. 那么基于上面的观 ...
- Codeforces 601B. Lipshitz Sequence(单调栈)
Codeforces 601B. Lipshitz Sequence 题意:,q个询问,每次询问给出l,r,求a数组[l,r]中所有子区间的L值的和. 思路:首先要观察到,斜率最大值只会出现在相邻两点 ...
- Codeforces Round #333 (Div. 1)--B. Lipshitz Sequence 单调栈
题意:n个点, 坐标已知,其中横坐标为为1~n. 求区间[l, r] 的所有子区间内斜率最大值的和. 首先要知道,[l, r]区间内最大的斜率必然是相邻的两个点构成的. 然后问题就变成了求区间[l, ...
- CF 602 D. Lipshitz Sequence 数学 + 单调栈 + 优化
http://codeforces.com/contest/602/problem/D 这题需要注意到的是,对于三个点(x1, y1)和(x2, y2)和(x3, y3).如果要算出区间[1, 3]的 ...
- 【codeforces 602D】Lipshitz Sequence
time limit per test1 second memory limit per test256 megabytes inputstandard input outputstandard ou ...
- Codeforces Round #333 (Div. 2)
水 A - Two Bases 水题,但是pow的精度不高,应该是转换成long long精度丢失了干脆直接double就可以了.被hack掉了.用long long能存的下 #include < ...
- Codeforces Round #333 DIV2
D: B. Lipshitz Sequence time limit per test 1 second memory limit per test 256 megabytes input stand ...
随机推荐
- Unity利用Share SDK实现QQ、微信及微博第三方登录及定制内容分享(附代码)
最近因为公司的项目需要添加一些实用性的功能,需要添加第三方登录及分享,采用的是Mob的SDK,可以先到其官网下载对应的SDK 点击这里,为了方便后期进行数据统计和分析,所以可以先添加一个应用,添加成功 ...
- HDU-2844:Coins(多重背包+二进制优化)
链接:HDU-2844:Coins 题意:给你n个种类的钱和对应的数量,同统计一下从1到m能够凑成的钱有多少个. 题解:C[i] = 1 + 2 + 4 + ··· + 2^k + a (0 < ...
- fetch上传文件报错的问题(multipart: NextPart: EOF)
技术栈 后台: gin(golang) 前端: react+antd+dva 问题 前端这边使用fetch发送http请求的时候,后端解析formData报错: multipart: NextPart ...
- spring第一章
spring第一章 一.概述 Spring是一个开源框架,它由Rod Johnson创建.它是为了解决企业应用开发的复杂性而创建的.Spring使用基本的JavaBean来完成以前只可能由EJB完成的 ...
- Fulfilling Work: The Shippers More entrepreneurs hire 'fulfillment' outfits to store and ship their products
By Stu Woo June 23, 2011 Brett Teper faced a logistical problem when he and a partner founded ModPro ...
- hbase中balance机制
HBase是一种支持自动负载均衡的分布式KV数据库,在开启balance的开关(balance_switch)后,HBase的HMaster进程会自动根据指定策略挑选出一些Region,并将这些Reg ...
- xpath抓取的值有\r\n\t时,去掉的方法
解决办法: normalize-space() 例子: 原来的xpath为: user=selector.xpath('//*[@id="Con"]/tr[1]/th/text() ...
- Vue工作原理小结
本文能帮你做什么?1.了解vue的双向数据绑定原理以及核心代码模块2.缓解好奇心的同时了解如何实现双向绑定为了便于说明原理与实现,本文相关代码主要摘自vue源码, 并进行了简化改造,相对较简陋,并未考 ...
- 雅虎工程师提供的CSS初始化示例代码
body,div,dl,dt,dd,ul,ol,li,h1,h2,h3,h4,h5,h6,pre,code,form,fieldset,legend,input,button,textarea,p,b ...
- android入门 — Service
Service完全在后台运行,没有用户界面.使用的时候先创建Service子类,然后在AndroidManifest.xml中进行注册,同时可以通过<intent-filter.../>进 ...