https://www.lydsy.com/JudgeOnline/problem.php?id=4597

你的面前有N个数排成一行。分别为A1, A2, … , An。你打算在每相邻的两个 Ai和 Ai+1 间都插入一个加号或者减号或者乘号。那么一共有 3^(n-1) 种可能的表达式。你对所有可能的表达式的值的和非常感兴趣。但这毕竟太简单了,所以你还打算支持一个修改操作,可以修改某个Ai 的值。你能够编写一个程序对每个修改都输出修改完之后所有可能表达式的和吗?注意,修改是永久的,也就是说每次修改都是在上一次修改的基础上进行, 而不是在最初的表达式上进行。

(讲个事为了防止我忘了这题怎么做从而写不了题解所以这题解是我边想题边写的233所以可能啰嗦些)

首先我们肯定不可能暴力求和,那么我们打打表看看会怎么样。

当n=2时为2*a1+a1*a2,当n=3时为6*a1+2*a1*a2+a1*a2*a3,当n=4时18*a1+6*a1*a2+2*a1*a2*a3+a1*a2*a3*a4……

我们发现每次的系数都为后一项*3,然而将这个数列放到oeis上查能查到好多,这个结论不一定可靠,于是试图证明它(当然你可以跳过证明,毕竟不严格)。

证明:我们只看a1项系数,于是放乘号的位置只有2^(n-2)个,并且设放乘号个数为i,则乘号合并后的数字显然只有(n-i)个。

此时我们再往合并后的数字里面填符号的话,只有+/-的情况下显然=2^(n-i-1)*a1(剩余的项都被消了)

于是我们得到了a1的个数:sigma(C(n-2,i)*2^(n-i-1))(0<=i<=n-2)。

这个式子很像二项式定理,于是除2再乘2得到2*(2+1)^(n-2)=2*3^(n-2)。

第一项我们证明出来了,那么第二项,第三项……都可以直接推出来,证毕。

那么直接线段树维护即可,懒得说怎么维护了。

#include<map>
#include<cmath>
#include<stack>
#include<queue>
#include<cstdio>
#include<cctype>
#include<vector>
#include<cstdlib>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
typedef long long ll;
const int N=1e5+;
const int p=1e9+;
inline int read(){
int X=,w=;char ch=;
while(!isdigit(ch)){w|=ch=='-';ch=getchar();}
while(isdigit(ch))X=(X<<)+(X<<)+(ch^),ch=getchar();
return w?-X:X;
}
int qpow(int k,int n){
int res=;
while(n){
if(n&)res=(ll)res*k%p;
k=(ll)k*k%p;n>>=;
}
return res;
}
int n,m,c[N],tr[N*],b[N],q[N],lz[N*];
inline int add(int x,int y){
x+=y;if(x>=p)x-=p;return x;
}
inline int mul(ll x,int y){
return x*y%p;
}
inline void push(int a){
if(lz[a]!=-){
tr[a<<]=mul(tr[a<<],lz[a]);
tr[a<<|]=mul(tr[a<<|],lz[a]);
if(lz[a<<]==-)lz[a<<]=lz[a];
else lz[a<<]=mul(lz[a<<],lz[a]);
if(lz[a<<|]==-)lz[a<<|]=lz[a];
else lz[a<<|]=mul(lz[a<<|],lz[a]);
lz[a]=-;
}
}
void build(int a,int l,int r){
lz[a]=-;
if(l==r){
tr[a]=mul(q[l],b[l]);return;
}
int mid=(l+r)>>;
build(a<<,l,mid);build(a<<|,mid+,r);
tr[a]=add(tr[a<<],tr[a<<|]);
}
void modify(int a,int l,int r,int l1,int r1,int w){
if(r<l1||r1<l)return;
if(l1<=l&&r<=r1){
if(lz[a]==-)lz[a]=w;
else lz[a]=mul(lz[a],w);
tr[a]=mul(tr[a],w);
return;
}
push(a);
int mid=(l+r)>>;
modify(a<<,l,mid,l1,r1,w);modify(a<<|,mid+,r,l1,r1,w);
tr[a]=add(tr[a<<],tr[a<<|]);
}
int main(){
n=read(),m=read();b[]=;
for(int i=;i<=n;i++){
c[i]=read();
b[i]=mul(b[i-],c[i]);
}
q[n]=,q[n-]=;
for(int i=n-;i>=;i--)q[i]=mul(q[i+],);
build(,,n);
while(m--){
int k=read(),v=read();
modify(,,n,k,n,(ll)v*qpow(c[k],p-)%p);
c[k]=v;
printf("%d\n",tr[]);
}
return ;
}

+++++++++++++++++++++++++++++++++++++++++++

+本文作者:luyouqi233。               +

+欢迎访问我的博客:http://www.cnblogs.com/luyouqi233/+

+++++++++++++++++++++++++++++++++++++++++++

BZOJ4597:[SHOI2016]随机序列——题解的更多相关文章

  1. BZOJ4597 SHOI2016随机序列(线段树)

    先考虑题目所说的太简单了的问题.注意到只要把加减号相取反,就可以得到一对除了第一项都互相抵消的式子.于是得到答案即为Σf(i)g(i),其中f(i)为前缀积,g(i)为第i个数前面所有符号均填乘号,第 ...

  2. BZOJ4597: [Shoi2016]随机序列

    Description 你的面前有N个数排成一行.分别为A1, A2, … , An.你打算在每相邻的两个 Ai和 Ai+1 间都插入一个加号或者 减号或者乘号.那么一共有 3^(n-1) 种可能的表 ...

  3. 【BZOJ4597】[Shoi2016]随机序列 线段树

    [BZOJ4597][Shoi2016]随机序列 Description 你的面前有N个数排成一行.分别为A1, A2, … , An.你打算在每相邻的两个 Ai和 Ai+1 间都插入一个加号或者减号 ...

  4. BZOJ 4597: [Shoi2016]随机序列

    4597: [Shoi2016]随机序列 Time Limit: 20 Sec  Memory Limit: 256 MBSubmit: 255  Solved: 174[Submit][Status ...

  5. P4340 [SHOI2016]随机序列

    题目 P4340 [SHOI2016]随机序列 思维好题 做法 是否觉得水在于你是否发现加减是会抵消的,所以我们只用考虑乘的部分 一块乘只能前面无号(也就是前缀形式)才统计,所以用线段树维护区间前缀乘 ...

  6. 【bzoj4597】 [Shoi2016]随机序列

    可以发现加减号之间可以互相抵消. 真正加到答案里的只有一些前缀积. 记s[i]为a[1]*a[2]*a[3]...*a[i].那s[i]在答案中出现的次数就是2*3^(n-i-1); 修改一个数只会对 ...

  7. [洛谷P4340][SHOI2016]随机序列

    题目大意:有$n(n\leqslant10^5)$个数,每两个数之间可以加入$+-\times$三种符号,$q(q\leqslant10^5)$次询问,每次询问修改一个数后,所有表达式可能的值的和 题 ...

  8. bzoj 4597||洛谷P4340 [Shoi2016]随机序列

    https://www.lydsy.com/JudgeOnline/problem.php?id=4597 https://www.luogu.org/problemnew/show/P4340 妄图 ...

  9. BZOJ4557:[JLOI2016/SHOI2016]侦察守卫——题解

    https://www.lydsy.com/JudgeOnline/problem.php?id=4557 小R和B神正在玩一款游戏.这款游戏的地图由N个点和N-1条无向边组成,每条无向边连接两个点, ...

随机推荐

  1. CentOS 7.2静默安装Oracle11g

      Preface       Today I'm gonna export some test data to another server.The source server is Windows ...

  2. 第二篇 Flask基础篇之(闪现,蓝图,请求扩展,中间件)

    本篇主要内容: 闪现 请求扩展 中间件 蓝图 写装饰器,常用 functools模块,帮助设置函数的元信息 import functools def wrapper(func): @functools ...

  3. [wirtting] top01 independent

    Do you agree or disagree with the following statement? At universities and colleges, sports and soci ...

  4. Spring 配置请求过滤器,编码格式设为UTF-8,避免中文乱码

    <!-- 配置请求过滤器,编码格式设为UTF-8,避免中文乱码--> <filter> <filter-name>springUtf8Encoding</fi ...

  5. SpringBoot在IntelliJ IDEA下for MAC 热加载

    说在前面 热加载:文件内容变更服务器自动运行最新代码.实则在IDEA环境进行热部署后,下述过程一气呵成. 1代码变更,文件自动保存(IDEA自动保存代码,用户无需使用COMMAND+SAVE快捷键): ...

  6. 【转】NodeJS on Nginx: 使用nginx反向代理处理静态页面

    最近OurJS后台已经从纯node.js迁移到了Nginx+NodeJS上来了,感觉性能提升了不少,特与大家分享. Nginx ("engine x") 是一个高性能的 HTTP ...

  7. JavaScript闭包总结

    闭包是你家庭中的第三者你在享受着第三者给你带来的便利时,而你的家庭也随时触发前所未有的危机(直男癌患者的观点);闭包是指有权访问另一个函数作用域中的变量的函数,创建闭包的常见的方式,就是在一个函数内部 ...

  8. C语言实训——扑克牌洗牌程序

    说明此程序本来是21点扑克程序的一个被调函数,在这里我单独将它拿出来作为一个小程序. #include<stdio.h> #include<time.h> #include&l ...

  9. 软件工程课堂作业(三)——Right-BICEP软件单元测试

    一.测试方法:Right-BICEP Right-结果是否正确?B-是否所有的边界条件都是正确的?I-能查一下反向关联吗?C-能用其他手段交叉检查一下结果吗?E-你是否可以强制错误条件发生?P-是否满 ...

  10. 原生js实现自定义alert风格和实现

    2018年6月29 最新更新 添加函数节流,解决多次点击问题,添加单例模式,提高代码性能. <!DOCTYPE html> <html lang="en"> ...