Thus, there exists an optimal answer which contains the large gap, so at each step, there is always an optimal answer which is a superset of the current state.

• 因此存在一个包含最大空隙的最优解,而且每步总有一个包含了当前状态的最优解。