Fancy

Fancy Arrays - 洛谷 我们先找这题看起来有点奇怪的部分： \(x\leq 40\) \(|a_i-a_{i-1}|\leq k\) 我们先考虑第二个条件怎么用。我们发现 \(\min a_i \in [0,x+k)\)，而原数组相邻两数之差的条件肯定要考虑成差分来处理 可以发现，一个差 ......

洛谷传送门 CF 传送门 看到题目感觉很怪，没有什么很好的直接做的办法。于是考虑容斥，\(\min a_i \le x + k - 1\) 的方案数减去 \(\max a_i < x\) 的方案数即为答案。 前者的方案数是好算的。注意到只要确定了 \(\min a_i\) 和差分数组 \(a_i - ......

先把存在性容斥一下。变成 \([0,\infty]\) 减去 \([0,x-1]\) 和 \([x+k,\infty]\)。 \([0,x-1]\) 的答案显然可以矩阵快速幂 \(\mathcal O(x^3\log n)\) 求。考虑剩下两个。注意到两个单拎出来都不好求，所以直接求这两个的差。 注 ......

Fancy Arrays 洋洋强到爆炸啊。 根据某个差分数组可以得出最小值的位置(即使有多个也会因为差分数组有区别而对应不同原序列),所以钦定最小值后可以得出所有 \(a_i\geq0\) 的方案数,不难得出区间为 [0,x+k],并且最小的大于 x 的数一定合法。 然后减去所有值都在 [0,x) ......