【BZOJ4870】组合数问题(六省联考2017)-矩阵优化DP

测试地址:组合数问题
做法:这题在THUSC2017试机时看到了,当时觉得非常有趣,于是就找到了原题来做,感觉实在是妙啊……
这一题应该使用矩阵优化DP来解决。
第一眼看上去这题感觉非常难做,推式子又感觉推不出,但其实我们观察一下这个式子,发现它的意义可以表达成: nk n k 个物品里取出的物品数量对 k k 取模结果为r的方案数。将这个式子设为 f(nk,r) f ( n k , r ) ,可以得到状态转移方程: f(i,j)=f(i1,(j1)modk)+f(i1,j) f ( i , j ) = f ( i − 1 , ( j − 1 ) mod k ) + f ( i − 1 , j ) 。我们可以把 f(i,0),f(i,1),...,f(i,k1) f ( i , 0 ) , f ( i , 1 ) , . . . , f ( i , k − 1 ) 从上到下排列成一个列向量 Fi F i ,发现很容易可以构造出一个转移矩阵 A A 使得Fi=AFi1,所以 Fnk=AnkF0 F n k = A n k F 0 F0 F 0 就是一个第一行为1,其余行为0的列向量。那么我们就可以用矩阵快速幂来加速DP了,总复杂度为 O(k3logn) O ( k 3 log ⁡ n ) ,不过据说还有更好的方法能达到 O(k2logn) O ( k 2 log ⁡ n ) ,甚至 O(klogklogn) O ( k log ⁡ k log ⁡ n ) ,不过这不在这篇文章的讨论范围内了(其实是还没学23333)。要注意 k=1 k = 1 的特殊情况,在这种情况下,矩阵乘法时要将元素再加一次,因为这个WA了挺久。
以下是本人代码:

#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <iostream>
#include <algorithm>
#define ll long long
using namespace std;
ll n,r,k,p;
struct matrix {ll a[50][50];} M[50],A;

matrix mult(matrix A,matrix B)
{
  matrix S;
  memset(S.a,0,sizeof(S.a));
  for(int i=0;i<k;i++)
    for(int j=0;j<k;j++)
      for(int l=0;l<k;l++)
        S.a[i][j]=(S.a[i][j]+A.a[i][l]*B.a[l][j])%p;
  if (k==1) S.a[0][0]=(S.a[0][0]+A.a[0][0]*B.a[0][0])%p;
  return S;
}

matrix power(ll x)
{
  matrix S;
  memset(S.a,0,sizeof(S.a));
  for(int i=0;i<k;i++) S.a[i][i]=1;
  int j=0;
  while(x)
  {
    if (x&1) S=mult(S,M[j]);
    x>>=1;j++;
  }
  return S;
}

int main()
{
  scanf("%lld%lld%lld%lld",&n,&p,&k,&r);
  memset(M[0].a,0,sizeof(M[0].a));
  for(int i=0;i<k;i++)
  {
    M[0].a[i][(i-1+k)%k]=1;
    M[0].a[i][i]=1;
  }

  for(int i=1;i<=45;i++) M[i]=mult(M[i-1],M[i-1]);
  A=power(n*k);
  printf("%lld",A.a[r][0]);

  return 0;
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值