PHP 通过数组判断数组顺序输出是否是二叉排序树的后序遍历结果

<?php
#通过数组判断该数组顺序输出是否是二叉树后序遍历结果

#@param a 待判断数组
#@param s 待判断开始部分
#@param e 待判断结束部分
function is_bst_post($a, $s, $e) {
if ($s == $e) {
return true;
}

#由于是后序遍历，所以根节点必然是最后一个元素
$root = $a[$e];
#找到第一个大于等于根节点的元素
#如果符合bst的数组，从s到i-1,都是左子树元素，i到e-1都是右子树的元素
#此处规定二叉树如果有相同的元素都放在右子树
$i = $s;
while ($i < $e && $a[$i] < $root) $i++;

#分别判断左右子树是否是bst
#如果左子树存在,判断左子树是否是bst
if ($i > $s) {
#此处不需要判断左子树是否都小于root，因为i左边的元素都已经是小于root了
$result_l = is_bst_post($a, $s, $i - 1);
} else if ($i == $s) { #左子树不存在
$result_l = true;
}

#如果右子树存在，判断右子树是否是bst
if ($i < $e) {
#查看右子树是否所有节点均大于等于root
for ($j = $i; $j < $e; $j++) {
if ($a[$j] < $root) {
return false;
}
}
$result_r = is_bst_post($a, $i, $e - 1);
} else if ($i == $e) { #右子树不存在
$result_r = true;
}

return ($result_l && $result_r);
}

$a = array(5, 7, 6, 9, 11, 10, 8);
$b = array(7, 4, 6, 5);
$t = is_bst_post($a, 0, count($a) - 1);
$t2 = is_bst_post($b, 0, count($b) - 1);
var_dump($t, $t2);
?>