摘要: 好久没写杜教筛了 练练手~~AC量刷起~~ cpp include define RG register define IL inline define Fill(a, b) memset(a, b, sizeof(a)) using namespace std; typedef long long 阅读全文
posted @ 2018-02-22 22:37 Cyhlnj 阅读(178) 评论(0) 推荐(0)
摘要: 大概题意 有$n$个数,可以为$0/1$,给$m$个条件,表示某两个数经过$or, and, xor$后的数是多少 判断是否有解 Sol $2 SAT$判定 "建图" cpp include include include include include include define RG regi 阅读全文
posted @ 2018-02-22 22:09 Cyhlnj 阅读(133) 评论(0) 推荐(0)
摘要: 简介 2 SAT是一类 适定性问题 适定性问题? 通俗的说就是确定是否可以满足所有的条件 k SAT 有很多个集合,每个集合里面有若干元素,现给出一些取元素的规则,要你判断是否可行,可行则给出一个可行方案。如果所有集合中,元素个数最多的集合有k个,那么我们就说这是一个k sat问题 3 SAT乃至k 阅读全文
posted @ 2018-02-22 21:31 Cyhlnj 阅读(1031) 评论(1) 推荐(3)
摘要: 题面 "Bzoj" Sol 刚完品酒大会那道题后再看这道题发现这就是道$SB$题 后缀数组+并查集 按$height$从大到小做 $height$是两个相邻$rank$的后缀的$LCP$ 从大到小,那么每次合并$height$的两边的集合,同时记录答案 两边集合两两配对的$LCP$一定就是这个$he 阅读全文
posted @ 2018-02-22 17:07 Cyhlnj 阅读(130) 评论(0) 推荐(0)