P4774 [NOI2018] 屠龙勇士

链接：P4774

---

前言：

交了18遍最后发现是多组数据没清空/ll

---

题意：

其实就是个扩中。

---

分析过程：

首先发现根据题目描述的选择剑的方式，每条龙对应的剑都是固定的，有查询前驱，后继（在该数不存在前驱时，最小值即为后继），和插入，删除操作，所以想到平衡树维护每条龙的剑的攻击力，记为b[i]。建议使用非旋treap，非常之好写。

---

根据题目描述，a[i]为每条龙生命值，p[i]为每条龙回复量。发现能够击杀这条龙的条件可以列成一个方程：

$xb[i]-yp[i]=a[i]$

$x$ 为攻击次数，$y$ 为回复次数，转化为同余方程的形式为：

$xb[i]\equiv a[i](\mathrm{m}\mathrm{o}\mathrm{d}p[i])$

所以题目就被我们转化成了一个一元 $n$ 次的不定方程组：

$\{\begin{array}{l}xb[1]\equiv a[1](\mathrm{m}\mathrm{o}\mathrm{d}p[1])\\ xb[2]\equiv a[2](\mathrm{m}\mathrm{o}\mathrm{d}p[2])\\ ⋮\\ xb[n]\equiv a[n](\mathrm{m}\mathrm{o}\mathrm{d}p[n])\end{array}$

求 $x$ 的最小非负整数解。

这样的形式虽然不满足CRT和exCRT的形式，但我们可以从exCRT的思想得到启发。我们记录下前 $m-1$ 个方程的通解 $x=x_0+t\ast M$，也就是说我们已知 $x_0$ 和 $M$。

对于第 $m$ 个方程 $xb[m]-yp[m]=a[m]$ ，将上述 $x$ 带入，有

$(x_0+t\ast M)b[i]-$