题目大意

给定 $a,b,c$,求满足方程 $ax + by \leqslant c$ 的非负整数解的个数。

分析

令 $n = \lfloor c / a \rfloor$,容易推出让我们求的是

$$ n + 1 + \sum_{x = 0}^{n} \left\lfloor \frac{c - ax}{b} \right\rfloor $$

直接套类欧是不行的,因为系数有负数。其他题解感觉推麻烦了,直接考虑水平翻转,令 $x \to (n - x)$,代入有

$$ n + 1 + \sum_{x = 0}^{n} \left\lfloor \frac{ax + c - an}{b} \right\rfloor $$

显然 $c - an$ 是 c % a,于是套类欧即可

附:代码展开