zimindaada

摘要： 权值线段树 权值线段树 和 普通线段树 别无二致，只不过 普通线段树非叶节点维护 \([a_l, a_r]\) 的信息，其每个非叶节点维护的是值为 \([l,r]\) 的信息。如果不理解的话，可以看看下面用 权值线段树 维护 \(a\) 数组每个数出现的个数 的例子（当然我们得假设已知 \(1 \l 阅读全文

摘要： 一套比较水（？）的educational round，至少前4题确实送 阅读全文

摘要： CSP 2020被爆切 J 275分， S 80分（炸分） 悲。 阅读全文

摘要： 用于$O(n^3)$求解图的生成树个数的东西，还没做题。 阅读全文

摘要： 圆方树是什么 对于一个无向图的每一个点双连通分量，都新建一个点，让这个点给点双连通分量的每一个点都连一个边。不考虑原来的边的话，此时图变成了一棵……不一定是树的东西，。我们令原来的点为圆点，新增的点为方点。这就是一棵圆方树。 性质 由上，可以发现圆方树的性质有： 树上任意一个边的两个点都不是同一种点 阅读全文

摘要： SAT问题的定义 SAT是Satisfiability（可满足性）的缩写，而k-SAT问题就是说你有$n$个未知的bool变量$a_i$，有$m$个对这些变量的限制，每个限制有$k$个元素，设每个元素为$x$，要求 $x$或$\neg x$ 的 \(\lor\)（或）或者$\land$（和）的值（如 阅读全文

摘要： 线性基在OI里是一种用来维护数列异或信息的一种数据结构。本质上他是线性代数的一些东西,反正我是完全不会的。 构造 维护一个数组LB[log maxn](Linear Basis，即线性基)。每次向线性基数组内插入一个新的数$x$的时候，设$x$的每一二进制位可以被表示为$x_i$，最高位为$x_k$ 阅读全文

摘要： 把一个集合的最小值转换成任意k大值，或者把最大值转换成任意k小值的东西。计数常用 阅读全文

摘要： Min_25筛可以用来求解一类 \(f(n)\) 的前缀和，其中 \(f\) 是积性函数， \(f(P)\) 是关于质数 \(P\) 的低阶多项式，且 \(\forall k\in N^+,f(P^k)\) 可以通过某些方式快速求解。​ 理论部分 首先我们求解 \(\sum_{i=1}^n [i \ 阅读全文

摘要： 总体上cout比printf快，puts在输入字符串更快， 阅读全文