ac-wyr

摘要： 数论基础定理与简单应用 基本符号 \(\equiv\) ，可以表示恒等，同余 \(a \mid b\) ，表示 \(b\) 是 \(a\) 的倍数。注意不是 \(a\) 是 \(b\) 的倍数 \(a \nmid b\) ，表示 \(b\) 不是 \(a\) 的倍数，与整除相反 \(\in\) ，属 阅读全文

摘要： 例题[P2900 USACO08MAR] Land Acquisition G - 洛谷 简要题意： 有 \(n\) 块大小为 \(w \times l\) 的土地，现在要购买所有土地，可以分组购买 对于每一组土地的价值定义为 \(max_w \times max_l\) ，即该组土地内所有土地最大 阅读全文

摘要： （证明并不严谨，都是自己想的方法） 我将以下代码为后面证明过程中的树状数组模板 void add(int x, int k){ for(;x <= n; x += lowbit(x)){ tree[x] += k; } } int query(int x){ int res = 0; for(;x; 阅读全文

摘要： 2 - SAT 定义 2 - SAT 指的是一种问题形式，通常表述为有 n 个集合，每个集合有且仅有两个元素，且集合之间有对应关系。 举个例子，假设有两个集合 \(A = \left \{a, b \right \}\) ， \(B = \left \{c, d \right \}\) ，存在对应关 阅读全文

摘要： 重链剖分 定义 重链剖分是树链剖分的一种解决方式，通过树链剖分将树划分为多个连续部分方便执行操作 我们进行如下定义： son[u] 表示 u 结点的重儿子。对于重儿子， 我们定义在 u 的所有子树中最大的子节点，且重儿子只有一个 sz[u] 表示 u 结点的子树大小， 包括结点 u 本身 dep[u 阅读全文

摘要： 平衡树\(Splay\) 前言 个人见解不代表我讲的一定正确，请参考其它文献阅读 （就当我瞎扯淡就行） 前置知识 二叉搜索树 简单叙述一下，具体操作请转至其它博客或oi.wiki 二叉搜索树，也称也称二叉排序树或二叉查找树，是一种基于二叉树的树形结构，满足该树为二叉树且中序遍历有序的性质 简单解释一 阅读全文