「CODECHEF CHEFKNN」大厨与区间染色

Posted on 2019-03-26 In OI/ICPC

这篇文章为题解翻译，原题解详见这里。

这道题被 Lutece 搬运了，但是 Lutece 无法对外访问……

原题面在这里。

难度

困难

前置技能

数论变换（NTT），组合数学

问题

给出一个长为的数组，最初，每一个数组中的元素都用颜色染色。给你次机会。在第次机会你可以把任何一个非空子数组全部染成颜色，这个操作可以覆盖任何已经存在的颜色。你需要回答最后的数组有多少种不同的颜色，答案对取模。

题解

让我们尝试找到的表达式。此处代表对于我们的问题的答案。

为了转化这个问题，我们遍历最后可见的颜色数。我们设最后数组有种可见的颜色。那么，从种给定颜色中选取种的方案数就是，这是由于你只需要从种颜色中选择种，因为第次涂的颜色永远是可见的。

这样，我们能写出如下公式：

此处，表示在最后长度为的数组中有种颜色可见的方案数。

找到的表达式

让我们逆向考虑。设第种颜色占据了长为的区间。做到同样效果的方案数为。现在设第种颜色在剩下的长度中占据了长为的区间。需要注意不会影响。一般地，有如下公式：

尝试展开这个公式，可以写成如下形式：

如果你仔细观察，你会发现这是从集合中取出个数的乘积的和。因此，我们可以判定是多项式中项的系数。并且如下：

我们现在剩下的就只是计算多项式然后我们就做完了。

（OI 选手：woc 这不就是个 sb Stirling 数吗水了水了）

计算

子任务 1 和子任务 2

我们可以暴力计算每一项，可以在的复杂度下通过这两个子任务。

子任务 3

这个子任务能用 NTT 和分治法在的时间复杂度下通过。

目前的任务是计算次形如的多项式乘积。设为前一半的乘积，为剩下部分的乘积。我们递归计算和，然后用 NTT 计算。这样时间复杂度为：

因此，这个想法由下面的伪代码表述：

MUL(L,R) // computes (x+L)(x+L+1)...(x+R)
  if (L==R) then return (x+L)
  mid = (L+R)/2
  A = MUL(L,mid)
  B = MUL(mid+1,R)
  return A*B //A*B is computed by FFT

子任务 4

我们将会提出一个的解法，因为的解法会因为严格的时间限制而无法通过。

非正式的解法

让我们仔细观察这个分治算法的时间复杂度：

因为这里合并过程的复杂度为，最后的结果就是。但是如果我们能够用一些方法，使得在的时间内能用左半部分计算出右半部分的答案就好了。这样递归关系将为：

所以最后的结果为，但是有些常数因子。所以我们只剩下如何用左半部分计算出右半部分的答案了。

正式解法

我们可以用这个特征计算：

主要问题是，当知道了已知时，需要找到的表达式。定义：

这里的均已知。然后，

这里，

现在我们就有了一个当已知时，利用与的卷积在的时间内找到的表达式的算法。现在我们看一下解决这个子任务的伪代码：

MUL(N) // computes (x+1)(x+2)...(x+N) in O(NlogN)
  if N==1: 
    return (x+1)
  C = MUL(N/2)
  H = convolute(A,B) // use C to obtain A
  ANS = convolute(C,H)
  if N is odd:
    ANS *= (x+N) // naive multiplication will do - O(N)
  return ANS

最后一件事是如何计算两个多项式的乘积对取模。注意到，这个数是 NTT 友好的。这就减轻了我们的负担。对于不了解 NTT 的人来说可以参考这个链接。

优化

当你暴力模拟这个算法的时候，你会发现处理的数据花费时间过多。不幸的是，大记号里隐藏的常数因子太高了！这个时间复杂度是正确的，所以我们需要附加的技巧与消除这部分常数并且能够把这个解法卡到时限里去。这里有一些优化方法：

尝试减少取模操作；
用数组代替 vector 来做 NTT，简单来说，找个跑得快的 NTT 板子；
内存使用：不要用多余的内存，因为这会减慢运行速度。用 130M 内存和用 70M 内存时间相差 0.5 秒以上（当然也取决于其他参数）；
除此之外，如果还是卡不进去，你可能还需要变换数据类型等其他优化方法。

其他解法

这个解法出乎意料，然而，有的选手用了这个技巧。这个想法是子任务 3 的解法通过子任务 4。一个暴力的子任务 3 的实现时间复杂度是。如果我们能够消除复杂度里的，然后加一些优化，我们同样能够通过子任务 4。

如何消除这个呢？我们设不同的测试点的值为。我们一次性输入这些数，然后按的升序排序。设是排序后的序列。我们可以调用，，……，。现在，我们可以用前缀积计算这些项，并且求出所有测试点的答案。这个的时间复杂度可以近似用下面的求和计算：

时间复杂度：或。

出题人解法，打不开见这里。

验题人解法，打不开见这里。

原题解作者解法，打不开见这里。

由于只是题解搬运，就不给出我写的了（意思是我不写了）……

难度