Atcoder ABC158 F - Removing Robots 线段树+选集合类dp