NOI.AC CSP-S 模拟 Round 3 简要题解

比赛链接
T1
一看就是整除分块的形式，如何整除分块
发现对于 $j\le \sqrt{i}$，$\lfloor \frac{i}{j}\rfloor$ 对应这唯一的值，暴力乘
对于 $j\ge sqrti$，$\lfloor \frac{i}{j}\rfloor$ 的值可能有一段区间 $[l,r]$ 都是这个值
而 b 的下标可以去到的值就是 $i-\lfloor \frac{i}{j}\rfloor \ast j(j\in [l,r])$
就是区间 $[i-r\lfloor \frac{i}{j}\rfloor ,i-l\lfloor \frac{i}{j}\rfloor ]$之间每割 $\lfloor \frac{i}{j}\rfloor$个位置的 b 的和，发现$\lfloor \frac{i}{j}\rfloor \le \sqrt{n}$
直接开 $\sqrt{n}$ 个数组预处理前缀和即可

---

T2
$DAG$ 上玩一玩支配树就好
口胡支配树：建出一棵树，祖先支配子孙，假设当前处理到的 $x$，入度为 0，也就是之前能到它的已经处理好（在支配树中），然后对于一个点，能支配它的就是它到根的链，于是能支配当前点 $x$的，就是可以到它的点在支配树上的 $lca$

---

T3
首先有 $n{p}^2$ 的 $dp$，$f_{i,j,k}$ 表示到 i，$\sum a_i{x}_i=j$，$\sum b_i{x}_i=k$ 的 $\sum c_i{x}_i$ 的最大值
转移枚举当前选不选就可以了
仔细观察数据范围，觉得应该是 $O(np)$ 的，然后发现 $\sum a_i{x}_i\le p$，$\sum b_i{x}_i\ge p$
限制条件是相同的，于是令 $f_{i,j}$ 表示$\sum a_i{x}_i\le j$，$\sum b_i{x}_i\ge j$ 的$\sum c_i{x}_i$ 的最大值
如果当前不选，$f_{i,j}=f_{i-1,j}$
如果当前选 $f_{i,j}=max(f_{i-1,k})+c_i(k\in [i-b_i,i-a_i])$
单调队列优化即可，数组可以滚动

---

总结：
不错的一套题
学到了分块的重要思想，直接求的有哪些，需要预处理的有哪些
然后手玩了一下支配树
学到了通过数据范围猜状态，通过限制条件的相似性减少状态