Codeforces Round #715 A~E

codeforces #715 A~E by CarolusRex

A. Average Height

点点点

B. TMT Document

点点点

C. The Sports Festival

题意：
给定$n\left(1⩽n⩽2\cdot 10^3\right)$个数，对其重排列。定义$d_i=max(a_1,a_2,...,a_i)-min(a_1,a_2,...,a_i)$，求最小的${\sum }_{i=1}^n{d}_i$。
题解：
在排列$a_1,a_2,...,a_i$中，记最大值为$a_k$，如果$k\ne i$，那么$d_j=max(a_1,a_2,...,a_j)-min(a_1,a_2,...,a_j)=a_k-min(a_1,a_2,...,a_j)$，其中$k⩽j⩽i$，那么我们对$a_k,a_{k+1},...,a_i$按从小到大排序，一定能获得$d_j$的更优解。最小值也是同样的情况，那么我们可以知道在已有排序$a_l,a_{l+1},...,a_r$的情况下，两侧新加的值要么是未出现的最小最大值，要么是未出现的最大最小值，进一步的，$a_l,a_{l+1},...,a_r$在大小上应该覆盖了一个连续区间。这时候我们先考虑对$a_i$快排，使得有序。然后这就变成了一个经典的dp问题，$dp[i][j]$表示$[i,i+j-1]$的最小${\sum }_{k=i}^{i+j-1}{d}_k$，由$dp[i][j-1],dp[i+1][j-1]$转移得到。时间复杂度为$O(n^2)$。

D. Binary Literature

题意：
$T\left(1⩽T⩽10^4\right)$组数据。
每组数据给定$n\left(1⩽n⩽10^5\right)$和三个长度为$2n$的字符串$s_1,s_2,s_3$。字符串由$0,1$构成。求一个长度为$3n$的字符串$S$使得，S中存在和$s_1,s_2,s_3$中至少两个字符串相同的两个子序列。$\sum n⩽10^5$

题解：
构造法。
法一：对字符串$s_i$，因为仅有$0,1$，那么存在一个出现次数$⩾n$的字符，而有三个字符串，则必然有一个字符在两个字符串中出现次数$⩾n$，记字符为$ch$，字符串为$s_0,s_1$。那么以$ch$为公共字符，增加另一个字符。总的长度必然$⩽3n$，这是显然的。

法二：记字符串$s_i$的下标为$l_i$，那么$s_i[l_i]$中必然有两个相同的字符，输出并且对应的$l_i+1$。直到有一个字符串已被遍历完，记此时输出了$k$个字符，那么总共有$2k$个$+1$，并且有一个$l_i=2n$，那么，其他两个$l_i$相加为$2k-2n$，则必有一个$l_i⩾k-n$，输出该$s_i$的剩余字符，有$2n-(k-n)=3n-k$个，构造完成。

E. Almost Sorted

题意：
$T\left(1⩽T⩽10^3\right)$组数据。
每组数据给定$n,k\left(1⩽n⩽10^5,1⩽k⩽10^{18}\right)$，n表示$[1,n]$的数组。对其排列，需要满足$a_{i+1}⩾a_i-1$，输出第$k$个这样的排列。排列之间的比较是字典序。

题解：
对一个特定满足条件的排列，可以分成多个依次单调减一的区间$[l_k,r_k]$。又因为$l_{k+1}⩾r_k-1$，如果等号成立，则两区间合并，否则考虑到不重复性，有$l_{k+1}>l_k$。进一步可以推导出$l_k$是单调递增的，并且$l_k$的排列和整个排列是一一对应的关系。
记T(n)表示长度为$n$的所有排列数，那么$T(n)={\sum }_{i=1}^{n}T(n-i)$，表示剩下长度分别为$n-i$的情况，特别的，$T(0)=1$。
记$S(n)={\sum }_{i=0}^{n}T(i)$，则$S(n)={\sum }_{i=0}^{n-1}T(i)+T(n)=2{\sum }_{i=0}^{n-1}T(i)=2S(n-1)=2^n$，则$T(n)=S(n)-S(n-1)=2^{n-1}$。找到这个规律后，我们就可以用二分快速找到需要的数。对于当前状况$(n,k)$，表示有$n$个数需要排列，找到第$k$个排列，只需要找到最大的$K$，使得${\sum }_{i=1}^{K-1}T(n-i)<k$成立，并更新$(n,k)$。那么时间复杂度为$O(nlogk)$。

注意到${\sum }_{i=1}^{K-1}T(n-i)=2^{n-1}-2^{n-K}$。进一步优化的方法是将$k$转化为二进制，为1表示$a_{i+1}=a_i-1$。需要注意的是，在这种情况下，需要将$k-1$，这是因为映射关系。另一点是转化后二进制对应的坐标是$[0,n-2]$，而不是$[1,n-1]$。时间复杂度为$O(logk)$。
这个转化的思路可以从两个角度得到。

1. 直接考虑$2^{n-1}-2^{n-K}$，每次找到的$K$对应了转化成二进制后的第一个1。
2. 从之前的映射关系入手，即每个$l_k$排列和整体排列的一一对应关系，那么对 $a_{i+1}=a_i-1$赋1，其他赋0。并且这个二进制对应的排列是符合字典序的。

code

https://github.com/cfuser/codeforces