裴鼠定理学习笔记

证明看不懂。

人话：

\(\sum(a_i\times x_i)=b\)。

上面的 \(x_i\) 有解当且仅当 \(\gcd(a_i)\mid b\)。

conclusion：如果可以任意将 \(x_i\) 取值，则 \(b_{\min}=\gcd(a_i)\)。

这个结论的例题：ARC152C Pivot。