[BZOJ4818][Sdoi2017][容斥原理][矩阵优化DP]序列计数

22 篇文章 1 订阅
1 篇文章 0 订阅

考虑容斥原理
Ans=fpfp
可以DP, f(i,j) 表示转移到第i位,前i位和模P等于j的方案数

那么显然 f(i,j)=f(i1,k)cnt(jk+p)modp 其中 cnti 表示1~m中模P为i的个数(计算第二个个数的时候要出去质数)。直接转移当然不行,进一步可以发现这个DP可以用矩阵乘法来优化,就用一般套路就行。

#include <cstdio>
#include <iostream>
#include <algorithm>
#include <cstring>
#include <string>
#define N 110
#define P 20170408
#define M 20000010

using namespace std;

int n,m,p;
char vis[M];
int prime[1280000];
int cnt[N];

inline void Add(int &x,int y){
  if((x+=y)>=P) x-=P;
}

struct Mat{
  int a[N][N];
  Mat(){ for(int i=0;i<p;i++)for(int j=0;j<p;j++)a[i][j]=0; }
  int *operator [](int x){ return a[x]; }
  friend Mat operator *(Mat A,Mat B){
    Mat C;
    for(int i=0;i<p;i++)
      for(int j=0;j<p;j++)
    for(int k=0;k<p;k++)
      Add(C[i][j],1ll*A[i][k]*B[k][j]%P);
    return C;
  }
}f1,f2,g;

inline Mat Pow(Mat A,int c){
  Mat ret;
  for(int i=0;i<p;i++) ret[i][i]=1;
  for(;c;c>>=1,A=A*A) if(c&1) ret=ret*A;
  return ret;
}

int main(){
  freopen("1.in","r",stdin);
  freopen("1.out","w",stdout);
  scanf("%d%d%d",&n,&m,&p);
  for(int i=1;i<=m;i++) cnt[i%p]++;
  for(int i=0;i<p;i++)
    for(int j=0;j<p;j++)
      g[i][j]=cnt[(i-j+p)%p];
  f1[0][0]=f2[0][0]=1;
  f1=f1*Pow(g,n);
  vis[1]=1;
  for(int i=2;i<=m;i++){
    if(!vis[i]) prime[++*prime]=i;
    for(int j=1;j<=*prime&&1ll*prime[j]*i<=m;j++)
      if(vis[prime[j]*i]=1,i%prime[j]==0) break;
  }
  memset(cnt,0,sizeof(cnt));
  for(int i=1;i<=m;i++)
    if(vis[i]) cnt[i%p]++;
  for(int i=0;i<p;i++)
    for(int j=0;j<p;j++)
      g[i][j]=cnt[(i-j+p)%p];
  f2=f2*Pow(g,n);
  printf("%d\n",(f1[0][0]-f2[0][0]+P)%P);
  //printf("%d\n",clock());
  return 0;
}
  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值