Description:

定义函数

\[f _n (k) = \sum _{l _1 = 1} ^n \sum _{l _2 = 1} ^n \cdots \sum _{l _k = 1} ^n \gcd(l _1, l _2, \cdots, l _k) ^2
\]

现给定 \(n, k\),需要求出 \(\sum _{i = 2} ^k f _n (i)\),答案对 \(10 ^9 + 7\) 取模。

\(T\) 组数据。

\[1 \le T \le 10, 1 \le n \le 10 ^9, 2 \le k \le 10 ^{10 ^5}
\]

Solution:

\[\begin{aligned}
f_n(k) &= \sum_{d=1}^nd^2\sum_{x=1}^\frac{n}{d}\mu(x)\lfloor\frac{n}{dx}\rfloor ^k\\
&=\sum_{T=1}^n\lfloor\frac{n}{T}\rfloor^k\sum_{d|T}\mu(d)\left(\frac{T}{d}\right)^2
\end{aligned}
\]

答案为:

\[\begin{aligned}
&\sum_{i=2}^k\sum_{T=1}^n\lfloor\frac{n}{T}\rfloor^i\sum_{d|T}\mu(d)\left(\frac{T}{d}\right)^2\\
=&\sum_{T=1}^n\left(\sum_{i=2}^k\lfloor\frac{n}{T}\rfloor^i\right)\left(\sum_{d|T}\mu(d)\left(\frac{T}{d}\right)^2\right)
\end{aligned}
\]

前面整除分块+等比数列求和,后面杜教筛。

Code:

#include <iostream>
#include <vector>
#include <map>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <fstream> typedef long long LL;
typedef unsigned long long uLL; #define SZ(x) ((int)x.size())
#define ALL(x) (x).begin(), (x).end()
#define MP(x, y) std::make_pair(x, y)
#define DEBUG(...) fprintf(stderr, __VA_ARGS__)
#define GO cerr << "GO" << endl; using namespace std; inline void proc_status()
{
ifstream t("/proc/self/status");
cerr << string(istreambuf_iterator<char>(t), istreambuf_iterator<char>()) << endl;
} template<class T> inline T read()
{
register T x(0);
register char c;
register int f(1);
while (!isdigit(c = getchar())) if (c == '-') f = -1;
while (x = (x << 1) + (x << 3) + (c xor 48), isdigit(c = getchar()));
return x * f;
} template<typename T> inline bool chkmin(T &a, T b) { return a > b ? a = b, 1 : 0; }
template<typename T> inline bool chkmax(T &a, T b) { return a < b ? a = b, 1 : 0; } const int maxN = 5e6;
const int mod = 1e9 + 7; LL qpow(LL a, LL b)
{
LL ans = 1;
while (b)
{
if (b & 1) ans = ans * a % mod;
a = a * a % mod;
b >>= 1;
}
return ans;
} LL k, kk;
LL calc(int x)
{
if (x == 1) return (kk - 1 + mod) % mod;
else return (LL)x * (qpow(x, k) - x + mod) % mod * qpow(x - 1, mod - 2) % mod;
} void Read()
{
k = kk = 0;
register char c;
while (!isdigit(c = getchar()));
while (k = (k * 10 + (c xor 48)) % (mod - 1), kk = (kk * 10 + (c xor 48)) % mod, isdigit(c = getchar()));
} vector<int> prime;
bool vis[maxN + 2];
int f[maxN + 2], inv6;
map<int, int> F; void Init()
{
f[1] = 1;
for (register int i = 2; i <= maxN; ++i)
{
if (!vis[i])
{
f[i] = ((LL)i * i - 1) % mod;
prime.push_back(i);
}
for (register int j = 0; j < SZ(prime) && prime[j] * i <= maxN; ++j)
{
int t = prime[j] * i;
vis[t] = 1;
if (i % prime[j] == 0)
{
f[t] = (LL)f[i] * prime[j] % mod * prime[j] % mod;
break;
}
else
f[t] = (LL)f[i] * f[prime[j]] % mod;
}
}
for (register int i = 2; i <= maxN; ++i)
f[i] += f[i - 1], f[i] %= mod;
} int Sum(int n)
{
if (n <= maxN) return f[n];
if (F.count(n)) return F[n];
LL ans = (LL)n * (n + 1) % mod * (2ll * n + 1) % mod * inv6 % mod;
for (int l = 2, r; l <= n; l = r + 1)
{
r = n / (n / l);
ans += mod - (LL)Sum(n / l) * (r - l + 1) % mod;
ans %= mod;
}
return F[n] = ans % mod;
} int main()
{
#ifndef ONLINE_JUDGE
freopen("xhc.in", "r", stdin);
freopen("xhc.out", "w", stdout);
#endif
int T = read<int>();
inv6 = qpow(6, mod - 2);
Init();
while (T--)
{
LL ans(0);
int n;
n = read<int>(), Read();
for (int l = 1, r; l <= n; l = r + 1)
{
r = n / (n / l);
ans += calc(n / r) * (Sum(r) - Sum(l - 1) + mod) % mod;
ans %= mod;
}
printf("%d\n", (int) ans);
}
return 0;
}

2019南京网络赛E:K Sum的更多相关文章

  1. 南京网络赛 E K Sum

    K Sum 终于过了这玩意啊啊啊==== 莫比乌斯反演,杜教筛,各种分块,积性函数怎么线性递推还很迷==,得继续研究研究 #include<bits/stdc++.h> using nam ...

  2. 2019 南京网络赛A

    南京网络赛自闭现场 https://nanti.jisuanke.com/t/41298 二维偏序经典题型 二维前缀和!!! #include<bits/stdc++.h> using n ...

  3. The Preliminary Contest for ICPC Asia Nanjing 2019/2019南京网络赛——题解

    (施工中……已更新DF) 比赛传送门:https://www.jisuanke.com/contest/3004 D. Robots(期望dp) 题意 给一个DAG,保证入度为$0$的点只有$1$,出 ...

  4. [2019南京网络赛D题]Robots

    题目链接 2019.9.2更新 第二天睡醒想了想发现好像搜一遍就可以过,赛时写的花里胡哨的还错了,太菜了QAQ #include<bits/stdc++.h> using namespac ...

  5. 2019南京网络赛 D Robots 期望dp

    题目传送门 题意:给出一幅有向无环图,保证只有1入度为0,n出度为0,求问一个机器人从1出发,每天等概率的走到相邻点或者留在原地,问到达n点的代价.每天的代价都不一样,就是天数(第x天走一步的代价就是 ...

  6. Robots 2019南京网络赛 (概率dp)

    Robots \[ Time Limit: 1000 ms \quad Memory Limit: 262144 kB \] 题意 有一个机器人要从 \(1\) 点走到 \(n\) 点,每走一步都需要 ...

  7. 2019 南京网络赛 B super_log 【递归欧拉降幂】

    一.题目 super_log 二.分析 公式很好推出来,就是$$a^{a^{a^{a^{...}}}}$$一共是$b$个$a$. 对于上式,由于指数太大,需要降幂,这里需要用到扩展欧拉定理: 用这个定 ...

  8. HDU 4750 Count The Pairs (2013南京网络赛1003题,并查集)

    Count The Pairs Time Limit: 20000/10000 MS (Java/Others)    Memory Limit: 65535/65535 K (Java/Others ...

  9. 2018ICPC南京网络赛

    2018ICPC南京网络赛 A. An Olympian Math Problem 题目描述:求\(\sum_{i=1}^{n} i\times i! \%n\) solution \[(n-1) \ ...

随机推荐

  1. Zookeeper学习笔记(上)

    Zookeeper学习笔记 本篇主要是一些基本的介绍和API的使用介绍, 有些只是记录了知识点,而没有完全在笔记中详细解释, 需要自行查找资料补充相关概念 主要参考了课程中的内容: Zookeeper ...

  2. DevExpress v19.1新版亮点——WinForms篇(三)

    行业领先的.NET界面控件DevExpress v19.1终于正式发布,本站将以连载的形式介绍各版本新增内容.在本系列文章中将为大家介绍DevExpress WinForms v19.1中新增的一些控 ...

  3. Django【第4篇】:Django之模板继承

    jango框架之模板继承和静态文件配置 一.模板继承 目的是:减少代码的冗余 语法: {% block classinfo %} {% endblock %} 具体步骤: 1.创建一个base.htm ...

  4. python 布尔判断并做需要的返回值

  5. WEB超大文件上传与下载

    1.介绍enctype enctype 属性规定发送到服务器之前应该如何对表单数据进行编码. enctype作用是告知服务器请求正文的MIME类型(请求消息头content-type的作用一样) 1. ...

  6. HDU 4300 Clairewd's message ( 拓展KMP )

    题意 : 给你一个包含26个小写字母的明文密文转换信息字符串str,第一个表示'a'对应的密文是str[0].'b'对应str[1]……以此类推.接下来一行给你一个另一个字符串,这个字符串由密文+明文 ...

  7. OpenCV Mat&Operations

    /*M/////////////////////////////////////////////////////////////////////////////////////////// IMPOR ...

  8. (26)Python获取某个文件存放的相对路径(更改任意目录下保持不变)

    import os import platform def getSeparator(): ''' 获取不同平台下的斜杠符号 :return: Created by Wu Yongcong 2017- ...

  9. JPA Hibernate 等面向对象持久化框架难以解决的问题

    1+N查询性能问题 单个更新实体对象,而不是使用单调语句 在Java端做了很重的数据处理,数据库端反而很少 多层次 fetch inner join 难以实现 关联映射难以自定义条件 级联操作难以掌控 ...

  10. C#中使用Join与GroupJoin将两个集合进行关联与分组

    转自:https://www.cnblogs.com/cncc/p/7985843.html 对于Join的用法说明如下: 语法: public static IEnumerable<TResu ...