状压dp+矩阵——洛谷 P1357 花园

https://www.luogu.org/problem/show?pid=1357
简单来说,这一题就是一个状压dp用矩阵优化;
但是这个矩阵也是最最最基础的矩阵了(floyd矩阵);
dp的话,和第一个题解hi一样的;
f[i][s]表示第i位时的方案,s为i~i-m+1的状态
然后转移的时候我们枚举i枚举2个s

if(v[j][k])f[i][j]=(f[i][j]+f[i-1][k])%mo;

这里的v[j][k]表示状态j是否可以转移到状态k;
这个数组是一开始直接暴力预处理的;
那么我的70分的代码(无滚存)

#include<bits/stdc++.h>
#define Ll long long
using namespace std;
bool v[64][64],ok[64];
int bb[10],b[10];
Ll f[100010][64];
Ll n,m,k,w,ans,mo=1e9+7;
void check(){
    int x=0,y=0;
    for(int i=1;i<=m;i++)x=x*2+b[i];
    for(int i=2;i<=m+1;i++)y=y*2+b[i];
    for(int i=1;i<=m+1;i++)bb[i]=bb[i-1]+b[i];
    for(int i=m;i<=m+1;i++)
        if(bb[i]-bb[i-m]>k)return;
    v[x][y]=1; ok[x]=ok[y]=1;
}
void dfs(int x){
    if(x>m+1){check();return;}
    b[x]=1;dfs(x+1);
    b[x]=0;dfs(x+1);
}
void work(int x){
    memset(f,0,sizeof f);
    f[m][x]=1;
    for(int i=m+1;i<=n+m;i++)
        for(int j=0;j<=w;j++)
            for(int k=0;k<=w;k++)
                if(v[j][k])f[i][j]=(f[i][j]+f[i-1][k])%mo;
    ans=(ans+f[n+m][x])%mo;
}
int main()
{
    scanf("%lld%lld%lld",&n,&m,&k);
    w=(1<<m)-1;
    dfs(1);
    for(int i=0;i<=w;i++)if(ok[i])work(i);
    printf("%lld",ans);
}

然后矩阵快速幂直接套上去就好了;
就是把那个v[][]直接自乘n次,然后算答案;

#include<bits/stdc++.h>
#define Ll long long
using namespace std;
struct jv{
    Ll a[64][64];
    jv(){memset(a,0,sizeof a);}
}v,a;
bool ok[64];
int bb[10],b[10];
Ll n,m,k,w,ans,mo=1e9+7;
void check(){
    int x=0,y=0;
    for(int i=1;i<=m;i++)x=x*2+b[i];
    for(int i=2;i<=m+1;i++)y=y*2+b[i];
    for(int i=1;i<=m+1;i++)bb[i]=bb[i-1]+b[i];
    for(int i=m;i<=m+1;i++)
        if(bb[i]-bb[i-m]>k)return;
    v.a[x][y]=1; ok[x]=ok[y]=1;
}
void dfs(int x){
    if(x>m+1){check();return;}
    b[x]=1;dfs(x+1);
    b[x]=0;dfs(x+1);
}
jv cheng(jv a,jv b){
    jv c;
    for(int i=0;i<=w;i++)
        for(int j=0;j<=w;j++)
            for(int k=0;k<=w;k++)
                c.a[i][j]=(c.a[i][j]+a.a[i][k]*b.a[k][j])%mo;
    return c;        
}
jv ksm(jv x,Ll y){
    jv ans=x;
    for(y--;y;y>>=1,x=cheng(x,x))
        if(y&1)ans=cheng(ans,x);
    return ans;
}
int main()
{
    scanf("%lld%lld%lld",&n,&m,&k);
    w=(1<<m)-1;
    dfs(1);
    a=ksm(v,n);
    for(int i=0;i<=w;i++)if(ok[i])ans=(ans+a.a[i][i])%mo;
    printf("%lld",ans);
}
  • 1
    点赞
  • 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、付费专栏及课程。

余额充值