P1829 [国家集训队]Crash的数字表格(推了好久的mobius反演)

P1829 [国家集训队]Crash的数字表格 / JZPTAB

推导过程

∑i=1n∑j=1mlcm(i,j)\sum_{i = 1} ^{n} \sum_{j = 1} ^{m} lcm(i, j)i=1nj=1mlcm(i,j)

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

=∑d=1n1d∑i=1n∑jmij(gcd(i,j)==d)= \sum_{d = 1} ^{n} \frac{1}{d}\sum_{i = 1} ^{n} \sum_{j} ^{m} ij(gcd(i, j) == d)=d=1nd1i=1njmij(gcd(i,j)==d)

=∑d=1nd∑i=1nd∑j=1mdij(gcd(i,j)==1)=\sum_{d = 1} ^{n} d \sum_{i = 1} ^{\frac{n}{d}} \sum_{j = 1} ^{\frac{m}{d}}ij(gcd(i, j) == 1)=d=1ndi=1dnj=1dmij(gcd(i,j)==1)

=∑d=1nd∑i=1nd∑j=1mdij∑k∣gcd(i,j)μ(k)=\sum_{d = 1} ^{n} d \sum_{i = 1} ^{\frac{n}{d}} \sum_{j = 1} ^{\frac{m}{d}}ij\sum_{k \mid gcd(i, j)} \mu(k)=d=1ndi=1dnj=1dmijkgcd(i,j)μ(k)

=∑d=1nd∑k=1ndk2μ(k)∑i=1nkdi∑j=1mkdj= \sum_{d = 1} ^{n} d \sum_{k = 1} ^{\frac{n}{d}}k ^ 2 \mu(k) \sum_{i = 1} ^{\frac{n}{kd}}i \sum_{j = 1} ^{\frac{m}{kd}}j=d=1ndk=1dnk2μ(k)i=1kdnij=1kdmj

=∑d=1nd∑k=1ndk2μ(k)⌊nkd⌋(⌊nkd⌋+1)2⌊mkd⌋(⌊mkd⌋+1)2= \sum_{d = 1} ^{n} d\sum_{k = 1} ^{\frac{n}{d}}k ^ 2 \mu(k)\frac{\lfloor\frac{n}{kd}\rfloor(\lfloor\frac{n}{kd}\rfloor + 1)}{2}\frac{\lfloor\frac{m}{kd}\rfloor(\lfloor\frac{m}{kd}\rfloor + 1)}{2}=d=1ndk=1dnk2μ(k)2kdn(kdn+1)2kdm(kdm+1)

所以我们只要预处理出sumk=1ndk2μ(k)sum_{k = 1} ^{\frac{n}{d}}k ^ 2 \mu(k)sumk=1dnk2μ(k),然后再进行两次分块即可。

整体复杂度nn=n\sqrt n \sqrt n = nnn=n还是线性O(n)O(n)O(n)的。

代码

/*Author : lifehappy
*/
#pragma GCC optimize(2)
#pragma GCC optimize(3)
#include <bits/stdc++.h>#define mp make_pair
#define pb push_back
#define endl '\n'
#define mid (l + r >> 1)
#define lson rt << 1, l, mid
#define rson rt << 1 | 1, mid + 1, r
#define ls rt << 1
#define rs rt << 1 | 1using namespace std;typedef long long ll;
typedef unsigned long long ull;
typedef pair<int, int> pii;const double pi = acos(-1.0);
const double eps = 1e-7;
const int inf = 0x3f3f3f3f;inline ll read() {ll f = 1, x = 0;char c = getchar();while(c < '0' || c > '9') {if(c == '-')    f = -1;c = getchar();}while(c >= '0' && c <= '9') {x = (x << 1) + (x << 3) + (c ^ 48);c = getchar();}return f * x;
}const int N = 1e7 + 10, mod = 20101009;bool st[N];vector<int> prime;int n, m;
ll mu[N];void mobius() {st[0] = st[1] = mu[1] = 1;for(int i = 2; i < N; i++) {if(!st[i]) {prime.pb(i);mu[i] = -1;}for(int j = 0; j < prime.size() && i * prime[j] < N; j++) {st[i * prime[j]] = 1;if(i % prime[j] == 0) break;mu[i * prime[j]] = -mu[i];}}for(int i = 1; i < N; i++) {mu[i] = (mu[i - 1] + mu[i] *  i % mod * i % mod + mod) % mod;}
}ll calc1(ll l, ll r) {return (l + r) * (r - l + 1) / 2 % mod;
}ll calc2(ll n, ll m) {ll ans = 0;if(n > m) swap(n, m);for(ll l = 1, r; l <= n; l = r + 1) {r = min(n / (n / l), m / (m / l));ans = (ans + (mu[r] - mu[l - 1] + mod) % mod * calc1(1, n / l) % mod * calc1(1, m / l) % mod + mod) % mod;}return ans;
}int main() {// freopen("in.txt", "r", stdin);// freopen("out.txt", "w", stdout);// ios::sync_with_stdio(false), cin.tie(0), cout.tie(0);mobius();ll n = read(), m = read(), ans = 0;if(n > m) swap(n, m);for(ll l = 1, r; l <= n; l = r + 1) {r = min(n / (n / l), m / (m / l));ans = (ans + calc1(l, r) * calc2(n / l, m / l) % mod) % mod;}printf("%lld\n", ans);return 0;
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/314390.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Consul的反熵

熵熵是衡量某个体系中事物混乱程度的一个指标&#xff0c;是从热力学第二定律借鉴过来的。熵增原理孤立系统的熵永不自动减少&#xff0c;熵在可逆过程中不变&#xff0c;在不可逆过程中增加。熵增加原理是热力学第二定律的又一种表述&#xff0c;它更为概括地指出了不可逆过程…

HDU 6833 A Very Easy Math Problem

A Very Easy Math Problem 推式子 ∑ai1n∑a21n⋯∑ax1n(∏j1xajk)f(gcd(a1,a2,…,ax))gcd(a1,a2,…,ax)\sum_{a_i 1} ^{n} \sum_{a_2 1} ^{n} \dots \sum_{a_x 1} ^{n} \left(\prod_{j 1} ^{x} a_j ^ k \right)f(gcd(a_1, a_2, \dots, a_x))\times gcd(a_1, a_2, \dots, …

通过Blazor使用C#开发SPA单页面应用程序(2)

今天我们尝试创建一个默认的Blazor应用。.Net Core 3.0需要Visual Studio 2019 的支持。安装.Net Core 3.0 预览版 SDK版本&#xff0c;注意预览版对应的VS版本&#xff0c;我这里安装的是v3.0.0-preview6。一定要开启预览选项才能使用Net Core Preview&#xff0c;在工具> …

通过Blazor使用C#开发SPA单页面应用程序(1)

2019年9月23——25日 .NET Core 3.0即将在.NET Conf上发布! .NET Core的发布及成熟重燃了.net程序员的热情和希望&#xff0c;一些.net大咖也在积极的为推动.NET Core而不懈的努力。在这次.NET Core 3.0中一项新的技术也首次出现在人们的视野&#xff0c;这就是Blazor。说起Bla…

luogu P6178 【模板】Matrix-Tree 定理

luogu P6178 【模板】Matrix-Tree 定理 1.无向图 假设现在给定一个图 G。 度数矩阵D:若存在边$ (x,y,z)(x,y,z)$ ,则 D[x][x]z;D[y][y]z;D[x][x]z;D[y][y]zD[x][x]z;D[y][y]z;D[x][x]z;D[y][y]zD[x][x]z;D[y][y]z;D[x][x]z;D[y][y]z; 邻接矩阵C:若存在边 (x,y,z)(x,y,z)(x,…

基于 WPF 模块化架构下的本地化设计实践

背景描述最近接到一个需求&#xff0c;就是要求我们的 WPF 客户端具备本地化功能&#xff0c;实现中英文多语言界面。刚开始接到这个需求&#xff0c;其实我内心是拒绝的的&#xff0c;但是没办法&#xff0c;需求是永无止境的。所以只能想办法解决这个问题。首先有必要说一下我…

HDU 6836 Expectation(矩阵生成树 + 期望)

Expectation 思路 题目要求每个生成树边权&\&&的期望值&#xff0c;假设当前这颗生成树对二进制数的第iii位有贡献&#xff0c;则这个位上的构成生成树的边权值一定是111&#xff0c;所以我们可以跑313131位二进制数的&#xff0c;矩阵树&#xff0c;每个位上的贡…

你会轻易打破规则吗?

这里是Z哥的个人公众号每周五11&#xff1a;45 按时送达当然了&#xff0c;也会时不时加个餐&#xff5e;我的第「86」篇原创敬上俗话说的好&#xff0c;不以规矩&#xff0c;不成方圆。但是有些时候&#xff0c;可能破坏规则反而是一个更有效的方式&#xff0c;这个时候到底该…

string(STL)

string 优点 常数相对较小&#xff0c;动态分配空间&#xff0c;自定义小于运算符和加法运算符。 转char 可以写成c_str()返回为char指针 获取长度 s.size()和s.lenth() 寻找某字符串第一次出现位置 s.find(t) 截取子串 s.substr(pos,len)长度不足则截取后缀。 访问…

P4449 于神之怒加强版

P4449 于神之怒加强版 推式子 ∑i1n∑j1ngcd(i,j)h\sum_{i 1} ^{n} \sum_{j 1} ^{n} gcd(i, j) ^ h i1∑n​j1∑n​gcd(i,j)h ∑d1ndh∑i1nd∑j1mdgcd(i,j)1\sum_{d 1} ^{n} d ^ h \sum_{i 1} ^{\frac{n}{d}} \sum_{j 1} ^{\frac{m}{d}}gcd(i, j) 1 d1∑n​dhi1∑dn​​…

架构杂谈《十》

常用开发模式一、瀑布式开发瀑布式开发是在1970年提出的软件开发模型&#xff0c;是一种较老的计算机软件开发模式&#xff0c;也是典型的预见性的开发模式&#xff0c;在瀑布式开发中&#xff0c;开发严格遵循预先计划的需求分析、设计、编码、集成、测试、维护的步骤进行&…

B-Donut Drone(循环/分块/DP)

B - Donut Drone 这是一道神题&#xff0c;其中蕴含的思维很巧妙。 在一个循环的二维矩阵中&#xff0c;每个点有一个权值&#xff0c;然后每次一个点只能向右上、正右和右下三个地方中权值最大的地方移动&#xff0c;要求支持两类操作&#xff0c;一种是移动k次&#xff0c;一…

[2020多校A层11.18] 三角田地(因式分解)

[2020多校A层11.18] 三角田地 对于平面上一些点&#xff0c;求解所有与含有边与x轴平行和与y轴平行的三角形面积和 n<100000 显然我们可以讨论每个直角顶点的贡献&#xff0c;然后本质上就是一个经典的数学问题&#xff0c;我们只要求出两个方向上的分量和&#xff0c;然后…

斗地主(矩阵快速幂)

地斗主 思路 看到这nnn非常大&#xff0c;感觉一定是个结论公式题&#xff0c;但是感觉又不像是排列组合&#xff0c;于是可以考虑矩阵快速幂了&#xff0c;所以关键就是得得到递推公式了。 我们将棋盘分成两部分n−num,numn - num, numn−num,num我们假定显然对num1,2,3,4,…

如何删除GIT仓库中的敏感信息

1. 前言正常Git仓库中应该尽量不包含数据库连接/AWS帐号/巨大二进制文件&#xff0c;否则一旦泄漏到Github&#xff0c;这些非常敏感信息会影响客户的信息安全已经公司的信誉。公司可能其它还有相关规定&#xff0c;如禁止私人邮件加入GIT仓库。如果违反这些规定&#xff0c;可…

CF896E Welcome home, Chtholly(分块/并查集/第二分块)

CF896E Welcome home, Chtholly 对于给定一个长度为n(n<1e5)的序列&#xff0c;值域范围为1e5,要求支持两类操作。 将区间[l,r]内所有大于x的数减x查询区间[l,r]内值为x的数的个数 首先由于n和值域同阶&#xff0c;所以我们应该在值域上进行操作&#xff0c;但是这个东西…

ASP.NET Core on K8S深入学习(4)你必须知道的Service

本篇已加入《.NET Core on K8S学习实践系列文章索引》&#xff0c;可以点击查看更多容器化技术相关系列文章。前面几篇文章我们都是使用的ClusterIP供集群内部访问&#xff0c;每个Pod都有一个自己的IP地址&#xff0c;那么问题来了&#xff1a;当控制器使用新的Pod替代发生故障…

输出程序运行时间

输出程序运行时间 用函数clock()返回一个时钟类型&#xff0c;本质上是一个long类型&#xff0c;然后表示从程序开始到当前经过的时钟单位&#xff0c;所以我们可以通过两个位置的差来得到一段的运行时间但是要除以一个常量CLOCKS_PER_SEC表示每秒的时钟单位&#xff0c;然后用…

P3768 简单的数学题(杜教筛)

P3768 简单的数学题 推式子 ∑i1n∑j1mijgcd(i,j)∑d1nd∑i1n∑j1mij(gcd(i,j)d)∑d1nd3∑i1nd∑j1ndij∑k∣gcd(i,j)μ(k)∑d1nd3∑k1ndk2μ(k)∑i1nkdi∑j1nkdj∑d1nd3∑k1ndk2μ(k)(⌊nkd⌋(1⌊nkd⌋)2)2我们假设tkd∑t1nt2(⌊nt⌋(1⌊nt⌋)2)2∑k∣ttkμ(k)∑t1nt2ϕ(t)(⌊…

博客园翻车启示录

开发者的日常作为一名996的开发者&#xff0c;我几乎每天只有两件事&#xff0c;制造bug和解决bug&#xff0c;这两件事&#xff0c;既替我解决了温饱问题、也替产品经理、测试工程师等一票人解决了吃穿问题。嗯&#xff0c;有人为我这种程序员评了一个等级&#xff0c;我大概是…