[BZOJ 4809] 相逢是问候
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] 相逢是问候的更多相关文章
- BZOJ:4869: [Shoi2017]相逢是问候
4869: [Shoi2017]相逢是问候 先说点正经的…… 显然做了有限次(我只知道是有限次,而且不会大,别人说是log次?)修改以后会达到不动点,即以后怎么修改都不变了. 然后就随便做了.(3个l ...
- bzoj 4869: [Shoi2017]相逢是问候 [扩展欧拉定理 线段树]
4869: [Shoi2017]相逢是问候 题意:一个序列,支持区间\(a_i \leftarrow c^{a_i}\),区间求和.在模p意义下. 类似于开根操作,每次取phi在log次后就不变了. ...
- 【BZOJ4869】相逢是问候(线段树,欧拉定理)
[BZOJ4869]相逢是问候(线段树,欧拉定理) 题面 BZOJ 题解 根据欧拉定理递归计算(类似上帝与集合的正确用法) 所以我们可以用线段树维护区间最少的被更新的多少次 如果超过了\(\varph ...
- [BZOJ4869][六省联考2017]相逢是问候(线段树+扩展欧拉定理)
4869: [Shoi2017]相逢是问候 Time Limit: 40 Sec Memory Limit: 512 MBSubmit: 1313 Solved: 471[Submit][Stat ...
- 【BZOJ4869】相逢是问候 [线段树][欧拉定理]
相逢是问候 Time Limit: 40 Sec Memory Limit: 512 MB[Submit][Status][Discuss] Description Informatikverbin ...
- 洛谷 P3747 [六省联考2017]相逢是问候 解题报告
P3747 [六省联考2017]相逢是问候 题目描述 \(\text {Informatik verbindet dich und mich.}\) 信息将你我连结. \(B\) 君希望以维护一个长度 ...
- 2017 [六省联考] T2 相逢是问候
4869: [Shoi2017]相逢是问候 Time Limit: 40 Sec Memory Limit: 512 MBSubmit: 1205 Solved: 409[Submit][Stat ...
- 洛谷P3747 [六省联考2017]相逢是问候
传送门 题解 扩展欧拉定理. 线段树维护,已经全改到底了的节点就不管,不然暴力修改下去. //Achen #include<algorithm> #include<iostream& ...
- bzoj千题计划271:bzoj4869: [六省联考2017]相逢是问候
http://www.lydsy.com/JudgeOnline/problem.php?id=4869 欧拉降幂+线段树,每个数最多降log次,模数就会降为1 #include<cmath&g ...
随机推荐
- 20165227 实验三《敏捷开发与XP实践》实验报告
2017-2018-4 20165227 实验三<敏捷开发与XP实践>实验报告 实验内容 1.XP基础 2.XP核心实践 3.相关工具 实验要求 1.没有Linux基础的同学建议先学习&l ...
- 【codeforces】【比赛题解】#862 CF Round #435 (Div.2)
这次比赛打得很舒服,莫名得了个Rank41,涨了219的Rating,就比较优秀.不过还是没有闫神厉害啊.题目链接::P. [A]MEX 题意: Evil博士把Mahmoud和Ehab绑架到了邪恶之地 ...
- 【codeforces】【比赛题解】#855 Codefest 17
神秘比赛,以<哈利波特>为主题……有点难. C题我熬夜切终于是写出来了,可惜比赛结束了,气啊. 比赛链接:点我. [A]汤姆·里德尔的日记 题意: 哈利波特正在摧毁神秘人的分灵体(魂器). ...
- 新手向-同步关键字synchronized对this、class、object、方法的区别
synchronized的语义 实验 分析 在看源代码时遇到多线程需要同步的时候,总是会看见几种写法,修饰方法.修饰静态方法.synchronized(Xxx.class).synchronized( ...
- C#匿名函数与Lambda表达式
Lambda 表达式是一种可用于创建委托或表达式目录树类型的匿名函数. 通过使用 lambda 表达式,可以写入可作为参数传递或作为函数调用值返回的本地函数.在C#中的Linq中的大部分就是由扩展方法 ...
- 关于mysql的wait_timeout参数 设置不生效的问题【转】
关于wait_timeout 有一次去online set wait_timeout 的时候发现改了不生效,如下: mysql> show variables like 'wait_timeou ...
- 玩玩 Nginx 1----- Nginx + ngx_lua安装测试【CentOs下】
最近打算搞搞nginx,扒着各位先驱的文章自己进行测试下,中间过程也是错误不断,记录一下,以备使用. nginx的安装挺简单的,主要还是研究下一些第三方的模块,首先想试下初始化 ...
- 打开mvc项目无法运行,报"Unable to launch the IIS Express Web server"
今天遇到一个问题,打开asp.net mvc 项目,右击浏览器运行,无法运行... 提示下面错误, 解决方案: 删除项目文件夹下的 .vs 文件夹,然后重新打开项目运行即可 参考:http://www ...
- 激活Win10内置版Linux (ubuntu)
微软自从14316版本后,就开始原生支持Linux Bash命令行. 1.首先到系统设置——更新和安全——针对开发人员——选择开发者模式. 2.控制面板→程序和功能→启用或关闭Windows功能,勾 ...
- java基础31 List集合下的Vector集合
单例集合体系: ---------| collection 单例集合的根接口--------------| List 如果实现了list接口的集合类,具备的特点:有序,可重复 注:集合 ...