22. Generate Parentheses

▶ 问题：给定正整数 n，求由 n 对小括号组成的所有合法表达式，显然所求表达式的个数为卡塔兰数 C(2n,n) / (n+1) 。

● 暴力枚举，超时。回溯法添加字符，添加够了以后进行检查，时间复杂度 O(2²ⁿ)。

class Solution
{
public:
    vector<string> output;

    inline bool valid(string input)
    {
        int i, count;
        for (i = count = 0; i < input.size(); i++)
        {
            (input[i] == '(') ? count++ : count--;
            if (count < 0)
                return false;
        }
        return (count == 0);
    }
    void generate(string current, int pos, int length)
    {
        if (pos == length)
        {
            if (valid(current))
                output.push_back(current);
        }
        else
        {
            current[pos] = '(';
            generate(current, pos + 1, length);
            current[pos] = ')';
            generate(current, pos + 1, length);
        }
    }
    vector<string> generateParenthesis(int n)
    {
        string current(2 * n, '');
        output = vector<string>();
        generate(current, 0, 2 * n);
        return output;
    }
};

● 单边加项，3 ms，随时记录当前的 '(' 和 ')' 的数量，其中一个超过 n 的时候立即停止继续深入。前面穷举过程中大部分时间都浪费在了连左右括号数量都不相等的情况中。

class Solution
{
public:
    
    void backtracking(vector<string>& ans, string s, int l, int r, int n)
    {
        if (l < n)                                  // 限制了添加 '('  和 ')' 的条件，注意添加过程是两条独立的分支
            backtracking(ans, s + "(", l + 1, r, n);
        
        if (r < l)
            backtracking(ans, s + ")", l, r + 1, n);
        else if (r == l && l == n)
            ans.push_back(s);
        return;
    }
    vector<string> generateParenthesis(int n)
    {
        vector<string> ans;
        backtracking(ans, "", 0, 0, n);
        return ans;
    }
};

● 双边加项的递归，6 ms。每次从较短的合法表达式中取出两个，用 "（" + "左元" + "）" + "右元" 的范式加以组合。

class Solution
{
public:
    vector<string> generateParenthesis(int n)
    {
        vector<string> output;
        if (n == 0)
        {
            output.push_back("");
            return output;
        }
        int i, j, k;
        string left, right;
        vector<string> leftVector, rightVector;
        for (i = 0; i < n; i++)
        {
            for (leftVector = generateParenthesis(i), j = 0; j < leftVector.size(); j++)
            {
                left = leftVector[j];
                for (rightVector = generateParenthesis(n - 1 - i), k = 0; k < rightVector.size(); k++)
                {
                    right = rightVector[k];
                    output.push_back("(" + left + ")" + right);// 每次在左堆中取一个，右堆中取一个，结合成 "( 左元 ) 右元" 的形式
                }
            }
        }        
        return output;
    }
};

● 双边加项的非递归法，3 ms，免去了反复计算较短合法表达式的过程，但是空间开销大。注意到卡塔兰数的递推性质： a_n = a_n-1 a₀ + a_n-2 a₁ + ... + a_n-2 a₁ + a_n-1 a₀ 。

class Solution
{
public:
    vector<string> generateParenthesis(int n)
    {
        vector<vector<string>> table(n + 1);
        table[0] = vector<string>({ "" }); 
        int i, j, k, lp;
        for (i = 1; i <= n; i++)                                    // write all combinations of i pair of brackets  in row i of variable 'table'
        {
            for (lp = 0; lp < i; lp++)                              // size of the left part, from 0 to i-1
            {
                for (j = 0; j < table[lp].size(); j++)              // take one element in row lp as left part           
                {
                    for (k = 0; k < table[i - 1 - lp].size(); k++)  // take one element in row i-1-lp as right part
                        table[i].push_back("(" + table[lp][j] + ")" + table[i - 1 - lp][k]);
                }                                                   // combinate the two parts like Approach #3
            }
        }
        return table[n];
    }
};

 ● 大佬的回溯法，3 ms，类似单边加项法。

class Solution
{
public:
    vector<string> generateParenthesis(int n)
    {
        vector<string> res;
        paren(n, 0, res, "");
        return res;
    }
    void paren(int n, int m, vector<string>& res, string str)// n 代表剩余 '(' 数量，m 代表当前 () 层数
    {
        if (m == 0 && n == 0)
        {
            res.push_back(str);
            return;
        }
        if (n > 0)
            paren(n - 1, m + 1, res, str + "(");// 尝试添加一个左括号
        if (m > 0)
            paren(n, m - 1, res, str + ")");    // 尝试添加一个右括号
    }
};