https://ac.nowcoder.com/acm/problem/21303
定义dp[i][j][k],dp是bool类型即可,表示序列s在前i个并且删除掉k个左括号 ‘(’ 的情况下,可以与序列t的前j个匹配,如果删除了一个括号对,那么k就要相应的减一,所以最终判断的条件就是dp[len1][len2][0]是否为0,就是表示在恰好删除若干括号对的情况下相匹配。
一共只有四种情况
if(s[i+1]=='('&&t[i+1]=='(')
dp[i+1][j+1][k]=1;
dp[i+1][j][k+1]=1;
if(s[i]==')'&&t[i+1]==')')
dp[i+1][j+1][k]=1;
dp[i+1][j][k-1]=1;
if(s[i]=='('&&t[i+1]==')')
dp[i+1][j][k+1]=1;
if(s[i]==')'&&t[i+1]=='(')
dp[i+1][j][k-1]=1;
综合一下就是如果后一个字符相等且k=0,那么dp[i+1][j+1][0]=true,然后如果s的后一个字符是左括号,那么dp[i+1][j][k+1]=true,如果都不满足,并且k!=0,那么dp[i+1][j][k-1]=true.
#include<iostream>
#include<string>
#include<math.h>
#define LL long long
#define N 10000005
using namespace std;
int a[N];
int main() {
string s, t;
cin >> s >> t;
int len1 = s.length();
int len2 = t.length();
bool dp[105][105][105];
memset(dp, 0, sizeof(dp));
dp[0][0][0] = 1;
for(int i=0;i<len1;i++)
for(int j=0;j<len2;j++)
for (int k = 0; k < len1 / 2; k++) {
if (dp[i][j][k]) {
if (k == 0 && s[i+1] == t[j+1]) {
dp[i + 1][j + 1][0] = 1;
}
if (s[i + 1] == '(') {
dp[i + 1][j][k + 1] = 1;
}
else if (k) {
dp[i + 1][j][k - 1] = 1;
}
}
}
if (dp[len1][len2][0] == 1)
cout << "Possible" << endl;
else
cout << "Impossible" << endl;
return 0;
}