jzoj6355 【NOIP2019模拟】普(pe) （闵可夫斯基和）

分析

猜想一下这个函数是分奇偶凸的。
事实上也的确是这样。

考虑分治之后合并的过程。已经处理出了左右两边选多少个的最大值和最小值。
然后按照奇偶分类地合并即可得到新的值。

可以归纳地证明他是凸的。考虑更新的最优解如何求得即可。每次必定是左边多选两个或者右边多选两个，取最优的即可。
令f,g是这两个凸函数的差分，则f,g是递减函数。H是要更新的凸函数。
一个直观的理解是，若$f[1..a]+g[1..b]是H[a+b]$的一组最优的更新，那么$f[1..a+x]+g[1..b-x]$将会小于等于h[a+b]。若x!=0，作差可发现，再在这种情况上多取一个f是不如x=0的情况优的，因为f是递减的。

这个东西可以推广到求闵可夫斯基和的凸包上，具体证明大致是差不多的。
也即，求两个凸壳的闵可夫斯基和的凸壳，只需要用两个指针扫，每次取斜率更合适的那一边即可。

#include <bits/stdc++.h>
using namespace std;
const int N = 1e5 + 10, inf = 2e9 + 100;
int a[N], n;

vector<int> mx[N]