标签：交换论证方法把任意一个解逐渐变为贪心算法的解，不会影响其最优性