牛客_21303删括号_动态规划

21303删括号

对我来说这题是真的难以理解，下面展示了完整的思考过程，虽然最后依然有点儿晕。。

题目描述

给你一个合法的括号序列s1，每次你可以删除一个"()"
你可以删除0个或者多个"()"
求能否删成另一个括号序列s2
输入描述:
第一行输入一个字符串s (2 ≤ |s| ≤ 100)
第二行输入一个字符串t (2 ≤ |t| ≤ 100 )
输出描述:
如果可以输出"Possible"
否则输出"Impossible"

示例1
输入
(())
()
输出
Possible

示例2
输入
()
()
输出
Possible

示例3
输入
(()()())
((()))
输出
Impossible

示例4
输入
((())((())())())
(()(())())
输出
Possible

示例5
输入
((())((())())())
((()()()()()))
输出
Impossible

备注:
子任务1: |s| <= 10
子任务2: |s| <= 20
子任务3: 无限制

题意简析

首先是题意理解：
题目所说的可删的括号必须相邻且"可动态",即((()()))在删()()后,可继续删(),再删().
题目说序列s1合法，即"(“与”)"数目一定相同，且可配对

读题完毕，然后发现不会做，看了诸多题解，来，先贴上一篇整合代码

#include<bits/stdc++.h>
using namespace std;

int main()
{
    string s,t;
    cin>>s>>t;
    int len1=s.length();
    int len2=t.length();
    bool dp[150][10][55];
    memset(dp,0,sizeof(dp));
    dp[0][0][0]=true; 
	//dp[i][j][k]表示考虑s前i个匹配了t前j个,s被删除部分左括号数-右括号数=k是否可行(bool类型)
    for(int q=0;q<len1;q++)
	{
        for(int w=0;w<len2;w++)
		{
            for(int e=0;e<len1/2;e++)
			{
                if(dp[q][w][e])
				{
                    if(e==0&&s[q+1]==t[w+1]) 
						dp[q+1][w+1][0]=true;
                    if(s[q+1]=='(') 
						dp[q+1][w][e+1]=true;
                    else if(e) 
						dp[q+1][w][e-1]=true;
                }
            }
        }
    }
    if(dp[len1][len2][0]) 
		cout<<"Possible"<<endl;
    else    
		cout<<"Impossible"<<endl;
    return 0;
}

代码原理

下面是我强行依据代码胡思乱想5个小时的成果。。。

设两序列为s,t，长度分别为len1,len2，用dp[q][w][e]表示考虑s前q个匹配了t前w个,s被删除部分左括号数-右括号数=e是否可行(bool类型)，从前向后遍历，因为必然是删除的左括号更多，所以不存在e<0的情况。那么可考虑两种情况，即到目前为止：
①删除的左括号数目比右括号多
②删除的左括号数目与右括号数目相同
两种情况下面又有四种情况：

所以一共8种情况，下面对八种情况进行分析，归纳可得，最终有三种不同情形：

//如果当前删除左右括号数目相同，下面s与t序列又是同左同右，则差值e仍然保持为0
if(e==0&&s[q+1]==t[w+1]) 
	dp[q+1][w+1][0]=true;
//若s下一位是左括号，t依然保留在上一位，则差值e增加一个
if(s[q+1]=='(') 
	dp[q+1][w][e+1]=true;
//如果当前删除左括号数目大于右括号数目，下面s出现右括号，会将差值e抵消一个
else if(e) 
	dp[q+1][w][e-1]=true;

举例说明

思考后感觉还是不太理解。。举个栗子看看一步步是怎么实现的
设输入的两个序列为
（（）（）（））
（（（）））
过程模拟如下：

总结

本题简单来说就是:
左右匹配则成功，否则左括号出现增强差距，右括号出现抵消差距
最后答案就是dp[len1][len2][0]是否可行

这道题是真的晕。。欢迎大佬来评论区讲解，哈哈哈