摘要:
题目链接 观察到d<=8,考虑对每个x用a/b/c代替,枚举的复杂度$O(3^n),O_{\max}=3561$ 此时就基本上变成一个裸2-sat了,注意一些小细节 为什么是2-Sat了,因为比如a,b,c三种车子你限制不能用b了那a,c就相当于2-Sat中的真假两种状态了,这时我们暂且称b=$\n 阅读全文
摘要:
https://blog.csdn.net/a_forever_dream/article/details/105581221 二分权值增量可正可负,考虑有限制的物品权值加上增量的最优解,算了多少个有限制的物品再据此调整左右端点 国家集训队treeI https://www.luogu.com.cn 阅读全文