摘要：若对于 $i\leq i'\leq j \leq j'$，二维数组 $a$ 满足如下性质： $$a_{i,j} + a_{i',j'} \leq a_{i,j'} + a_{i', j}$$ 则称数组 $a$ 满足四边形不等式。 若对于 $i\leq i'\leq j \leq j'$，二维数组 $ 阅读全文

摘要：假设当前的 DP 方程为 \[f_i=\min\limits_{0\leq j< i}\{-K(i)X(j)+Y(j)\} + F(i) \]或 \[f_i=\max\limits_{0\leq j< i}\{-K(i)X(j)+Y(j)\} + F(i) \]其中 \(F(i)\)、\(K(i)\ 阅读全文

摘要：前言 trie树，也称字典树。是一种支持查找、插入、删除字符串的数据结构。 他可以被看成一种自动机，只接受特定字符串。 接下来我们用 $S$ 表示字符集，$|S|$ 表示字符集。 算法复杂度 以下 $s$ 表示插入、删除、查询的字符串。 时间复杂度 插入：$O(|s|)$ 删除：$O(|s|)$ 查 阅读全文

摘要：前言 接下来，我们用 $a_{l,r}$ 表示字符串 $a$ 在下标 $l$ 到 $r$ 内的所有字符组成的字串，用 $|a|$ 表示字符串 $a$ 的大小。 例如 $a=^"abc^"$ 则 $a_{1,2}=^"bc^"$ $|a|=3$ 串的模式匹配 有两个字符串 $s$，$t$，称 $s$ 阅读全文