摘要：
去年做 Day1 的时候睡了一觉才把 T1 做出来，所以花了大约十多个小时 ak 。 今年从七点半做到三点，也是睡了一觉才做出 T3 ，用了七个半小时。 所以有进步！ 写代码的过程中可以发现我的犯错方法关于变量个数指数上升，比如在 T1 中写出 \(\text{j}\to \text{i}\) ， 阅读全文
摘要：
Day \((-\infty,-1]\) 在深中快乐玩耍。 可能是因为打了 3 天 JOISC 被打爆了的缘故，被迫回到 OI 开始做题&打模拟赛。 发现自己做不动题了，迟早要完。 Day 0 从深中旁边的酒店搬到马耀华中学旁边的酒店，过程中把手机充电线落在原来房间了，于是手机电量有点危险。幸好是充 阅读全文
摘要：
一只高二菜逼在省选前两天发现自己根本不会 segment tree beats …… 3 区间最值操作 直接使用经典做法，在区间中记录最大值，最大值的个数，次大值即可。 证明一下复杂度。首先找一个好看的方法描述一棵线段树，吉老师选择了这样的方法： 在每个节点维护区间中的最大值作为 tag ，然后把和 阅读全文
摘要：
EI 队长不务正业 又是一个（对于我来说）理性愉悦的东西，大概几年之内（或者这辈子？）都不会写这东西的代码…… 1 概述 自然的想法是维护这些函数取 \(\max\) 之后得到的分段函数，但这就带来一个问题：分段函数最多能分多少段。 只考虑任意两个函数，如果段数不超过 \(s+1\) ，那么总的分段 阅读全文
摘要：
3 基础知识 3.1 弦图的点割集 读者自证不难。 3.2 弦图的单纯点 归纳证明。任取两个没有边的点，取出它们的极小点割集 \(A\) ，然后分成 \(V_1,V_2\) 。那么 \(V_1\cup A,V_2\cup A\) 的导出子图中都存在两个不相邻的单纯点，且至少一个不在 \(A\) 中， 阅读全文
摘要：
Itst Orz 以下的 \(n\) 一般表示棋盘的大小为 \(n\times n\) 。 \(B_n=\{(i,j)\mid 1\le i,j\le n\}\) 。 对于一个棋盘 \(S\) ，定义棋盘数 \(r_k(S)\) 表示在 \(S\) 里面放 \(k\) 个棋子的方案数，定义 \(h_ 阅读全文
摘要：
定义跳过。 3 杨表和排列的对应关系 插入算法： \(S\gets x\) 表示把 \(x\) 从第一行插入 \(S\) 中，每次找到该行的 upper_bound ，用 \(x\) 替换，然后往下插入。如果找不到就直接插在末尾。 \(x\to S\) 表示从第一列插入，方法类似。 删除算法：删掉位 阅读全文
摘要：
以前对后缀数据结构的理解不够深刻，希望读完这篇论文之后可以有较为透彻的认识。 3 OI 中的传统后缀数据结构 3.1 后缀字典树 把所有后缀拎出来建字典树，然后把后缀对应的点标记为灰色。 3.2 后缀自动机 DFA 的最小化的概念：（我并没有查找资料所以只是个人理解）如果两个点连向的点对应等价，那么 阅读全文
摘要：
系统地学习一下。但 是 为 什 么 我 要 啃 证 明 过 程 啊 前几节 前面几节直接跳了，只写一些容易忘或是曾经不是很理解的东西。 环：极小非独立集。注意环删掉一个元素之后是独立集但不一定是基，所以环的大小可以不同（废话，看图拟阵不就看出来了）。 匹配拟阵：不是定了几条边必须要选，而是定了几个点 阅读全文
摘要：
关键是注意到可以枚举平均数。 5 \(T=1\) 的标准解法 可以发现一条边存在的时间一定是一个区间，考虑求出这个区间的左右端点。 可以二分左端点 \(l_i\) ，设自己的权值是 \(w_i\) ，那么合法当且仅当只用 \((2l_i-w_i,w_i)\) 的边无法使得 \(u_i,v_i\) 连 阅读全文