我用的最大堆，每次要么第一个翻倍，要么减半最大值再比较，每一步都贪婪取最大缩短差距的那个方案（维护一个 max-min的差值变量）；