传送门

题意:

(1+2)n=e(n)+f(n)2 ( 1 + 2 ) n = e ( n ) + f ( n ) ∗ 2 ,其中 e(n),f(n) e ( n ) , f ( n ) 都是整数。

g(n) g ( n ) 表示 f(1),f(2)f(n) f ( 1 ) , f ( 2 ) … f ( n ) 的最小公倍数.

给定两个正整数n和p,其中p是质数,并且保证 f(1),f(2)f(n) f ( 1 ) , f ( 2 ) … f ( n ) 在模p意义下均不为0

请计算 ni=1ig(i),1<=i<=n ∑ i = 1 n i ∗ g ( i ) , 1 <= i <= n .其在模p的值。

1n106,2p109+7 1 ≤ n ≤ 10 6 , 2 ≤ p ≤ 10 9 + 7

Solution:

第一次见到还有这种解法的题orz

首先我们需要知道一个结论:
当a,b互质时,形如 f(n)=af(n1)+bf(n2) f ( n ) = a ∗ f ( n − 1 ) + b ∗ f ( n − 2 ) 的式子具有性质 gcd(f(x),f(y))=f(gcd(x,y)) g c d ( f ( x ) , f ( y ) ) = f ( g c d ( x , y ) )

(证明我也不会)

关于lcm,我们知道 lcm(S)=TSgcd(T)(1)|T|+1 l c m ( S ) = ∏ T ∈ S g c d ( T ) ( − 1 ) | T | + 1

回到题目上来:观察可得 f(0)=0,f(1)=1,f(n)=2f(n1)+f(n2) f ( 0 ) = 0 , f ( 1 ) = 1 , f ( n ) = 2 f ( n − 1 ) + f ( n − 2 )

那么 g(n)=lcm(f({ 1,2,...,n})) g ( n ) = l c m ( f ( { 1 , 2 , . . . , n } ) )

方便起见假设 S={ 1,2,...,n},S={ 1,2,...,nd} S = { 1 , 2 , . . . , n } , S ′ = { 1 , 2 , . . . , ⌊ n d ⌋ }

g(n)=TSf(gcd(T))(1)|T|+1 g ( n ) = ∏ T ∈ S f ( g c d ( T ) ) ( − 1 ) | T | + 1

到了这里 重头戏来了:构造h满足 f(n)=d|nh(d) f ( n ) = ∏ d | n h ( d )

得到 g(n)=TS(d|gcd(T)h(d))(1)|T|+1 g ( n ) = ∏ T ∈ S ( ∏ d | g c d ( T ) h ( d ) ) ( − 1 ) | T | + 1

=ni=1h(d)TS(1)|T|+1 = ∏ i = 1 n h ( d ) ∑ T ∈ S ′ ( − 1 ) | T | + 1

=ni=1h(d)ndi=1(1)iCind = ∏ i = 1 n h ( d ) − ∑ i = 1 ⌊ n d ⌋ ( − 1 ) i ∗ C ⌊ n d ⌋ i

=ni=1h(d) = ∏ i = 1 n h ( d )

问题就这样解决了…

这做法 清奇啊QAQ

代码:

#include<cstdio>
#include<iostream>
using namespace std;
int T;
int n,a,b,mod,ans,tot,gt;
int h[1000010],f[1000010];
int fast_pow(int x,int a)
{
    int ans=1;
    for (;a;a>>=1,x=1ll*x*x%mod)
        if (a&1) ans=1ll*ans*x%mod;
    return ans;
}
int main()
{
    scanf("%d",&T);
    while (T--)
    {
        scanf("%d%d",&n,&mod);  
        f[0]=0;f[1]=1;h[1]=1;
        for (int i=2;i<=n;i++) h[i]=f[i]=(2ll*f[i-1]+f[i-2])%mod;
        for (int i=2;i<=n;i++)
        {
            int nw=fast_pow(h[i],mod-2);
            for (int j=i+i;j<=n;j+=i)  h[j]=1ll*h[j]*nw%mod;
        }
        int ans=0,sum=1;
        for (int i=1;i<=n;i++)
            sum=1ll*sum*h[i]%mod,ans=(1ll*ans+1ll*i*sum)%mod;
        printf("%d\n",ans);
    }
}