【题意】给定n,求Σi=1~nΣj=1~n lcm(i,j),n<=10^10。

【算法】杜教筛

【题解】就因为写了这个非常规写法,我折腾了3天……

$$ans=\sum_{i=1}^{n}\sum_{j=1}^{n}lcm(i,j)$$

$$g(n)=n*\sum_{i=1}^{n}\frac{i}{(n,i)}$$

那么

$$ans(n)=2*g(n)-\sum_{i=1}^{n}i$$

枚举gcd,化简g(n)。

$$g(n)=n*\sum_{d|n}1/d\sum_{i=1}^{n}i*[(n,i)=d]$$

令i=i/d

$$g(n)=n*\sum_{d|n}1/d\sum_{i=1}^{n/d}id*[(n/d,i)=1]$$

$$g(n)=n*\sum_{d|n}\sum_{i=1}^{n/d}i*[(n/d,i)=1]$$

由于

$$\sum_{i=1}^{n}[(n,i)=1]*i=\frac{n*\varphi(n)+[n==1]}{2}$$

所以代入,得

$$g(n)=n*\sum_{d|n}\frac{d*\varphi(d)+[d==1]}{2}$$

这里需要注意取整的问题,当d>1时d*φ(d)一定是偶数,当d=1时d*φ(d)=1就必须结合[d==1],于是可以化简成下面的形式。

$$g(n)=\frac{1}{2}n(1+\sum_{d|n}d*\varphi(d))$$

$$g(n)=\frac{1}{2}(n+n*\sum_{d|n}d*\varphi(d))$$

将上式代入ans,得

$$ans=2*\sum_{i=1}^{n}\frac{1}{2}(i+i*\sum_{d|i}d*\varphi(d)))-\sum_{i=1}^{n}i$$

$$ans=\sum_{i=1}^{n}i*\sum_{d|i}d*\varphi(d)$$

$$f(n)=n*\sum_{d|n}d*\varphi(d)$$

那么

$$ans=F(n)=\sum_{i=1}^{n}f(n)$$

★呼,经过上面一系列的化简,我们终于来到了杜教筛——求f(n)的前缀和。

$$f(n)=n*\sum_{d|n}d*\varphi(d)$$

将f表示成狄利克雷卷积的形式,根据点积的卷积分配律(乱起的名字)。

$$f=id \cdot (1*(id \cdot \varphi))=id*(id^2 \cdot \varphi)$$

发现其中有id^2的形式,我们知道同阶幂函数卷积有奇效www。(实际上应该是相同完全积性函数卷积有奇效)

$$g=id^2$$

$$f*g=(id^2 \cdot \varphi)*id*id^2=[(id^2 \cdot \varphi)*id^2]*id$$

双重卷积非常麻烦,考虑先化简方括号内的卷积

$$([(id^2 \cdot \varphi)*id^2])(i)=\sum_{d|n}d^2*\varphi(d)*\frac{n^2}{d^2}=n^2\sum_{d|n}\varphi(d)=n^3$$

成功化简!我们可以把f*g表示出来了!

$$(f*g)(i)=\sum_{d|n}d^3*\frac{n}{d}=n*\sum_{d|n}d^2$$

jiry_2在她的博客中表示这个柿子的前缀和是非常好求的。

我:???

假设h=f*g,那么

$$H(i)=\sum_{i=1}^{n}i*\sum_{d|i}d^2=\sum_{i=1}^{n}i^2\sum_{d=1}^{n/i}d*i=\sum_{i=1}^{n}i^3*\frac{\frac{n}{i}*(\frac{n}{i}+1)}{2}$$

然后就可以进行分块取值优化了,注意G和H的求解复杂度为O(1)~O(√n)对杜教筛的总复杂度都没有影响。

最终杜教筛的形式是

$$F(n)=H(n)-\sum_{i=2}^{n}i^2*F(\frac{n}{i})$$

#include<cstdio>
#include<cstring>
#include<algorithm>
#define int long long
using namespace std;
const int MOD=1e9+,preN=,v=(MOD+)/;
int N,f[preN+],phi[preN+],e[preN+],a[],prime[],tot;
int A(int n){return n%MOD*(n%MOD+)%MOD*v%MOD;}
int B(int n){return n%MOD*(n%MOD+)%MOD*(*n%MOD+)%MOD*((MOD+)/)%MOD;}
int K(int x){return x*x%MOD;}
int C(int n){return K(A(n));}
int query(int n){
int pos=,ans=;
for(int i=;i<=n;i=pos+){
pos=n/(n/i);
ans=(ans+(C(pos)-C(i-)+MOD)*A(n/i)%MOD)%MOD;
}
return ans;
}
int solve(int n){
if(n<=preN)return f[n];
if(~a[N/n])return a[N/n];
int ans=query(n);
int pos=;
for(int i=;i<=n;i=pos+){
pos=n/(n/i);
ans=(ans-(B(pos)-B(i-)+MOD)*solve(n/i)%MOD+MOD)%MOD;
}
return a[N/n]=ans;
}
#undef int
int main(){
#define int long long
scanf("%lld",&N);
phi[]=;f[]=;e[]=;
for(int i=;i<=preN;i++){
if(!e[i]){
phi[prime[++tot]=i]=i-;
e[i]=i;
f[i]=(i*phi[i]+)%MOD;
}
for(int j=;j<=tot&&i*prime[j]<=preN;j++){
int k=i*prime[j];
if(i%prime[j]==){
e[k]=e[i]*prime[j];
phi[k]=phi[i]*prime[j];
f[k]=(f[i]+f[i/e[i]]*phi[e[k]]%MOD*e[k]%MOD)%MOD;
break;
}
e[k]=prime[j];
phi[k]=phi[i]*(prime[j]-);
f[k]=f[i]*f[prime[j]]%MOD;
}
}
for(int i=;i<=preN;i++)f[i]=(f[i-]+f[i]*i%MOD)%MOD;
memset(a,-,sizeof(a));
printf("%lld",solve(N));
return ;
}

1.F(n)的预处理:在i%prime[j]时,f[i*prime[j]]=f[i]+f[i/e[i]]*φ(e[i]*prime[j])*(e[i]*prime[j]),其中e[i]是 i 的所有最小素因子乘积(p1^k1)。

2. 1~3次幂前缀和

$$\sum_{i=1}^{n}i=\frac{n(n+1)}{2}$$

$$\sum_{i=1}^{n}i^2=\frac{n(n+1)(2n+1)}{6}$$

$$\sum_{i=1}^{n}i^3=(\frac{n(n+1)}{2})^2$$

3.x的逆元是(MOD+1)/x,如果这是个整数。

4.全程long long的话,define比较好。而且输入的n是long long的话,n*n会爆long long。

【另一种写法】

$$ans=\sum_{i=1}^{n}\sum_{i=1}^{n}\frac{i*j}{(i,j)}$$

直接枚举gcd值

$$ans=\sum_{d=1}^{n}1/d\sum_{i=1}^{n/d}\sum_{i=1}^{n/d}d^2*i*j*[(i,j)=1]$$

$$ans=\sum_{d=1}^{n}d\sum_{i=1}^{n/d}\sum_{j=1}^{n/d}i*j*[(i,j)=1]$$

这里看到[(i,j)=1]很容易想到莫比乌斯反演,但是这个问题如果反演会变得相当复杂,应该留到后面用n*φ(n)/2化简。

从上式已经可以看出分块取值优化的形式了。

$$s(n)=\sum_{i=1}^{n}\sum_{j=1}^{n}i*j*[(i,j)=1]$$

那么

$$ans=\sum_{d=1}^{n}d*s(n/d)$$

为了将s(n)表示成前缀和的形式,将矩形转化为上三角。

$$s(n)=2*(\sum_{i=1}^{n}\sum_{j=1}^{i}i*j*[(i,j)=1])-1$$

$$s(n)=2*P(n)-1$$

$$p(n)=n*\sum_{i=1}^{n}i*[(n,i)=1]$$

然后就可以转化了

$$p(n)=n*\frac{n*\varphi(n)+[n==1]}{2}=\frac{1}{2}(n^2\varphi(n)+n)$$

$$f(n)=n^2\varphi(n)$$

那么s(n)可以表示为

$$s(n)=F(n)+\frac{n(n+1)}{2}-1$$

然后我们就可以用杜教筛求解f(n)的前缀和。

$$f=id^2 \cdot \varphi$$

$$g=id^2$$

$$f*g=id^3$$

因为分块和杜教筛都是求n/i,所以复杂度并列,最终O(n^2/3)。

【51nod】1238 最小公倍数之和 V3 杜教筛的更多相关文章

  1. 51NOD 1238 最小公倍数之和 V3 [杜教筛]

    1238 最小公倍数之和 V3 三种做法!!! 见学习笔记,这里只贴代码 #include <iostream> #include <cstdio> #include < ...

  2. [51Nod 1238] 最小公倍数之和 (恶心杜教筛)

    题目描述 求∑i=1N∑j=1Nlcm(i,j)\sum_{i=1}^N\sum_{j=1}^Nlcm(i,j)i=1∑N​j=1∑N​lcm(i,j) 2<=N<=10102<=N ...

  3. 51 Nod 1238 最小公倍数之和 V3 杜教筛

    题目链接:http://www.51nod.com/Challenge/Problem.html#!#problemId=1238 题意:求$\sum_{i=1}^{n}\sum_{j=1}^{n}l ...

  4. [51Nod1238]最小公倍数之和 V3[杜教筛]

    题意 给定 \(n\) ,求 \(\sum_{i=1}^n \sum_{j=1}^n lcm(i,j)\). \(n\leq 10^{10}\) 分析 推式子 \[\begin{aligned} an ...

  5. 51nod 1238 最小公倍数之和 V3

    51nod 1238 最小公倍数之和 V3 求 \[ \sum_{i=1}^N\sum_{j=1}^N lcm(i,j) \] \(N\leq 10^{10}\) 先按照套路推一波反演的式子: \[ ...

  6. 51nod 1238 最小公倍数之和 V3 【欧拉函数+杜教筛】

    首先题目中给出的代码打错了,少了个等于号,应该是 G=0; for(i=1;i<=N;i++) for(j=1;j<=N;j++) { G = (G + lcm(i,j)) % 10000 ...

  7. 51Nod 1238 - 最小公倍数之和 V3(毒瘤数学+杜教筛)

    题目 戳这里 推导 ∑i=1n∑j=1nlcm(i,j)~~~\sum_{i=1}^{n}\sum_{j=1}^{n}lcm(i,j)   ∑i=1n​∑j=1n​lcm(i,j) =∑i=1n∑j= ...

  8. 51NOD 1237 最大公约数之和 V3 [杜教筛]

    1237 最大公约数之和 V3 题意:求\(\sum_{i=1}^n\sum_{j=1}^n(i,j)\) 令\(A(n)=\sum_{i=1}^n(n,i) = \sum_{d\mid n}d \c ...

  9. 51nod 237 最大公约数之和 V3 杜教筛

    Code: #include <bits/stdc++.h> #include <tr1/unordered_map> #define setIO(s) freopen(s&q ...

随机推荐

  1. 《剑指offer》--- 两个链表的第一个公共结点

    本文算法使用python3实现 1. 问题   输入两个链表,找出它们的第一个公共结点.   时间限制:1s:空间限制:32768K 2 思路描述   使用两个指针 $ p1,p2 $ 分别指向两个链 ...

  2. Qt动态连接库/静态连接库创建与使用,QLibrary动态加载库

    版权声明:若无来源注明,Techie亮博客文章均为原创. 转载请以链接形式标明本文标题和地址: 本文标题:Qt动态连接库/静态连接库创建与使用,QLibrary动态加载库     本文地址:https ...

  3. node.js入门(二) 模块 事件驱动

    模块化结构 node.js 使用了 CommonJS 定义的模块系统.不同的功能组件被划分成不同的模块.应用可以根据自己的需要来选择使用合适的模块.每个模块都会暴露一些公共的方法或属性.模块使用者直接 ...

  4. mysql 慢查询,查询缓存,索引,备份,水平分割

    1.开启慢查询 在mysql的配置文件my.ini最后增加如下命令 [mysqld]port=3306slow_query_log =1long_query_time = 1 2.查看慢查询记录 默认 ...

  5. post和updatebatch区别 delphi

    Post是确认当前的修改,而UpdateBatch是把已经确认但是没有存盘的数据写入数据库如果不是使用批量更新的方式的时候,Post的时候,确认的修改直接写入数据库. 我弄了一个例子是ado的.往数据 ...

  6. 对Spark2.2.0文档的学习1-Cluster Mode Overview

    Cluster Mode Overview Link:http://spark.apache.org/docs/2.2.0/cluster-overview.html Spark应用(Applicat ...

  7. (转)Linux GCC常用命令

    1简介 2简单编译 2.1预处理 2.2编译为汇编代码(Compilation) 2.3汇编(Assembly) 2.4连接(Linking) 3多个程序文件的编译 4检错 5库文件连接 5.1编译成 ...

  8. "XX cannot be resolved to a type "eclipse报错及解决

    好久都没有写博了,还记得自己准备考研,结果你会发现——你永远不知道,你将会走上哪个路. 长远的目标是好的,但有些时候身不由己也迫不得已!做好自己的当下就是好的. 不论搞什么,总会遇到各种各样的问题,以 ...

  9. 【容斥原理,莫比乌斯反演】用容斥替代莫比乌斯反演第二种形式解决gcd统计问题

    名字虽然很长.但是其实很简单,对于这一类问题基本上就是看你能不能把统计的公式搞出来(这时候需要一个会推公式的队友) 来源于某次cf的一道题,盼望上紫的我让潘学姐帮我代打一道题,她看了看跟我说了题解,用 ...

  10. CF785D Anton and School - 2 解题报告

    CF785D Anton and School - 2 题意:给定一个长度\(\le 2 \times 10e5\)由'('和')'组成的字符串,问有多少个子串(可以不连续),前半部分是由\('('\ ...