同餘最短路學習筆記

今天閒著沒事去翻圖論如何建模，看到差分約束下面講的就是我沒學過的同餘最短路，對此感到極為驚奇，特此來學習。

這個東西看著就很抽象，直接來看題。

P3403 跳樓機

link

形式化題意：給定四個正整數 \(x,y,z,H\)，求整數 \(d\) 滿足
\(d\in[0,H],ax+by+cz=d\) 的 \(d\) 的個數。