附二叉搜索树的性质:
1、若任意节点的左子树不空,则左子树上所有节点的值均小于它的根节点的值;
2、若任意节点的右子树不空,则右子树上所有节点的值均大于它的根节点的值;
3、任意节点的左、右子树也分别为二叉查找树;
4、没有键值相等的节点。
参考链接:https://blog.csdn.net/shinanhualiu/article/details/50225093
解题的思路,是在参考文章的基础上讲述的:
问题的状态:给定 i(1≤i≤n)
, 由 1...i
组成的不同的二叉查找树有 f(i)
种
对于 i
, 以 k(1≤k≤i)
作为根节点, 左子树的节点为 1,...,k−1
共有 k−1
个节点,右子树的节点为 k+1,...,i
共有 i−k
个节点,然后左子树的组合数 * 右子树的组合数
即为以 k(1≤k≤i)
作为根节点时的树的组合数量,之后,把所有组合数量累加即为 f(i)
的值。
因此,状态装换方程为
当 i = 4 时,有如下的几种情况:
如以 1 为根结点时,则有 f(0) * f(3),其中,以 {2,3,4} 组合出的二叉搜索树数量,
与 {1,2,3} 组合出的二叉搜索树数量是一样的,这就是为什么 {2,3,4} 可以用 f(3) 来表示,其他的情况也类似。
另外,在参考的文章中有说,转换方程可以优化,原因如下:
当 i = 4 时,f(4) = f(0)*f(3) + f(1)*f(2) + f(2)*f(1) + f(3)*f(0)
当 i = 5 时,f(5) = f(0)*f(4) + f(1)*f(3) + f(2)*f(2) + f(3)*f(1) + f(4)*f(0)
可以看到,f(0)*f(3)
与 f(3)*f(0)
虽然在意义上不一样,但是在数值的结果上是一样的,
所以简化为 f(4) = ( f(0)*f(3) + f(1)*f(2) ) * 2
,
而 f(5) = ( f(0)*f(4) + f(1)*f(3) ) * 2 + f(2)*f(2)
因此参考文章中优化后的算法如下:
public int numTrees(int n) {
int [] res = new int[n+1];
res[0] = 1;
for (int i = 1; i <= n; ++i) {
for (int j = i-1; j >= i/2; --j) {
if (i%2==1 && j == i/2)
res[i] += res[j] * res[i-j-1];
else
res[i] += res[j] * res[i-j-1]*2;
}
}
return res[n];
}
另外,还可以数学的角度来看待这个题目:
涉及到的是 「卡特兰数」,有兴趣的可以看一下:https://www.jianshu.com/p/fd295bbe95bb