除特殊声明外，本博客所有文章(图片除外)均以CC BY 4.0协议发布
“产生式”，最先是由美国数学家E.Post在1934年提出来的。而产生式表示法（Production rule）是在这个基础上几经打磨而形成的一种知识表示...
在图的连通性问题中，我们有时候需要判断两图是否连通同构，本文给出两种配合并查集的判断方法。哈希对每个顶点$V$，生成一个随机权值，当两个区域合并时将两个区...
拓扑排序模板题。值得注意的是，题目中要求编号小的队伍排名靠前，所以我们这里引入一个优先队列来确保答案满足该性质。拓扑排序伪代码：随机取出一个入度为0的点$...
表面上是一道线段树的裸题，但实际上用ST表就可以很好的解决。ST表是一个静态数据结构，不支持在线修改，但是我们可以发现对于本题而言，在末尾插入一个数并不会...
一道强连通分量的裸题。由题意，对于唯一出度为0的的强连通分量，我们可以认为其中所有的奶牛均是明星奶牛，而若存在两个出度为0的强连通分量则不存在明星奶牛。我...