HDU 6607 Easy Math Problem(杜教筛 + min_25 + 拉格朗日插值)

Easy Math Problem

推式子

∑i=1n∑j=1ngcd(i,j)Klcm(i,j)[gcd(i,j)∈prime]∑i=1n∑j=1ngcd(i,j)K−1ij[gcd(i,j)∈prime]∑d∈primendK+1∑i=1nd∑j=1ndij[gcd(i,j)==1]对∑i=1n∑j=1nij[gcd(i,j)==1]化简2(∑i=1niiϕ(i)+[i==1]2)−1=∑i=1ni2ϕ(i)∑d∈primendK+1∑i=1ndi2ϕ(i)\sum_{i = 1} ^{n} \sum_{j = 1} ^{n} gcd(i, j) ^ K lcm(i, j)[gcd(i, j) \in prime]\\ \sum_{i = 1} ^{n} \sum_{j = 1} ^{n} gcd(i, j) ^{K - 1} ij[gcd(i, j) \in prime]\\ \sum_{d \in prime} ^{n} d ^ {K + 1} \sum_{i = 1} ^{\frac{n}{d}} \sum_{j = 1} ^{\frac{n}{d}}ij[gcd(i, j) == 1]\\ 对\sum_{i = 1} ^{n} \sum_{j = 1} ^{n}ij[gcd(i, j) == 1]化简\\ 2(\sum_{i = 1} ^{n} i \frac{i\phi(i) + [i == 1]}{2}) - 1 = \sum_{i = 1} ^{n} i ^ 2 \phi(i) \\ \sum_{d \in prime} ^{n} d ^ {K + 1} \sum_{i = 1} ^{\frac{n}{d}} i ^ 2 \phi(i)\\ i=1nj=1ngcd(i,j)Klcm(i,j)[gcd(i,j)prime]i=1nj=1ngcd(i,j)K1ij[gcd(i,j)prime]dprimendK+1i=1dnj=1dnij[gcd(i,j)==1]i=1nj=1nij[gcd(i,j)==1]2(i=1ni2iϕ(i)+[i==1])1=i=1ni2ϕ(i)dprimendK+1i=1dni2ϕ(i)

接下来就是快了的数论分块了,首先我们用min_25得到区间[l,r][l, r][l,r]部分的质数的贡献,然后再通过杜教筛得到后面,两者相乘然后累加即可,对于∑i=1nik+1\sum\limits_{i = 1} ^{n} i ^{k + 1}i=1nik+1这一部分求和,显然我们可以通过拉格朗日插值来求解。

代码

/*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 = 1e6 + 10, mod = 1e9 + 7, inv2 = (mod + 1) >> 1, inv6 = (mod + 1) / 6;namespace Djs {int prime[N], cnt;ll phi[N];bool st[N];void init() {phi[1] = 1;for(int i = 2; i < N; i++) {if(!st[i]) {prime[++cnt] = i;phi[i] = i - 1;}for(int j = 1; j <= cnt && 1ll * i * prime[j] < N; j++) {st[i * prime[j]] = 1;if(i % prime[j] == 0) {phi[i * prime[j]] = phi[i] * prime[j];break;}phi[i * prime[j]] = phi[i] * (prime[j] - 1);}}for(int i = 1; i < N; i++) {phi[i] = (phi[i - 1] + 1ll * i * i % mod * phi[i] % mod) % mod;}}ll calc1(ll n) {n %= mod;return (n * (n + 1) % mod * inv2 % mod) * (n * (n + 1) % mod * inv2 % mod) % mod;}ll calc2(ll n) {n %= mod;return n * (n + 1) % mod * (2 * n + 1) % mod * inv6 % mod;}unordered_map<ll, ll> ans_s;ll S(ll n) {if(n < N) return phi[n];if(ans_s.count(n)) return ans_s[n];ll ans = calc1(n);for(ll l = 2, r; l <= n; l = r + 1) {r = n / (n / l);ans = ((ans - (calc2(r) - calc2(l - 1)) * S(n / l) % mod) % mod + mod) % mod;}return ans_s[n] = ans;}
}namespace Lagrange {const int N = 110;ll fac[N], pre[N], suc[N], inv[N], prime[N], sum[N], mu[N], n, k, cnt;bool st[N];ll quick_pow(ll a, int n) {ll ans = 1;while(n) {if(n & 1) ans = ans * a % mod;a = a * a % mod;n >>= 1;}return ans;}void init1() {fac[0] = inv[0] = 1;for(int i = 1; i < N; i++) {fac[i] = 1ll * fac[i - 1] * i % mod;}inv[N - 1] = quick_pow(fac[N - 1], mod - 2);for(int i = N - 2; i >= 1; i--) {inv[i] = 1ll * inv[i + 1] * (i + 1) % mod;}}void init() {for(int i = 1; i < N; i++) {st[i] = 0;}cnt = 0;sum[1] = 1;for(int i = 2; i < N; i++) {if(!st[i]) {prime[cnt++] = i;sum[i] = quick_pow(i, k);}for(int j = 0; j < cnt && i * prime[j] < N; j++) {st[i * prime[j]] = 1;sum[i * prime[j]] = 1ll * sum[i] * sum[prime[j]] % mod;if(i % prime[j] == 0) break;}}for(int i = 1; i < N; i++) {sum[i] = (sum[i] + sum[i - 1]) % mod;}}ll solve(ll n) {n %= mod;ll ans = 0;pre[0] = suc[k + 3] = 1;for(int i = 1; i <= k + 2; i++) pre[i] = 1ll * pre[i - 1] * (n - i) % mod;for(int i = k + 2; i >= 1; i--) suc[i] = 1ll * suc[i + 1] * (n - i) % mod;for(int i = 1; i <= k + 2; i++) {ll a = 1ll * pre[i - 1] * suc[i + 1] % mod, b = 1ll * inv[i - 1] * inv[k + 2 - i] % mod;if((k + 2 - i) & 1) b *= -1;ans = ((ans + 1ll * sum[i] * a % mod * b % mod) % mod + mod) % mod;}return (ans - 1 + mod) % mod;}
}namespace Min_25 {int prime[N], id1[N], id2[N], cnt, m, k, T;ll g[N], sum[N], a[N], n;bool st[N];int ID(ll x) {return x <= T ? id1[x] : id2[n / x];}void init(ll x, int y) {n = x, k = y;cnt = 0, m = 0;T = sqrt(n + 0.5);for(int i = 2; i <= T; i++) {if(!st[i]) {prime[++cnt] = i;sum[cnt] = (sum[cnt - 1] + Lagrange::quick_pow(i, k)) % mod;}for(int j = 1; j <= cnt && 1ll * i * prime[j] <= T; j++) {st[i * prime[j]] = 1;if(i % prime[j] == 0) {break;}}}for(ll l = 1, r; l <= n; l = r + 1) {r = n / (n / l);a[++m] = n / l;if(a[m] <= T) id1[a[m]] = m;else id2[n / a[m]] = m;g[m] = Lagrange::solve(a[m]);}for(int j = 1; j <= cnt; j++) {for(int i = 1; i <= m && 1ll * prime[j] * prime[j] <= a[i]; i++) {g[i] = ((g[i] - Lagrange::quick_pow(prime[j], k) * (g[ID(a[i] / prime[j])] - sum[j - 1]) % mod) % mod + mod) % mod;}}for(int i = 1; i <= T; i++) {st[i] = 0;}}ll solve(ll x) {if(x <= 1) return 0;return g[ID(x)];}
}int main() {// freopen("in.txt", "r", stdin);// freopen("out.txt", "w", stdout);// ios::sync_with_stdio(false), cin.tie(0), cout.tie(0);Djs::init();Lagrange::init1();int T = read();while(T--) {ll n = read(), k = read() + 1;Lagrange::k = k;Lagrange::init();Min_25::init(n, k);ll ans = 0;for(ll l = 1, r; l <= n; l = r + 1) {r = n / (n / l);ans = (ans + (Min_25::solve(r) - Min_25::solve(l - 1)) * Djs::S(n / l) % mod) % mod;}printf("%lld\n", (ans % mod + mod) % mod);}return 0;
}

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

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

相关文章

C#高级语法之泛型、泛型约束,类型安全、逆变和协变(思想原理)

一、为什么使用泛型&#xff1f;泛型其实就是一个不确定的类型&#xff0c;可以用在类和方法上&#xff0c;泛型在声明期间没有明确的定义类型&#xff0c;编译完成之后会生成一个占位符&#xff0c;只有在调用者调用时&#xff0c;传入指定的类型&#xff0c;才会用确切的类型…

mysql-5.7.10-winx64 MySQL服务无法启动,服务没有报告任何错误的解决办法

总结报错原因&#xff1a; 在my.init文件下新增data目录&#xff08;datadir F:\mysqldata &#xff09; 最新解压版本的mysql 解压安装的时候报错 D:\mysql\mysql-5.7.10-winx64\bin>net start mysql MySQL 服务正在启动 …. MySQL 服务无法启动。 服务没有报告任何…

F - Sugoroku2(动态规划)

F - Sugoroku2 一个经典的概率期望dp的模型&#xff0c;现在要求从0移动到n&#xff0c;每次等概率移动1到m的距离&#xff0c;有k个点&#xff0c;一旦到达就移动回到0&#xff0c;一旦到达n或超过n游戏结束&#xff0c;求解步数期望。 那么我们dp的时候可以发现每一个值会有…

威佐夫博弈及其拓展

威佐夫博弈 普通威佐夫博弈&#xff1a; 两种操作&#xff1a;一、同时在两堆上取相同的个数。二、在某一堆上取任意个数。&#xff08;每次取不为0&#xff09; a[n]nα,b[n]a[n]n,α152a[n] n \alpha, b[n] a[n] n,\alpha \frac{1 \sqrt5}{2}a[n]nα,b[n]a[n]n,α215​…

E - Rotate and Flip(转化一般性)

E - Rotate and Flip 对于有n个点&#xff0c;m个变换&#xff08;包括旋转90度和关于某条直线对称&#xff09;&#xff0c;q次询问ai点在bi个变换后的坐标。 显然对于这些变换我们都是能够直接利用公式求解的&#xff0c;所以我们直接用未知数表示变换后的坐标即可&#xf…

谈自由,ASP.NET Core才是未来?

首先我要说一下自己对自由的理解&#xff1a;自由是我可以选择不干什么&#xff0c;但我要保留我可以干什么的可能性。比如说我现在只有一个码农的角色&#xff0c;但我仍然要保留可以扮演其他角色的可能&#xff0c;比如成为一个作者&#xff0c;当我写下文章的时候已经是了&a…

Spring Boot 学习之旅

1. Spring Boot默认读取的application.properties有点坑&#xff0c;并没有主动去掉每一行后边的空格&#xff0c;如 encoding.spring.thymeleaf.encodingUTF-8 就识别成了UTF-8空格&#xff0c;所以导致查找编码格式的时候报错。

Min_25筛有关求解次小质因子

#188. 【UR #13】Sanrd 题意化简就是求次小质因子&#xff0c;这一步我们可以在Min_25筛的ans计算中得到&#xff0c; S(n, j)表示的是最小质因子大于等于primejprime_jprimej​的加上质数的答案贡献&#xff0c; 要满足次小质因子&#xff0c;一定有除去这个数之后只剩下质…

今天,全网曝光这几个公众号

有人统计过&#xff0c;我们平均每天花在看内容上的时间是5-6小时与其每天被各种看过就忘的内容占据时间不如看点真正对你有价值的信息下面小编为你推荐几个高价值的公众号&#xff0c;这些公众号都是专注.NET技术它们提供的信息能真正提高你生活的质量当你迷茫的时候刷刷这些大…

dp套dp(动态规划)

dp套dp 这是一个对于一类动态规划的计数问题的处理方法&#xff0c;问题常常是如果形式确定就可以直接dp&#xff0c;但是现在却要求满足某个要求的所有方案数&#xff0c;一般的处理方法就是一维负责增量构造&#xff0c;其他维度用来表示内部dp状态&#xff0c;然后转移时候…

Redis学习之Docker环境搭建

最近想学习下Redis&#xff0c;想在本机部署redis集群&#xff0c;发现redis对windows支持不太友好&#xff0c;因此想着安装linux虚拟机&#xff0c;部署一个redis集群&#xff0c;供学习用。 首先想到的是linux虚拟机使用起来太麻烦&#xff0c;想用之前用过的vagrant来简化虚…

.NET Core 小程序开发零基础系列(1)——开发者启用并牵手成功

最近几个月本人与团队一直与小程序打交道&#xff0c;对小程序的实战开发算比较熟悉&#xff0c;也因一些朋友经常问我各种小程序问题&#xff0c;无不能一一回答&#xff0c;想了很久&#xff0c;决定还是空余时间来写写文章吧&#xff0c;偶尔发现一个人安静的时候写文章特爽…

Tarjan缩点/边双/点双

文章目录代码实现实际应用1.有向图另外&#xff1a;对于缩点之后的DAG的处理2.无向图求法细节细节&#xff1a;目录&#xff1a;1.「POJ 3694」Network2.「2019 ICPC 横滨站」3. P3225 [HNOI2012]矿场搭建4. 一本通 分离的路径代码实现 所以其实就三个玩意 1.dfn[],low[],indx…

「LibreOJ Round #11」Misaka Network 与求和(杜教筛 + Min_25)

#572. 「LibreOJ Round #11」Misaka Network 与求和 推式子 ∑i1n∑j1nf(gcd(i,j))k∑d1nf(d)k∑i1nd∑j1nd[gcd(i,j)1]∑d1nf(d)k∑K1ndμ(k)(nKd)2tKd∑t1n(nt)2∑d∣tf(d)kμ(td)我们记f(x)kF(x)上面式子后半部分是一个迪利克雷卷积形式:F∗μ所以我们卷上一个I&#xff0c…

学习笔记之12个月提升计划

Java世界博大精深&#xff0c;有太多的东西要学。如果一头扎进去&#xff0c;很可能会淹没在Java技术的海洋里。于是&#xff0c;最近一直在思考列一个提纲&#xff0c;作为高级工程师到资深、再到架构之路的路标。 学习笔记一栏&#xff0c;即为本计划的博客记录。将自己的计划…

从“梁漱溟:思考问题有八层境界”所联想到的

最近一段时间以来写的文章比较少了&#xff0c;这固然是有一些客观原因&#xff0c;但确实有我不可说的一些自我反省和认识等主观因素。记得8月初有一次友人聚餐&#xff0c;席间有朋友聊到公众号的运营心得体会&#xff0c;其中有一条是&#xff1a;避免粉丝减少的黄金法则之一…

P4126 [AHOI2009]最小割(网络流/最小割)

P4126 [AHOI2009]最小割 https://www.cnblogs.com/dugudashen/p/6228304.html 求解一张有向图中关于最小割的可行边和必须边&#xff0c;可行边定义为存在一种最小割包含这条边&#xff0c;必须边定义为任意一种最小割包含这条边。 可行边的条件&#xff1a; 满流对于边<…

vagrant 环境配置

vagrant是简便虚拟机操作的一个软件&#xff0c;而使用虚拟机有几个好处&#xff1a; 1、为了开发环境与生产环境一致&#xff08;很多开发环境为windows而生产环境为linux&#xff09;&#xff0c;不至于出现在开发环境正常而移步到正式生产环境时出现各种问题&#xff0c;而…

与Min_25筛有关的一些模板

模板 求∑i1nf(i),f(pk)pk(pk−1)\sum \limits_{i 1} ^{n} f(i), f(p ^ k) p ^ k \times(p ^ k - 1)i1∑n​f(i),f(pk)pk(pk−1)&#xff0c;最后对mod1e97\bmod 1e9 7mod1e97&#xff0c;这个函数是个积性函数。 /*Author : lifehappy */ #pragma GCC optimize(2) #pragm…

P4897 【模板】最小割树(Gomory-Hu Tree)(网络流/最小割/树形结构)

P4897 【模板】最小割树&#xff08;Gomory-Hu Tree&#xff09; 这个算法可以用来求解一个无向图上任意两点的最小割&#xff0c;具体过程就是每次选择两个点求最小割&#xff0c;然后在一个新图中这两个点连边&#xff0c;然后对于这两个点的连通块分别递归处理&#xff0c;…