Link:

传送门

Solution:

以前没见过的套路题……

1、使用EXT欧拉定理降幂的套路:

$a^{x}=a^{xmod\phi(P)+\phi(P)} mod P$,$x\ge P$

这样对于$c^{c^{c^x}}modP$就能递推/递归得套用上述定理计算,每层模数多套一层$\phi$即可

注意每次在快速幂时要判断当前指数是否大于当前模数才能用EXT!

2、能证明一个数最多求$log$次$\phi$就会变成1

这样在$log$次内暴力更新,否则不管,就能保证$O(n*log^3)$

3、复杂度中的3个$log$分别是:

更新$log$次,每次更新迭代$log$层,每层要算一次快速幂

明显只能优化快速幂。由于底不变,模数只有$log$种,想到分数的前后两部分预处理

分块预处理出$[1,(1<<16)]$和$[1*(1<<16),(1<<16)*(1<<16)]$的答案以及与模数的大小关系

这样每次拆出指数的前16位和后16位$O(1)$计算答案和大小关系就能做到$O(n*log^2)$

4、听说原题数据锅了……

虽然$\phi(2)$和$\phi(1)$都为1,但要更新到$\phi(1)$!

否则在最顶层指数为0时最终会迭代出$cmod2$而非$cmod1$,不一定为0!

Code:

#include <bits/stdc++.h>

using namespace std;
#define X first
#define Y second
#define pb push_back
typedef double db;
typedef long long ll;
typedef pair<int,int> P;
const int MAXN=1e5+;
ll pre[][<<][];
bool f[][<<][];
int n,m,p,c,dat[MAXN],phi[],cnt; int getphi(int x)
{
int ret=x;
for(int i=;i*i<=x;i++)
if(x%i==)
{
ret=ret/i*(i-);
while(x%i==) x/=i;
}
if(x!=) ret=ret/x*(x-);
return ret;
}
ll quick_pow(ll a,ll b,ll MOD,bool &f)
{
ll ret=;
for(;b;b>>=,a=a*a%MOD)
{
//判断是否大于某个数两个地方都要判!
if(b&) f|=(ret*a>=MOD),ret=ret*a%MOD;
f|=(a*a>=MOD&&b!=);
}
return ret;
}
int QP(int x,int num,bool &flag)
{
int a=x&((<<)-),b=x>>;
ll ret=1ll*pre[num][a][]*pre[num][b][];
flag=f[num][a][]|f[num][b][]|(ret>=phi[num]);
return ret%phi[num];
}
int cal(int x,int st)
{
int ret=x;
if(ret>=phi[st])
ret=ret%phi[st]+phi[st];
while(st--)
{
bool f=;
ret=QP(ret,st,f);
//注意特判,仅在指数>模数时可使用EXT欧拉定理
if(f&&st) ret+=phi[st];
}
return ret%p;
}
void PRE()
{
//分块预处理
for(int i=;i<=cnt;i++)
{
pre[i][][]=pre[i][][]=;
if(phi[i]==) f[i][][]=f[i][][]=;
pre[i][][]=quick_pow(c,,phi[i],f[i][][]);
int tmp=pre[i][][]=quick_pow(c,<<,phi[i],f[i][][]); for(int j=;j<<<;j++)
{
f[i][j][]=f[i][j-][]|(pre[i][j-][]*c>=phi[i]);
pre[i][j][]=pre[i][j-][]*c%phi[i];
f[i][j][]=f[i][j-][]|(pre[i][j-][]*tmp>=phi[i]);
pre[i][j][]=pre[i][j-][]*tmp%phi[i];
}
}
} namespace SegmentTree
{
#define mid ((l+r)>>1)
#define ls k<<1
#define rs k<<1|1
#define lc ls,l,mid
#define rc rs,mid+1,r int sum[MAXN<<],tag[MAXN<<];
void pushup(int k)
{
tag[k]=min(tag[ls],tag[rs]);
sum[k]=(sum[ls]+sum[rs])%p;
}
void build(int k,int l,int r)
{
if(l==r)
{sum[k]=dat[l]%p;tag[k]=;return;}
build(lc);build(rc);pushup(k);
}
void modify(int a,int b,int k,int l,int r)
{
if(tag[k]>=cnt) return;
if(l==r)
{sum[k]=cal(dat[l],++tag[k]);return;}
if(a<=mid) modify(a,b,lc);
if(b>mid) modify(a,b,rc);
pushup(k);
}
int query(int a,int b,int k,int l,int r)
{
if(a<=l&&r<=b) return sum[k];
int ret=;
if(a<=mid) (ret+=query(a,b,lc))%=p;
if(b>mid) (ret+=query(a,b,rc))%=p;
return ret;
}
}
using namespace SegmentTree; int main()
{
scanf("%d%d%d%d",&n,&m,&p,&c);
for(int i=;i<=n;i++)
scanf("%d",&dat[i]);
phi[]=p;
while(phi[cnt]!=)
cnt++,phi[cnt]=getphi(phi[cnt-]);
//要迭代到phi(1)=1,而不能仅迭代到phi(2)=1
//否则在x=0时最后一层会出现c%2
phi[++cnt]=;PRE(); build(,,n);
while(m--)
{
int op,l,r;
scanf("%d%d%d",&op,&l,&r);
if(!op) modify(l,r,,,n);
else printf("%d\n",query(l,r,,,n));
}
return ;
}

[BZOJ 4809] 相逢是问候的更多相关文章

  1. BZOJ:4869: [Shoi2017]相逢是问候

    4869: [Shoi2017]相逢是问候 先说点正经的…… 显然做了有限次(我只知道是有限次,而且不会大,别人说是log次?)修改以后会达到不动点,即以后怎么修改都不变了. 然后就随便做了.(3个l ...

  2. bzoj 4869: [Shoi2017]相逢是问候 [扩展欧拉定理 线段树]

    4869: [Shoi2017]相逢是问候 题意:一个序列,支持区间\(a_i \leftarrow c^{a_i}\),区间求和.在模p意义下. 类似于开根操作,每次取phi在log次后就不变了. ...

  3. 【BZOJ4869】相逢是问候(线段树,欧拉定理)

    [BZOJ4869]相逢是问候(线段树,欧拉定理) 题面 BZOJ 题解 根据欧拉定理递归计算(类似上帝与集合的正确用法) 所以我们可以用线段树维护区间最少的被更新的多少次 如果超过了\(\varph ...

  4. [BZOJ4869][六省联考2017]相逢是问候(线段树+扩展欧拉定理)

    4869: [Shoi2017]相逢是问候 Time Limit: 40 Sec  Memory Limit: 512 MBSubmit: 1313  Solved: 471[Submit][Stat ...

  5. 【BZOJ4869】相逢是问候 [线段树][欧拉定理]

    相逢是问候 Time Limit: 40 Sec  Memory Limit: 512 MB[Submit][Status][Discuss] Description Informatikverbin ...

  6. 洛谷 P3747 [六省联考2017]相逢是问候 解题报告

    P3747 [六省联考2017]相逢是问候 题目描述 \(\text {Informatik verbindet dich und mich.}\) 信息将你我连结. \(B\) 君希望以维护一个长度 ...

  7. 2017 [六省联考] T2 相逢是问候

    4869: [Shoi2017]相逢是问候 Time Limit: 40 Sec  Memory Limit: 512 MBSubmit: 1205  Solved: 409[Submit][Stat ...

  8. 洛谷P3747 [六省联考2017]相逢是问候

    传送门 题解 扩展欧拉定理. 线段树维护,已经全改到底了的节点就不管,不然暴力修改下去. //Achen #include<algorithm> #include<iostream& ...

  9. bzoj千题计划271:bzoj4869: [六省联考2017]相逢是问候

    http://www.lydsy.com/JudgeOnline/problem.php?id=4869 欧拉降幂+线段树,每个数最多降log次,模数就会降为1 #include<cmath&g ...

随机推荐

  1. 最长上升子序列O(nlogn) 要强的T^T(2358)

    题目来源:http://www.fjutacm.com/Problem.jsp?pid=2358 要强的T^T TimeLimit:1000MS  MemoryLimit:65536K 64-bit ...

  2. ECMAScript——(二)

    1.语法 区分大小写 变量是弱类型(定义变量时只用 var 运算符,可以将它初始化为任意值.) 每行结尾的分号可有可无(建议写上) 注释与Java一样 括号表示代码块 2.变量 变量可以不用声明,变量 ...

  3. mysql远程连接数据库

    配置mysql允许远程连接的方法. (1)查看3306端口状态 netstat -an | grep 3306 (2)修改mysql配置文件 ubuntu系统:vim /etc/mysql/mysql ...

  4. HTML5 localStorage、sessionStorage 作用域

    一.localStorage localStorage有效期:永不失效,除非web应用主动删除. localStorage作用域:localStorage的作用域是限定在文档源级别的.文档源通过协议. ...

  5. makefile特殊符号介绍

    http://blog.chinaunix.net/uid-20564848-id-217918.html makefile下$(wildcard $^),$^,$@,$?,$<,$(@D),$ ...

  6. No.7 selenium学习之路之Alert弹窗

    Alert弹窗 弹窗是用工具选不到的~ 切换到alert driver.switch_to_alert() 新的语法:driver.switch_to.alert 注:新的语法不需要后面加括号 打印a ...

  7. ABP zero 3.2 发布

    v3.2.0 (2017-03-07) Common Tenant based UI customizations (allow tenants to upload custom CSS and lo ...

  8. 实现nlp文本生成中的beam search解码器

    自然语言处理任务,比如caption generation(图片描述文本生成).机器翻译中,都需要进行词或者字符序列的生成.常见于seq2seq模型或者RNNLM模型中. 这篇博文主要介绍文本生成解码 ...

  9. 【LOJ】#2562. 「SDOI2018」战略游戏

    题解 圆方树建好之后点是原来的两倍,而st表求lca也要开到点的两倍,所以是四倍 我并没有开小,然而= =,我的预处理log2,写成了200000,而不是400000 我是不是折翼啊= = 很可写,我 ...

  10. tp5总结(一)

    https://github.com/ABCDdouyaer/tp5-1 1.下载composer 安装框架 也可以安装包或者git安装 composer create-project topthin ...