「模拟赛20181010」太阳神 莫比乌斯反演

题目描述

太阳神拉很喜欢最小公倍数,有一天他想到了一个关于最小公倍数的题目。
求满足如下条件的数对(a,b)对数:a,b均为正整数且a,bnlcm(a,b)>n。其中的lcm当然表示最小公倍数。答案对1000000007取模。

输入

第一行一个正整数n

输出

一行一个整数表示答案,对1000000007取模。

样例

样例输入

3

样例输出

2

数据范围

n1010

题解

神题,难度非常NOIp(rofessional)
首先考虑到大于不好求,显然小于等于更好求,我们用补集法求出lcm小于等于n的,再与总方案数作差即可。

i=1nj=1nlcm(i,j)n

i=1nj=1nijgcd(i,j)n

现在按套路,换枚举d=gcd(i,j)试试

d=1ni=1nj=1n[gcd(i,j)=d]&[ijdn]

d=1ni=1ndj=1nid[gcd(i,j)=1]

莫比乌斯函数可以出场了!

d=1ni=1ndj=1nidμ(gcd(i,j))

再换枚举d=gcd(i,j)

d=1nd=1ndμ(d)×[ijnd2d]

嗯……我们把d放在最外边。因为d×d2n,所以可以发现d不超过n

d=1nμ(d)×[dijnd2]

好了,我们只要求出三元组数量即可!可以令dij,然后排列组合计算……

而如果规定了大小顺序,可以节省时间。比如将第一个枚数举到三次根即停止,第二个数枚举到剩余的平方根即停止,最后一个数可以直接计算。

这样的复杂度可以证明是O(n23)的,同时,杜教筛也可以达到同样的复杂度,但是会有更大的常数。
Code:

#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
#define N 100005
#define ll long long
#define mod 1000000007
template<typename Mytype>void Read(Mytype &p)
{
	p = 0;
	char c = getchar();
	for (; c < '0' || c > '9'; c = getchar());
	for (; c >= '0' && c <= '9'; c = getchar())p = p * 10 + c - '0';
}
ll n;
int mu[N], h[N], p[N], cnt;
int main()
{
	Read(n);
	mu[1] = 1;
	for (int i = 2; i <= N - 5; i++)
	{
		if (!h[i])
		{
			p[++cnt] = i;
			mu[i] = -1;
		}
		for (int j = 1; j <= cnt; j++)
		{
			if (i * p[j] > N - 5)
				break;
			h[i * p[j]] = 1;
			if (i % p[j] == 0)
			{
				mu[i * p[j]] = 0;
				break;
			}
			mu[i * p[j]] = -mu[i];
		}
	}
	int m = int(sqrt(n) + 0.5), ans = 0;
	for (int i = 1; i <= m; i++)
	{
		ll w = n / i / i, sum = 0;
		for (ll a = 1; a * a * a <= w; a++)
		{
			for (ll b = a; b * b <= w / a; b++)
			{
				ll c = w / a / b - b + 1;
				if (a == b)
					sum = (sum + 1 + (c - 1) * 3) % mod;
				else
					sum = (sum + 3 + (c - 1) * 6) % mod;
			}
		}
		sum %= mod;
		ans = (ans + mu[i] * sum) % mod;
	}
	ans = -ans;
	ans = (ans + (n % mod) * (n % mod)) % mod;
	if (ans < 0)ans += mod;
	printf("%d\n", ans);
}

posted @   ModestStarlight  阅读(372)  评论(0编辑  收藏  举报
编辑推荐:
· go语言实现终端里的倒计时
· 如何编写易于单元测试的代码
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
阅读排行:
· 分享一个免费、快速、无限量使用的满血 DeepSeek R1 模型,支持深度思考和联网搜索!
· 使用C#创建一个MCP客户端
· 基于 Docker 搭建 FRP 内网穿透开源项目(很简单哒)
· ollama系列1:轻松3步本地部署deepseek,普通电脑可用
· 按钮权限的设计及实现
点击右上角即可分享
微信分享提示