基于虚树的动态规划：树形动态规划经典案例