C - Candles
双指针维护一个区间搞一下就行。
D - Median of Medians
题意：
给出\(n\)个数，求所有区间中位数的中位数。
思路：
设最终答案为\(ans\)。
可以发现\(ans\)具有单调性，什么样的单调性呢？
假设中位数大于\(ans\)的区间有\(y\)个，发现随着\(ans\)的增大，\(y\)是单调不增的，所以我们就可以这样来搞。
具体做法：
- 二分答案\(ans\)，将小于它的置为\(-1\)，其余置为\(1\)，易知当区间和为非正数时，该区间的中位数小于\(ans\)，个数为\(y\)。
- 根据\(y\)的大小来调整\(ans\)，\(y\)的大小的标准参照区间个数。
- 实现可用树状数组。
细节见代码：(真是巧妙啊QAQ)
E - Ribbons on Tree
题意：
给出一颗有偶数个点的树，现在问有多少种方案，能够将这些点两两配对并且每一条边都能被至少一对点对的路径经过。
思路：
- 直接思考不好做，考虑容斥；
- 容斥的话就枚举边集\(E\)，\(E\)中的边不会被覆盖，那么答案就为\(\sum_E(-1)^{|E|}f(E)\)。
- 现在考虑如何求\(f\)，因为如果确定了边的个数，树就被划分成了几个连通块，假设\(g(n)\)表示\(n\)个点两两配对的所有方案数。
- 那么\(g(n)=\frac{1}{2^\frac{n}{2}}C_{n}^{\frac{n}{2}}*\frac{n}{2}!=1\cdot 3\cdot...\cdot (n-1)\)。
- 具体含义就是先从\(n\)个点中选出\(\frac{n}{2}\)个点，然后每个点依次选择其配对点，但有些可能会重复选择，除掉就行。至于后面两个式子为什么相等，这涉及到阶乘中\(2\)的个数，稍微推一推就行。
- 然后直接\(dp\)就是了，\(dp[u][x]\)表示以\(u\)为根的子树中，有\(x\)个点和\(u\)的父亲在同一个连通块的方案数。之后类似于树背包那样转移就行。
- 特别地：当\(x=0\)时，就相当于此时划分出了一个连通块，就需要统计块内的方案数，同时乘以一个容斥系数\(-1\)(相当于多出一条边，改变了奇偶性)。
- 最后多乘了一个\(-1\)，所以答案为\(-dp[1][0]\)。
感觉很神奇吧，独立做感觉很难做出来= =
F - Robots and Exits
题意：
数轴上有\(n\)个点，\(m\)个出口，之后可以让所有点左移或者右移一格，若遇到出口点就消失。
最后问当所有点消失时，能够用到的出口总数。
思路：
- 每个点用一个点对\((x,y)\)表示，\(x,y\)分别表示当前点与左边最近的出口和右边最近的出口的距离。
- 发现左移一格可以表示为\((x-1,y)\)，右移一格可以表示为\((x,y-1)\)。
- 为什么是这样？
- 我们更在意的是他们的相对位置，所以另一数值不变不影响，就算变了，最后还是要回去对吧。
- 那么就可以看作每个点都可以沿着一条折现触碰坐标轴。
- 转换一下思路，我们从原点出发画一条单调不降的折线，并且我们可以将折现平移，总会有一个点最先触碰到这条折线，那么我们直接\(dp\)枚举这个点进行转移即可。
感觉在折线上\(dp\)这种题挺有意思的，细节也比较多。还需要仔细品味一下。
详见代码：