题解 [HNOI2019]序列
题目大意
给出一个\(n\)个数的数列\(A_{1,2,...,n}\),求出一个单调不减的数列\(B_{1,2,...,n}\),使得\(\sum_{i=1}^{n}(A_i-B_i)^2\)最小。
有\(m\)次查询,每次将某个\(A_x\)更改为\(y\),求出修改后的答案。查询之间互相独立。
\(n,m\le 10^5\)
思路
其实这道题正解是用保序回归,但是找规律也能找出来。
我们通过观察发现,对于一段相同的\(B_i\),\(B_i\)是该段的平均值。于是我们大胆猜测,我们最优方案就是把\(A\)序列划分成一些区间,每一段的\(B\)都是\(A\)的平均值,并且\(B\)单调不降。
我们发现这顺便还可以发现一个事情:我们肯定应该多分区间,否则的话我们肯定只分一段就完事了。
于是,我们现在考虑一个区间对答案的贡献:
\]
其中\(d\)是这段区间的平均值。
\]
\]
于是我们发现我们只需要维护区间平方和、区间和、区间长度。于是,我们就顺利地拿到了\(50\)分。
考虑\(100\)分。一个很显然的事情是,我们会改变的决策区间一定是\([L,R]\),至于\([1,L)\)和\((R,n]\)都不会被影响,于是我们可以预处理一下。
问题就是如何找到\(L,R\)。一个不是很显然的事情就是,我们选的端点一定都是一开始分的区间的某些端点。因为我们一个区间如果从中间分开,前一段的平均值一定比后一段的平均值大,因为如果比它小的话肯定分开更优(分得越多越优)。于是,如果我们不是选一开始的端点的话,被分开的那一段前一段一定比后一段的平均值大,与平均值单调不减矛盾,得证。
同时,我们还发现答案是具有单调性的。于是我们可以考虑先二分\(R\),然后再二分\(L\)。二分\(R\)直接二分就好了,二分\(L\)的话,我们发现并不需要考虑前面的是否满足条件(这个自己想一下就明白了),只需要考虑分开的后面的,于是这个我们可以在主席树上查询。具体见代码。
时间复杂度\(\Theta(n\log^2 n)\),空间复杂度\(\Theta(n\log n)\)。
\(\texttt{Code}\)
#include <bits/stdc++.h>
using namespace std;
#define Int register int
#define mod 998244353
#define ll long long
#define MAXN 100005
template <typename T> inline void read (T &t){t = 0;char c = getchar();int f = 1;while (c < '0' || c > '9'){if (c == '-') f = -f;c = getchar();}while (c >= '0' && c <= '9'){t = (t << 3) + (t << 1) + c - '0';c = getchar();} t *= f;}
template <typename T,typename ... Args> inline void read (T &t,Args&... args){read (t);read (args...);}
template <typename T> inline void write (T x){if (x < 0){x = -x;putchar ('-');}if (x > 9) write (x / 10);putchar (x % 10 + '0');}
int n,m,a[MAXN],inv[MAXN];
int mul (int a,int b){return 1ll * a * b % mod;}
int dec (int a,int b){return a >= b ? a - b : a + mod - b;}
int add (int a,int b){return a + b >= mod ? a + b - mod : a + b;}
struct node{
int rt,ans,top;//对应主席树的顶点、答案、栈顶编号
}pre[MAXN],suf[MAXN];
struct Data{
int len,sqr;ll sum;//因为要比较平均值大小,所以区间和不能取模
Data(){}
Data(int len1,ll sum1,int sqr1){len = len1,sum = sum1,sqr = sqr1;}
Data operator + (Data p){return Data(len + p.len,sum + p.sum,add (sqr,p.sqr));}
Data operator - (Data p){return Data(len - p.len,sum - p.sum,dec (sqr,p.sqr));}
bool operator < (Data p)const{return p.len ? (len ? 1.0 * sum / len < 1.0 * p.sum / p.len: 1) : 0;}
bool operator <= (Data &p)const{return p.len ? (len ? 1.0 * sum / len <= 1.0 * p.sum / p.len: 1) : 0;}
int calc (){return dec (sqr,mul (mul (sum % mod,sum % mod),inv[len]));}
}sum[MAXN],sta[MAXN];
Data calc (int l,int r){return sum[r] - sum[l - 1];}
struct Segment{
int cnt;
struct Node{
int son[2],l,r,k;//k是指l->r这写区间第一段区间的右端点
}tree[MAXN * 60];
void Pushup (int x){
tree[x].l = tree[tree[x].son[0]].l,tree[x].r = tree[tree[x].son[tree[x].son[1] > 0]].r;
tree[x].k = tree[tree[x].son[0]].k;
}
void modify (int &x,int l,int r,int pos,int L,int R){
tree[++ cnt] = tree[x],x = cnt;
if (l == r) return tree[x].l = L,tree[x].r = tree[x].k = R,void ();
int mid = (l + r) >> 1;
if (pos <= mid) modify (tree[x].son[0],l,mid,pos,L,R);
else modify (tree[x].son[1],mid + 1,r,pos,L,R);
Pushup (x);
}
int queryr (int x,int l,int r,int pos){//查找第pos段区间的右端点
if (l == r) return tree[x].r;
int mid = (l + r) >> 1;
if (pos <= mid) return queryr (tree[x].son[0],l,mid,pos);
else return queryr (tree[x].son[1],mid + 1,r,pos);
}
int queryl (int x,int l,int r,int pos,Data &tmp){//找到最靠右的满足的L,并对答案进行合并
if (r <= pos){
Data Lget = calc (tree[x].l,tree[x].k),Rget = calc (tree[x].k + 1,tree[x].r);
if (Rget + tmp <= Lget) return tmp = tmp + calc (tree[x].l,tree[x].r),0;
if (l == r) return tree[x].r;
}
int res,mid = (l + r) >> 1;
if (pos > mid && (res = queryl (tree[x].son[1],mid + 1,r,pos,tmp))) return res;
else return queryl (tree[x].son[0],l,mid,pos,tmp);
}
}Tree;
void Init(){
for (Int i = 1,top = 0;i <= n;++ i){
sta[++ top] = Data (1,a[i],mul (a[i],a[i]));
while (top > 1 && sta[top] <= sta[top - 1]) sta[top - 1] = sta[top - 1] + sta[top],-- top;
pre[i].ans = add (pre[i - sta[top].len].ans,sta[top].calc());//计算答案
pre[i].rt = pre[i - 1].rt,pre[i].top = top;
Tree.modify (pre[i].rt,1,n,top,i - sta[top].len + 1,i);
}
for (Int i = n,top = 0;i;-- i){
sta[++ top] = Data (1,a[i],mul (a[i],a[i]));
while (top > 1 && sta[top - 1] <= sta[top]) sta[top - 1] = sta[top - 1] + sta[top],-- top;
suf[i].ans = add (suf[i + sta[top].len].ans,sta[top].calc());
suf[i].rt = suf[i + 1].rt,suf[i].top = top;
Tree.modify (suf[i].rt,1,n,top,i,i + sta[top].len - 1);
}
}
signed main(){
read (n,m),inv[1] = 1;
for (Int i = 2;i <= n;++ i) inv[i] = mul (mod - (mod / i),inv[mod % i]);
for (Int i = 1;i <= n;++ i) read (a[i]),sum[i] = sum[i - 1] + Data (1,a[i],mul (a[i],a[i]));Init ();
write (pre[n].ans),putchar ('\n');
for (Int i = 1,x,y;i <= m;++ i){
read (x,y);
int l = 0,r = suf[x + 1].top - 1;
while (l <= r){
int mid = (l + r) >> 1,Rpos = mid ? Tree.queryr (suf[x + 1].rt,1,n,suf[x + 1].top - mid + 1) : x;//Rpos就是选出来的R
Data tmp = Data (1,y,mul (y,y)) + calc (x + 1,Rpos);int Lpos = x > 1 ? Tree.queryl (pre[x - 1].rt,1,n,pre[x - 1].top,tmp) : x;
if (tmp < calc (Rpos + 1,Tree.queryr (suf[x + 1].rt,1,n,suf[x + 1].top - mid))) r = mid - 1;
else l = mid + 1;
}
int mid = r + 1,Rpos = mid ? Tree.queryr (suf[x + 1].rt,1,n,suf[x + 1].top - mid + 1) : x;
Data tmp = Data (1,y,mul (y,y)) + calc (x + 1,Rpos);int Lpos = x > 1 ? Tree.queryl (pre[x - 1].rt,1,n,pre[x - 1].top,tmp) : x;
write (add (tmp.calc(),add (pre[Lpos].ans,suf[Rpos + 1].ans))),putchar ('\n');
}
return 0;
}
题解 [HNOI2019]序列的更多相关文章
- 题解-[HNOI2016]序列
题解-[HNOI2016]序列 [HNOI2016]序列 给定 \(n\) 和 \(m\) 以及序列 \(a\{n\}\).有 \(m\) 次询问,每次给定区间 \([l,r]\in[1,n]\),求 ...
- 【题解】Luogu P5294 [HNOI2019]序列
原题传送门 题意:给你一个长度为\(n\)的序列\(A\),每次询问修改一个元素(只对当前询问有效),然后让你找到一个不下降序列\(B\),使得这两个序列相应位置之差的平方和最小,并输出这个最小平方和 ...
- [题解] [SDOI2017] 序列计数
题面 题解 和 SDOI2015 序列统计 比较像 这个无非就是把乘改成了加, NTT 改成了 MTT 再加上了一个小小的容斥 : 拿所有方案减去不合法方案即可 Code #include <a ...
- [题解] [SDOI2015] 序列统计
题面 题解 设 \(f[i][j]\) 代表长度为 \(i\) 的序列, 乘积模 \(m\) 为 \(j\) 的序列有多少个 转移方程如下 \[ f[i + j][C] = \sum_{A*B\equ ...
- luogu P5294 [HNOI2019]序列
传送门 这个什么鬼证明直接看uoj的题解吧根本不会证明 首先方案一定是若干段等值的\(B\),然后对于一段,\(B\)的值应该是\(A\)的平均值.这个最优方案是可以线性构造的,也就是维护以区间平均值 ...
- 题解-bzoj1283序列 & bzoj4842 [Neerc2016]Delight for a Cat
因为这两题有递进关系,所以放一起写 Problem bzoj1283 序列 题意概要:一个长度为 \(n\) 的序列\(\{c_i\}\),求一个子集,使得原序列中任意长度为 \(m\) 的子串中被选 ...
- 【洛谷5294】[HNOI2019] 序列(主席树维护单调栈+二分)
点此看题面 大致题意: 给你一个长度为\(n\)的序列\(A\),每次询问修改一个元素(只对当前询问有效),然后让你找到一个不下降序列\(B\),使得这两个序列相应位置之差的平方和最小,并输出这个最小 ...
- 【Luogu5294】[HNOI2019]序列
题目链接 题意 给定一个序列,要求将它改造成一个非降序列,修改一个数的代价为其改变量的平方. 最小化总代价. 另有\(Q\) 次询问,每次修改一个位置上的数.(询问之间独立,互不影响) Sol 神仙 ...
- bzoj1211树的计数 x bzoj1005明明的烦恼 题解(Prufer序列)
1211: [HNOI2004]树的计数 Time Limit: 10 Sec Memory Limit: 162 MBSubmit: 3432 Solved: 1295[Submit][Stat ...
随机推荐
- react项目实现多语言切换
网站的语言切换功能大家都见过不少,一般都是一个下拉框选择语言,如果让我们想一下怎么实现这个功能,我相信大家都是有哥大概思路,一个语言切换的select,将当前的选择的语言存在全局,根据这个语言的key ...
- Faiss使用多线程出现的性能问题
Faiss使用多线程出现的性能问题 faiss在增加CPU的情况下,反而出现效率低下的问题. 从理论上看,作为一个CPU/GPU计算型的应用,更多的核意味着更大的计算吞吐能力,性能只会越来越好才是. ...
- JavaWeb使用Filter进行字符编码过滤 预防web服务中文乱码
JavaWeb使用Filter进行字符编码过滤 预防web服务中文乱码 准备条件:一个创建好的 JavaWeb 项目 步骤: 1.创建一个类并实现 Filter 接口 import javax.ser ...
- mysqli的基本使用
简单实例 面向过程方式 // 创建数据库连接 $connect = mysqli_connect('127.0.0.1', 'root', 'root', 'test', 8889); // 判读是否 ...
- Hamcrest 断言框架
Hamcrest是一个为了测试为目的,能组合成灵活表达式的匹配器类库.用于编断言的框架,使用这个框架编写断言,提高可读性及开发测试的效率,提供了大量"匹配器"方法,每个匹配器用于执 ...
- GRE隧道协议
1. GRE协议简介 GRE(General Routing Encapsulation ,通用路由封装)是对某些网络层协议(如IP和IPX)的数据报文进行封装,使这些被封装的报文能够在另一网络层协议 ...
- 【第十五篇】- Maven 依赖管理之Spring Cloud直播商城 b2b2c电子商务技术总结
Maven 依赖管理 Maven 一个核心的特性就是依赖管理.当我们处理多模块的项目(包含成百上千个模块或者子项目),模块间的依赖关系就变得非常复杂,管理也变得很困难.针对此种情形,Maven 提供了 ...
- 【第二篇】- Maven 环境配置之Spring Cloud直播商城 b2b2c电子商务技术总结
Maven 环境配置 Maven 是一个基于 Java 的工具,所以要做的第一件事情就是安装 JDK. 如果你还未安装 JDK,可以参考我们的 Java 开发环境配置. 系统要求 项目 要求 JDK ...
- 详解Java中==和equals()的区别
众所周知,在 Java 编程中,程序员通常会使用==或equals()来简单的比较地址,内容是否相等.而这两者之间的使用区别,对于初学 Java 的同学来说可能会比较迷糊.我将根据下面的几段示例程序, ...
- mysql触发器实时检测一条语句进行备份删除
问题描述:用户有一个这样一个需求,在一张表里会不时出现 "违规" 字样的字段,需要在出现这个字段的时候,把整行的数据删掉.这是个采集任务,如果发现有"违规"字样 ...