做题
P4775 一道用线段树合并处理直径的题目。一个小技巧就是树上线段树先合并再插入常数会小很多。
P10831 最开始信息：通过 Ramsey 引理知 6 点必有询问出 0 或 3，以这三点 \(A,B,C\) 为基础构造。如何求一边是否存在？预处理 \(i\to A,B,C,\forall i\) 的信息之后直接询问即可。考虑增量法，加入 \(i\) 点入已知集合 \(U\)：随机打乱 \(U\)，将其两两分组，一组内询问 \((u,v,i)\) 三角形，当 \((i,u)+(i,v)=1\) 时才需要递归，递归边界就是刚才的询问。理性分析一下期望只有至多一半对会递归，询问次数就到了 $\sim \frac 13n^2 $。
AT_pakencamp_2018_day2_g 由于 \(m-n\le 3\)，缩 1 度点，缩链（二度点）之后只剩下 \(O(1)\) 个点了，直接枚举即可。
P4484 杨表题目。这里应用了杨表的勾子公式和一组同构杨表对应排列的原理（不知道证明）。
P5295 Nash-William 定理：一个边集可以划分为 \(k\) 个无环子集的充要条件是：对于所有导出子图 \((V',E')\)，都有 \(|E|\le k(|V|-1)\)。这个限制的可以用最大权闭合子图，跑网络流处理。
CF2003F color-coding 算法。题目限制 \(k\le 5\) 个位置 \(b\) 互不相同，而 \(b\) 的值域很大，可以把 \(b\) 随机映射到 \([1,k]\) 上从而以一定概率满足选取位置 \(b'\) 互不相同（单调上升也可以），然后状压 dp 跑很多次即可。
CF1849F 找出 xor-mst，然后这个 MST 就给出了二分图的构造。
标签：le,题目,递归,11.17,询问,子图,11.11,杨表 From： https://www.cnblogs.com/british-union/p/18550990/mkc_