【算法概论】动态规划：树中的最大独立集问题