题面

传送门

题解

我此生可能注定要和反演过不去了……死都看不出来为啥它会突然繁衍反演起来啊……

设\(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)\)呢……

二话不说先推倒吧……顺便下面的除法都是整除……懒得打下取整了……

\[\begin{align}
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)\)啊

\[\begin{align}
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}]\)有解,所以可以把求和的上界

\[\begin{align}
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] 最小公倍数计数(莫比乌斯反演)的更多相关文章

  1. 51nod1222 最小公倍数计数 莫比乌斯反演 数学

    求$\sum_{i = 1}^{n} \sum_{j = 1}^{i} [lcm(i, j) \le n]$因为这样不好求,我们改成求$\sum_{i = 1}^{n} \sum_{j = 1}^{n ...

  2. 【51nod】1222 最小公倍数计数 莫比乌斯反演+组合计数

    [题意]给定a和b,求满足a<=lcm(x,y)<=b && x<y的数对(x,y)个数.a,b<=10^11. [算法]莫比乌斯反演+组合计数 [题解]★具体 ...

  3. 51NOD 1222 最小公倍数计数 [莫比乌斯反演 杜教筛]

    1222 最小公倍数计数 题意:求有多少数对\((a,b):a<b\)满足\(lcm(a,b) \in [1, n]\) \(n \le 10^{11}\) 卡内存! 枚举\(gcd, \fra ...

  4. 51nod1222 最小公倍数计数

    题目来源: Project Euler 基准时间限制:6 秒 空间限制:131072 KB 分值: 640  定义F(n)表示最小公倍数为n的二元组的数量. 即:如果存在两个数(二元组)X,Y(X & ...

  5. UOJ #54 时空穿梭 —— 计数+莫比乌斯反演+多项式系数

    题目:http://uoj.ac/problem/54 10分还要用 Lucas 定理囧...因为模数太小了不能直接算... #include<cstdio> #include<cs ...

  6. 51Nod1222 最小公倍数计数 数论 Min_25 筛

    原文链接https://www.cnblogs.com/zhouzhendong/p/51Nod1222.html 题意 给定 $a,b$, 求 $$\sum_{n=a}^b \sum_{i=1}^n ...

  7. 51nod1222最小公倍数计数

    51nod1222 http://210.33.19.103/contest/1113/problem/2 同学的神仙做法: 首先考虑先去掉X<=Y的限制,也就是先计算满足要求的任意有序pair ...

  8. BZOJ 3518 点组计数 ——莫比乌斯反演

    要求$ans=\sum_{i=1}^n \sum_{j=1}^m (n-i)(m-j)(gcd(i,j)-1)$ 可以看做枚举矩阵的大小,然后左下右上必须取的方案数. 这是斜率单增的情况 然后大力反演 ...

  9. 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 ...

随机推荐

  1. 【转】 Pro Android学习笔记(八五):了解Package(4):lib项目

    目录(?)[-] 什么是lib项目 小例子 Lib的实现 文章转载只能用于非商业性质,且不能带有虚拟货币.积分.注册等附加条件.转载须注明出处:http://blog.csdn.net/flowing ...

  2. Modules:template

    ylbtech-Modules: 1.返回顶部 1.   2. 2.返回顶部   3.返回顶部   4.返回顶部   5.返回顶部     6.返回顶部   7.返回顶部   8.返回顶部   9.返 ...

  3. 开发环境入门 linux基础 (部分)正则表达式 grep sed

    /etc/profile /etc/bashrc  .变量添加到shell环境中,永久生效. /root/.bashrc /root/.bash_profile 正则表达式 定义:正则就是用一些具有特 ...

  4. Celery-4.1 用户指南: Periodic Tasks (定时任务)

    简介 celery beat 是一个调度器:它以常规的时间间隔开启任务,任务将会在集群中的可用节点上运行. 默认情况下,入口项是从 beat_schedule 设置中获取,但是自定义的存储也可以使用, ...

  5. 2015.1.15 利用航线id取所有点的函数创建视图

    1.根据航路id取所有航路点的函数 create or replace function alinepnts(alid in number) return tab_airline_pnt is --返 ...

  6. Laravel 在 with 查询中只查询个别字段

    在使用 Laravel 的关联查询中,我们经常使用 with 方法来避免 N+1 查询,但是 with 会将目标关联的所有字段全部查询出来,对于有强迫症的我们来说,当然是不允许的. 这时候我们可以使用 ...

  7. java 多线程系列---JUC原子类(五)之AtomicLongFieldUpdater原子类

    AtomicLongFieldUpdater介绍和函数列表 AtomicLongFieldUpdater可以对指定"类的 'volatile long'类型的成员"进行原子更新.它 ...

  8. myeclipse 10破解

    因为笔者的电脑是刚买不久,忘记先给电脑分区,等软年安装差不多了才发现忘记分区,所以就备份了数据,然后分区,结果分区过程中没有异常发生,就没用备用数据,就用分过区的原数据,当时还以为没问题,结果打开my ...

  9. linux设置自动获取IP地址

    右键单击,选择设置 勾选桥接模式

  10. 多线程 wait(),notify()方法,案例总结

    废话不多说,案例如下 package com.xujingyang.Exok; /** * 商品类 * @author 徐景洋 */ public class Goods { private Stri ...