摘要：
SAT 问题，也就是可满足性问题 Boolean Satisfiability Problem，是第一个被证明的 NPC 问题。 但是特殊的 2-SAT 我们可以通过图论的知识在线性复杂度内求解，构造出一组解。 基本的模型在 P4782 【模板】2-SAT 中有体现。 经典的标志是：AB 至少选一个 阅读全文
摘要：
一切线性操作都可以归为矩阵乘法 --by SmallBasic 本文是拿来玩耍，而不是学习的！ 目录线性递推超级矩阵快速幂！矩阵与邻接矩阵矩阵与线段树矩阵与 FFT矩阵与期望不知道还能扯啥了 矩阵的加法，要求两个矩阵大小相等，于是可以对位单点相加。 \[C_{i, j} = A_{i, j} + B 阅读全文