动态规划合集（二)

先上题：

给你一个只包含 '(' 和 ')' 的字符串，找出最长有效（格式正确且连续）括号子串的长度。

 

 

首先理解题目含义，必须以（）成对的形式出现，且必须连续，也就是说满足条件的字符串中每个"("都能找到一个")"，返回满足这种条件的最长字符串长度

 

动态规划解法

 

1. 首先确定dp[i]表示字符串s中下标为i之前的子串中最长有效字符串的长度，为整型
2. 确定状态转移方程：
   1. 对于最后一个元素s[i]，若s[i]="(",则不影响取最长满足条件字符串的判断，所以dp[i-1]>=dp[i]，可以把dp[i]=0
   2. 对于s[i]=")"，则要看之前的。
      1. S[i-1]="("， 形如___()

dp[i]=dp[i−2]+2

分析：若dp[i-2] != 0，说明i-2之前且必须包含s[i-2]的部分子串可以组成有效字符串，那么再加上结尾的长度为2的有效子串即为表达式

          若dp[i-2] = 0，说明i-2之前且必须包含s[i-2]的部分子串不能构成有效子串，那么只有结尾的长度为2的子串才是有效字串

1. S[i-1]=")"，形如___))

 

• 若dp[i-1] != 0，那么i-1之前且必须包含s[i-1]的部分子串可以组成最长有效子字符串，那么这个长度为dp[i-1]有效子字符串的第一个字符s[a]就与s[i-1]形成括号对，即(i-1)-a=dp[i-1]   =>  a=i-dp[i-1]  ，此时只需要考虑与s[i]相对的s[ i-dp[i-1]-1 ]的情况。

 

• 如果s[ i-dp[i-1]-1 ] = "("，那么dp[i]=dp[i-1]+2  （即加上s[i]和s[ i-dp[i-1]-1 ）这一对括号）
• 如果s[ i-dp[i-1]-1 ] = ")"，那么没有与s[i]成对的，dp[i]=dp[i-1] 也就相当于 dp[i]=0，相当于不用对这种情况进行处理

• 若dp[i-1] = 0，这种情况很极端，说明前面要么全是"("，要么全是")"，也满足如上条件，所以无需分dp[i-1]是否为0
• 还有一种容易忽略的就是下标i-dp[i-1]-2之前状态，最终得到dp[i]=dp[i-1]+dp[ i-dp[i-1]-2 ]+2

 

综上所述，可归纳为

若s[i]="("，则dp[i]=0

 

若s[i]=")"，1.   𝑆[𝑖−1]="("：𝑑𝑝[𝑖]=𝑑𝑝[𝑖−2]+22.   𝑆[𝑖−1]=")" 且 𝑠[ 𝑖−𝑑𝑝[𝑖−1]−1 ] = "("：𝑑𝑝[𝑖]=𝑑𝑝[𝑖−1]+𝑑𝑝[ 𝑖−𝑑𝑝[𝑖−1]−2 ]+2

 

1. 确定初始值和边界

先初始化dp[i]=0。

要保证i-2>=0，i-dp[i-1]-2>0