8

我试图做经典问题来实现一个算法来打印 n 对括号的所有有效组合。

我发现了这个程序（效果很好）：

public static void addParen(ArrayList<String> list, int leftRem, int rightRem, char[] str, int count) {
    if (leftRem < 0 || rightRem < leftRem) return; // invalid state

    if (leftRem == 0 && rightRem == 0) { /* all out of left and right parentheses */
        String s = String.copyValueOf(str);
        list.add(s);
    } else {
        if (leftRem > 0) { // try a left paren, if there are some available
            str[count] = '(';
            addParen(list, leftRem - 1, rightRem, str, count + 1);
        }
        if (rightRem > leftRem) { // try a right paren, if there’s a matching left
            str[count] = ')';
            addParen(list, leftRem, rightRem - 1, str, count + 1);
        }
    }
}

public static ArrayList<String> generateParens(int count) {
    char[] str = new char[count*2];
    ArrayList<String> list = new ArrayList<String>();
    addParen(list, count, count, str, 0);
    return list;
}

据我了解，我们的想法是尽可能添加左括号。对于右括号，只有当右括号的剩余数量大于左括号时，我们才会添加它。如果我们使用了所有的左右括号，我们会将新的组合添加到结果中。我们可以确定不会有任何重复的构造字符串。

对我来说，这种递归就像当我们使用一棵树并且我们进行前序遍历时：我们去一个左节点每个时间都是可能的，如果不是我们向右走，然后我们尝试向左走就在这一步之后。如果我们不能，我们“回来”并向右走，然后我们重复遍历。在我看来，这里的想法完全相同。

所以，天真地，我认为时间复杂度会像 O(log(n))、O(n.log(n)) 或类似的对数。但是，当我试图搜索时，我发现了一个叫做“加泰罗尼亚语数”的东西，我们可以用它来计算括号组合的数量......（https://anonymouscoders.wordpress.com/2015/07 /20/its-all-about-catalan/ )

您认为时间复杂度是多少？我们可以在这里应用主定理吗？

4

1 回答 1

6

此代码的复杂度为 O(n * Cat(n))，其中 Cat(n) 是第 n 个加泰罗尼亚数字。有 Cat(n) 个可能的有效字符串，它们是括号的有效组合（请参阅https://en.wikipedia.org/wiki/Catalan_number），并为每个字符串创建一个长度为 n 的字符串。

由于 Cat(n) = choose(2n, n) / (n + 1), O(n * Cat(n)) = O(choose(2n, n)) = O(4^n / sqrt(n)) （见https://en.wikipedia.org/wiki/Central_binomial_coefficient）。

你的推理有两个主要缺陷。首先是搜索树不平衡：关闭右大括号时搜索的树与添加另一个左大括号时搜索的树大小不同，因此更常用的计算复杂度的方法不起作用. 第二个错误是，即使假设树是平衡的，搜索树的高度也是 n，找到的叶子数量为 O(2^n)。这与二叉搜索树的分析不同，二叉搜索树通常在树中有 n 个东西，高度为 O(log n)。

我不认为有任何标准的方法来计算这里的时间复杂度——最终你将重现像计算有效括号字符串时所做的数学一样的东西——而主定理不会为你提供动力那。

但是这里有一个有用的见解：如果一个程序生成 f(n) 个事物，以及每个 if c(n) 的生成成本，那么程序的复杂度不能比 O(c(n)f(n) ）。这里，f(n) = Cat(n) 和 c(n) = 2n，因此即使分析代码很困难，您也可以快速获得复杂度的下限。这个技巧会立即让你放弃复杂度为 O(log n) 或 O(n log n) 的想法。

于 2016-05-23T08:57:30.727 回答