摘要： 考虑排序网络的 \(\texttt{01}\) 原理，合法当且仅当对每个 \(k\in[0,8]\)，对 \([A_{i,j}\le k]\) 做操作都得到 \([B_{i,j}\le k]\)。 现在就对 \(\texttt{01}\) 矩阵排序，注意到，考虑每行之和 \(r_i\)，对行排序不改 阅读全文