摘要：
（之前学的一些东西都没打笔记，给忘的差不多了。从这个开始要记得写笔记了。） 注意事项：所有的字符串的下标从1开始。 KMP 对于一个字符串 s ，定义它的前缀数组a,其中a[i]表示子串s[1...i]前缀与后缀相同的最大长度（不包括串自身）。 对于朴素的算法，自然是n^2的暴力。考虑利用前面位置的 阅读全文
摘要：
2-SAT 用于求解布尔方程组，其中每个方程最多含有两个变量，方程的形式为 \((a∨b)=1\) ，即式子 \(a\) 为真或式子 \(b\) 为真。求解的方法是根据逻辑关系式建图，然后求强联通子图，每一个强联通子图的答案都是一样的。 建图： 这里以模版题为例： 题意：给定若干个需要满足的条件，其 阅读全文