acwing4002——数学性质+dp
Posted hans774882968
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了acwing4002——数学性质+dp相关的知识,希望对你有一定的参考价值。
首先可以猜测复杂度n^2*m
以及猜测做法是dp,但这并没有卵用。
最直观的想法自然是dp[i][v1][v2]
,这一次同时决策出a[i]=v1
,b[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
个元素的值v1
和v2
,使用乘法原理来求贡献。
妙啊!
代码
#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的主要内容,如果未能解决你的问题,请参考以下文章