2-SAT
2-SAT
gongyuandaye
不要再问我会不会写可持久化非确定状态AC自动分块维护线段平衡仙人掌优化最小费用最大流预处理混合图上莫比乌斯反演莫队带花舞蹈链并查集树状数组套主席树预处理动态DP分治FFT求多项式逆元对数函数的指数函数用可持久化并查集合并最小费用循环流上插头DP了。
展开
-
POJ 3648 Wedding (2-SAT强连通缩点法+拓扑排序任意解)
题意:新郎和新娘结婚,来了n-1对夫妻,这些夫妻包括新郎之间有暧昧关系(包括男女,男男,女女),我们要求新娘对面不能坐着一对夫妻,也不能坐着有任何暧昧关系的人,另外新郎一定要坐新娘对面。输出时输出坐在新娘这一边的人。 题解:2-SAT强连通缩点法+拓扑排序任意解 由于新郎也有可能搞暧昧,而对于新娘来说若有与之暧昧的人坐哪里都可以,所以限制条件在新郎那里,我们考虑新郎一侧的人选。 我们用0表示丈夫,1表示妻子。 由于丈夫和妻子只能坐在两侧,我们可以根据暧昧关系进行建边。 主要是我们还得建1->0,表示新原创 2020-07-14 17:36:43 · 203 阅读 · 0 评论 -
HDU 1814 Peaceful Commission (2-SAT染色法+字典序最小解)
题意:委员会必须满足下列条件:每个党派都在委员会中恰有1个代表;如果2个代表彼此厌恶,则他们不能都被选入委员会。每个党在议会中有2个代表。代表从1编号到2n。 编号为2i-1和2i的代表属于第i个党派。请计算决定建立和平委员会是否可能,并输出字典序最小的一个。 题解:2-SAT染色法+字典序最小解 2-SAT问题:给出nnn个集合,每个集合有两个元素,已知若干个<u,v><u, v><u,v>,表示uuu与vvv矛盾(其中uuu与vvv属于不同的集合)。然后从每个集合选择原创 2020-07-14 11:57:27 · 176 阅读 · 0 评论