我们不妨将这个式子看做取中点,然后就会发现每次操作不改变相对大小,然后看这篇洛谷题解
解释一下他这个合理性,主要是害怕讨论每次操作后的 a , b a,b a,b的奇偶而已
这里其实官方题解给出了一个提示
我们设最开始的 b − a = x b-a=x b−a=x,那么根据这篇洛谷题解,而每次操作要么让 x = ⌊ x 2 ⌋ x=\lfloor \frac{x}{2} \rfloor x=⌊2x⌋,要么让 x = ⌈ x 2 ⌉ x=\lceil \frac{x}{2} \rceil x=⌈2x⌉,最终要让 x = 0 x=0 x=0。这就只跟 x x x有关了,显然我们每次要让 x x x向下取整是最快的