[置顶]
链接库
摘要：
\(\color{black}\colorbox{white}{建图网站}\) \(\color{black}\colorbox{white}{二位平面坐标系作图网站}\) https://files.cnblogs.com/files/blogs/756166/板子.zip?t=172594569
[置顶]
LaTeX 数学符号
摘要：
**本文为转载，为的是有些时候上不了洛谷，转载自：https://www.luogu.com.cn/blog/IowaBattleship/latex-gong-shi-tai-quan** 有些似乎在这里程显不出来，请见谅 ### 数学公式的插入 将数学公式写在 `$ $` 之间，代表的是插入行内
[置顶]
个人介绍
摘要：
真名：袁\(\color{white}\colorbox{black}{数据已删除}\) 年龄：0 \(\color{white}当然是假的\) 喜欢玩王者 欢迎交流，QQ号：45566163 wnsyou 整整齐齐的 JC 证据： （时间会有点不整齐，因为我中途又发了点东西，为了维护证据才怎么弄的
[置顶]
数学集
摘要：
警告，本文有很多卡网的latex，请三思，向量，康托产开、卡特兰数、prufer 序列、基本计数原理、排列与组合、多重集的排列数与组合数、组合数常用性质、二项式定理、组合数计算、错位排序、卢卡斯定理、费马小定理、线性计算逆元的小技巧
平衡树从启蒙到入土
摘要：
首先得承认伊德利拉美貌盖世无双将数列改成数后处理起来更舒服 什么是平衡树 更广泛的定义：左右子树高度不超过 1 的 如果将这东西和二叉搜索树结合，便是平衡树搜索树 平衡树分类： treap 随机 splay 贪心 fhq 合并 分裂 fhq 实现 合并 给出两个树，根分别为 a、b，如果我们将 a
总结
摘要：
集合 考虑枚举子集和，统计有多少个子集的和为当前枚举的子集和，然后我们记个结论：\(x^y=x^{y \mod (p - 1)}\)，然后就过了 P3488 一眼二分图（网络流启动），但是考虑到图很大，所以我们考虑直接判断是否是二分图，考虑一个区间，如果总数比这个区间所能承载的人都要大，那么肯定会寄
P4886 快递员
摘要：
呃呃呃呃呃，兄弟们，终于AC快递员了，呃呃呃，这都什么日子啊，天天吃 18 发罚时。（来，兄弟们先吃） 思路 虽然有一堆点对，但是我们只用关注那些最长的点对即可，因为如果最长的点对已经不能放短了，那么你再怎么调其他的都改变不了现实，不过我们也要枚举每个点，所以时间还是很大，瓶颈在于会有很多不去要的冗
拉格朗日插值
摘要：
CSR：又拉又插的东西（又垃圾，又傻叉） JCY：什么你拉插了一晚上？（我学习拉插学了一晚上）\(\color{white} 论 JCY 的思想\) 什么是拉插 给定一些点值，是否可以求出一个函数，使得函数图像穿过这些点，并求出给定的 \(x\) 所对应的 \(y\)。 初步思路 前置 我们想到两个
网络流
摘要：
给定一个网络，有源点和汇点，现在要往源点灌水，问每单位时间可以从汇点出多少水，并且每一条边有限流。 P3376【模板】网络最大流 一个几乎没用的东西：FF 思路 我们很显然会有个思路，就是每次 \(DFS\) 搜索，找到一条路径，并且是可以增广的（限流还没达到），那么就增广它，可是如果遇到一条路径走
四边形不等式
摘要：
由于四边形不等式太难了，所以只有应用，证明的自己考场上去猜 优化思路 考虑当状态转移满足四边形不等式时，具有决策单调性，即一种状态只会在一段特定的区域内生效，并且具有单调性 P4767 [IOI2000] 邮局 加强版 先打暴力，设 \(d_{ij}\) 为前 \(i\) 个村庄，\(j\) 个邮局
P1350 车的放置
摘要：
哇，奇奇怪怪的 \(dp\) 思路 首先由于每一行每一列都只能放一个棋子，所以我们考虑在第 \(i\) 列放不放棋子，但是考虑到行可能也有影响，所以我们记录之前放了多少个，即有多少行不能放棋子，然后状态就为 \(f_{ij}\) 不过我们发现如果从大列的小列的转移会出现一些差错，需要剪掉一些被占行，
abc366_f
摘要：
思路 考虑 \(dp\)，那么我们就需要装压 \(dp\)，所以我们考虑是否可以通过改变拓扑序，来让题目变成我们熟悉的背包 \(dp\)，所以我们来思考一下，什么时候交换顺序反而更优？ 考虑 \(i\) 和 \(i + 1\)，那么如果为 \(f_{i+1}(f_i(x))\) 那么贡献为： \(a
P3167
摘要：
将原字符串按通配符划分为若干段 维护 \(p_i\) 表示第 \(i\) 个通配符的原始下标 定义 \(f_{ij}\) 表示前 \(i\) 的通配符完成 \(t\) 串前 \(j\) 个字符，是否可行 若 \(f_{ij-1} = true\) 则 \(f_{ij} = true\)
