
2-SAT
Akakii
_(:з」∠)_
展开
-
JZOJ4696.第四次忍者大战
原题:Spoj-SOPARADE题目大意一个有n个元素的序列a每个元素在[1..4]要求相邻两数之差的绝对值大于等于2。 给定m个约束条件,每个条件k个数,表示这k个位置的元素各不相同。 询问是否有合法的序列满足条件。Data Constraint n,m≤10^5原创 2016-08-15 23:06:19 · 531 阅读 · 0 评论 -
JZOJ4675. Double-row
题目大意给定长度为n的两行数,每次可以交换同一列上的两个数字,求最少的交换次数使得最后每一行数里都没有相同的数。保证有解。Data Constraint n≤50000原创 2016-10-29 21:32:30 · 696 阅读 · 0 评论 -
JZOJ5010. 编码
题目大意给定n个01串,有一些串中有一个位置未确定。现在要判断,能否找到一种方案,使得任意一个串都不是其他任一串的前缀。Data Constraint n,总长≤500000原创 2017-03-14 17:20:44 · 766 阅读 · 0 评论