摘要：
请戳这里! 阅读全文
摘要：
emmmm 显然的是a串长度是s串长度的因数 我们可以暴力枚举因数然后暴力check 阅读全文
摘要：
KMP之所以线性,因为匹配的时候i是不往回走的 我们只用调整j的位置 假设在s中找t 用二元组(i,j)表示s串的[i-j+1,i] 与t串的[1,j]匹配 假设s[i+1]和t[j]匹配上了,就j++ 如果不匹配的话,我们就想办法调整j, 直到找到一个满足二元组条件的j并且t[j+1]=s[i] 阅读全文
摘要：
经典2-sat 题解: 把一对夫妻视为一个集合,按淫乱关系建边 如果有淫乱关系显然不能都坐在新娘对面 注意要给(1,1+n)连边保证必须新娘和新郎坐对桌 tarjan缩完点之后,因为tarjan的编号是拓扑的逆序,所以我们在选择坐在新娘对面的人的时候,只要保证选择w和h编号较小的即可 阅读全文
摘要：
把爱恨和最大距离视为限制条件,可以知道,最大距离和限制条件多少具有单调性 所以可以二分最大距离,加边+check 阅读全文
摘要：
关于2-SAT 问题给出的证明和思路就不再赘述 核心是对于问题给出的条件建图,然后跑tarjan缩点 (在一个强联通分量里bool值是相同的) 看集合两个元素是否在一个强联通分量来判断是否合法 利用强联通分量是拓扑序的逆序可以进行方案的选择 2-SAT 问题代码一般比较短,重点是建图 一般来说对于一 阅读全文