KMP字符串匹配算法是一种快速检索字符串的算法。本文探讨KMP算法原理及实现。注意下文中的字符串下标均从0开始。
        更新：2020.2.10优化排版。

        本题是加权并查集模板题。

难度：提高+/省选-

        二分图是一种常用的图论模型。如果一个图的顶点可以分成两个不相交子集，并且所有边关联的顶点分属于这两个不同的集合，则称这个图为二分图。

        差分约束系统是很多问题求解的模型，这一类问题可以转化为图的单源最短路径问题。

        树链剖分是树上的重要的算法，阅读本文需要先了解线段树。

        本节介绍Tarjan算法求LCA的原理和过程。

        本节探讨另一种Tarjan算法来求无向图的割点和割边。本文是这篇文章的延伸。

        本节介绍一种求解有向图强连通分量的算法—Tarjan算法。

        本文探讨多重背包问题。要认识这个问题需要先熟悉01背包和完全背包的状态转移方程。

        中国剩余定理（又名孙子定理）是数论四大定理（威尔逊定理、中国剩余定理、欧拉定理、费马小定理）之一，这里介绍中国剩余定理以及扩展后的定理内容以及在ACM中的应用。