JZPTAB

求\(\sum_{i=1}^n\sum_{j=1}^mlcm(i,j)\)

\(=\sum_{i=1}^n\sum_{j=1}^m\frac{ij}{\gcd(i,j)}\)

枚举gcd,这里默认n<m

\(=\sum_{p=1}^n\frac 1 p\sum_{i=1}^n\sum_{j=1}^mij[\gcd(i,j)=p]\)

\(=\sum_{p=1}^n\frac 1 p\sum_{i=1}^{n/p}\sum_{j=1}^{m/p}ijp^2[\gcd(i,j)=1]\)

\(=\sum_{p=1}^np\sum_{i=1}^{n/p}\sum_{j=1}^{m/p}ij[\gcd(i,j)=1]\)

推到这我一般喜欢接着推下去,不过观察了下你谷的题解发现可以适当地设一些函数,方便后面的思考、写代码等等

例如这里我们设\(g(x,y)=\sum_{i=1}^x\sum_{j=1}^yij[gcd(i,j)=1]\),那么ans\(=\sum_{p=1}^np\cdot g(\frac np,\frac mp)\),假设我们能快速地求出g值,那么我们就可以打个两个数的数论分块,在根号求出ans

然后我们考虑\(g(x,y)=\sum_{i=1}^x\sum_{j=1}^yij[gcd(i,j)=1]\)

\(g(x,y)=\sum_{i=1}^x\sum_{j=1}^yij\sum_{d|i,d|j}\mu(d)\)

\(g(x,y)=\sum_{d=1}^n\mu(d)d^2\sum_{i=1}^{x/d}\sum_{j=1}^{y/d}ij\)

\(g(x,y)=\sum_{d=1}^n\mu(d)d^2(\sum_{i=1}^{x/d}i)(\sum_{j=1}^{y/d}j)\)

显然\(\sum_{i=1}^ni=\frac{n(n+1)}2\),为了简便,我们设\(f(x)=\frac{x(x+1)}2\)

则\(g(x,y)=\sum_{d=1}^n\mu(d)d^2f(\lfloor\frac x d\rfloor)f(\lfloor\frac y d\rfloor)\)

这个显然也可以用数论分块那套理论,复杂度为根号

两个根号套一起就是\(O(n)\)了。这题\(n\)是\(10^7\),要稍微卡卡常数。。。

不用卡常数,交上去第一遍WA了,define int longlong就A了。。。

没开O2,一共9248ms,跑的飞慢

#include <cstdio>
#include <functional>
using namespace std; #define int long long bool vis[10000010];
int prime[1000000], tot;
long long mu[10000010]; const int fuck = 10000000, p = 20101009; int n, m; int f(int x) { return x * (long long)(x + 1) / 2 % p; } int g(int x, int y)
{
int res = 0;
if (x > y) swap(x, y);
for (int i = 1, j; i <= x; i = j + 1)
{
j = min(x / (x / i), y / (y / i));
res = (res + (mu[j] - mu[i - 1]) * (long long)f(x / i) % p * (long long)f(y / i) % p) % p;
if (res < 0) res += p;
}
return res;
} signed main()
{
mu[1] = 1;
for (int i = 2; i <= fuck; i++)
{
if (vis[i] == false) prime[++tot] = i, mu[i] = -1;
for (int j = 1; j <= tot && i * prime[j] <= fuck; j++)
{
vis[i * prime[j]] = true;
if (i % prime[j] == 0)
break;
mu[i * prime[j]] = -mu[i];
}
mu[i] *= i * i;
mu[i] += mu[i - 1];
mu[i] %= p;
}
int n, m;
scanf("%lld%lld", &n, &m);
if (n > m) swap(n, m);
int ans = 0;
for (int i = 1, j; i <= n; i = j + 1)
{
j = min(n / (n / i), m / (m / i));
ans = (ans + (j - i + 1) * (long long)(i + j) / 2 % p * (long long)g(n / i, m / i) % p) % p;
}
printf("%lld\n", ans);
return 0;
}

Luogu1829 JZPTAB的更多相关文章

  1. [luogu1829][bzoj2154][国家集训队]Crash的数字表格 / JZPTAB【莫比乌斯反演】

    传送门:洛谷,bzoj 题目描述 今天的数学课上,Crash小朋友学习了最小公倍数(Least Common Multiple).对于两个正整数a和b,LCM(a, b)表示能同时整除a和b的最小正整 ...

  2. BZOJ 2693: jzptab [莫比乌斯反演 线性筛]

    2693: jzptab Time Limit: 10 Sec  Memory Limit: 512 MBSubmit: 1194  Solved: 455[Submit][Status][Discu ...

  3. 【BZOJ】【2693】JZPTAB

    莫比乌斯反演 PoPoQQQ讲义第5题,是BZOJ 2154的升级版(多次询问) 题解:http://blog.csdn.net/popoqqq/article/details/42078725 WA ...

  4. 【莫比乌斯反演】关于Mobius反演与lcm的一些关系与问题简化(BZOJ 2154 crash的数字表格&&BZOJ 2693 jzptab)

    BZOJ 2154 crash的数字表格 Description 今天的数学课上,Crash小朋友学习了最小公倍数(Least Common Multiple).对于两个正整数a和b,LCM(a, b ...

  5. bzoj 2693: jzptab 线性筛积性函数

    2693: jzptab Time Limit: 10 Sec  Memory Limit: 512 MBSubmit: 444  Solved: 174[Submit][Status][Discus ...

  6. 【BZOJ 2693】jzptab(莫比乌斯+分块)

    2693: jzptab Description Input 一个正整数T表示数据组数 接下来T行 每行两个正整数 表示N.M Output T行 每行一个整数 表示第i组数据的结果 Sample I ...

  7. BZOJ 2693: jzptab( 莫比乌斯反演 )

    速度居然#2...目测是因为我没用long long.. 求∑ lcm(i, j) (1 <= i <= n, 1 <= j <= m) 化简之后就只须求f(x) = x∑u( ...

  8. 【BZOJ2693】jzptab(莫比乌斯反演)

    [BZOJ2693]jzptab(莫比乌斯反演) 题面 讨厌权限题,只能跑到别的OJ上交 和这题是一样的 多组数据 求\[\sum_{i=1}^n\sum_{j=1}^mlcm(i,j)\] 题解 前 ...

  9. 【BZOJ2693】jzptab [莫比乌斯反演]

    jzptab Time Limit: 10 Sec  Memory Limit: 512 MB[Submit][Status][Discuss] Description   求 Input 第一行一个 ...

随机推荐

  1. 【转】rails 遇到 Could not find a JavaScript runtime execjs错误(ubuntu)

    当我运行 $rails s 遇到下面错误 sudo apt-get install python-software-properties sudo add-apt-repository ppa:chr ...

  2. Maven 创建动态web 3.0项目

    使用eclipse 创建Maven 项目时候 默认是2.3的,需要一些小技巧把他转换成3.0项目 操作步骤如下分四步, 1.创建一个simple maven project 2. 转换成web3.0项 ...

  3. log4j配置文件加载方式

    使用背景: apache的log4j是一个功能强大的日志文件,当我们使用eclipse等IDE在项目中配置log4j的时候,需要知道我们的配置文件的加载方式以及如何被加载的. 加载方式: (1).自动 ...

  4. 10-23C#基础--结构体

    结构体: 1.定义:封装小型相关变量组,里面可以放一系列的变量: 就是一个变量组,将一组变量放在一起,结构体一般定义在Main函数上面,位于Class下面,作为一个类:一般情况Struct定义在Mai ...

  5. 监控和安全运维 1.4 nagios安装

    1. Nagios 简介是一个开源软件,可以监控网络设备网络流量.Linux/windows主机状态,甚至可以监控打印机它可以运行在Linux上或windows上基于浏览器的web界面方便运维人员查看 ...

  6. transient关键字的理解

    谈到这个transient这个关键字,我们应该会立马想到序列化这个过程:什么是序列化?什么又是反序列化呢?序列化就是将对象转化内成二进制,而反序列化就是就二进制文件转换成对象的过程.一旦变量使用了tr ...

  7. 2-2 zookeeper下载、安装以及配置环境变量

    https://archive.apache.org/dist/zookeeper/zookeeper-3.4.11/ FTP的软件:FileZilla Client 登录腾讯云服务器tail /va ...

  8. wenfrom的简单控件和repeater控件

    简单控件 lable  转换成<span>标记 literal   空的  什么也没转换 Literal.Text=<script>alter('你好');</scrip ...

  9. 242. Valid Anagram 两个串的最基础版本

    [抄题]: Given two strings s and t, write a function to determine if t is an anagram of s. For example, ...

  10. 算法Sedgewick第四版-第1章基础-1.4 Analysis of Algorithms-002如何改进算法

    1. package algorithms.analysis14; import algorithms.util.In; import algorithms.util.StdOut; /******* ...