[SDOI2014]数表 莫比乌斯反演
题解:
设$f(d)$表示数$d$的约数和,那么$(i, j)$中的数为$f(gcd(i, j))$,
那么有2种枚举方法。
1,枚举每一格看对应的$f(d)$是几.$$ans = \sum_{i = 1}^{n}\sum_{j = 1}^{m}{f(gcd(i, j))}$$
2,枚举$d$看有哪些格子的$f$值为$f(d)$.
$$ans = \sum_{i = 1}^{min(n, m)}{f(d)}\sum_{x = 1}^{n}\sum_{y = 1}^{m}[gcd(x, y) == d]$$
显然后者更加方便。
所以$$ans = \sum_{i = 1}^{min(n, m)}{f(d)}\sum_{x = 1}^{n}\sum_{y = 1}^{m}[gcd(x, y) == d]$$
$$ans = \sum_{i = 1}^{min(n, m)}{f(d)}\sum_{x = 1}^{\lfloor{\frac{n}{d}}\rfloor}\sum_{y = 1}^{\lfloor{\frac{m}{d}}\rfloor}[gcd(x, y) == 1]$$
$$ans = \sum_{i = 1}^{min(n, m)}{f(d)}\sum_{x = 1}^{\lfloor{\frac{n}{d}}\rfloor}\sum_{y = 1}^{\lfloor{\frac{m}{d}}\rfloor}\sum_{t | gcd(x, y)}{\mu(t)}$$
$$\sum_{i = 1}^{min(n, m)}f(d)\sum_{t = 1}^{min(\lfloor{\frac{n}{d}}\rfloor, \lfloor{\frac{m}{d}}\rfloor)}{\lfloor{\frac{\lfloor{\frac{n}{d}}\rfloor}{t}}\rfloor}{\lfloor{\frac{\lfloor{\frac{m}{d}}\rfloor}{t}}\rfloor}\mu(t)$$<---看有多少对$(x, y)$统计到了$\mu(t)$(即为$\mu(t)$的倍数/有因子$\mu(t)$)
$$\sum_{i = 1}^{min(n, m)}f(d)\sum_{t =1}^{min(\lfloor{\frac{n}{d}}\rfloor, \lfloor{\frac{m}{d}}\rfloor)}{\lfloor{\frac{n}{td}\rfloor}}{\lfloor{\frac{m}{td}\rfloor}}\mu(t)$$
令$T = td$,则
$$ans = \sum_{T = 1}^{min(n, m)}{\lfloor{\frac{n}{T}}\rfloor \lfloor{\frac{m}{T}}\rfloor} \sum_{d|T}f(d)\mu(\frac{T}{d})$$
因为$T = td$,所以符合要求的$d$满足$d|T$.
设$$g(T) = \sum_{d | T}f(d)\mu(\frac{T}{d}) \Longleftrightarrow f(T) = \sum_{d | T}g(d)$$
则$$ans = \sum_{T = 1}^{min(n, m)}{\lfloor{\frac{n}{T}}\rfloor \lfloor{\frac{m}{T}}\rfloor} g(T)$$
但是由于有$a$的限制,对于不同的$a$,$g(T)$的值是不同的,因此先筛出$f$数组,然后将$f$按$f_{i}$排序,离线询问,一个一个把符合条件的$f(d)$加入$g$数组,也就是每次处理询问时再暴力将$f(d)$的贡献加给满足$d|T$的$g(T)$,但是由于要维护$g$数组的前缀和,因此用树状数组维护$g$数组
根据$f$数组的定义,
当$x\quad mod \quad p_{i} \quad != \quad 0$有$f(x \cdot P_{i}) = f(x) + f(x) \cdot P_{i}$,其中$P_{i}$是质数
否则有$f(x \cdot p_{i}) = f(x) \cdot p_{i} + f(t)$,其中$t$为$x$除去质因数$p_{i}$后的值
#include<bits/stdc++.h>
using namespace std;
#define R register int
#define AC 101000
#define ac 100000
#define LL long long
#define p 2147483648LL
int t, tot, l;
int prime[AC], mu[AC];
LL g[AC];
bool z[AC];
struct node{
int n, m, a, id;LL ans;
}s[AC];
struct kkk{
int d;
LL w;
}f[AC]; inline int read()
{
int x = ;char c = getchar();
while(c > '' || c < '') c = getchar();
while(c >= '' && c <= '') x = x * + c - '', c = getchar();
return x;
} inline bool cmp(node a, node b)
{
return a.a < b.a;
} inline bool cmp1(kkk a, kkk b)
{
return a.w < b.w;
} inline int lowbit(int x)
{
return x & (-x);
} inline void add(int x, int S)
{
// if(x <= 4)printf("add %d : %d\n", x, S);
for(R i = x; i <= ac; i += lowbit(i)) g[i] += S;
} inline LL find(int x)
{
LL rnt = ;
for(R i = x; i; i -= lowbit(i)) rnt += g[i];
return rnt;
} void pre()
{
t = read();
for(R i = ; i <= t; i++)
s[i].n = read(), s[i].m = read(), s[i].a = read(), s[i].id = i;
sort(s + , s + t + , cmp);
} void get()
{
int x;
f[] =(kkk){, }, mu[] = ;
for(R i = ; i <= ac; i++)
{
f[i].d = i;
if(!z[i]) prime[++tot] = i, f[i].w = i + , mu[i] = -;
for(R j = ; j <= tot; j++)
{
x = prime[j];
if(x * i > ac) break;
z[x * i] = true;
if(!(i % x))
{
int t = i;
while(!(t % x)) t /= x;
f[x * i].w = f[t].w + f[i].w * x;
break;
}
mu[x * i] = -mu[i];
f[x * i].w = f[i].w + f[i].w * x;
}
}
sort(f + , f + ac + , cmp1);
} void build(int a)//更新树状数组
{
for(R i = l + ; i <= ac; i++)
{
if(f[i].w > a) return ;
++l;
for(R j = f[i].d; j <= ac; j += f[i].d)
add(j, f[i].w * mu[j / f[i].d]);
}
} inline bool cmp2(node a, node b)
{
return a.id < b.id;
} void work()
{
for(R i = ; i <= t; i++)
{
build(s[i].a);
int b = min(s[i].n, s[i].m), pos;
for(R j = ; j <= b; j = pos + )
{
pos = min(s[i].n / (s[i].n / j), s[i].m / (s[i].m / j));
s[i].ans += (s[i].n / j) * (s[i].m / j) * (find(pos) - find(j - ));
s[i].ans = (s[i].ans + p) % p;//取模error!!!取模的时候记得+p....
}//error!!!无论何时都要+p并取模,,因为可能前面取模后再减就变负数了。。。。加个判断就应对不了负数的情况了
// printf("\n");
}
sort(s + , s + t + , cmp2);
for(R i = ; i <= t; i++) printf("%lld\n", s[i].ans);
} int main()
{
freopen("in.in", "r", stdin);
//freopen("sdoi2014shb.in", "r", stdin);
//freopen("sdoi2014shb.out", "w", stdout);
pre();
get();
work();
fclose(stdin);
//fclose(stdout);
return ;
}
[SDOI2014]数表 莫比乌斯反演的更多相关文章
- bzoj [SDOI2014]数表 莫比乌斯反演 BIT
bzoj [SDOI2014]数表 莫比乌斯反演 BIT 链接 bzoj luogu loj 思路 \[ \sum\limits_{i=1}^{n}\sum\limits_{j=1}^{m}a*[f[ ...
- BZOJ 3259 [Sdoi2014]数表 (莫比乌斯反演 + 树状数组)
3529: [Sdoi2014]数表 Time Limit: 10 Sec Memory Limit: 512 MBSubmit: 2321 Solved: 1187[Submit][Status ...
- 【BZOJ3529】[Sdoi2014]数表 莫比乌斯反演+树状数组
[BZOJ3529][Sdoi2014]数表 Description 有一张N×m的数表,其第i行第j列(1 < =i < =礼,1 < =j < =m)的数值为能同时整除i和 ...
- BZOJ 3529: [Sdoi2014]数表 [莫比乌斯反演 树状数组]
3529: [Sdoi2014]数表 Time Limit: 10 Sec Memory Limit: 512 MBSubmit: 1399 Solved: 694[Submit][Status] ...
- 【bzoj3529】[Sdoi2014]数表 莫比乌斯反演+离线+树状数组
题目描述 有一张n×m的数表,其第i行第j列(1 <= i <= n ,1 <= j <= m)的数值为能同时整除i和j的所有自然数之和.给定a,计算数表中不大于a的数之和. ...
- BZOJ 3529 [Sdoi2014]数表 (莫比乌斯反演+树状数组+离线)
题目大意:有一张$n*m$的数表,第$i$行第$j$列的数是同时能整除$i,j$的所有数之和,求数表内所有不大于A的数之和 先是看错题了...接着看对题了发现不会做了...刚了大半个下午无果 看了Po ...
- bzoj3529: [Sdoi2014]数表 莫比乌斯反演
题意:求\(\sum_{i=1}^n\sum_{j=1}^nf(gcd(i,j))(gcd(i,j)<=a),f(x)是x的因子和函数\) 先考虑没有限制的情况,考虑枚举gcd为x,那么有\(\ ...
- BZOJ[Sdoi2014]数表 莫比乌斯反演
[Sdoi2014]数表 Time Limit: 10 Sec Memory Limit: 512 MBSubmit: 2383 Solved: 1229[Submit][Status][Disc ...
- BZOJ 3529 [Sdoi2014]数表 ——莫比乌斯反演 树状数组
$ans=\sum_{i=1}^n\sum_{j=1}^n\sigma(gcd(i,j))$ 枚举gcd为d的所有数得到 $ans=\sum_{d<=n}\sigma(d)*g(d)$ $g(d ...
- BZOJ3529: [Sdoi2014]数表(莫比乌斯反演,离线)
Description 有一张 n×m 的数表,其第 i 行第 j 列(1 <= i <= n, 1 <= j <= m)的数值为 能同时整除 i 和 j 的所有自然数之和.给 ...
随机推荐
- 韩国KT软件NB-IOT开发记录V150(2)IOT maker通信相关
1. 测试的AT指令,创建端口和IP地址链接 AT#IMINIT=," 开始连接 AT#IMCONN 创建object ID AT#IMOBJMETA=,," 发送数据 AT#IM ...
- Cannot assign requested address (connect failed)
压测时,应用服务器报错:Cannot assign requested address (connect failed) 经检查,由于应用服务器,频繁发起http请求,由于每次连接都在很短的时间内结束 ...
- <cassert>
文件名: <cassert> (assert.h) 这是一个C语言的诊断库,assert.h文件中定义了一个可作为标准调试工具的宏函数: assert ; 下面介绍这个宏函数:asser ...
- 使用es6总结笔记
1. let.const 和 block 作用域 在ES6以前,var关键字声明变量.无论声明在何处,都会被视为声明在函数的最顶部(不在函数内即在全局作用域的最顶部). let 关键词声明的变量不具备 ...
- centos7安装zabbix3.2详解
服务器端安装 1.安装仓库 rpm -ivh http://repo.zabbix.com/zabbix/3.2/rhel/7/x86_64/zabbix-release-3.2-1.el7.noar ...
- dotnetframe的清理工具
微软的产品一向不敢恭维,卸载都没有办法卸载干净,卸载又慢又不彻底,dotnet被我卸载之后还有注册表残留以至于无法重新安装. .NET Framework Cleanup Tool真的很好用,全部版本 ...
- priority_queue(优先队列):排序不去重
C++优先队列类似队列,但是在这个数据结构中的元素按照一定的断言排列有序. 头文件:#include<queue> 参数:priority_queue<Type, Container ...
- Bitcoin: A Peer-to-Peer Electronic Cash System
Bitcoin: A Peer-to-Peer Electronic Cash System Satoshi Nakamoto October 31, 2008 Abstract A purely p ...
- POJ 2455 Secret Milking Machine(最大流+二分)
Description Farmer John is constructing a new milking machine and wishes to keep it secret as long a ...
- 第一次接触FPGA至今,总结的宝贵经验
从大学时代第一次接触FPGA至今已有10多年的时间,至今记得当初第一次在EDA实验平台上完成数字秒表.抢答器.密码锁等实验时那个兴奋劲.当时由于没有接触到HDL硬件描述语言,设计都是在MAX+plus ...