ZROI 暑期高端峰会 A班 Day6 离线问题
FBI Warning：本文含有大量人类本质之一。
动态联通问题
允许离线。
模板，不讲了。
归并排序
%@)(#&%)++%($@)%!#(&%)(&@)))
主定理
U(*#\(!^*%(@&)(!#*()!@&!)@)%&()!()\)))))
快速排序
真·快速排序 \(O(n^2)\)（期望 \(O(n\log n)\)）
由不等式 \(P(x\ge a)\le \frac{E(x)}{a}\)（实际上是个很松的上界），快速排序被卡到 \(\Omega(n^2)\) 的概率是 \(O(\frac{\log n}{n})\)，基本不可能。
Median of medians
把序列分成五等份。对每一列排序。由于一列只有五个数所以不用管复杂度。
找到第三行的中位数，并放到中间的位置。把比中位数小的放前面，大的放右边。那么这个中位数左上角的肯定更小，右下角的肯定更大。
复杂度分析：\(T(n)=T(\frac{n}{5})+T(\frac{7}{10}n)+O(n)=O(n)\)。（？？？）
经典问题
两道简单模板，不讲了。
CF958E3
\(n\) 个红点，\(n\) 个黑点，保证互不相同，没有三点共线，求一个红点到黑点的完美匹配，使得匹配之间的连线互不相交。保证有解。
\(n\le 10^4\)
首先明显对于任意的$)&!@(都是有解的。证明不难。
然后……突然离线。
咕了。
CF429D
给 \(n\) 个数 \(a_i\) 求
\(n\le 10^5\)
把一个点看成 \((i,s_i)\)，答案就是平面最近点对的距离。
\(O(n\log n)\)。
CF938G
如果没有删边，就是个 [WC2011]XOR 了。
有删边，线段树分治即可。
？？？
给定一棵树，求有多少个大小为 \(k\) 的点集 \(S\)，使得存在一个点 \(u\)，满足对于任意 \(v\in S\)，有 \(dis(u,v)\le L\)。
\(n\le 10^5\)
发现对于一个点集，满足条件的 \(u\) 构成一个连通块，一定满足点数-边数=1。
那就可以对每个点计算多少个，对每条边计算多少个，加加减减就好了。
对于点怎么算呢？就是离他距离不超过 \(L\) 的中选正好 \(k\) 个的方案数。这个可以在点分树上跑，复杂度是 \(O(n\log n)\)。
边也差不多。建个虚点即可。
总复杂度 \(O(n\log n)\)。
CF1010F
Day 4 讲过。
[WC2014]紫荆花之恋
不管了。
动态区间第 \(k\) 大
整体二分模板。
？？？
给定一个有向图，支持动态加边，求每次加边后点对 \((u,v)\) 数，使得 \(u,v\) 可互达。
\(n,q\le 10^5\)
转化为求每条边，求什么时候 \((u,v)\) 开始可互达。
对于一条边可以二分，然后 tarjan 判一下。
对于所有边就要整体二分。如果是最暴力的，把 \(1\) 到 \(mid\) 的所有边放进去。复杂度炸了。
实际上由于是个分治，可以每次在前面已经缩起来的图的基础上，加边。
emmm……会意就好。
？？？
眼熟。
对于左边每个点维护最短路径树。
发现矩阵上每个点的父亲只有 \(3\) 中可能（左，上，下），而且肯定是逆时针旋转的。
所以边的变化数是 \(O(wh)\)。
然而……怎么判断要不要旋转呢？
分治。求出 \([l,r]\) 的所有最短路径树。
求出以 \(l\) 为起点和以 \(r\) 为起点的最短路径树。对于在这两棵生成树上都相同的边，肯定在 \([l,r]\) 中所有树上都出现。
否则递归求。
复杂度简单（？？？）分析一波发现是 \(O(wh\log w)\)。（最短路是个分层图，可以 \(O(wh)\) 求）
一些奇淫技巧
离线求逆元：普及组，不讲了。
树上分块+四毛子：（四毛子是啥？？？）
tarjan LCA：被 ST 表全面吊打也就没有那个预处理的 \(O(n\log n)\)。
