noip 以后 CF 题选录
contests
Educational Codeforces Round 117
D. X-Magic Pair
发现能够凑出的数都是这样形成的:
比如 \(a>b\),那么一直让 \(a\) 减 \(b\),如果 \(a<b\) 那么交换
然后模拟 \(gcd\) 的过程即可,即求 \(gcd\) 的过程 \(x\%b==a\%b\) 则满足条件
E. Messages
利用期望的线性性,那么总期望等于各信的期望之和
假如目前选择 \(t\) 封信,那么对于一个信的主人 \(i\),如果 \(k_i\ge t\),那么获得 \(1\) 的期望,否则获得 \(k_i/t\) 的期望
考虑 \(t\) 的范围,结论是 \(t\le max\{k_i\}\)
证明:假设 \(t\) 取 \(21\) 的最有情况,即前 \(21\) 大的信都有 \(x\) 个人,每个人的 \(k\) 都是 \(20\),那么减少的为 \(\frac{1}{21}F* 20x\),增加的是 \(\frac{20}{21}Fx\),发现最有情况正好相等,那么意味着 \(t\) 变成更大一定不优
F. Armor and Weapons
首先暴力的想法是直接 \(bfs\) 二元组 \((a,b)\)
然而一个很好的条件是特殊点对的加成为 \(1\),那么发现 \(x\) 或 \(y\) 越大一定越优
可以按照层数来 \(dfs\),那么对于每层来说如果存在点对 \((x,y)\) 和 \((x',y')\),满足 \(x\ge x',y\ge y'\),那么 \((x',y')\) 可以说是没有用的了
那么这样每层的状态实际上非常少,最多 \(m\) 个,而 \(bfs\) 到答案最多大约 \(log\) 层,那么复杂度 \(mlogn\)
这道题启示我们进行类最短路 \(bfs\) 时要尽量地对状态进行优化与剪枝
G. Max Sum Array
首先是这样一个结论:一开始两端点一个定放个数最多的那种数,证明省略
那么就出现了可以递归的子问题,然后递归处理即可
发现出现不同方案数可能由于每一层同时有多个个数最多的数,假设有 \(k\) 个
通过同样的方式可以证明摆放顺序没有关系,那么有 \((k!)^2\) 种方案
利用桶排 \(O(m)\) 处理即可
Codeforces Round 709
C. Skyline Photo
写出来 \(dp\) 方程:\(f[i]=max\{f[j]+b_{min\{a_i\}}\}\)
发现转移是成段的,即每个 \(i\) 管理一段
那么可以直接用单调栈来解决这个问题,每个单调栈里记录栈中这个元素到上一个元素之间的最优转移即可
D. Useful Edges
首先是暴力的想法,枚举每一条边,枚举每一个三元组,如果满足 \(dis[u][x]+w(x,y)+dis[y][v]\le l\) 则满足条件
移项得 \(dis[u][x]+w(x,y)\le l- dis[y][v]\)
两边都有的是 \(u,y\),那么对于固定的 \(u,y\),枚举一边更新另一边即可
杂题
数据结构
CF1136E Nastya Hasn't Written a Legend
我也不知道正解是怎么想到这道题中的不变量的……
发现 \(a_i\ge a_{i-1}+k_{i-1}\ge …… \ge a_1+sum_{i-1}\)
那么设 \(u_i=a_i-sum{i-1}\)
那么带入得到 \(u_i\ge u_{i-1}\),即是单调的
操作一相当于单点加,配合线段树上二分与区间覆盖来维护单调新
操作二相当于区间和,减去前缀和的前缀和
注意可能区间赋值为零,\(lazy\) 标记要初始化为 \(-inf\)