dC Loves Number Theory

题目大意:dC 在秒了BZOJ 上所有的数论题后,感觉萌萌哒,想出了这么一道水题,来拯救日益枯竭的水题资源。 给定一个长度为 n的正整数序列A,有q次询问,每次询问一段区间内所有元素乘积的φ(φ(n)代表1~n 中与n互质的数的个数) 。由于答案可能很大,所以请对答案 mod 10^6 + 777。 (本题强制在线,所有询问操作的l,r都需要 xor上一次询问的答案 lastans,初始时,lastans = 0)

数据范围:1<=N<=50000,1<=Q<=100000,1<=Ai<=10^6。


题解:

完全不会.....

听了$lijinnn$讲了才明白。

有一个非常非常重要的性质,如果没发现的话根本做不了。

我们考虑暴力怎么搞:每次全扫一遍,然后统计答案。

这也太暴力了....我们优化优化。

这样,每个位置开一个长度最多为$7$的数组表示当前位置的质因子因为我们知道:

$\varphi(n) = n*\prod\limits_{p_i|n} \frac{p_i - 1}{p_i}$。

这复杂度是$O(n^2\times 7)$的。

再优化优化???

发现,对于每个左端点,我可以维护处每个质因子在当前左端点右边最靠左出现的位置。

就是先扫一遍整个数组,先求出来左端点在$1$时,每个质数最左出现的位置。

接着每次,左端点往右动,更新当前左端点所在位置的值的所有质因子的答案即可,这样再查询就是在左端点对应的数组上查就好了,这是$O(n)$的。

好,现在的复杂度到了$O(n^2)$,重点就是维护每个质因子在不超过左端点的情况下,最左的位置。

那正解不就出来了么!

我们发现,左端点每动一次,更改的值只有最多$7$个,剩下的值都是相同的。

什么东西可以维护这个?就是一大堆都一样,只有几个不同

主席树呀,我们对每个左端点开一棵主席树,直接维护刚才说的数组。

咋维护呢?

就是对于第$i$颗主席树,如果有一个质数$p$在$i$左侧最左的位置是$j$,那就在主席树$j$的位置$*=\frac{p - 1}{p}$,然后主席树节点维护所支配区间所有数乘积。

但是,每个点单独质因数分解是$O(n\sqrt{a_i})$的,我们通过预处理质数,然后枚举质数的方式就好啦,复杂度是调和级数$O(nln\ n)$。

主席树的复杂度是$O(nlogn)$,每次$O(loglogn)$次,总复杂度是$O(nlognloglogn + nln\ n)$。

代码

#include <bits/stdc++.h>

#define N 50010 

using namespace std;

const int mod = 1000777 ;

typedef long long ll;

vector <int> v[1000010 ];

int prime[1000010 ], cnt;

bool vis[1000010 ];

int pre[1000010 ], bfr[N], a[N];

int ls[N * 200], rs[N * 200], sum[N * 200], root[N * 200], tot;

char *p1, *p2, buf[100000];

#define nc() (p1 == p2 && (p2 = (p1 = buf) + fread(buf, 1, 100000, stdin), p1 == p2) ? EOF : *p1 ++ )

int rd() {
int x = 0, f = 1;
char c = nc();
while (c < 48) {
if (c == '-')
f = -1;
c = nc();
}
while (c > 47) {
x = (((x << 2) + x) << 1) + (c ^ 48), c = nc();
}
return x * f;
} int qpow(int x, int y) {
int ans = 1;
while (y) {
if (y & 1)
ans = (ll)ans * x % mod;
y >>= 1;
x = (ll)x * x % mod;
}
return ans;
} void init() {
for (int i = 2; i <= 1000000; i ++ ) {
if (!vis[i])
prime[ ++ cnt] = i;
for (int j = 1; j <= cnt && (ll)i * prime[j] <= 1000000; j ++ ) {
vis[i * prime[j]] = true;
if (i % prime[j] == 0) {
break;
}
}
}
} void update(int x, int val, int l, int r, int pre, int &p) {
p = ++tot;
ls[p] = ls[pre];
rs[p] = rs[pre];
sum[p] = (ll)sum[pre] * val % mod;
if (l == r) {
return;
}
int mid = (l + r) >> 1;
if (x <= mid)
update(x, val, l, mid, ls[pre], ls[p]);
else
update(x, val, mid + 1, r, rs[pre], rs[p]);
} int query(int x, int y, int l, int r, int p) {
if (!p) {
return 1;
}
if (x <= l && r <= y) {
return sum[p];
}
int ans = 1, mid = (l + r) >> 1;
if (x <= mid)
ans = (ll)ans * query(x, y, l, mid, ls[p]) % mod;
if (mid < y)
ans = (ll)ans * query(x, y, mid + 1, r, rs[p]) % mod;
return ans;
} int main() {
int n = rd(), m = rd();
for (int i = 1; i <= n; i ++ ) {
a[i] = rd();
} bfr[0] = 1;
for (int i = 1; i <= n; i ++ ) {
bfr[i] = (ll)bfr[i - 1] * a[i] % mod;
} init();
for (int i = 1; i <= cnt; i ++ ) {
for (int j = prime[i]; j <= 1000000; j += prime[i]) {
v[j].push_back(i);
}
} // cout << prime[cnt] << endl ; // for (int i = 1; i <= n; i ++ ) {
// int len = v[a[i]].size();
// for (int j = 0; j < len; j ++ ) {
// printf("%d ",prime[v[a[i]][j]]);
// }
// puts("");
// } sum[0] = 1; for (int i = 1; i <= n; i ++ ) {
int len = v[a[i]].size();
for (int j = 0; j < len; j ++ ) {
if (pre[v[a[i]][j]]) {
update(pre[v[a[i]][j]], (ll)prime[v[a[i]][j]] * qpow(prime[v[a[i]][j]] - 1, mod - 2) % mod, 1, n, (root[i] ? root[i] : root[i - 1]), root[i]);
}
update(i, (ll)(prime[v[a[i]][j]] - 1) * qpow(prime[v[a[i]][j]], mod - 2) % mod, 1, n, (root[i] ? root[i] : root[i - 1]), root[i]);
// printf("Shit %d\n",v[a[i]][j]);
pre[v[a[i]][j]] = i;
}
} // cout << sum[root[1]] << endl ;
// cout << (ll)sum[root[1]] * 3 % mod * qpow(2, mod - 2) % mod << endl ; // cout << sum[root[4]] << endl ;
// cout << (ll)sum[root[4]] * 2 * 6 * 4 % mod * qpow(3, mod - 2) % mod * qpow(2, mod - 2) % mod * qpow(5, mod - 2) % mod * qpow(7, mod - 2) % mod << endl ; // puts("Fuck"); int lastans = 0;
for (int i = 1; i <= m; i ++ ) {
int x = rd(), y = rd();
x ^= lastans, y ^= lastans;
if (x > y) {
lastans = 1;
puts("0");
continue;
}
// cout << (ll)bfr[y] * qpow(bfr[x - 1], mod - 2) % mod << endl ;
lastans = (ll)bfr[y] * qpow(bfr[x - 1], mod - 2) % mod * query(x, y, 1, n, root[y]) % mod;
printf("%d\n", lastans);
}
return 0;
}

小结:真的是好题啊,重要的是那个性质能不能发现。主席树的运用也非常巧妙。

最新文章

  1. Ubuntu 树莓派2b交叉编译环境
  2. 第一章-第六题(帮人抢票,帮人选课这些软件是否合法 你怎么看?)--By梁旭晖
  3. centos7 zabbix3 install done
  4. Furatto – 轻量,友好的响应式前端开发框架
  5. NodeBB – 基于 Node.js 的开源论坛系统
  6. 基于DDD的.NET开发框架 - ABP模块设计
  7. 04SpringMvc_映射器_BeanNameUrlHanderMapping
  8. ZOJ3228 Searching the String(AC自动机)
  9. java Exchanger 2
  10. PAT-乙级-1004. 成绩排名 (20)
  11. hdu 2844 Coins
  12. windows7环境下 硬盘安装ubuntu 12.04 server版
  13. html中给图片添加热点
  14. ETL的经验总结
  15. CodeIgniter框架解析
  16. C#Enum用Tuple保存值绑定到前端的CheckBox
  17. linux 的基本操作(编写shell 脚本)
  18. spring 和spring cloud 组成
  19. nginx解决前端跨域配置
  20. 【校招面试 之 网络】第3题 HTTP请求行、请求头、请求体详解

热门文章

  1. 018_linuxC++之_抽象类的引入
  2. springboot注释层分解图
  3. IntelliJ IDEA 创建 Git 分支并且 Push 到远程
  4. 洛谷 P1355 神秘大三角(计算几何基础)
  5. 树莓派安装alsa-lib库
  6. moveUp()
  7. FileZilla 客户端连接vsftp无法访问 Received unexpected end-of-file from SFTP server 解决之路
  8. RabbitMQ 简使用案例
  9. Job for docker.service failed because the control process exited with error code. See
  10. Jinja2学习