RT。这题的性质中有一个很奇怪的东西是当 ⌊log2(ai)⌋≠⌊log2(ai+1)⌋\lfloor \log_2(a_i)\rfloor\neq \lfloor \log_2(a_i+1)\rfloor⌊log2(ai)⌋=⌊log2(ai+1)⌋时,答案为 max1<x<ai∧x∣ai(x)\underset{1<x<a_i\land x|a_i}{\max}(x)1<x<ai∧x∣aimax(x)。
简单地说,就是说当 aia_iai 转成二进制是一堆 111 的时候,答案是 aia_iai 的最大非 aia_iai 因数。
为什么?怎么证明?