摘要： 部分在标签里面 AGC012B 水题但居然没想出来，主要是没看全各变量的数据范围。 法1是以距离为阶段，进行 \(dp\) 更新每个点对应扩张距离的最小时间戳。 法2时光倒流，每一步直接覆盖未覆盖点，dfs的轨迹可近似一棵叶子为未覆盖点的子树。 复杂度 \(O(nd)\) ARC080E 最后操作即 阅读全文

摘要： 网络流真的是很不错的算法，因为它富有想象力 最小路径覆盖问题 考虑把原问题等价一种网络流的最终态。 假设初始每个点单独为一条路径。考虑合并路径（前提为首尾相接）。路径数为\(n\)减合并次数。 把每个点拆成入点\(x_i\)和出点\(y_i\)，把有向边\((u,v)\)，连边：\(x_u\)到\( 阅读全文

摘要： bitset优化可行性背包 对称思想 如大于某值的和小于某值的个数相同，用等于某值的来推。 dp状态中\((i,j)\)，可以换成\((j,i)\)。 正反对称：如正向得到了多少，反向就减少了多少。 离散化区块 针对一些给定上下界的计数问题。可以把区间端点离散化，然后分成约\(2n\)个块，保证每个 阅读全文

摘要： 就整合成一篇文章吧，从2022/10/31日开始的cf题都放在这里了。 CF428D Random Function and Tree *2700 树形DP，容斥（正难则反） 这编号代表的是dfs序的奇偶性，所以状态：\(f[u][0/1]\)：表示子树内sz的奇偶性，这个转化也很常规。 假如说只有 阅读全文

摘要： 放下执念 阅读全文

摘要： 对称理论 初始局面可以分成两个相同“子局面”，\(S=A+A\)，而先手做什么后手都可以效仿，因此先手为P。 分解理论 简化：将\(S=A+C+C\)通过对称理论转化为\(A\)的过程称为简化，不能简化的称为最简局面。 N/P运算规律 \(N+P=P+N=N\) \(P+P=P\) \(N+N=N/ 阅读全文

摘要： 二分图染色 讲解 性质：给二分图的每条边染色，同色边无交点，最小颜色数为所有点度数最大值（\(\max\limits_{v} deg(v)\)）。 构造：类似增广路给每条边依次染色。当前染色边 \((u,v)\) 如果\(u\)和\(v\)未连接的颜色集合有交集，直接染 否则，设 \(c1, c2\ 阅读全文

摘要： 适用于动态维护子树信息 流程 类似树链剖分定义重儿子，轻重链。 先便历轻边子树，不保存信息（删）。 最后便历重儿子子树，保存重儿子信息。 再加入轻儿子子树即可得到子树信息了。 复杂度：一个点被加/删的次数为轻边数( \(logn\) )。 code 点击查看代码 void solve(int u, 阅读全文

摘要： 参考 定义和性质 定义：\(n\)个点的有向图，两两间存在一条有向边。（可以形象地理解为循环赛两两间胜负状态） 性质1：一定存在一条哈密顿回路（归纳法可证明） 性质2：缩点后是一条链（每个点往后面所有点连边）（由性质1可证） 推论：\(x\)的出度大于\(y\)，则\(x\)可到\(y\)。 性质3 阅读全文

摘要： E - Salvage Robots 动多个机器人可以看作动一个出口。 出口回收范围一定是一个矩形，任存在的机器人范围也是矩形。 dp状态存出口矩形四个方向的延伸量，每次某方向上扩展一格。 点击查看代码 #include <bits/stdc++.h> using namespace std; co 阅读全文

摘要： 计数数列个数，要满足能划分为若干个两端相等区间。 首先容易想到DP。 我想的是按段分阶段转移，显然不行，因为很容易算重，一个数列能有多种划分方案则会被算多次。 因此直接计数数列的每位，\(g(i,j)\)表示前\(i\)位有\(j\)种值存在位置的前一位往前的数列为合法序列的合法序列方案数，\(f( 阅读全文

摘要： 题意 操作：每次可选一段区间覆盖为原区间最大值。 目标：\(A\)和\(B\)中相等的位尽量多。 思路 每个值只有为 \(B_i\) 时才会贡献答案，设 \(A_i\) 左边第一个为 \(B_i\) 的为 \(L_i\) ，同理右边的为 \(R_i\)，当然还要满足 \((L_i,i]\) 和 \( 阅读全文

摘要： 题意 问\(S\)个数，使得\(S\)与\(S_1,S_2,S_3\)的距离满足上限。 思路 正难则反，转化为相等位满足上限。 \(O(n^2)\)肯定要枚举些什么？ 发现\(0/1\)大小关系状态有限。 把每列根据第\(2\)和\(3\)个跟第\(1\)个的大小关系分为四类。 令第\(i\)类列数 阅读全文