洛谷 P1357 花园(状压DP+矩阵快速幂)

题目传送门

https://www.luogu.org/problemnew/show/P1357


思路

显然的状压DP

F[i][S]+=F[i1][S>>1]+F[i1][(S>>1)+(1<<(m1))]

转移的条件是状态皆合法,这个可以预处理。

直接递推肯定不行,我们开一个32*32的矩阵,同时有一个状态列向量,表示达到各个状态的方案数。

矩阵左乘列向量,矩阵(i,j)代表着j->i状态的转移。我们要破环为链,对应直接由初始1~m转移n次,求回到原来的状态的方案。一种暴力的方法是枚举1~m的初始状态,然后对每个状态转移n次统计答案,但这样的时间是O(32^4*log(10^15))的,不够优。

我们发现,每次枚举初始状态,相当于在初始向量的某一位填上1,我们直接将转移矩阵自乘n-1次,对角线的和就是所有的方案数。

时间复杂度O(32^3*log(10^15)),stable.


代码

#include <bits/stdc++.h>
#define MOD 1000000007

using namespace std;

typedef long long LL;
LL n, ans;
int m, K, cnt;
bool Legal[32];

struct Mat{
    LL a[32][32];
    void Clear(){
        memset(a, 0LL, sizeof(a));
    }
    friend Mat operator * (Mat A, Mat B){
        Mat C;
        C.Clear();
        for(int i = 0; i < cnt; i++)
            for(int j = 0; j < cnt; j++)
                for(int k = 0; k < cnt; k++)
                    C.a[i][j] = (C.a[i][j] + A.a[i][k] * B.a[k][j] % MOD) % MOD;
        return C;
    }
};

Mat Pow(Mat X, LL Y){
    Mat Z = X;
    while(Y){
        if(Y & 1)  Z = X * Z;
        X = X * X;
        Y >>= 1;
    }
    return Z;
}

int main(){

    scanf("%lld%d%d", &n, &m, &K);

    cnt = 1 << m;

    Mat F;
    F.Clear();

    for(int i = 0; i < cnt; i++){
        int temp = 0;
        for(int j = 0; j < m; j++)  if((1<<j) & i)  temp ++;
        if(temp <= K)  Legal[i] = true;
    }

    for(int i = 0; i < cnt; i++){
        if(Legal[i] && Legal[i>>1])  F.a[i][i>>1] = 1;
        if(Legal[i] && Legal[(i>>1)+(1<<(m-1))])  F.a[i][(i>>1)+(1<<(m-1))] = 1;
    }

    F = Pow(F, n-1);

    for(int i = 0; i < cnt; i++)
        ans = (ans + F.a[i][i]) % MOD;

    printf("%lld\n", ans);

    return 0;
} 

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
矩阵计数是一道经典的组合数学问题,可以用状压DP来解决。以下是一份Python代码的参考实现。 首先,我们需要输入矩阵的行数和列数,以及每行和每列的限制数。然后,我们可以使用二进制数来表示每行和每列的状态,其中1表示该行或该列已经有了一个矩阵,0表示该行或该列还可以放置一个矩阵。 接下来,我们可以使用状压DP来计算矩阵的数量。我们可以定义一个三维数组dp,其中dp[i][j][s]表示在第i行,第j列,状态为s时的矩阵数量。可以通过枚举上一个状态s',来更新dp[i][j][s]。具体来说,如果s'与s在第i行和第j列上的状态都是0,则可以从dp[i][j-1][s']或dp[i-1][j][s']转移而来。如果s'与s在第i行或第j列上的状态不同,则不能转移。最后,dp[m][n][0]就是最终的答案。 下面是完整的代码实现: ```python n, m, k1, k2 = map(int, input().split()) # 行状态用二进制数表示 row_mask = [0] * n for i in range(n): row_mask[i] = int(''.join(input().split()), 2) # 列状态用二进制数表示 col_mask = [0] * m for j in range(m): col_mask[j] = int(''.join(input().split()), 2) # 初始化dp数组 dp = [[[0 for _ in range(1 << m)] for _ in range(m + 1)] for _ in range(n + 1)] dp[0][0][0] = 1 # 状压DP for i in range(1, n + 1): for j in range(m + 1): for s in range(1 << m): for sp in range(1 << m): # 如果s'与s在第i行和第j列上的状态都是0,则可以从dp[i][j-1][s']或dp[i-1][j][s']转移而来 if (sp & s) == 0 and (row_mask[i - 1] & sp) == 0 and (col_mask[j - 1] & sp) == 0: if j == 0: dp[i][1][sp] += dp[i - 1][m][s] else: dp[i][j + 1][sp] += dp[i][j][s] + dp[i - 1][j][s] # 如果s'与s在第i行或第j列上的状态不同,则不能转移 else: continue # 计算答案 ans = 0 for s in range(1 << m): if bin(s).count('1') == k2: ans += dp[n][m][s] print(ans % 998244353) ``` 其中,我们使用了Python内置的bin函数来将一个整数转换为二进制字符串,并使用count方法来计算其中1的个数。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值