摘要：
SG函数 sg[i]为0表示i节点先手必败。 首先定义mex(minimal excludant)运算，这是施加于一个集合的运算，表示最小的不属于这个集合的非负整数。例如mex{0,1,2,4}=3、mex{2,3,5}=0、mex{}=0。 对于一个给定的有向无环图，定义关于图的每个顶点的Spra 阅读全文
摘要：
博弈论的题目有如下特点： 下面介绍几个经典的博弈。 巴什博弈（Bash Game） 一堆n个物品，两个人轮流从中取出1~m个，最后取光者胜（不能继续取的人输）。 同余定理：$n=k*(m+1)+r$，先者拿走$r$个，那么后者无论拿走$1~m$个先者只要的数目使和为$m+1$，那么先手必赢。反之若$ 阅读全文
摘要：
在模式匹配问题中，如果模板有很多个,KMP算法就不太适合了。因为每次查找一个模板。都要遍历整个文本串。可不可以只遍历一次文本串呢？可以，方法是把所有模板组成一个大的状态转移图（称为$Aho-Corasick$自动机，简称$AC$自动机），而不是每个模板各建一个状态转移图。注意到KMP的状态转移图是线 阅读全文
摘要：
字符串匹配问题。假设文本是一个长度为$n$的字符串$T$，模板是一个长度为$m$的字符串$P$，且$m\leq n$。需要求出模板在文本中的所有匹配点$i$，即满足$T[i]=P[0],T[I+1]=P[1],...,T[m-1]=P[m-1]$的非负整数$i$（注意字符串下标从0开始）。如图所示， 阅读全文