【题解】AT_dp_t Permutation & UVA1650 数字串 Number String & AT_abc209_f [ABC209F] Deforestation

AT_dp_t Permutation

link

题意

有一个长为 $N$ 的正整数排列。给定一个由 < 和 > 组成长为 $N-1$ 的的字符串。
对于任意满足 $1\le i\le N-1$ 的字符 $s_i$，如果 $s_i$ 是 < 则 $P_i<P_{i+1}$、如果 $s_i$ 是 > 则 $P_i>P_{i+1}$。求满足这样的性质的排列 $P$ 的方案数。

性质

我们发现，对于一个固定的 $s$，比如 $|s|=6$，于是我们可以发现：

$P_i$ 只能是 $[1,2,3,4,5,6]$ 和 $P_i$ 只能是 $[7,8,1,2,3,6]$ 它们算出来的答案是相等的。

证明显然，因为我们只需要考虑大小关系。

dp

考虑要填第 $i$ 个数，直接暴力枚举它是啥。

令 $f[i][j]$ 表示 前 $i$ 个数中最后一个数是 第 $j$ 小 的方案数。

为什么是第 $j$ 小？

根据性质可证，因为我们只考虑大小关系。

显然可得转移方程：

若 $P_{i-1}<P_i$：
则：$f[i][j]={\sum }_{k=1}^{j-1}f[i-1][k]$
否则：$f[i][j]={\sum }_{k=j+1}^{i}f[i-1][k]$

然后你就发现样例都过不了。

重新审视转移方程。

我们发现：

若 $P_{i-1}<P_i$：那 $P[i-1]$ 只能取比 $P[i]$ 小的，共 $j-1$ 个。
但是反过来，你却发现一共有 $i-j+1$ 个。

so:

$$f[i][j]=\{\begin{array}{ll}{p}_{i-1}<p_i& {\sum }_{k=1}^{j-1}f[i-1][j]\\ p_{i-1}>p_i& {\sum }_{k=j}^{i}f[i-1][j]\end{array}$$

前后缀和优化即可。

UVA1650 数字串 Number String

我们发现如果关系不确定那直接两种合并一起即可。

$f[i][j]$ 定义一样：

$$f[i][j]=\{\begin{array}{ll}{p}_{i-1}<p_i& {\sum }_{k=1}^{j-1}f[i-1][j]\\ p_{i-1}>p_i& {\sum }_{k=j}^{i}f[i-1][j]\\ p_{i-1}\ne p_i& {\sum }_{k=1}^{j-1}f[i-1][j]+{\sum }_{k=j}^{i}f[i-1][j]\end{array}$$

注意多测。

AT_abc209_f [ABC209F] Deforestation

link

$n$ 个数：$a_1,a_2,...,a_n$。
每次可以选择一个 $i$，选择的代价是 $a_{i-1}+a_i+a_{i+1}$，然后令 $a_i=0$。
求有多少种方案，使得 $a_1,a_2,...,a_n$ 都变为 $0$ 的总代价最小。特别的，$a_0=a_{n+1}=0$。

考虑 $i$ 和 $i+1$ 两个数，什么时候先选 $i$：

先$i$：$w_1=a[i-1]+a[i]+a[i+1]+a[i+1]+a[i+2]$

先$i+1$：$w_2=a[i]+a[i+1]+a[i+2]+a[i-1]+a[i]$

$w_1<w_2\to a[i+1]<a[i]$

so?

我们不需要考虑具体顺序，只需要先后，那就跟第一题一样了。

注意如果两数相等，那就没有先后关系，和第二题一样。

代码

T1

#include<bits/stdc++.h>
using ll = long long;
using ull = unsigned long long;
const int N=3e3+1,mod=1e9+7;
ll f[N][N],lf[N][N],rf[N][N];
void solve(){
	int n;
	std::string s;
	std::cin>>n>>s;
	s="  "+s;
	f[1][1]=lf[1][1]=rf[1][1]=1;
	for(int i=2;i<=n;i++){
		if(s[i]=='<'){
			for(int j=1;j<=i;j++)
				f[i][j]=lf[i-1][j-1];
		}
		else{
			for(int j=1;j<=i;j++)
				f[i][j]=rf[i-1][j];
		}
		for(int j=1;j<=i;j++)
			lf[i][j]=lf[i][j-1]+f[i][j],lf[i][j]%=mod;
		for(int j=i;j>=1;j--)
			rf[i][j]=rf[i][j+1]+f[i][j],rf[i][j]%=mod;
	}
	ll ans=0;
	for(int i=1;i<=n;i++){
		ans=(ans+f[n][i])%mod;
	//	std::cout<<f[n][i]<<"\n";
	}
	std::cout<<ans<<"\n";
}
int main(){
	std::ios::sync_with_stdio(false),std::cin.tie(NULL),std::cout.tie(NULL);
	int t=1;
//	std::cin>>t;
	while(t--)
		solve();
	return 0;
}

T2

void solve(){
	int n;
	std::string s;
	while(std::cin>>s){
		n=s.size()+1;
		s="  "+s;
		f[1][1]=lf[1][1]=rf[1][1]=1;
		for(int i=2;i<=n;i++){
			if(s[i]=='I'){
				for(int j=1;j<=i;j++)
					f[i][j]=lf[i-1][j-1];
			}
			else if(s[i]=='D'){
				for(int j=1;j<=i;j++)
					f[i][j]=rf[i-1][j];
			}
			else{
				for(int j=1;j<=i;j++)
				f[i][j]=(lf[i-1][j-1]+rf[i-1][j])%mod;
			}
			for(int j=1;j<=i;j++)
				lf[i][j]=lf[i][j-1]+f[i][j],lf[i][j]%=mod;
			for(int j=i;j>=1;j--)
				rf[i][j]=rf[i][j+1]+f[i][j],rf[i][j]%=mod;
		}
		ll ans=0;
		for(int i=1;i<=n;i++){
			ans=(ans+f[n][i])%mod;
		//	std::cout<<f[n][i]<<"\n";
		}
		std::cout<<ans<<"\n";
	}
}

T3

void solve(){
	int n;
	memset(f,-0x3f3f3f3f,sizeof f);
	std::string s=" ";
	std::cin>>n;
	for(int i=1;i<=n;i++)
		std::cin>>a[i],s+=" ";
	for(int i=1;i<n;i++){
		if(a[i]<a[i+1])
			s[i]='<';
		else if(a[i]>a[i+1])
			s[i]='>';
		else
			s[i]='=';
	}
	s=" "+s;
	f[1][1]=lf[1][1]=rf[1][1]=1;
	for(int i=2;i<=n;i++){
		if(s[i]=='<'){
			for(int j=1;j<=i;j++)
				f[i][j]=lf[i-1][j-1];
		}
		else if(s[i]=='>'){
			for(int j=1;j<=i;j++)
				f[i][j]=rf[i-1][j];
		}
		else{
			for(int j=1;j<=i;j++)
				f[i][j]=(lf[i-1][j-1]+rf[i-1][j])%mod;
		}
		for(int j=1;j<=i;j++)
			lf[i][j]=lf[i][j-1]+f[i][j],lf[i][j]%=mod;
		for(int j=i;j>=1;j--)
			rf[i][j]=rf[i][j+1]+f[i][j],rf[i][j]%=mod;
	}
	ll ans=0;
	for(int i=1;i<=n;i++){
		ans=(ans+f[n][i])%mod;
		//	std::cout<<f[n][i]<<"\n";
	}
	std::cout<<ans<<"\n";
}