专题题解 - XXI Open Cup, Grand Prix of Nizhny Novgorod

难度主要是指思维难度。


A. Assignment Problem

难度:$\bigstar\bigstar$

题目大意:

有 $m$ 个职位和 $n$ 个应聘者($m\leq n$),每个职位应分配给恰好一个应聘者。

有收益矩阵 $A_{m\times n}$ 表示每个职位分配给每个应聘者的收益,HR 在安排职位时需要保证总收益最高。

现在 $A$ 不是完全给定的,只是对于所有 $1\leq i\leq m$ 给定 $n$ 个人在第 $i$ 个职位上收益从大到小的排序结果,即对于每个 $i$ 给出排列 $p_{i,1},\ldots,p_{i,n}$,表示 $A_{i,p_{i,j}}>A_{i,p_{i,j+1}}$。

你需要指出,对于每个 $1\leq i\leq n$,是否存在一个可行的矩阵 $A$ 使得第 $i$ 个人可以被应聘。

$1\leq m\leq 11, 1\leq n\leq 1000$

题目解法:

首先我们证明:一定存在一个 $i$ 使得第 $i$ 个职位分配给了 $p_{i,1}$。

否则,假设第 $i$ 个职位选了第 $h_i$ 个人,建立一个有向图,从 $h_i$ 连边到 $p_{i,1}$,在图中从任意一个有出度的点出发任意走一条路径,直到终点没有出度或者回到了起点(可以认为是简单路径,否则中途就有环,因此路径是有限的),沿着路径方向进行一轮调整就得到了一组更优解,矛盾。这就证明了原命题。

因此选人的过程可以这样理解:每次选择一个 $i$,将这个职位分配给 $p_{i,1}$,然后将 $p_{i,1}$ 这个人删掉,再在剩下的职位和应聘者之中重复上述过程。

所以,我们枚举一个 $1,\ldots,m$ 的排列,那么每个职位分配给的应聘者就确定了,我们可以 $O(m^2)$ 求出来,这些人就是可能被应聘的人。

时间复杂度为 $O(m!\times m^2+n\times m)$,事实上常数极小,因此可以通过。


B. Lockout vs. Tourist

难度:$\bigstar\bigstar\bigstar\bigstar$

题目大意:

有 $n$ 道题,第 $i$ 道题分数为 $a_i$,你和 Tourist 一起做这些题,规则如下:

  • 每一回合,你和 Tourist 分别选出一道题,选择时你们互不了解对方的选项;
  • 如果你选的题和 Tourist 一样,那么就删除这道题,如果 $n$ 道题已经删光那么游戏结束并且你获得零分,否则进入下一回合;
  • 如果你选的题和 Tourist 不一样,那么游戏结束,你的得分是你这回合选的这道题的得分。

Tourist 想要最小化你的得分,请问 Tourist 在最优策略下,你期望最多能获得多少分,以浮点数形式输出。

$1\leq n\leq 22$

ix35 的注解:Tourist 的决策是基于概率的,也就是可以以一定权重随机选择某道题,而他的目标是使得你在这种情况下任意选择一道题,最大的期望得分最小。

题目解法:

状压 DP,设剩余题目集合为 $S$ 时你的最大期望得分为 $f(S)$。

设 $m=|S|$,其中第 $i$ 题分数为 $a_i$,$S$ 除去第 $i$ 题后你的最大期望得分(这是已经算过的 $f$ 值)为 $b_i$,Tourist 有 $p_i$ 的概率选择第 $i$ 题($1\leq i\leq m$),那么你的最大期望得分就是:

就是说如果你选了第 $i$ 题,那么 Tourist 有 $p_i$ 概率也选第 $i$ 题,此时这道题被删除,而后你的最大期望得分为 $b_i$,否则你直接获得 $a_i$ 分并结束游戏。

考虑二分答案 $C$,我们现在要判断是否存在 $p_1,\ldots,p_m$,使得:

令 $d_i=\dfrac{C-a_i}{b_i-a_i}$,那么第二个条件告诉我们,如果 $b_i>a_i$ 那么 $p_i\leq d_i$,如果 $b_i<a_i$ 那么 $p_i\ge d_i$(而 $b_i=a_i$ 的情况稍后说明)。

有一个容易证明的结论:存在至少一个 $i$,使得 $b_i<a_i$(考虑最大的 $a_i$ 即可),因此判定条件就可以写为:

第二个条件是因为当 $b_i>a_i$ 时 $0\leq p_i\leq d_i$,所以 $(C-a_i)(b_i-a_i)\ge 0$,而当 $b_i=a_i$ 时由之前的式子直接得到 $a_i\leq C$。

实际上第二个条件只是给了 $C$ 的一个下界,稍为复杂的是第一个条件:注意到 $d_i>0\iff C< a_i$,所以在这里我们只需要考虑所有大于 $C$ 的 $a_i$,这也告诉我们 $\sum \max(0,d_i)$ 是一个关于 $C$ 的分段线性函数,在每一段上都可以求出它取 $1$ 的点,也就是 $C$ 的最小值。

如果真的去二分,时间复杂度为 $O(2^n\times n\times \log \epsilon^{-1})$,难以通过。

但是根据上面的观察,不需要二分 $C$,只需要分段后在每一段上求一个最值就可以了,时间复杂度为 $O(2^n\times n)$。


C. Multiple?

难度:$\bigstar\bigstar\bigstar$

题目大意:

定义好序列为所有元素都是 $[1,n]$ 中的整数,且任意非空子序列的和不是 $n$ 的倍数的序列。

求长度为 $n-k$ 的好序列数量,对 $998244353$ 取模。

$1\leq k\leq \dfrac{n}{4}<n<998244353$

题目解法:

可以证明:好序列的众数出现次数一定不小于 $\dfrac{n}{2}$,并且这个众数一定与 $n$ 互素(后附证明),设其为 $x$,首先将所有序列中的数乘上 $x^{-1}$,此时众数是 $1$,且至少 $\dfrac{n}{2}$ 个,所以容易证明所有数的和小于 $n$,这其实是一个充要条件(因为大于 $\dfrac{n}{2}$ 个不是 $1$ 的数直接导致和大于等于 $n$),利用隔板法知方案数 $\binom {n-1}{k-1}$,注意还要乘上众数的方案数 $\varphi(n)$。

下面是对关键结论的证明:

设众数为 $x$,除了 $x$ 以外其他所有数的出现次数总和为 $t$,我们现在从 $n-k$ 个数中选出若干对,使得每一对里两个数不同,容易证明可以选出 $S=\min(t,\lfloor\dfrac{n-k}{2}\rfloor)$ 对。

将所有数排成一列,使得同一对数在一起,此时有 $n-k+1$ 个前缀和,同时我们还可以交换任意一对数内部的顺序,就又有了 $S$ 个新的前缀和,总共 $n-k+1+S$ 个前缀和,并且它们模 $n$ 两两不同(否则就找到了一个子序列和为 $n$ 的倍数),所以 $S\dfrac{n}{2}$,如果 $(x,n)\ne 1$ 那么取 $\dfrac{n}{(x,n)}$ 个 $x$ 就是 $n$ 的倍数,不符合题意,所以 $(x,n)=1$。

时间复杂度为 $O(n)$,由于 $k\leq \dfrac{n}{4}$ 所以常数为 $\dfrac{1}{4}$,可以通过。


D. Output Limit Exceeded

难度:$\bigstar\bigstar$

题目大意:

对于给定的 $n,k (0\leq k\leq n)$,可以建立一张左右各 $k$ 个点的二分图,其中左边第 $i$ 个点与右边第 $j$ 个点有边当且仅当 $i\mid n-j+1$,如果这张图有完美匹配,就称 $(n,k)$ 是好的。

给定 $n$,请你给出一个长度为 $n+1$ 的 $\texttt{01}$ 串 $s$,$s$ 的第 $i$ 位为 $1$ 当且仅当 $(n,i-1)$ 是好的。

你需要这样给出 $s$:初始令 $s_0=\texttt{0}, s_1=\texttt{1}$,然后对于每个 $s_i (i\ge 2)$,它由若干个编号更小的 $s_j$ 拼接而成,最后 $s_t$ 就是答案字符串,设要用 $q_i$ 个更前面的串拼出 $s_i$,你要确保 $\sum q_i\leq 10^4$。

$0\leq n\leq 10^{18}$

题目解法:

容易发现 $(n,k)$ 是好的当且仅当 $(n,n-k)$ 是好的,于是只需要考虑 $k<\dfrac{n}{2}$。

注意到如果 $n,n-1,\ldots,n-k+1$ 中有两个素数,那么 $(n,k)$ 一定不是好的(素数只能和 $1$ 匹配),所以只需要考虑 $[n-k+1,n]$ 中至多一个素数的情形,可以证明 $k\leq 3000$,实际上这个估计并不是很精确。

对于这些 $k$ 暴力求解最大匹配即可,最后将它们的结果与中间的一长串的 $\texttt{0}$(用倍增构造)拼接即可。

时间复杂度为 $O(k^3\log k)$ 或者 $O(k^{2.5}\log k)$,取决于最大匹配的算法。


E. Smol Vertex Cover

难度:$\bigstar$

题目大意:

给定 $n$ 个点的无向图 $G$,设 $G$ 的最大匹配大小为 $M$,最小点覆盖大小为 $C$,求是否有 $C\leq M+1$,如果是,请给出一组最小点覆盖。

$1\leq n\leq 500$

题目解法:

首先求出一个最大匹配。

显然 $C\ge M$,因为最大匹配中每条边的两个端点至少有一个在最小点覆盖中。

如果 $C=M$,这说明恰好从每个最大匹配中选出了一个点,2-SAT 构造即可(2-SAT 无解则 $C>M$)。

如果 $C=M+1$,再额外钦定一个点必选,然后 2-SAT 即可。

时间复杂度为 $O(n^3)$。


F. Thanks to MikeMirzayanov

难度:$\bigstar\bigstar\bigstar$

题目大意:

给定 $1,\ldots,n$ 的排列 $a_{1,\ldots,n}$,每次操作可以将 $a$ 划分成 $k$ 个连续段 $D_1,\ldots,D_k$ 依次拼接的形式,然后将 $a$ 变成 $D_k,\ldots,D_1$ 依次拼接的形式(而不改变每个 $D_i$ 内部数的顺序),请在 $q$ 次操作以内将 $a$ 排序。

$1\leq n\leq 20000, q=120$

题目解法:

这样的排序问题可以首先考虑 $01$ 序列的情形,如果序列只包含 $0,1$,那么首先我们将连续段合并,变成 $1010101010\ldots$(或者 $0101010101\ldots$)这样的形式,然后分段如 $10\mid 1\mid 01\mid 0\mid 10\ldots$(或者 $0\mid 10\mid 1\mid 01\mid 0\ldots$)。注意到一次操作实际上可以看成先将每个 $D_i$ 内部翻转,再将整个序列翻转,整个序列的翻转可以忽略,我们只翻转每段内部,就会变成 $0111000111\ldots$(或者 $0011100011\ldots$)这样的形式,连续段数大致除以了 $3$,因此只需要大约 $\log_3 n$ 次就可以排序长度为 $n$ 的序列。

对于原问题考虑分治,首先把所有二进制最高位为 $0$ 的数放在最高位为 $1$ 的数左边(这相当于一个只有 $0,1$ 的排序),然后分成两个子问题,再考虑次高位,以此类推。由于最高位做完以后最高位为 $0$ 和 $1$ 的数分别在两边互不干扰,所以此后的进程可以在两边同步进行,也就是说每一位都只需要总共 $\log_3 n$ 次左右的操作就可以排好,通过此题绰绰有余。

题解采用的做法需要大约 $\log_2 n$ 次才能排好一个长度为 $n$ 的 $01$ 序列,因此上面叙述的做法比题解做法要优秀许多。

时间复杂度为 $O(nq)$。


G. Remove the Prime

难度:$\bigstar$

题目大意:

给定长度为 $n$ 的数组 $a_1,\ldots,a_n$,两人轮流操作,每次操作选择非空区间 $[l,r]$ 和素数 $p$,需满足 $p\mid a_i (i\in [l,r])$,然后除去 $a_i (i\in [l,r])$ 中所有的素因子 $p$,无法行动者败,问谁必胜。

$1\leq n\leq 1000, 1\leq a_i\leq 10^{18}$

题目解法:

显然序列关于每个素数是无关的游戏,而且同一个素数的倍数构成的不同连续段是无关的游戏,并且长度为 $l$ 的连续段 SG 值就是 $l$,所以我们将每个 $a_i$ 分解素因数后枚举所有素因数和其倍数构成的连续段,将这些段的长度全部异或起来,等于零则后手胜,否则先手胜。

时间复杂度为 $O(nT(A))$,其中 $T(A)$ 是分解一个 $a_i$ 的时间复杂度,可以用 Pollard‘s Rho 实现。


H. Excluded Min

难度:$\bigstar\bigstar\bigstar\bigstar$

题目大意:

对于非负数可重集 $S$,一次操作可以选择一个在 $S$ 中至少出现两次的 $x$,删掉一个 $x$ 并添加一个 $x-1$ 或 $x+1$,并保证 $S$ 仍然是非负数可重集。

可重集 $S$ 的价值定义为其经过任意多次操作后 $\operatorname{mex}$ 的最大值。

给定序列 $a_1,\ldots,a_n$,有 $q$ 次询问,每次给定 $[l,r]$,求 $a_l,\ldots,a_r$ 构成的可重集的价值。

$1\leq n,q,a_i\leq 5\times 10^5$

题目解法:

可以发现,如果区间中 $<x$ 的数的个数(记为 $f(l,r,x)$)不少于 $x$,那么可以通过调整使得 $\operatorname{mex}$ 为 $x$,否则仅通过 $<x$ 的数无法使得 $\operatorname{mex}$ 变为 $x$。

所以答案就是使得 $f(l,r,x)\ge x$ 的最大的 $x$。

那么就有一个十分简单的莫队做法,时间复杂度为 $O(n\sqrt n\log n)$,但这不是 intended solution,难以通过。

考虑离线后按照 $x$​ 从大到小扫描,对每个区间维护 $f(l,r,x)-x$​,每当有某个区间的这个值非负时就找到了这个区间的答案(为 $x$),然后将它删除即可。

所以我们要支持矩形加,全局最值,删除元素,但这太困难了,我们考虑进一步简化。

如果 $[l_1,r_1]\subset [l,r]$,那么显然 $f(l_1,r_1,x)\leq f(l,r,x)$,所以一开始求最大值时可以不考虑 $[l_1,r_1]$,只有等 $[l,r]$ 被删除后才需要考虑这条更短的线段。

所以现在我们可以认为所有线段没有包含关系,那么原本的二维问题就退化成了一维(排序后左右端点都是单调的),只需要支持区间加以及查询最值即可,用线段树可以维护。

不过此时就会有增删线段的问题,我们可以用另一棵线段树记录当前被另一个区间包含的区间,称为候选区间,每当有一个区间被删除时就要考虑它包含的候选区间是否要加到前一棵线段树上,由于前一棵线段树上的线段都是有序的,所以找出这些要加入的候选线段可以直接取右端点最大的看能不能加。

为了计算候选区间此时的 $f(l,r,x)$,还要用树状数组维护整个序列。

时间复杂度为 $O((n+q)\log(n+q))$。


I. Trade

难度:$\bigstar\bigstar$

题目大意:

有 $n$ 个商品,第 $i$ 个商品的初始价格为 $c_i$,但如果你在买它之前已经买了其他的 $j$ 个物品,那么你在买它的时候需要额外付出 $j\times p_i$ 的价格,保证 $p_i$ 两两不同。你有 $S$ 单位的钱,问最多能买多少个商品。

$1\leq n\leq 10^5, 0\leq S\leq 10^9$

题目解法:

由于 $p_i$ 两两不同,所以买 $m$ 个物品所需价格至少也是 $O(m^3)$,所以能购买的物品数量是 $O(\sqrt[3] S)$ 的。

显然购买顺序是 $p_i$ 从大到小,所以排序后 DP 即可,时间复杂度为 $O(n\sqrt[3] S)$。


J. Increasing or Decreasing

难度:$\bigstar\bigstar$

题目大意:

给定 $1,\ldots,n$ 的排列 $a_{1,\ldots,n}, b_{1,\ldots,n}$,现在可以对 $a$ 进行若干次操作,操作形如将一个区间从小到大或从大到小排序,请构造一个不超过 $n$ 个操作的方案将 $a$ 变为 $b$。

$1\leq n\leq 500$

题目解法:

可以先通过一次操作将 $a$ 整体倒序排序,此时 $a_i=n-i+1$。

接下来依次枚举 $i=1,\ldots,n-1$,设 $b_i$ 在当前 $a$ 中的位置是 $r$,那么我们就将 $[i,r]$ 正序或倒序排序,使得 $a_i=b_i$。

要做到这一点,我们需要归纳证明:在上述过程中的任何一步,$a_r$ 或者是 $[i,r]$ 的最小值,或者是 $[i,r]$ 的最大值,而这个归纳是不困难的,这里不进行赘述。

暴力实现,时间复杂度为 $O(n^2)$。


K. Rectangle Painting

难度:$\bigstar\bigstar\bigstar\bigstar$

题目大意:

直角坐标系中的每个单位方格初始全为白色,接下来进行 $q$ 个操作,操作分为:

  • 修改操作,给定 $y\ge0,l,r$,将所有 $(i,y) (i\in [l,r])$ 对应的方格染黑。
  • 查询操作,给定 $l,r$,求最大的自然数 $y$ 使得存在 $i\in [l,r]$,对于所有 $j\in [0,y)$ 满足 $(i,j)$ 是黑的。

强制在线。

$1\leq q\leq 10^5, 0\leq l\leq r\leq 2\times 10^5$

题目解法:

对横坐标建立线段树维护,本题的维护技巧依赖于对于经典的线段树五类点意义的理解(可以参看我没写完的数据结构博客):

  • 橙色点:某个修改区间的定位区间;
  • 黄色点:橙色点的真后代;
  • 红色点:不是任何修改区间的子区间,但是与某个修改区间有交;
  • 绿色点:红色点的非橙色非红色儿子;
  • 蓝色点:绿色点的真后代。

对于一个确定的纵坐标 $y$,如果将所有纵坐标为 $y$ 的修改操作扔到线段树上,那么一个横坐标 $x$ 对应的格子 $(x,y)$ 为白也就等价于 $x$ 对应的线段树上的叶子为绿色或蓝色,这又等价于这个叶子有一个绿色的祖先(包括自己)。

那么,对于每个线段树上的结点 $p$,我们维护使得 $p$ 是绿色点的纵坐标 $y$ 的集合 $S_p$,以及其中的最小值 $m_p$,那么查询 $[l,r]$ 的答案就是:

其中 $L_i$ 是 $i$ 对应的叶子,$x\to y$ 表示 $y$ 是 $x$ 的祖先。

对于线段树上对应区间 $[l,r]$ 的点 $x$ 维护一个辅助量 $val_x$,它表示 $\max\limits_{i\in [l,r]}\min\limits_{L_i\to j\to x} m_j$,即只考虑每个叶子到 $x$ 的路径而不考虑 $x$ 到根的部分,那么有 $val_x=\min(m_x,\max(val_{lx},val_{rx}))$,其中 $lx,rx$ 为 $x$ 的左右儿子。

于是我们直接套用传统的线段树区间查询,对于定位到的橙色点直接返回 $val_x$,对于红色点其返回值为两个儿子的较大值与自己的 $m_x$ 取 $\min$,最后根的返回值就是查询答案。

最后的问题是如何维护 $m_p$,那么当然同时要维护 $S_p$,只需要当处理纵坐标为 $y$ 的修改时遇到点 $p$(即 $p$ 变为红色或橙色),如果 $y\in S_p$,那么要将 $y$ 移出 $S_p$,同时将 $y$ 加入 $S_{lp},S_{rp}$,其中 $lp,rp$ 是 $p$ 的左右儿子。

其实这个做法有一个小问题,考虑以下 Hack:对于同一纵坐标 $y$ 和点 $p$,先来一个包含 $p$ 的左儿子 $lp$ 而不包含其右儿子 $rp$ 的修改,此时 $p$ 为红,$lp$ 为橙,$rp$ 为绿;再来一个包含 $p$ 的修改,这时 $rp$ 和 $lp$ 应该都改成黄色,但是实际上 $rp$ 的绿色标记没有被正确去除。

这是因为线段树递归到了一个被修改区间包含的区间就会停止,为了避免少清除标记,我们需要保证同一纵坐标的所有修改操作两两不交,只需要先用 set 处理一下修改区间即可。

时间复杂度为 $O(q\log q\log V)$,其中 $V$ 是区间端点值域。


L. Extreme Wealth

难度:$\bigstar\bigstar\bigstar\bigstar$

题目大意:

给定 $R,B$,在一个赌球游戏中有 $R$ 个红球和 $B$ 个蓝球。

你有初始为 $1$ 的资金,总共有 $R+B$ 回合,每一回合中会等概率随机选择当前剩下的某个球(此后的回合就拿走了这个球),你可以下注 $x$ 赌它为红球或蓝球,如果赌对则获得 $x$ 的利润,否则付出 $x$ 的代价(当然 $x$ 要不超过你的资金总数)。请问结束游戏时,最坏情况下最多可以保证拥有多少资金。

答案以浮点数形式输出,特别地,如果答案超过 $10^9$,只需要输出 Extreme Wealth

$0\leq R,B\leq 10^{13}$

题目解法:

设 $f(r,b)$ 表示目前还剩 $r$ 个红球和 $b$ 个蓝球时你的资金最坏情况下最多可以保证翻多少倍,不妨设 $r\ge b$,那么肯定赌红球,如果你的下注是本金的 $p$ 倍($0\leq p\leq 1$),那么有:

要让右边取最大值,显然有:

带入原式,然后两边取倒数,就有:

将这个式子与格路计数联系起来,容易得到:

看似这已经做完了,不过实际上前面只是很简单的一部分,真正的问题这时才刚刚开始——如何计算 $\dfrac{2^{R+B}}{\binom {R+B} R}$?

这题当然不是想让你直接精确计算,不妨用一些估计的方法,考虑用斯特林公式带入:

有一个比较特殊的情况容易计算,当 $R=B$ 时:

官方题解给出了更精确的估计,这里不仔细分析了,直接给出结论:

有了 $f(R,R)$ 后我们可以往两边计算,考虑从 $f(R,B)$ 到 $f(R,B+1)$ 的递推式:

这里可以进行一些基本的估计,如果 $B,R$ 不太小,且 $B=R+c\sqrt R$,其中 $c$ 为适当大小的常数,那么:

将这个贡献累乘:

尽管这中间的估计有些模糊和不严谨(但其实将上述式子都取 $R\to \infty$ 时的极限,上下两次估计都取等号),总之我们大致知道了:当 $B$ 比 $R$ 稍大时,它每增加 $\sqrt R$,$f(R,B)$ 就会成倍增加。

这告诉我们 $B$ 大致只需要增长 $\sqrt R\times \log 10^9$ 就可以使得 $f(R,B)>10^9$,此时直接输出 Extreme Wealth 即可,否则直接根据 $f(R,R)$ 直接递推出答案。

时间复杂度为 $O(\sqrt R\log C)$,其中 $C=10^9$。


M. Discrete Logarithm is a Joke

难度:$\bigstar$

题目大意:

已知素数 $M=10^{18}+31$ 和它的原根 $g=42$,定义离散对数 $\log(x)$ 为使得 $g^q\equiv x\bmod M$ 的最小正整数 $q$,则 $\log(x)$ 是 $[1,M-1]$ 到 $[1,M-1]$ 的双射。

现在有数列 $\{a_n\}$,其中 $a_1=960002411612632915, a_{i+1}=\log(a_i)$.

给定 $n$,求 $a_n$。

$1\leq n\leq 10^{6}$

等等,忘了说了,$a_{1,000,000}=300$(这是一个样例)!

题目解法:

由于 $a_{i+1}=\log(a_i)$,所以 $a_i=g^{a_{i+1}}$,由于已知 $a_{1,000,000}$,所以可以倒推所有 $a_i (i\in [1,10^6])$。

时间复杂度为 $O(n\log M)$。

作为本场比赛的签到题,还是比较好玩的。