引理是怎么样想到的:
我们以军队为考虑对象,假设将所有军队全部移动到根节点,但是我们现在要用决策包容性,也就是说如果某一个节点是被原来的在这个节点上的军队驻扎的话,我们就要把这个军队从根节点上再移动回来,所以可以得出引理
有点反悔贪心的味道了