7943

QOJ 传送门 好题。 首先可以视为每一列 \(1\) 的个数 \(\ge a_i\)，超出的最后再无视即可。 首先先不考虑构造。考虑二分 \(k\)，考虑 Dilworth 定理，即询问是否有 \(k\) 条链覆盖所有的黑格。 可以调整使得第 \(i\) 条链的起点为 \((n - k + i, ......