题解：AT_abc136_e [ABC136E] Max GCD
太唐了，打个模拟赛把人打傻了。
首先设 \(sum\) 表示所有元素和，易得 \(sum\) 整除是所有元素都能整除的必要条件。
然后想找到充要条件的话显然可以枚举所有 \(sum\) 然后一个一个检验，由于枚举的量级在 \(\sqrt{sum}\)，所以检验时我们拥有富裕的时间。
具体的，假设当前需要验证的模数为 \(x\)，根据题目要求，我们容易得到一个贪心策略：按照数组取模后的值排序，用一个双指针维护非 \(0\) 的最大最小元素，每次最大配最小修改，最后看看修改次数是否合法即可。
