区间DP-括号匹配问题

区间DP问题

区间DP主要是通过左边界和右边界来确定状态转移方程，在极大值或极小值问题中，通过区间短对区间长的推导或者区间长对区间短的推导，就可以找出区间长的极值化问题。
这次学习的过程中主要是有前缀和思想，就是用一个一位数组来存放从[0,i]这个区间的值的和，若要知道一段区间的值的和，只需要将[0,i]的前缀和减去[0,j]的前缀和即可。
区间dp的一般框架为

for len 1 to maxsize
for i 0 to maxsize-len
j=len+i
…
…
(状态转移方程 判断条件)
…

for k i to j // 将区间[i,k]和区间[k+1,j]合并
dp[i][j] =min{ dp[i][j],(状态转移方程) }
ans = dp[开始位置][结束为止]

例题：
括号序列由()、{}、[]构成，例如“(([{}]))()”是合法的，而“(}{)”“(}(}”“({)}”都是不合法的。如果一个序列不合法，编写一个程序求添加最少括号数，使得这个序列合法。如：“(}(}”最少需要添加4个括号变成合法的，即“(){}(){}”。

状态转移方程：
dp[i][j]=min(dp[i][j],dp[i+1][j]+1) //左边界减小
dp[i][j]=min(dp[i][j],dp[i][j-1]+1) //右边界增大
dp[i][i]=1 // 一个无法匹配

#include<iostream>
#include<queue>
#include<string>
#include<sstream>
#include<vector>
#include<cmath>
#include<algorithm>
#include<string.h>
using namespace std;

int dp[10001][10001];
string s;

int main() {
	cin >> s;
	for (int i = 0; i < s.length(); ++i)							
		dp[i][i] = 1;
	for (int len = 1; len < s.size(); len++) {
		for (int i = 0; i < s.size()-len; i++) {
			int j = len + i;
			dp[i][j] = INFINITY;
			if ((s[i] == '['&&s[j] == ']') || (s[i] == '{'&&s[j] == '}') || (s[i] == '('&&s[j] == ')'))
				dp[i][j] = min(dp[i][j], dp[i + 1][j - 1]);
			else if ((s[i] == '[') || s[i] == '{' || s[i] == '(')
				dp[i][j] = min(dp[i][j], dp[i + 1][j] + 1);
			else if ((s[j] == ']') || (s[j] == '}') || (s[j] == ')'))
				dp[i][j] = min(dp[i][j], dp[i][j - 1]);
			for (int k = i; k < j; k++) {
				dp[i][j] = min(dp[i][j], dp[i][k] + dp[k + 1][j]+1);
			}
		}
	}
	cout << dp[0][s.size() - 1];
	return 0;
}