sandom

摘要： 线性（一次）同余方程 $ax\equiv c \pmod b$ --> $ax-c=by(y\in Z)$ -> $ax-by=c$，求$x$的最小非负整数解。 扩展欧几里得算法 Bezout定理：$\forall a, b\in Z,\exists x, y\in Z$, 满足$ax+by=gcd 阅读全文

摘要： Catalan数列 与斐波那契数列类似，并没有什么特殊的含义，只是用来解决某些问题的模型。 形如：$1、1、2、5、14、42、132……$ 公式 $$ Cat_n=\sum\limits_{i=1}^{n}Cat_{i-1}Cat_{n-i} \ Cat_n=\frac{4n-2}{n+1}Cat 阅读全文