$Clovers$

摘要： 先放原题：CF878D 每一列中只有$12$种取值，把其排序以后将最终答案拆贡献。 定义$val[i]$为排好序以后的差分数组，那么一列的答案可以表示为： $$ans=\sum^{i} [ans>=a[i]]*val[i]$$ 用一个$dp[mask]=[0,1]$表示当满足对于所有$i \in m 阅读全文