摘要：
因为太乱了，所以加个目录。 dp 『学习笔记』DP优化 『DP』做题记录3 『DP』做题记录2 『DP』做题记录1 ds 『DS』做题记录 『线段树』做题记录 博弈 『博弈』做题记录 图论 『图论』做题记录 『Record』网络流 数学 组合计数相关 Project Euler 『数学』做题记录 杂 阅读全文
摘要：
首先定义一个拟阵为 \(M=(S,L)\)，满足以下性质： \(S\) 为一个集合，\(L\) 中元组是 \(S\) 的子集。 \(L\) 满足遗传性，即 \(X \subseteq Y,Y \in L\)，则 \(X \in L\)。 \(L\) 满足交换性，即 \(\forall X,Y \in 阅读全文
摘要：
先证一下一些相关的定理。 轨道-稳定子定理 即： $|G^x| \times |G(x)|=|G|$其中 $G$ 为置换群，$x$ 为任意元素。 $proof:$ 根据置换群定义：$\varphi(g,\varphi(p,x))=\varphi(g \times p,x))$。 然后也就是显然不动置 阅读全文
摘要：
众所周知： 莫队是一个神仙的算法，它的复杂度为：$O(n \sqrt{m} f(n))$。其中 $f(n)$ 为左右端点移动一格的复杂度。 但是这并不能满足我们，我们发现当 $f(n)$ 过大时就无法接受了。 这是就要引入神仙的数据结构：莫队二次离线，它可以将该复杂度优化至：$O(nf(n)+n\s 阅读全文
摘要：
这篇文章存在极其严重的伪证现象，请就情况往下翻。 在平面直角坐标系中，给出$n+1$个函数在不同的坐标的点，求其解析式 即设$n+1$个点坐标分别为$:(x_0,y_0),(x_1,y_1),......,(x_n,y_n)$ 有$:\sum\limits_{i=0}^ny_i\frac{\prod 阅读全文
摘要：
学习笔记：$\text{OGF}$ 定义$\text{(OGF)}$：实数序列 $a_0,a_2,\cdots,a_n$ 的普通生成函数是无穷级数 $$G(x)=\sum_{i=0}^{\infty}a_ix^i$$ 引入一些比较经典的生成函数： 斐波那契生成函数： 由：$a_0=0,a_1=1,a 阅读全文
摘要：
学习笔记：$\text{EGF}$ 定义$\text{(EGF)}$：实数序列 $a_0,a_2,\cdots,a_n$ 的指数生成函数是无穷级数 $$\hat G(x)=\sum_{i=0}^{\infty}a_i\dfrac{x^i}{i!}$$ 例题： bzoj3456 在 OGF学习笔记 中 阅读全文
摘要：
学习笔记：$\text{DGF}$ 一、定义： 对于无穷序列 $f_1,f_2,f_3,f_4,\dots$，定义其狄利克雷生成函数$\text{(DGF)}$ 为： $$\tilde F(x)=\sum_{i \geq 1} \dfrac{f_i}{i^x} \dots (1.1)$$ 如果序列 阅读全文
摘要：
以后可能都会在这儿写 $blog$ 了。 阅读全文