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. Vue学习看这篇就够

    Vue -渐进式JavaScript框架 介绍 vue 中文网 vue github Vue.js 是一套构建用户界面(UI)的渐进式JavaScript框架 库和框架的区别 我们所说的前端框架与库的 ...

  2. 连接数据库及出现System.AccessViolationException错误的解决方法

    调试后发现, connection.Open();以后报错,System.AccessViolationException: 尝试读取或写入受保护的内存.这通常指示其他内存已损坏,网上搜了很多都没有作 ...

  3. 【日记】NOIP2018

    day-2: 最后一次走出机房,刚下过几天的雨,感受到的是彻骨的寒意.下午离开教室,跟班主任请了接下来几天的假,班主任斜视了我一眼,哼了一声,确认了一下,不再理会我了.班里的同学或是忙着自己的作业,或 ...

  4. Python之内建函数Map,Filter和Reduce

    Python进阶 map,filter, reduce是python常用的built-in function. 且常与lambda表达式一起用. 其中: map 形式:map(function_to_ ...

  5. Mac上删除不了的文件,Windows上也粉碎不了怎么办?

    推荐一个Mac上的软件:Tuxera Disk Manager 用法很简单:选择删除文件原来所在的文件进行维护就可以了. 维护之后,在废纸篓中清除,成功.

  6. Scrapy项目之User timeout caused connection failure(异常记录)

    Windows 10家庭中文版,Python 3.6.4,Scrapy 1.5.0, 提示:此文存在问题,真正测试, 请勿阅读, 07-14 14:26更新: 经过两个多小时的测试,发现此问题的原因是 ...

  7. geoserver 启动闪退

    跟JDK版本有关: 比如geoserver2.11需要JDK版本为JDK1.8 windows配置两个jdk环境: 网上有方法,但如果只需要满足geoserver的话,可以只安装jdk(注意jdk和j ...

  8. Centos之命令搜索命令whereis与which

    Centos之命令搜索命令whereis与which whereis 命令名 #搜索命令所在路径及帮助文档所在位置 选项: -b :只查找可执行文件位置 -m:只查找帮助文件 [root@localh ...

  9. Oracle学习笔记:ORA-22992 cannot use LOB locators selected from remote tables

    通过DB_LINK访问远程表的时候出现 ORA-22992: cannot use LOB locators selected from remote tables 错误. 原因:因为表中含有clob ...

  10. 对于ElasticSearch与Hadoop是如何互相调用的?

    1.在HDFS中,数据是以文件形式保存的,比如JSON: https://blog.csdn.net/napoay/article/details/68945483 2.python读写HDFS,一般 ...