摘要：
Manacher 算法流程 为了不判断奇偶，方便比较，在原字符串里添加一些特殊字符 明确几个变量，$r$代表我遍历过的位置中回文串能延伸的最远位置，$mid$是$r$对应的中心位置，那么$mid$对应的左端点就是$2mid-r$，$f_i$表示$i$为中心的回文半径长度 接下来就分以下情况讨论，可以 阅读全文
摘要：
好像也讲不了什么，大致就是前缀相同的会合并到一起，不相同的出现分支 例题： 这道题可以一遍建树一遍查询，因为所有的单词都一样长，所以问题稍微简化了一点点，建树的时候记录一下以$i$为结尾的单词个数，边建树边查询，因为我们先查询到1次，才能查询到第2次，所以当我发现这个字符串出现了两次，那么出现一次的 阅读全文
摘要：
玄学的字符串算法可能并不能讲明白，谅解 kmp算法流程 假如,\(A=abababaababacb\),\(B=ababacb\).我们来看看$KMP$是怎么工作的。我们用两个指针$i$和$j$分别表示，$A_{i-j+1\rightarrow i}$与$B_{1\rightarrow j}$完全相 阅读全文
摘要：
概念： 欧拉回路 ：图$G$中经过每条边一次并且仅一次的回路称作欧拉回路 欧拉路径： 图$G$中经过每条边一次并且仅一次的路径称作欧拉路径 欧拉图： 存在欧拉回路的图称为欧拉图 半欧拉图： 存在欧拉路径但不存在欧拉回路的图称为半欧拉图 性质与定理： 无向图$G$为欧拉图，当且仅当$G$为连通图且所有 阅读全文
摘要：
概念： 点双联通： 对于一个连通图，如果任意两点至少存在两条点不重复路径，则称这个图为点双连通的（简称双连通） 边双联通： 如果任意两点至少存在两条边不重复路径，则称该图为边双连通的 点双联通分量： 点双连通的极大子图称为点双连通分量（简称双连通分量） 边双联通分量： 边双连通的极大子图称为边双连通 阅读全文
摘要：
概念： 割点 ：在一个无向图中，如果删除某个顶点，这个图就不再连通（任意两点之间无法相互到达），那么这个顶点就是这个图的割点。 割边（桥）：在一个无向图中删除某条边后，图不再连通，那么这条边就是这个图的割边（也叫作桥） 求法： 割点: 一个顶点$x$是割点，当且仅当满足： $x$为树根，且$x$有多 阅读全文
摘要：
problem： 给定$n$个布尔型变量$x_i$以及他们之间的逻辑关系例如$(x_j\lor x_i) \land (\lnot x_p\lor x_q)……$，求出一组合法解 solution： 显然每个点都有两种状态：真和假。这样我们可以把$n$个点拆分成$2n$个点，$x$和$\lnot x 阅读全文
摘要：
一些概念： 强连通 ：在有向图$G$中，两个顶点 \(u\) ,\(v\)，如果存在一条路径 \(u\) 到 \(v\) 且存在一条路径$v$到$u$，则这两个顶点是强连通的 强连通图 ：如果有向图$G$中的每两个顶点都强连通，那么称$G$是一个强连通图 极大强连通子图 ：$G$是一个极大强连通子图 阅读全文