摘要： 差分约束 背景 考虑一个有$n$个不等式的不等式组 $$ \cases{x_1 x_1' \leqslant y_1 \\x_2 x_2' \leqslant y_2 \\\vdots \\x_n x_n' \leqslant y_n \\} $$ 问该不等式组是否有整数解，如果有给出一组整数解 思 阅读全文