好厉害的题!
考虑按照值域 \(d,0,d-1,1,\dots\) 分配,记大于等于 \(\frac{d}{2}\) 的数为大数,其余为小数,注意到一对 \(i,j\) 满足 \(a_i+a_j<d\) 当且仅当 \(i\) 是小数,\(j\) 是大数。
所以只需要维护前缀的一边的大数个数即可转移。