文章分类 - 笔记
摘要:## Basic ### 1. 定义 图中经过所有边恰好一次的路径叫欧拉路径(也就是一笔画)。如果此路径的起点和终点相同,则称其为一条欧拉回路。 一个重要的性质是:路径写成点的序列形式,除了起点和终点外,每个点每次出现,则其与其前和其后出现的点恰好形成该点的一条入边与一条出边。 ### 2. 欧拉路
阅读全文
摘要:不是写给自己看的。 ## ICG 考虑一类两个玩家的零和博弈游戏: 1. 游戏有一个局面,双方轮流操作,每次操作转移到一个新局面。 2. 能进行的操作与当前局面相关,与轮到哪一方操作无关(公平性) 3. 无法操作的一方失败。 4. 局面之间的转移无环。 这可以看做以局面为节点,转移边的有向无环图上沿
阅读全文
摘要:% command_block 静态链分治之前写过,不赘述。 # 重心 此处定义为到所有节点(带权)距离和最小的结点。 我们用 向重心移动 的方法可以证明其性质。假定权值均为正数: 1. 重心不唯一,至多有两个且一定相邻。 2. 边权与带权重心的确定无关。 3. 以重心为根,所有儿子子树权值和不超过
阅读全文
摘要:Segment Beats 支持区间取 的结构。复杂度证明依赖于值域的势能变化。对于区间加,复杂度依赖于区间值域的整体变化,非紧上界为小常数 。 即,区间维护最大值、次大值,只有所询问的数小于次大值才有必要继续递归。 另外:单纯维护区间历史 \
阅读全文
摘要:1. 上下界无源汇可行流 首先为了规避两个限制难以处理,先预先给每条边钦定等同于下界 的流量。 然后需要调整一些边使得流量平衡。显然可以给每条边 的额外流量,这时候没有下界影响了,可以直接当做出入度平衡问题,套路地采用 连向入度过大点,出度过大点连向 ,最
阅读全文
摘要:(指针)数组平移:f[x] = f[son[x]] + 1 DSU on tree 名字大概来源于并查集中的按秩合并。但是实际上应该从重链剖分角度去分析。用来离线得到每个节点子树的信息(如维护子树权值的平衡树)。要求: 各个节点对当前子树根的贡献独立。 可以在小于 的时间内直接引用
阅读全文