dp[i]代表i为右括号时,向前匹配的最大数目。它由前面一个状态推广而来,dp[i-1]代表了i-1为结尾的括号序列,如果这个序列之外第一个左边的括号和s[i]匹配,那么dp[i]就可以写成
dp[i]=dp[i-1]+2+dp[i-dp[i-1]-2]; +2是因为dp[i-1]的首位两端新匹配,+dp[i-dp[i-1]-2]是因为左边还可能有匹配好的。
解释这样做的可行性,首先,为什么是从dp[i-1]推过来,而不是dp[i-2] dp[i-3]...?
从i开始看,i兼容i-1,i-1兼容i-2,i-2兼容i-3,一直到最初初始状态,所以i-1其实已经将i-2,i-3..状态都已经考虑在内
,比如 2会考虑1 ,3会考虑2,3之所以不再考虑1,是因为2已经把1考虑在内,如果2收纳1失败,那么3如果收纳1会导致2的无法匹配,2收纳1成功,那么也就无需再考虑1,接下来,4考虑3,4之所以不会考虑2,是因为3如果把2包含的子段接受,那么直接询问3就行了,如果没能接受,那么即使4考虑2,也会导致3的不匹配。
其次,为什么还要加上+dp[i-dp[i-1]-2]?为什么只需要加上+dp[i-dp[i-1]-2]?
也就是说,i-1包含的序列首尾两段扩展成功后,为什么需要且只需要考虑dp[i-dp[i-1]-2]的匹配呢?
考虑,是因为前面还可能有已经匹配好的,只需考虑这一个是因为,如果更靠前一个集合也能加入,那么它必定会被dp[i-dp[i-1]-2]收纳,否则就不会
比如()()红色完成匹配时,会自动收纳前两个,此时收纳成功
()()() 轮到绿色时,只需收纳红色即可,
黑色匹配失败时 ((() 红色不会收纳
((()() 绿色也只需要收纳红色
随着不断后移,不出现断层的情况下,会一直收纳,只要是出现不匹配,就不能继续往前收纳
#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<string>
#include<algorithm>
#include<cmath>
using namespace std;
int dp[1000000+10];
string s;
int main()
{
cin>>s;
s=" "+s;
int ans=0;
for(int i=2;i<=s.length()-1;i++)
{
if(s[i]=='('||s[i]=='[')
continue;
else
{
if((s[i]==']'&&s[i-dp[i-1]-1]=='[')||(s[i]==')'&&s[i-dp[i-1]-1]=='('))
{
dp[i]=dp[i-1]+2+dp[i-dp[i-1]-2];
}
if(dp[i]>ans)
ans=dp[i];
}
}
for(int i=1;i<=s.length()-1;i++)
{
if(dp[i]==ans)
{
for(int j=i-ans+1;j<=i;j++)
{
cout<<s[j];
}
return 0;
}
}
return 0;
}