离散数学求最优二叉树