acwing4002——数学性质+dp

Posted hans774882968

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了acwing4002——数学性质+dp相关的知识,希望对你有一定的参考价值。

传送门

首先可以猜测复杂度n^2*m以及猜测做法是dp,但这并没有卵用。

最直观的想法自然是dp[i][v1][v2],这一次同时决策出a[i]=v1b[i]=v2。但直接转移复杂度是n^4*m,因为我们拿这个看上去像卷积形式的转移方程没啥办法。如果把第3维用前缀和优化一下,复杂度是n^3*m,仍然没法过。

所以我们需要先分析一下性质。a数组单增,b数组单减,a[i] <= b[i],于是有a[j] <= a[i] <= b[i] <= b[j]1 <= j <= i。所以在a数组单增和b数组单减都满足的前提下,我们只需要保证a[i] <= b[i],前面的下标都不用管。于是我们可以先单独求出合题意的a数组和b数组的数目,再进行合成。

定义dp[0/1][i][j]为:0、1表示a、b数组,i个数且末尾值为j的数目。dp[0]dp[1]分开处理即可。

最后求ans,只需要枚举第m个元素的值v1v2,使用乘法原理来求贡献。
妙啊!

代码

#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
#define rep(i,a,b) for(int i = (a);i <= (b);++i)
#define re_(i,a,b) for(int i = (a);i < (b);++i)
#define dwn(i,a,b) for(int i = (a);i >= (b);--i)

const int N = 1e3 + 5,mod = 1e9 + 7;

int n,m,dp[2][13][N];

void dbg(){puts("");}
template<typename T, typename... R>void dbg(const T &f, const R &... r) {
    cout << f << " ";
    dbg(r...);
}
template<typename Type>inline void read(Type &xx){
    Type f = 1;char ch;xx = 0;
    for(ch = getchar();ch < '0' || ch > '9';ch = getchar()) if(ch == '-') f = -1;
    for(;ch >= '0' && ch <= '9';ch = getchar()) xx = xx * 10 + ch - '0';
    xx *= f;
}

int main(int argc, char** argv) {
    read(n);read(m);
    rep(u,0,1) rep(j,1,n) dp[u][1][j] = 1;
    rep(i,2,m){
        rep(j,1,n){
            rep(k,0,j){
                (dp[0][i][j] += dp[0][i-1][k]) %= mod;
            }
            dwn(k,n,j){
                (dp[1][i][j] += dp[1][i-1][k]) %= mod;
            }
        }
    }
    int ans = 0;
    rep(v1,1,n) rep(v2,v1,n){
        (ans += 1LL * dp[0][m][v1] * dp[1][m][v2] % mod) %= mod;
    }
    printf("%d\\n",ans);
    return 0;
}

以上是关于acwing4002——数学性质+dp的主要内容,如果未能解决你的问题,请参考以下文章

CSUST 4002-你真的会字符串吗?(DP)

luogu3263/bzoj4002 有意义的字符串 (数学+矩阵快速幂)

动态规划数学期望/概率DP/期望DP详解

数学期望dp

《算法竞赛进阶指南》0x51线性DP 照相馆排列

AcWing 844. 走迷宫(BFS or DP)