LeetCode32最长有效括号（DP+栈）

题目链接：Leetcode32

思路：

• 动态规划，复杂度$O(n)$
  注意状态要设计成以i位置为结尾的最长合法长度而不能只单单设计前i个字符的最长合法串，否则转移方程很难得到，状态转移时注意前不要越界，特别是第三个case

class Solution {
public:
    int longestValidParentheses(string s) {
        //状态:dp[i]表示前i个字符中以d第i-1个字符结尾的合法匹配的最大长度（1<=i<=n）
        
        vector<int> dp(s.size()+1, 0); //初始化所有都非法        
        for (int i = 2; i <= s.size(); i++) { //第一个显然没人和它匹配跳过         
            char before = s[i-2];            
            char current = s[i-1];            
            if (current == '(')     //以前括号结尾非法 dp[i]=0
                continue;
            else if (before == '(') //把合法匹配数扩大一对 
                dp[i]=dp[i-2]+2;
            else if (i-dp[i-1]>1 && s[i-dp[i-1]-2] == '(') //在前面那段合法匹配前有一个左括号和它匹配,注意i-dp[i-1]若没有东西了该位置的)肯定非法
                dp[i]=dp[i-1]+dp[i-dp[i-1]-2]+2; //注意这里要加的是前面那段合法的以及在和它匹配的那个左括号前面的那段
        }
        int ans = 0;
        for (int i = 1; i <= s.size(); i++) //更新最大值
            ans = max(ans, dp[i]);
        return ans;
    }
};

• 栈

class Solution {
public:
    int longestValidParentheses(string s) {
        //用一个栈模拟匹配的流程
        //先判断合法：
        //如果不合法肯定会有一个右括号出现时之前左括号待匹配数为0；
        //否则就是之前那个括号的位置到当前位置都合法，如果我们栈中存下标的话答案就是y-x+1
        //一种高效的做法是预先存个-1进去，当某个右括号要来匹配这个栈底的元素就说明非法，以这个下标之前的全部非法，此时这个下标就可以做为上一个非法的数压入栈中
        //发现每次合法匹配减去前一个栈顶元素恰好是整个合法长度，更新
        int ans = 0;
        stack<int> st;
        while (!st.empty()) st.pop();
        st.push(-1);
        for (int i = 0; i < s.size(); i++)
        {
            if (s[i] == '(') st.push(i);
            else {
                st.pop();
                if (st.empty()) st.push(i);
                else ans=max(ans, i-st.top());
            }
        }
        return ans;
    }
};