[原创][HYSBZ/BZOJ2301]Problem b [莫比乌斯反演 + 分块] 【组合数学】
2017-02-12 22:06:35 Tabris_ 阅读数:585
博客爬取于 2020-06-14 22:41:36
以下为正文
版权声明:本文为 Tabris 原创文章,未经博主允许不得私自转载。
https://blog.csdn.net/qq_33184171/article/details/55006530
题目连接:https://vjudge.net/problem/HYSBZ-2301
--------------------------------------------------------------------------------------------------------------.
2301: [HAOI2011]Problem b
Time Limit: 50 Sec
Memory Limit: 256 MB
Description
对于给出的 n 个询问,每次求有多少个数对(x,y),满足 a≤x≤b,c≤y≤d,且 gcd(x,y) = k,gcd(x,y)函数为 x 和 y 的最大公约数。
Input
第一行一个整数 n,接下来 n 行每行五个整数,分别表示 a、b、c、d、k
Output
共 n 行,每行一个整数表示满足要求的数对(x,y)的个数
Sample Input
2
2 5 1 5 1
1 5 1 5 2
Sample Output
14
3
HINT
100% 的数据满足:1≤n≤50000,1≤a≤b≤50000,1≤c≤d≤50000,1≤k≤50000
--------------------------------------------------------------------------------------------------------------.
解题思路:
对于求(a,c)~(b,d)区间内的解 我们可以用容斥原理解决
calc(b,d)-calc(a-1,d)-calc(b,c-1)+calc(a-1,c-1)
那么对于求每一个calc(x,y);时首先要明确的是求\gcd(x,y)=k就是求\gcd(x/k,y/k)=1的解,
证明 :
a\times x+b\times y =k\\ \dfrac {a\times x}{k}+\dfrac {b\times y}{k} =1\\a\times\dfrac { x}{k}+b\times\dfrac {y}{k} =1
——证毕
然后设f(i)为gcd(x,y)=i时(x,y)的对数,F(i)表示满足i|gcd(x,y)的(x,y)的对数,显然F(i)=⌊\dfrac{n}{i}⌋⌊\dfrac{m}{i}⌋
然后根据莫比乌斯反演公式的到
F(n)= \sum_{i|n} f(i) \\ => \\ f(d) = \sum_{i|d} \mu(\dfrac{d}{i})\times F(d)\\ = \sum_{i|d} \mu(\dfrac{d}{i})\times ⌊\dfrac{n}{i}⌋⌊\dfrac{m}{i}⌋
当 i=1 时,f(1)=\sum^{min(n,m)}_{d=1}μ(d)⌊n⌋⌊m⌋
由于⌊\dfrac {n}{i}⌋的取值最多只有^2\sqrt {n}个(这个很容易证明:在\dfrac {n}{\sqrt {n}+1}< i<=n时, y = \left\{\begin{array}{rcl}1&&\frac{n}{2}<i<=n\\2 && \frac{n}{3}<i<=\frac{n}{2}\\ ......\\ \sqrt {n} && \frac{n}{\sqrt {n}+1}<i<=\frac{n}{\sqrt {n} }\end{array}\right.,到这里已经有 sqrt(n)个取值了,还有\sqrt {n}个 i,即使每一个 i 都对应一个不同的⌊\dfrac{n}{i}⌋,也只有\sqrt{n}个取值),我们算出μ的前缀和 sum,然后只需要O(2(\sqrt{n}+\sqrt{m}))的时间(即分块优化)回答每次询问。
但是有一个奇怪的地方,就是我用 %I64d 输出 显示 PE %lld 输出 显示 WA 用 %d 输出就 AC 了。。。。醉了。。。
附本题代码
--------------------------------------------------------------------------------------------------------------.
1 | int a,b,c,d,k; |


