题目大意: 给定一个包含 \(n\)(\(n\) 是偶数)个整数的数列 \(a_1,a_2,\ldots,a_n\). 考虑一个可能的正整数 \(k\),在每次操作中,你可以选定一个 \(i\),并将 \(a_i\) 减少 \(k\). 你可以执行任意多次(也可能是零次)操作,使这个数列中至少一半的数相等. 请找出最大的符合条件的 \(k\),如果 \(k\) 可以是任意的大小,输出 \(-1\). 观察题目,不难发现,满足输出 \(-1\) 的充要条件就是原数列里已经至少有一半的数相等了,因此…