题目
给出n
代表生成括号的对数,请你写出一个函数,使其能够生成所有可能的并且有效的括号组合。
例如,给出n = 3
,生成结果为:
[
"((()))",
"(()())",
"(())()",
"()(())",
"()()()"
]
PS:本题源自[leetcode 22]
理论基础(Catalan数,卡特兰数)
Catalan数列是序列
C 0 , C 1 , C 2 , … C n , … C_0, C_1,C_2,\ldots C_n,\ldots C0,C1,C2,…Cn,…
其中
C n = 1 n + 1 ( 2 n n ) (*) C_n=\frac 1 {n+1}\binom{2n}{n}\tag{*} Cn=n+11(n2n)(*)
有递推式
C n = C 0 C n − 1 + C 1 C n − 2 + ⋯ + C n − 1 C 0 , n ≥ 1 (**) C_n=C_0C_{n-1}+C_1C_{n-2}+\cdots+C_{n-1}C_0,\quad n\ge 1\tag{**} Cn=C0Cn−1+C1Cn−2+⋯+Cn−1C0,n≥1(**)
说明:
- 递推式 ( ∗ ∗ ) (**) (∗∗)可以通过母函数法(生成函数)算出 C n C_n Cn的表达式即 ( ∗ ) (*) (∗)式。
- 只要某一序列满足 ( ∗ ) , ( ∗ ∗ ) (*),(**) (∗),(∗∗)中的一个,则可以称该序列为Catalan数列。
为了引出本题的解题思路来源和证明算法的正确性,下面以两个最经典的使用Catalan数的组合模型为例(这里仅做概述,提取解题的关键内容,详细的请查阅资料如机工出版社的《组合数学》)
-
问题一:用凸 n + 1 n+1 n+1 边形的
不相交的
对角线将其划分成三角形区域的方法数 h n h_{n} hn(为了方便后面书写,这里取 h n + 1 = C n h_{n+1}=C_n hn+1=Cn,仍然是Catalan数列的一部分,仍可称作Catalan数)(先规定初始值,由Catalan数定义式 ( ∗ ) (*) (∗)可算出 h 1 = C 0 = 1 h_1=C_0=1 h1=C0=1,为了解释“划分2边形”的方法数,几何上我们将
一条边
定义为没有内部区域的“单、双边形”
)
一般情况如 n + 1 = 3 n+1=3 n+1=3时,凸三边形也就是我们熟知的三角形,不需做任何划分就已经是三角形区域(不划分也是一种划分方案),所以 h 2 = 1 h_2=1 h2=1,
又如 n + 1 = 5 n+1=5 n+1=5时,有如下划分方法,所以 h 4 = 5 h_4=5 h4=5,
定理 h n ( n ≥ 2 , h 1 = 1 ) h_n(n\ge2, h_1=1) hn(n≥2,h1=1)有如下递推式
h n = h 1 h n −