对于固定 \(a_k\)，求解答案是取模类问题里的常见套路，将最大的两个数拿出来或者对每个数取模的结果排序后做一遍双指针。
这样复杂度 \(O(n^2 \log n)\)，考虑一个优化，从大到小枚举 \(a_k\)，那么如果此时答案 \(\ge a_k\)，那么枚举之后的数就没有任何意义了，可以证明做的过程是极少的，只有不到 \(2\log V\) 级别，可以通过。
对于固定 \(a_k\)，求解答案是取模类问题里的常见套路，将最大的两个数拿出来或者对每个数取模的结果排序后做一遍双指针。
这样复杂度 \(O(n^2 \log n)\)，考虑一个优化，从大到小枚举 \(a_k\)，那么如果此时答案 \(\ge a_k\)，那么枚举之后的数就没有任何意义了，可以证明做的过程是极少的，只有不到 \(2\log V\) 级别，可以通过。