[51nod1222] 最小公倍数计数(莫比乌斯反演)
题面
题解
我此生可能注定要和反演过不去了……死都看不出来为啥它会突然繁衍反演起来啊……
设\(f(n)=\sum_{i=1}^n\sum_{j=1}^n[{ij\over\gcd(i,j)}\leq n]\),这是一个类似前缀的东西,除了\([i,i]\)型的之外每一个二元组都被算了\(2\)次,所以\({f(n)+n\over 2}\)就是\(lcm\)小于等于\(n\)的二元组个数,答案就是两个前缀和相减的形式
所以现在问题来了,该怎么计算\(f(n)\)呢……
二话不说先推倒吧……顺便下面的除法都是整除……懒得打下取整了……
f(n)
&=\sum_{i=1}^n\sum_{j=1}^n[{ij\over\gcd(i,j)}\leq n]\\
&=\sum_{d=1}^n\sum_{i=1}^{n\over d}\sum_{j=1}^{n\over d}[ij\leq {n\over d}][(i,j)=1]\\
\end{align}
\]
然后?把\([n=1]\)化成\(\sum_{d|n}\mu(d)\)啊
f(n)
&=\sum_{d=1}^n\sum_{i=1}^{n\over d}\sum_{j=1}^{n\over d}[ij\leq {n\over d}]\sum_{k|(i,j)}\mu(k)\\
&=\sum_{d=1}^n\sum_{k=1}^{n\over d}\sum_{i=1}^{n\over dk}\sum_{j=1}^{n\over dk}[ikjk\leq {n\over d}]\\
&=\sum_{k=1}^n\sum_{d=1}^{n\over k}\sum_{i=1}^{n\over dk}\sum_{j=1}^{n\over dk}[ijd\leq {n\over k^2}]\\
\end{align}
\]
为了保证\([ijd\leq {n\over k^2}]\)有解,所以可以把求和的上界
f(n)
&=\sum_{k=1}^\sqrt{n}\sum_{d=1}^{n\over k^2}\sum_{i=1}^{n\over dk^2}\sum_{j=1}^{n\over dk^2}[ijd\leq {n\over k^2}]\\
\end{align}
\]
然后发现在\(i,j,d\)满足括号里的条件时怎么样都不会超出限制了,所以我们枚举\(k\),对于每个\(k\)只要求出这样的三元组有多少个就行了
因为这个三元组是无序的,我们可以强制它有序,也就是\(d\leq i\leq j\),然后分别计算一个数相等,两个数相等,三个数相等的三元组个数,分别乘对应的组合数就行了
复杂度的话……鉴于咱还没学过微积分所以不会算呐……
//minamoto
#include<bits/stdc++.h>
#define R register
#define ll long long
#define fp(i,a,b) for(R int i=a,I=b+1;i<I;++i)
#define fd(i,a,b) for(R int i=a,I=b-1;i>I;--i)
#define go(u) for(int i=head[u],v=e[i].v;i;i=e[i].nx,v=e[i].v)
using namespace std;
const int N=1e6+5;
bitset<N>vis;int p[N],mu[N],top,sqr,tot;ll n,m;
void init(int n){
mu[1]=1;
fp(i,2,n){
if(!vis[i])p[++tot]=i,mu[i]=-1;
for(R int j=1;j<=tot&&1ll*i*p[j]<=n;++j){
vis[i*p[j]]=1;
if(i%p[j]==0)break;
mu[i*p[j]]=-mu[i];
}
}
}
ll calc(ll n){
if(!n)return 0;
ll res=0,tmp=0,S;
fp(k,1,sqr)if(mu[k]){
tmp=0,S=n/(1ll*k*k);
for(R int i=1;1ll*i*i*i<=S;++i){
for(R int j=i+1;1ll*i*j*j<=S;++j)
tmp+=(S/(1ll*i*j)-j)*6+3;
tmp+=(S/(1ll*i*i)-i)*3;
++tmp;
}
res+=mu[k]*tmp;
}
return (res+n)>>1;
}
int main(){
// freopen("testdata.in","r",stdin);
scanf("%lld%lld",&m,&n),init(sqr=sqrt(n));
printf("%lld\n",calc(n)-calc(m-1));
return 0;
}
[51nod1222] 最小公倍数计数(莫比乌斯反演)的更多相关文章
- 51nod1222 最小公倍数计数 莫比乌斯反演 数学
求$\sum_{i = 1}^{n} \sum_{j = 1}^{i} [lcm(i, j) \le n]$因为这样不好求,我们改成求$\sum_{i = 1}^{n} \sum_{j = 1}^{n ...
- 【51nod】1222 最小公倍数计数 莫比乌斯反演+组合计数
[题意]给定a和b,求满足a<=lcm(x,y)<=b && x<y的数对(x,y)个数.a,b<=10^11. [算法]莫比乌斯反演+组合计数 [题解]★具体 ...
- 51NOD 1222 最小公倍数计数 [莫比乌斯反演 杜教筛]
1222 最小公倍数计数 题意:求有多少数对\((a,b):a<b\)满足\(lcm(a,b) \in [1, n]\) \(n \le 10^{11}\) 卡内存! 枚举\(gcd, \fra ...
- 51nod1222 最小公倍数计数
题目来源: Project Euler 基准时间限制:6 秒 空间限制:131072 KB 分值: 640 定义F(n)表示最小公倍数为n的二元组的数量. 即:如果存在两个数(二元组)X,Y(X & ...
- UOJ #54 时空穿梭 —— 计数+莫比乌斯反演+多项式系数
题目:http://uoj.ac/problem/54 10分还要用 Lucas 定理囧...因为模数太小了不能直接算... #include<cstdio> #include<cs ...
- 51Nod1222 最小公倍数计数 数论 Min_25 筛
原文链接https://www.cnblogs.com/zhouzhendong/p/51Nod1222.html 题意 给定 $a,b$, 求 $$\sum_{n=a}^b \sum_{i=1}^n ...
- 51nod1222最小公倍数计数
51nod1222 http://210.33.19.103/contest/1113/problem/2 同学的神仙做法: 首先考虑先去掉X<=Y的限制,也就是先计算满足要求的任意有序pair ...
- BZOJ 3518 点组计数 ——莫比乌斯反演
要求$ans=\sum_{i=1}^n \sum_{j=1}^m (n-i)(m-j)(gcd(i,j)-1)$ 可以看做枚举矩阵的大小,然后左下右上必须取的方案数. 这是斜率单增的情况 然后大力反演 ...
- luogu3911 最小公倍数之和(莫比乌斯反演)
link 给定\(A_1,A_2,\dots,A_N\),求\(\sum_{i=1}^N\sum_{j=1}^Nlcm(A_i,A_j)\) \(1\le N\le 50000;1\le A_i\le ...
随机推荐
- 问题:Custom tool error: Failed to generate code for the service reference 'AppVot;结果:添加Service Reference, 无法为服务生成代码错误的解决办法
添加Service Reference, 无法为服务生成代码错误的解决办法 我的解决方案是Silverlight+WCF的应用,Done Cretiria定义了需要在做完Service端的代码后首先运 ...
- ffmpeg/ffplay源码剖析笔记<转>
转载:http://www.cnblogs.com/azraelly/ http://www.cnblogs.com/azraelly/archive/2013/01/18/2865858.html ...
- xftp permission is not allowed
上传文件时出现此项错误: permission is not allowed, 原因: 1.可能vsfptd没有配置好 写权限没有开启 2.可能是当前的目录权限,上传的用户不具有: 比如:用户hado ...
- ubuntu16搭建docker私库
测试环境如下: 一.docker的安装 安装方法请查看这里的 安装教程 二.设置普通用户 1. centos的设置方法 $ sudo gpasswd -a docker ${USER} 2. ubun ...
- 关于android中,菜单按钮点击事件首次执行之后再次执行需要双击按钮的问题
有时候在获取事件的时候,需要双击才能获取,解决方法很简单,把返回值设为true,那么这个事件就不会再分发了,我预计是设为其他值会继续分发,造成事件的相应混乱
- 在PHP中PDO解决中文乱码问题的一些补充
我的环境是appsver包, 在网上最常出现的解决中文乱码显示的代码是: 第一种:PDO::__construct($dsn, $user, $pass, array (PDO::MYSQL_ATTR ...
- 框架之 hibernate之二
1. Hibernate持久化对象的状态 2. Hibernate的一级缓存 3. Hibernate操作持久化对象的方法 4. Hibernate的基本查询 Hibernate的持久化类 什么是持久 ...
- 使用ServerSocket建立聊天服务器(一)
-------------siwuxie095 工程名:TestMyServerSocket 包名:com.siwuxie095.socket ...
- ROS与Matlab系列:一个简单的运动控制
ROS与Matlab系列:一个简单的运动控制 转自:http://blog.exbot.net/archives/2594 Matlab拥有强大的数据处理.可视化绘图能力以及众多成熟的算法函数,非常适 ...
- 分布式锁2 Java非常用技术方案探讨之ZooKeeper 【转载】
前言: 由于在平时的工作中,线上服务器是分布式多台部署的,经常会面临解决分布式场景下数据一致性的问题,那么就要利用分布式锁来解决这些问题.以自己结合实际工作中的一些经验和网上看到的一些资料 ...