题目

P4844 LJJ爱数数

本想找到莫比乌斯反演水题练练,结果直接用了两个多小时才做完

做法

\(\sum\limits_{a=1}^n\sum\limits_{b=1}^n\sum\limits_{c=1}^n[gcd(a,b,c)=1\&\&\frac{1}{a}+\frac{1}{b}=\frac{1}{c}]\)

\([gcd(a,b,c)=1]\)这个好理解,但后面\(\frac{1}{a}+\frac{1}{b}=\frac{1}{c}\)怎么办呢?

下意识去掉分数:\((a+b)c=ab\)

设\(g=gcd(a,b),A=\frac{a}{g},B=\frac{b}{g}\)

原式化为:\((A+B)c=ABg\)

\(\therefore \frac{(A+B)c}{g}=AB\),\(g\)要整除\((A+B)c\)

由于\(gcd(a,b,c)=1\),\(g\)不整除\(c\),所以\(g\)整除\(A+B\)

\(\therefore \frac{A+B}{g}=\frac{AB}{c}\),设\(p=\frac{A+B}{g}=\frac{AB}{c}\)

\(c=\frac{A+B}{g} \Longrightarrow p\)整除同时整除\(A,B\)

\(g=gcd(a,b),A=\frac{a}{g},B=\frac{b}{g} \Longrightarrow A,B\)互质

\(\therefore p=1\)

\(\therefore A+B=g \Longrightarrow a+b=g^2,c=AB \Longrightarrow c=\frac{ab}{g^2}\)

接下来就好做了嘛,由于\(c=\frac{ab}{g^2}\)的限制,g的上限瞬间就特别小了,所以我们枚举\(g\)

\[\begin{aligned}
Ans & =\sum\limits_{g=1}^{\sqrt {2n}}\sum\limits_{i=1}^{\frac{n}{g}}[gcd(ig,g^2-ig)=g]\\
&=\sum\limits_{g=1}^{\sqrt {2n}}\sum\limits_{i=1}^{\frac{n}{g}}[gcd(i,g-i)=1]\\
&=\sum\limits_{g=1}^{\sqrt {2n}}\sum\limits_{i=1}^{\frac{n}{g}}[gcd(i,g)=1]\\
\end{aligned}\]

其实前面\(i\)的范围并不精确:\(1<=g^2-ig<=n \Longrightarrow g-\frac{n}{g}<=i<=g-1\)

再结合之前的范围:\(max(1,g-\frac{n}{g})<=i<=min(g-1,\frac{n}{d})\)

原式变为:$$\sum\limits_{g=1}{\sqrt{2n}}\sum\limits_{i=max(1,g-\frac{n}{g})}{min(g-1,\frac{n}{d})}[gcd(i,g)=1]$$

后半部分就是喜闻乐见的莫比乌斯反演了:

\[\begin{aligned}
\sum\limits_{i=1}^k[gcd(i,g)=1]&=\sum\limits_{i=1}^k\sum\limits_{j|gcd(i,g)}\mu(j)\\
&=\sum\limits_{i=1}^k\sum\limits_{j=1}^g\mu(j)[j|g][j|]\\
&=\sum\limits_{j|g}\mu(j)\frac{k}{j}\\
\end{aligned}\]

My complete code

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<iostream>
#include<vector>
#include<cmath>
using namespace std;
typedef long long LL;
const int maxn=15000000;
inline LL Read(){
LL x(0),f(1); char c=getchar();
while(c<'0'||c>'9'){
if(c=='-') f=-1; c=getchar();
}
while(c>='0'&&c<='9')
x=(x<<3)+(x<<1)+c-'0',c=getchar();
return x*f;
}
int mu[maxn],prime[maxn];
bool visit[maxn];
inline void F_phi(int N){
mu[1]=1; int tot(0);
for(int i=2;i<=N;++i){
if(!visit[i])
prime[++tot]=i,
mu[i]=-1;
for(int j=1;j<=tot&&i*prime[j]<=N;++j){
visit[i*prime[j]]=true;
if(i%prime[j]==0)
break;
else
mu[i*prime[j]]=-mu[i];
}
}
}
LL Up;
int n;
struct node{
int val,next;
}dis[maxn];
int num;
int head[maxn];
inline void Add(int u,int val){
dis[++num]=(node){val,head[u]},head[u]=num;
}
inline LL Get(int d,int k){
LL ret(0);
for(int i=head[d];i&&abs(dis[i].val)<=k;i=dis[i].next)
ret+=k/dis[i].val;
return ret;
}
int main(){
Up=Read();
n=sqrt(2*Up);
F_phi(n);
for(int i=1;i<=n;++i)
for(int j=1;1ll*j*i<=1ll*n;++j)
if(mu[j])
Add(i*j,mu[j]*j);
LL ans(0);
for(int g=1,l,r;g<=n;++g){
l=max(1ll*1,g-Up/g),r=min(1ll*(g-1),Up/g);
ans+=Get(g,r)-Get(g,l-1);
}
printf("%lld",ans);
return 0;
}

P4844 LJJ爱数数的更多相关文章

  1. P4844 LJJ爱数数 数论

    思路: 化简后得到(a+b)c=ab,设g=(a,b),A=a/g,B=b/g,则g(A+B)c=ABg^2,即(A+B)c=ABg 由题目已知条件:(a,b,c)=1,即(g,c)=1,g|(A+B ...

  2. 「LOJ6482」LJJ爱数数

    「LOJ6482」LJJ爱数数 解题思路 : 打表发现两个数 \(a, b\) 合法的充要条件是(我不管,我就是打表过的): \[ a + b = \text{gcd}(a, b)^2 \] 设 \( ...

  3. LJJ爱数数

    LJJ爱数数 求\(\sum_{i=1}^n\sum_{j=1}^n\sum_{k=1}^n\epsilon(gcd(i,j,k))(\frac{1}{i}+\frac{1}{j}==\frac{1} ...

  4. [HZOI 2016]我们爱数数

    [HZOI 2016]我们爱数数 题目大意: 一张圆桌,每个位置按顺时针从\(1\)到\(n\)编号.有\(n\)个人,编号从\(1\)到\(n\).如果编号为\(i\)的人坐到了编号为\(i\)的位 ...

  5. COJ 0036 数数happy有多少个?

    数数happy有多少个? 难度级别:B: 运行时间限制:1000ms: 运行空间限制:51200KB: 代码长度限制:2000000B 试题描述 图图是个爱动脑子.观察能力很强的好学生.近期他正学英语 ...

  6. 【BZOJ】【3530】【SDOI2014】数数

    AC自动机/数位DP orz zyf 好题啊= =同时加深了我对AC自动机(这个应该可以叫Trie图了吧……出边补全!)和数位DP的理解……不过不能自己写出来还真是弱…… /************* ...

  7. BZOJ3530: [Sdoi2014]数数

    3530: [Sdoi2014]数数 Time Limit: 10 Sec  Memory Limit: 512 MBSubmit: 322  Solved: 188[Submit][Status] ...

  8. 【HDU3530】 [Sdoi2014]数数 (AC自动机+数位DP)

    3530: [Sdoi2014]数数 Time Limit: 10 Sec  Memory Limit: 512 MBSubmit: 682  Solved: 364 Description 我们称一 ...

  9. BZOJ 3530: [Sdoi2014]数数 [AC自动机 数位DP]

    3530: [Sdoi2014]数数 题意:\(\le N\)的不含模式串的数字有多少个,\(n=|N| \le 1200\) 考虑数位DP 对于长度\(\le n\)的,普通套路DP\(g[i][j ...

随机推荐

  1. 自定义ListView和GridView

    1 http://blog.chengyunfeng.com/?p=465 2

  2. nginx 根据参数选择文档根目录

    server  {    listen       80;    server_name  testmanage.h5.91wan.com;    index index.html index.htm ...

  3. SpringSecurity学习二----------实现自定义登录界面

    © 版权声明:本文为博主原创文章,转载请注明出处 1.项目结构 2.pom.xml <project xmlns="http://maven.apache.org/POM/4.0.0& ...

  4. 安装SQLserver 2014(For AlwaysOn)

    SQLserver 2014 AlwaysOn在SQLserver 2012的基础之上,进行了非常大程度的添加.如能够通过"加入 Azure 副本向导"简化了用于 AlwaysOn ...

  5. MDwiki 调研

    下载解压 然后 mv mdwiki.html index.html 创建 一个index.md 然后就可以直接访问http://example.com/ 直接把你的md文件放在目录里面就可以了 cer ...

  6. python 装饰器 (个人理解就是前置的内建函数)

    感谢有篇文件详细介绍[简单 12 步理解 Python 装饰器]http://python.jobbole.com/85056/ 1.首先介绍内建函数 2.转换为装饰器 3.执行顺序 4.装饰器实用

  7. mac地址绑定

    1.导入第三方类库: <?php /** * FILE_NAME : Macaddr.php * linux平台获取服务器mac地址 * @filesource */ class Macaddr ...

  8. gridControl使用集锦

    1.grid控件默认选择一行时,focused的cell并不是蓝色的,而是白色的 要想实现一次选择一行全都是蓝色的只要改一个属性就可以了 this.gridView1.OptionsSelection ...

  9. Entity Framework 4.1:复杂类型

    这篇文章将讨论复杂类型. 默认情况下,EF4.1 将类映射到表,这是约定,但是有时候,我们需要模型比表的粒度更细一些. 地址是一个典型的例子,看一下下面的客户类. )] publicstring St ...

  10. DDD开源框架

    DDD开源框架: ABP ENODE https://github.com/VirtoCommerce/vc-community APWorks https://github.com/daxnet/B ...