方法一:暴力法

思路

我们可以生成所有 '('')' 字符构成的序列。然后,我们将检查每一个是否有效。

算法

为了生成所有序列,我们使用递归。长度为 n 的序列就是 '(' 加上所有长度为 n-1 的序列,以及 ')' 加上所有长度为 n-1 的序列。

为了检查序列是否为有效的,我们会跟踪平衡,也就是左括号的数量减去右括号的数量的净值。如果这个值始终小于零或者不以零结束,该序列就是无效的,否则它是有效的。

复杂度分析

  • 时间复杂度:,对于 个序列中的每一个,我们用于建立和验证该序列的复杂度为

  • 空间复杂度:,简单地,每个序列都视作是有效的。请参见方法三以获得更严格的渐近界限。


方法二:回溯法

思路和算法

只有在我们知道序列仍然保持有效时才添加 '(' or ')',而不是像方法一那样每次添加。我们可以通过跟踪到目前为止放置的左括号和右括号的数目来做到这一点,

如果我们还剩一个位置,我们可以开始放一个左括号。 如果它不超过左括号的数量,我们可以放一个右括号。

复杂度分析

我们的复杂度分析依赖于理解 generateParenthesis(n) 中有多少个元素。这个分析超出了本文的范畴,但事实证明这是第 n 个卡塔兰数 ,这是由 渐近界定的。

  • 时间复杂度:,在回溯过程中,每个有效序列最多需要 n 步。

  • 空间复杂度:,如上所述,并使用 的空间来存储序列。


方法三:闭合数

思路

为了枚举某些内容,我们通常希望将其表示为更容易计算的不相交子集的总和。

考虑有效括号序列 S闭包数:至少存在index> = 0,使得 S[0], S[1], ..., S[2*index+1]是有效的。 显然,每个括号序列都有一个唯一的闭包号。 我们可以尝试单独列举它们。

算法

对于每个闭合数 c,我们知道起始和结束括号必定位于索引 02*c + 1。然后两者间的 2*c 个元素一定是有效序列,其余元素一定是有效序列。

复杂度分析

  • 时间和空间复杂度:,该分析与方法二类似。