然而我只会抄课件定义及基本运算集合幂级数和生成函数一样，也是形式幂级数的一种。设 $F$ 是一个域，则称函数 $f:2^U \to F$ 为 $F$ 上的一个集合幂级数。对于每个 $S \in 2^U$ 记 $f_S$ 表示把 $S$ 代入函数 $f$ 后的函数值，并称 $f_S$ 为该集合幂级数第 $S$ 项的系数。注意这里的下标都是集合。加减法比较好定义。容易得到集合幂级数形成了一个加法...
作为菜鸡 OIer，本文尽量用通俗的语言去讲解后缀自动机。当然学习后缀自动机前是有一点点前置知识的，我一块给说了。有限状态自动机（DFA定义确定优先状态自动机 $\mathcal{A}$ 是由：一个非空有限的状态集合 $Q$一个输入字母表$\Sigma$ （非空有限的字符集合）一个转移函数 $\delta :Q\times \Sigma \rightarrow Q$（例如：$\delta \...
看了一个初赛题，题目大概是这样的： 由四个有标号的点构成的简单无向连通图的个数是： 感觉这应该是个经典问题。。就稍微写一下。初赛上怎么解决我们设 $f_n$ 表示 $n$ 个点的连通图的数量，转移只需要考虑计算出不连通的数量。可以枚举一号点所在的连通块大小计算。 对应到这个题中：我们令连通图代表性质 $A$，那么若干连通图组成的集合就是任意的无向图，任意无向图组成的集合是 $S_B$，那么...
定义SAT维基百科——Boolean_satisfiability_problem2-SATSAT 的简化版本：每个等式中只有两个变量参与。 有 $n$ 个 $0/1$ 变量和 $m$ 个等式，每个等式形如 $x_i \text{op} x_j =k$，其中 $op$ 是一个位运算。 你要求出一组可行解。求解将每个 $x_i$ 拆成两个点 $x_{i,0}$ 和 $x_{i,1}$ 表示 $...