【 51nod 1847 】奇怪的数学题

题目

  点这里看题目。

分析

  是挺奇怪的......

  以下定义质数集合为\(P\),\(p_i\)为第\(i\)个质数。

  定义\(mp(x)\)为\(x\)的最小质因子,则可以得到:

\[sgcd(a,b)=\frac{\gcd(a,b)}{mp(\gcd(a,b))}
\]

  这个比较显然。然后可以娴熟地变换式子得到:

\[\begin{aligned}\sum_{i=1}^n\sum_{j=1}^n sgcd(i,j)^k&=\sum_{d=2}^n\left(\frac d{mp(d)}\right)^k \sum_{i=1}^{\lfloor\frac n d\rfloor}\sum_{j=1}^{\lfloor\frac n d\rfloor}[\gcd(i,j)=1]\\&=\sum_{d=2}^n\left(\frac d{mp(d)}\right)^k \left(2\sum_{i=1}^{\lfloor\frac n d\rfloor}\varphi(i)-1\right)\end{aligned}
\]

  后面的求\(\varphi\)的前缀和的部分可以用杜教筛等筛法高速求出。这里推荐杜教筛,因为它可以方便地记忆化。

  并且可以发现,\(\varphi\)的前缀和的上限实际上可以整除分块。所以,如果可以告诉求出\(\left(\frac d{mp(d)}\right)^k\),我们就可以整除分块了。这也是杜教筛比较占优势的原因——一次杜教筛就可以筛出所有需要的值,并且存下来。

  问题变成了如何解决前一部分的求和。考虑使用 min_25。

   min_25 首先需要算出在质数位置的贡献,不难发现这些位置的贡献为\(1^k=1\)。因此只需要筛出质数数量即可。

  其它的位置需要筛。首先有常见操作:

  设\(f(x)=x^k\),\(g(a,b)\)为前\(a\)个数进行了\(b\)轮埃筛之后的\(f\)的总贡献。

  转移略。这是常见操作。

  不过仔细想想,我们会发现转移出现的\(g(\lfloor\frac a{p_b}\rfloor, b-1)-g(p_{b-1},b-1)\)实际上就是 " 最小质因数为\(p_b\)的数的贡献 " (最小质因数少乘上一次)。因此我们实际操作的时候就不用写 min_25 的第二步,而是直接每轮累加起来,就可以得到合数的贡献。

  而质数的贡献已经知道是质数个数了。所以对于每次询问,我们可以直接将合数和质数的贡献加起来回答。

  但是,\(g(a,0)=\sum_{i=2}^a i^k\),这个该怎么计算呢?

  可以用第二类斯特林数来处理:

\[\begin{aligned}
\sum_{i=1}^n i^k
&=\sum_{i=1}^n \sum_{j=1}^k {k\brace j} i^{\underline j}\\
&=\sum_{j=1}^k {k\brace j}\sum_{i=1}^n i^{\underline j}\\
&=\sum_{j=1}^k{k\brace j}\frac{(n+1)^{\underline{j+1}}}{j+1}
\end{aligned}\]

  其中一步推导用到了 " 离散微积分 " 的东西,我不会了,可以参考[第二类斯特林数]自然数幂求和

  需要注意的是,由于这道题取模方法是自然溢出,因此不能求逆元。但由于求幂和的时候结果一定是整数,所以在\((n+1)^{\underline{j+1}}\)里面一定有一个\(j+1\)的倍数。我们可以先用余数把它找出来,除掉\(j+1\)之后再将剩下的乘起来即可。

代码

#include <map>
#include <cmath>
#include <cstdio>
using namespace std; typedef long long LL;
typedef unsigned int ui; const int MAXN = 1e5 + 5, MAXK = 55; template<typename _T>
void read( _T &x )
{
x = 0;char s = getchar();int f = 1;
while( s > '9' || s < '0' ){if( s == '-' ) f = -1; s = getchar();}
while( s >= '0' && s <= '9' ){x = ( x << 3 ) + ( x << 1 ) + ( s - '0' ), s = getchar();}
x *= f;
} template<typename _T>
void write( _T x )
{
if( x < 0 ){ putchar( '-' ); x = ( ~ x ) + 1; }
if( 9 < x ){ write( x / 10 ); }
putchar( x % 10 + '0' );
} map<int, ui> mp; ui G[MAXN << 1], g1[MAXN << 1], gk[MAXN << 1];
ui ps[MAXN], pks[MAXN], pk[MAXN];
ui S[MAXK][MAXK];
int val[MAXN << 1];
int id1[MAXN], id2[MAXN];
int phi[MAXN], prime[MAXN], pn;
int N, K, s, cnt;
bool isPrime[MAXN]; int& ID( const int x ) { return x <= s ? id1[x] : id2[N / x]; } ui qkpow( ui base, int indx )
{
ui ret = 1;
while( indx )
{
if( indx & 1 ) ret *= base;
base *= base, indx >>= 1;
}
return ret;
} void EulerSieve( const int siz )
{
phi[1] = 1, isPrime[1] = true;
for( int i = 2 ; i <= siz ; i ++ )
{
if( ! isPrime[i] ) prime[++ pn] = i, phi[i] = i - 1;
for( int j = 1 ; j <= pn && 1ll * i * prime[j] <= siz ; j ++ )
{
isPrime[i * prime[j]] = true;
if( ! ( i % prime[j] ) ) { phi[i * prime[j]] = phi[i] * prime[j]; break; }
phi[i * prime[j]] = phi[i] * ( prime[j] - 1 );
}
}
for( int i = 1 ; i <= pn ; i ++ ) pks[i] = pks[i - 1] + ( pk[i] = qkpow( prime[i], K ) );
for( int i = 1 ; i <= siz ; i ++ ) ps[i] = ps[i - 1] + phi[i];
} ui getS( const int a )
{
ui ret = 0, t;
for( int i = 1, tmp ; i <= K ; i ++ )
{
tmp = ( a + 1 ) % ( i + 1 ), t = S[K][i];
for( int j = 1 ; j <= tmp ; j ++ ) t *= ( a - j + 2 );
t *= ( a - tmp + 1 ) / ( i + 1 );
for( int j = tmp + 2 ; j <= i + 1 ; j ++ ) t *= ( a - j + 2 );
ret += t;
}
return ret;
} ui SPhi( const int n )
{
if( n <= s ) return ps[n];
if( mp[n] ) return mp[n];
ui ret;
if( n & 1 ) ret = ( ui ) ( n + 1 ) / 2 * n;
else ret = ( ui ) n / 2 * ( n + 1 );
for( int l = 2, r ; l <= n ; l = r + 1 )
{
r = n / ( n / l );
ret -= ( r - l + 1 ) * SPhi( n / l );
}
return mp[n] = ret;
} int main()
{
read( N ), read( K );
s = sqrt( N );
EulerSieve( s );
for( int i = 1 ; i <= K ; i ++ ) S[i][i] = 1, S[i][0] = 0;
for( int i = 2 ; i <= K ; i ++ )
for( int j = 1 ; j <= K ; j ++ )
S[i][j] = S[i - 1][j - 1] + ( ui ) j * S[i - 1][j];
for( int l = 1, r, v ; l <= N ; l = r + 1 )
{
r = N / ( v = N / l ), val[++ cnt] = v;
g1[ID( v ) = cnt] = v - 1, gk[cnt] = getS( v ) - 1;
}
for( int j = 1, k ; j <= pn ; j ++ )
for( int i = 1 ; i <= cnt && 1ll * prime[j] * prime[j] <= val[i] ; i ++ )
{
k = ID( val[i] / prime[j] );
g1[i] -= g1[k] - ( j - 1 );
gk[i] -= ( ui ) pk[j] * ( gk[k] - pks[j - 1] );
G[i] += gk[k] - pks[j - 1];
}
ui ans = 0, pre = 0, nxt;
for( int l = 2, r, v ; l <= N ; l = r + 1 )
{
r = N / ( v = N / l );
nxt = G[ID( l )] + g1[ID( l )];
ans += ( ui ) ( 2u * SPhi( v ) - 1 ) * ( nxt - pre ), pre = nxt;
}
write( ans ), putchar( '\n' );
return 0;
}

[51nod 1847]奇怪的数学题的更多相关文章

  1. 【51NOD 1847】奇怪的数学题(莫比乌斯反演,杜教筛,min_25筛,第二类斯特林数)

    [51NOD 1847]奇怪的数学题(莫比乌斯反演,杜教筛,min_25筛,第二类斯特林数) 题面 51NOD \[\sum_{i=1}^n\sum_{j=1}^nsgcd(i,j)^k\] 其中\( ...

  2. 【51nod 1847】奇怪的数学题

    题目描述 给出 N,K ,请计算下面这个式子: \(∑_{i=1}^N∑_{j=1}^Nsgcd(i,j)^k\) 其中,sgcd(i, j)表示(i, j)的所有公约数中第二大的,特殊地,如果gcd ...

  3. 【51nod 1874】 奇怪的数学题

    题目 求 \[\sum_{i=1}^n\sum_{j=1}^nsgcd(i,j)^k\] 首先这个次大公约数显然就是\(gcd\)除一下最小质因子了 于是 \[\sum_{i=1}^n\sum_{j= ...

  4. 51nod 1965 奇怪的式子——min_25筛

    题目:http://www.51nod.com/Challenge/Problem.html#!#problemId=1965 考虑 \( \prod_{i=1}^{n}\sigma_0^i \) \ ...

  5. [51nod1847]奇怪的数学题

    description 51nod 求\[\sum_{i=1}^{n}\sum_{j=1}^{n}sgcd(i,j)^k\]其中\(sgcd(i,j)\)表示\(i,j\)的次大公约数,如果\(gcd ...

  6. 51nod 1965 奇怪的式子 —— min_25筛

    题目:http://www.51nod.com/Challenge/Problem.html#!#problemId=1965 推式子就同这里:https://www.cnblogs.com/yoyo ...

  7. 【51NOD1847】奇怪的数学题 min_25筛

    题目描述 记\(sgcd(i,j)\)为\(i,j\)的次大公约数. 给你\(n\),求 \[ \sum_{i=1}^n\sum_{j=1}^n{sgcd(i,j)}^k \] 对\(2^{32}\) ...

  8. 【51nod1847】 奇怪的数学题

    就当我是 A 了此题吧... 首先预备知识有点多(因为题目要处理的东西都挺毒瘤): 杜教筛运用(当然你可以用其他筛?) 第二类斯特林数相关定理 下降阶乘幂相关定理 min25 筛运用 好了可以关掉本题 ...

  9. 【51Nod1847】奇怪的数学题

    ​ 记\(f(x)=\)\(x\)的次大因数,那么\(sgcd(i,j)=f(gcd(i,j))\). 下面来推式子: \[ \begin{aligned} \sum_{i=1}^n\sum_{j=1 ...

随机推荐

  1. MyCat水平分库

    一.什么是水平分库 将一张表水平切分到多个库中 1.1分片原则 1.需要分片的表是少数的 2.能不切分尽量不要切分 3.日志表可以采取归档方式 4.选择合适的切分规则和分片建,确保数据分片均匀,否则依 ...

  2. .net System.Web.Mail发送邮件 (设置发件人 只显示用户名)

    http://blog.163.com/hao_2468/blog/static/130881568201141251642215/ .net System.Web.Mail发送邮件 2011-05- ...

  3. BZOJ1010单调性DP优化

    1010: [HNOI2008]玩具装箱toy Time Limit: 1 Sec  Memory Limit: 162 MBSubmit: 10707  Solved: 4445[Submit][S ...

  4. Web-Security-Learning

    Web Security sql注入 MySql MySQL False 注入及技巧总结 MySQL 注入攻击与防御 sql注入学习总结 SQL注入防御与绕过的几种姿势 MySQL偏门技巧 mysql ...

  5. Istio VirtualService 虚拟服务

    概念及示例 VirtualService 描述了一个或多个用户可寻址目标到网格内实际工作负载之间的映射 . 虚拟服务让您配置如何在服务网格内将请求路由到服务,这基于 Istio 和平台提供的基本的连通 ...

  6. Python的元类简单介绍

    * 类型 和类 在Python中,一切都是对象.类也是对象.所以一个类必须有一个类型 注意: 1.type Python3中所有的类都是通过type来创建出来的 2.object:Python3中所有 ...

  7. httpclient介绍与请求方式详解

    httpClient工具介绍 HTTP协议可能是现在lntemet上使用得最多.最重要的协议了,越来越多的Java应用程序需要直接通过HTTP协议来访问网络资源.虽然在JDK的java.net包中已经 ...

  8. [Axure教程]0005.系统函数与变量介绍

    1.变量的种类: [1].全局变量:可以在整个原型的任意位置调用和修改. [2].局部变量:仅作用于某一事件的某一动作内. [3].自定义变量:自行新建的全局变量. 2.Axure函数: [1].特殊 ...

  9. [JavaWeb基础] 014.Struts2 标签库学习

    在Struts1和Struts2中都有很多很方便使用的标签库,使用它可以让我们的页面代码更加的简洁,易懂,规范.标签的形式就跟html的标签形式一样.上面的篇章中我们也讲解了自定义标签那么在如何使用标 ...

  10. 关于自己配置有关webpack.config.js和vue项目搭建相关步骤

    ## Webpack的配置和使用 ### 安装 1. 全局安装 ``` npm install webpack -g ``` 2. 本地安装 ``` npm install webpack -D `` ...