LOj #2002. 「SDOI2017」序列計數 (容斥+dp+矩陣快速冪)

題目鏈接:
LOj 2002

題意:
要求得到一個長度爲 n 的序列,序列中的數都是不超過 m 的正整數,而且這 n 個數的和是 p 的倍數。這n 個數中,至少有一個數是質數。問你有多少個序列滿足要求。

題解:
根據容斥原理,因爲題目要求至少有一個數是素數,用所有方案減去不含質數的方案就是答案。
dp[i][j] 表示序列前 i 個數模 p 的餘數爲 j 時的方案數。dp[i][j]=dp[i1][(jk)modp]
如果不考慮包含質數的情況,因爲p 很小,我們不妨構建pp 的矩陣,然後對於(i,j) 填有多少個數x 使得(i+x)%p=j ,最後矩陣快速冪一下就行了。對於不含質數的情況,我們也同樣構建這樣一個矩陣,然後矩陣快速冪一下就可以了。

AC代碼:

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int mod = 20170408;
const int sz = 110;
int n,m,p;
struct matrix
{
    int ma[sz][sz];
    matrix friend operator *(const matrix a,const matrix b)
    {
        matrix ret;
        memset(ret.ma,0,sizeof(ret.ma));
        for(int i=0;i<p;i++){
            for(int j=0;j<p;j++)
            {
                for(int k=0;k<p;k++)
                {
                    ret.ma[i][j] = (ret.ma[i][j] + 1LL * a.ma[i][k] * b.ma[k][j]%mod)%mod;
                }
            }
        }
        return ret;
    }
}A,ans;


matrix multipow(matrix x, int k)
{
    memset(ans.ma,0,sizeof(ans.ma));
    for(int i=0;i<p;i++){
        ans.ma[i][i] = 1;
    }
    while(k)
    {
        if(k&1)ans=ans*x;
        k>>=1;
        x=x*x;
    } 
    return ans;
}

bool isprime[20000010];
int prime[2000010];

void sieve()
{
    isprime[0] = true; isprime[1] = true;
    for(int i=2,cnt=0;i<=m;i++){
        if(isprime[i]==false) prime[++cnt] = i;
        for(int j=1;j<=cnt&&i*prime[j]<=m;j++)
        {
            isprime[i*prime[j]] = true;
            if(i%prime[j]==0)break;
        }
    }
}

int dp[110];

int solve1()
{
    for (int i=1;i<=m;i++)  
    {
        dp[i%p]++;
    }
    for (int j=1;j<=m;j++)
    {   
        A.ma[(-j%p+p)%p][0]++;
    }
    for (int i=1;i<p;i++)
    {
        for (int j=0;j<p;j++)
        {
            A.ma[j][i] = A.ma[(j-1+p)%p][i-1];
        }         
    }
//  for(int i=1;i<=m;i++)
//  {
    //  for(int j=1;j<=m;j++){
    //      printf("%d ",A.ma[i][j]);
    //  }
    //  cout<<endl;
//  }
    A=multipow(A,n-1);
    int ans=0;
    for (int i=0;i<p;i++) 
    {
        ans = (ans + 1LL * dp[i] * A.ma[i][0] % mod ) % mod;
    }
    //cout<<"ans1="<<ans<<endl;
    return ans;
}

int solve2()
{
    memset(dp,0,sizeof(dp));
    for (int i=1;i<=m;i++)
    {
        if (isprime[i]) 
        {
            dp[i%p]++;
        }
    }

    memset(A.ma,0,sizeof(A.ma));

    for (int j=1;j<=m;j++)
    {
        if (isprime[j]) 
        {
            A.ma[(-j%p+p)%p][0]++;
        }
    }

    for (int i=1;i<p;i++)
    {
        for (int j=0;j<p;j++)
        {
            A.ma[j][i] = A.ma[(j-1+p)%p][i-1];
        }           
    }
    //for(int i=1;i<=m;i++)
//  {
    //  for(int j=1;j<=m;j++){
    //      printf("%d ",A.ma[i][j]);
    //  }
    //  cout<<endl;
//  }       
    A=multipow(A,n-1);
    int ans=0;
    for (int i=0;i<p;i++) 
    {
        ans = (ans + 1LL * dp[i] * A.ma[i][0] % mod ) % mod;
    }
   // cout<<"ans2="<<ans<<endl;
    return ans;
}
/*
59 74 92
12897479
*/
int main()
{
    //freopen("in.txt","r",stdin);
    scanf("%d%d%d",&n,&m,&p);
    sieve();
    int x=solve1();
    int y=solve2();
    printf("%d\n",(x-y+mod)%mod);
    return 0; 
 } 
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章