Newcoder 109 B.好位置(dp)

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/V5ZSQ/article/details/83118463

Description

给出两个串 s s x x

定义 s s 中的某一位 i i 为好的位置,当且仅当存在 s s 的子序列 y = s k 1 . . . s k x , 1 k 1 < . . . < k x s y=s_{k_1}...s_{k_{|x|}},1\le k_1<...<k_{|x|}\le |s| 满足 y = x y=x 且存在 j j 使得 i = k j i=k_j 成立。

s s 中是否所有的位置都是好的位置。

Input

一行两个字符串 s x s,x ,这两个串均由小写字母构成。

( 1 s , x 200000 ) (1 \le |s|, |x| \le 200000)

Output

Y e s Yes 表示是。 N o No 表示不是。

Sample Input

abab
ab

Sample Output

Yes

Solution

n = s , m = x n=|s|,m=|x| ,对于 s s 的每个位置 i i ,定义 L [ i ] , R [ i ] L[i],R[i] 分别为 s 1 . . . s i s_1...s_i s i , . . . , s n s_{i},...,s_n x x 的最长公共子序列个数,其中 L [ i ] L[i] 需要保证以 s i s_i 结尾,如此只要 L [ i ] + R [ i + 1 ] m L[i]+R[i+1]\ge m i i 位置合法,下面考虑求 L , R L,R

首先求 L L ,令 m x [ i ] = max 1 j i L [ j ] mx[i]=\max\limits_{1\le j\le i}L[j] ,若 s i = x m x [ i 1 ] + 1 s_i=x_{mx[i-1]+1} ,则显然有转移 L [ i ] = m x [ i 1 ] + 1 L[i]=mx[i-1]+1 ,否则需要在 [ 1 , m x [ i 1 ] ] [1,mx[i-1]] 中找到最大的位置 k k 使得 s i = x k s_i=x_k ,这样的话 s 1 . . . s i 1 s_1...s_{i-1} 最多可以匹配 x 1 , . . , x m x [ i 1 ] x_1,..,x_{mx[i-1]} ,而 s i s_i 可以匹配 x k x_k ,进而 s 1 . . . s i s_1...s_i 就可以匹配 x 1 . . . x k x_1...x_k ,故 L [ i ] = k L[i]=k ,直接找 k k 时间复杂度 O ( m ) O(m) ,注意到对于同样的字母 s i s_i ,其对应的 k k 是不减的,故可以通过维护 x x 中每种字符的位置,用游标法优化该转移,如此时间复杂度为 O ( n + m ) O(n+m)

而对于 R R ,只需把 s , x s,x 两个串均反转,即变成不要求 s i s_i 结尾的上一问题,按同样的方法求出 R R 后,令KaTeX parse error: Expected group after '_' at position 10: R[i]=\max_̲\limits{i\le j\…即可

Code

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<vector>
using namespace std;
const int maxn=200005;
char s[maxn],x[maxn];
vector<int>a[26];
int n,m,pre[26],dp[maxn],mx[maxn];
int main()
{
	scanf("%s%s",s+1,x+1);
	n=strlen(s+1),m=strlen(x+1);
	for(int i=0;i<26;i++)a[i].clear(),pre[i]=0;
	for(int i=1;i<=m;i++)a[x[i]-'a'].push_back(i);
	for(int i=1;i<=n;i++)
	{
		if(s[i]==x[mx[i-1]+1])dp[i]=mx[i-1]+1;
		else
		{
			int t=s[i]-'a';
			while(pre[t]<a[t].size()&&a[t][pre[t]]<=mx[i-1])pre[t]++;
			if(pre[t]==0)dp[i]=0;
			else dp[i]=a[t][--pre[t]];
		}
		mx[i]=max(mx[i-1],dp[i]);
	}
	reverse(s+1,s+n+1),reverse(x+1,x+m+1);
	for(int i=0;i<26;i++)a[i].clear(),pre[i]=0;
	for(int i=1;i<=m;i++)a[x[i]-'a'].push_back(i);
	for(int i=1;i<=n;i++)
	{
		mx[i]=mx[i-1];
		if(s[i]==x[mx[i-1]+1])mx[i]++;
		else
		{
			int t=s[i]-'a';
			while(pre[t]<a[t].size()&&a[t][pre[t]]<=mx[i-1])pre[t]++;
			if(pre[t])mx[i]==max(mx[i],a[t][--pre[t]]);
		}
	}
	reverse(mx+1,mx+n+1);
	int flag=1;
	for(int i=1;i<=n;i++)
		if(dp[i]==0||dp[i]+mx[i+1]<m)
		{
			flag=0;
			break;
		}
	printf("%s\n",flag?"Yes":"No");
	return 0;
}

猜你喜欢

转载自blog.csdn.net/V5ZSQ/article/details/83118463
109