同余最短路小结

介绍

不记得是从哪里看到的好东西了qwq

这个东西用来做这种类型的问题：给出若干个数，每个数有无限个，问用这些数能组成（加起来）多少个不同的数。

当然，也可以求出某个具体的数能不能被这若干个数组成，也有其他能解决的问题，因为实际上这个东西是处理出了一个 $f$ 数组，活用这个数组可以做很多事。

求解

假设你现在有 $a_1$ ~ $a_n$ 这 $n$ 个数，首先要任选一个数作为模数，设为 $p$，然后 $f[i]$ 的定义为：用其他数能组成的 模 $p$ 等于 $i$ 的 最小的数。

比如说，有三个数 $5,7,9$，设 $p=5$，那么 $f[1]=7+9=16$，虽然 $7+7+7=21\mathrm{m}\mathrm{o}\mathrm{d}5=1$，但是 $16$ 比 $21$ 小，所以要 $16$。

可以发现，$f[i]$ 有这样的转移方程：$f[(i+a[j])\mathrm{m}\mathrm{o}\mathrm{d}a[1]]=f[i]+a[j]$，发现这个很像最短路的转移：$f[y]=f[x]+cost$，并且这里要求的也是所有转移中的最小值，和最短路的目的一样，所以可以将 $i$ 向 $(i+a[j])\mathrm{m}\mathrm{o}\mathrm{d}a[1]$ 连边，代价为 $a[j]$，然后跑一下最短路算法就能得到 $f$ 了。

有了这个 $f$ 之后，就能干很多事情，比如说判断一个数 $x$ 能不能由 $a_1$ ~ $a_n$ 组成，因为 $f$ 中存的是最小值，所以如果 $x$ 比 $f[x\mathrm{m}\mathrm{o}\mathrm{d}a[1]]$ 大，而 $f[x\mathrm{m}\mathrm{o}\mathrm{d}a[1]]$ 可以由 $a_2$ ~ $a_n$ 组成，并且 $x\mathrm{m}\mathrm{o}\mathrm{d}a[1]$ 加若干个 $a[1]$ 能得到 $x$，所以 $x$ 也可以由 $a_1$ ~ $a_n$ 组成。

题表

其实都是差不多的题qwq……

洛谷 P3403 跳楼机   题解
[国家集训队]墨墨的等式   题解
[Poi2003]Sums   题解
洛谷 P2662 牛场围栏   题解