智乃酱的静态数组维护问题多项式

2023-11-03 07:40

本文主要是介绍智乃酱的静态数组维护问题多项式,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

差分维护多项式前缀和

在这里插入图片描述

前置知识

定理:最高次项为n次的多项式做n+1次差分的余项为常数

题目最多为5次,所以做6次差分就够了。 如果次数小于6次,每多做一次差分增加一项余项,余项还是不超过6(可以直接去打印出来试试看)



现在开始解题

题目要求修改区间 l ∼ r l \sim r lr
实际上是给这个区间各个位置加上对应的多项式函数 0 , ⋯ , f ( x 1 ) , f ( x 2 ) , ⋯ , f ( x i ) , ⋯ , f ( x r − l + 1 ) 0 , \cdots, f(x_{1}) , f(x_{ 2}) , \cdots , f(x_{i}) , \cdots, f(x_{r - l + 1}) 0f(x1),f(x2),,f(xi),,f(xrl+1)
这样的时间复杂度是o(n)的,这个时候可以利用上面的那个定理,对原数组和多项式分别做6次差分再把他转换成修改区间
l ∼ l + 5 l\sim l + 5 ll+5
因为差分和前缀和是两个逆过程,原数组求差分可以得到差分数组,差分数组求前缀和可以得到原数组,差分数组和原数组可以相互转换。 所以可以把对原数组的区间修改转换为对差分数组的修改,修改结束后再把差分数组做对应次数的前缀和转换为原数组即可

题目的多项式最高次数只有5,对多项式的 1 ∼ r − l + 1 1\sim r - l + 1 1rl+1做6次差分,就能保证余项一定在前6项,后面的项就都是0,对结果不影响,所以你只要把多项式6次差分得到的前6项修改到原数组的6次差分数组的前6项即可,这样时间复杂度就是O(1)




细说一下:你把区间 l ∼ r l \sim r lr 各自加上一个多项式 f ( i ) , i ϵ [ 1 , r − l + 1 ] f(i),i \epsilon \left [ 1,r - l + 1 \right ] f(i),iϵ[1,rl+1]
可以转换为先对多项式求6次差分,然后转换为对差分数组(做了6次差分后的原数组)的 l ∼ l + 5 l \sim l + 5 ll+5 进行修改。
然后若干次修改后,再做6次前缀和把差分数组还原成原数组即可。



重点来了

因为差分,所以要考虑对 r + 1 ∼ n r + 1 \sim n r+1n 的影响,所以要做一个抵消操作。

如何抵消?

假设现在对 l ∼ r l \sim r lr的区间,我们只做了对差分数组的
l ∼ l + 5 l \sim l + 5 ll+5的修改操作(假设原数组全0),这样直接做6次前缀和得到的结果为
0 , ⋯ , f ( x 1 ) , f ( x 2 ) , ⋯ , f ( x i ) , ⋯ , f ( x r − l + 1 ) , f ( x r − l + 2 ) , ⋯ , f ( x r − l + j ) , ⋯ , f ( x n − l + 1 ) 0 , \cdots, f(x_{1}) , f(x_{ 2}) , \cdots , f(x_{i}) , \cdots, f(x_{r - l + 1}) ,f( x_{r - l + 2}) , \cdots , f(x_{r -l + j}) , \cdots , f(x_{n - l + 1}) 0f(x1),f(x2),,f(xi),,f(xrl+1),f(xrl+2),,f(xrl+j),,f(xnl+1)

多加了
f ( x r − l + 2 ) , ⋯ , f ( x r − l + j ) , ⋯ , f ( x n − l + 1 ) f( x_{r - l + 2}) , \cdots , f(x_{r -l + j}) , \cdots , f(x_{n - l + 1}) f(xrl+2),,f(xrl+j),,f(xnl+1)

如何抵消?我们给
r + 1 ∼ n r + 1\sim n r+1n区间也做一次修改减去这些对应的项就行,也就是相当于对
r + 1 ∼ n r + 1 \sim n r+1n减去 f ( x r − l + 2 ) , ⋯ , f ( x r − l + j ) , ⋯ , f ( x n − l + 1 ) f( x_{r - l + 2}) , \cdots , f(x_{r -l + j}) , \cdots , f(x_{n - l + 1}) f(xrl+2),,f(xrl+j),,f(xnl+1)

这个时间复杂度也是O(n)的,如何降低?很简单用同样方法就行!

你可以把这个修改也转换成做了6次差分后的修改。变成对做了6次差分后的原数组的
r + 1 ∼ r + 6 r + 1 \sim r + 6 r+1r+6 减去做过6次差分后

f ( x r − l + 2 ) , ⋯ , f ( x r − l + j ) , ⋯ , f ( x n − l + 1 ) f( x_{r - l + 2}) , \cdots , f(x_{r -l + j}) , \cdots , f(x_{n - l + 1}) f(xrl+2),,f(xrl+j),,f(xnl+1)
即可。

因为这个是直接从r + 1做到n(末尾),已经没有剩余的区间受到影响了,所以直接做就行。

代码

#include<bits/stdc++.h>
using namespace std;
const int N = 1e5 + 20;
typedef long long ll;
const ll mod = 1e9 + 7;
ll a[N];
ll ceo1[12];
ll ceo2[12];
ll xishu[10];ll M(ll x,ll y){//取模return ( (x + y) % mod + mod ) %mod;
}void D(ll d[],int len, int ct){// 对长度为 len 的 d 数组求 ct 次差分while(ct--){for(int i = len; i ; --i)d[i] = M(d[i], - d[i-1]);}
}
void F(ll d[],int len, int ct){//对长度为 len 的 d 数组求 ct 次前缀和while(ct--){for(int i = 2; i <= len; ++i)d[i] = M(d[i], d[i-1]);}
}ll G(ll x,ll k){//求最高次项为 k 的 f(x)ll res = 0,base = 1;for(int i = 0; i <= k; ++i){res = M(res , base * xishu[i] % mod);base = base * x % mod;}return res;
}void get(ll d[], int l, int k, ll f){// 求得要修改的l ~ r的 前6项(l ,l + 1, …… l + 5)for(int i = 1; i <= 6; ++i){d[i] = f * G(l + i - 1,k);}
}int main(){//freopen("in.txt","r",stdin);//freopen("out.txt","w",stdout);int n,m,q;  cin >> n >> m >> q;for(int i = 1; i <= n; ++i)cin >> a[i];D(a,n,6);while(m--) {int l,r,k;  cin >> l >> r >> k;for(int i = 0; i <= k; ++i)//输入系数cin >> xishu[k - i];get(ceo1, 1, k, 1);//获取 l ~ l + 5 对原数组的修改get(ceo2, r - l + 2, k, -1);//获取 r + 1 ~ n 对原数组的修改D(ceo1,6,6);// 将 l ~ l + 5 对原数组的修改求6次差分D(ceo2,6,6);// 将 r + 1 ~ n 对原数组的修改求6次差分for(int i = 1; i <= 6; ++i)//更新对差分数组的修改{a[i + l - 1] = M(a[i + l - 1],ceo1[i]);a[r + i] = M(a[r + i], ceo2[i]);}}F(a, n, 7);//做 6 + 1次前缀和,因为要求 l ~ r的区间和,所以多做一次前缀和while(q--) {int l,r;    cin >> l >> r;cout << M(a[r], -a[l - 1] ) << endl;}return 0;
}

这篇关于智乃酱的静态数组维护问题多项式的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/336640

相关文章

mybatis和mybatis-plus设置值为null不起作用问题及解决

《mybatis和mybatis-plus设置值为null不起作用问题及解决》Mybatis-Plus的FieldStrategy主要用于控制新增、更新和查询时对空值的处理策略,通过配置不同的策略类型... 目录MyBATis-plusFieldStrategy作用FieldStrategy类型每种策略的作

C++初始化数组的几种常见方法(简单易懂)

《C++初始化数组的几种常见方法(简单易懂)》本文介绍了C++中数组的初始化方法,包括一维数组和二维数组的初始化,以及用new动态初始化数组,在C++11及以上版本中,还提供了使用std::array... 目录1、初始化一维数组1.1、使用列表初始化(推荐方式)1.2、初始化部分列表1.3、使用std::

C++ Primer 多维数组的使用

《C++Primer多维数组的使用》本文主要介绍了多维数组在C++语言中的定义、初始化、下标引用以及使用范围for语句处理多维数组的方法,具有一定的参考价值,感兴趣的可以了解一下... 目录多维数组多维数组的初始化多维数组的下标引用使用范围for语句处理多维数组指针和多维数组多维数组严格来说,C++语言没

linux下多个硬盘划分到同一挂载点问题

《linux下多个硬盘划分到同一挂载点问题》在Linux系统中,将多个硬盘划分到同一挂载点需要通过逻辑卷管理(LVM)来实现,首先,需要将物理存储设备(如硬盘分区)创建为物理卷,然后,将这些物理卷组成... 目录linux下多个硬盘划分到同一挂载点需要明确的几个概念硬盘插上默认的是非lvm总结Linux下多

Python Jupyter Notebook导包报错问题及解决

《PythonJupyterNotebook导包报错问题及解决》在conda环境中安装包后,JupyterNotebook导入时出现ImportError,可能是由于包版本不对应或版本太高,解决方... 目录问题解决方法重新安装Jupyter NoteBook 更改Kernel总结问题在conda上安装了

pip install jupyterlab失败的原因问题及探索

《pipinstalljupyterlab失败的原因问题及探索》在学习Yolo模型时,尝试安装JupyterLab但遇到错误,错误提示缺少Rust和Cargo编译环境,因为pywinpty包需要它... 目录背景问题解决方案总结背景最近在学习Yolo模型,然后其中要下载jupyter(有点LSVmu像一个

解决jupyterLab打开后出现Config option `template_path`not recognized by `ExporterCollapsibleHeadings`问题

《解决jupyterLab打开后出现Configoption`template_path`notrecognizedby`ExporterCollapsibleHeadings`问题》在Ju... 目录jupyterLab打开后出现“templandroidate_path”相关问题这是 tensorflo

如何解决Pycharm编辑内容时有光标的问题

《如何解决Pycharm编辑内容时有光标的问题》文章介绍了如何在PyCharm中配置VimEmulator插件,包括检查插件是否已安装、下载插件以及安装IdeaVim插件的步骤... 目录Pycharm编辑内容时有光标1.如果Vim Emulator前面有对勾2.www.chinasem.cn如果tools工

最长公共子序列问题的深度分析与Java实现方式

《最长公共子序列问题的深度分析与Java实现方式》本文详细介绍了最长公共子序列(LCS)问题,包括其概念、暴力解法、动态规划解法,并提供了Java代码实现,暴力解法虽然简单,但在大数据处理中效率较低,... 目录最长公共子序列问题概述问题理解与示例分析暴力解法思路与示例代码动态规划解法DP 表的构建与意义动

Java多线程父线程向子线程传值问题及解决

《Java多线程父线程向子线程传值问题及解决》文章总结了5种解决父子之间数据传递困扰的解决方案,包括ThreadLocal+TaskDecorator、UserUtils、CustomTaskDeco... 目录1 背景2 ThreadLocal+TaskDecorator3 RequestContextH