2025年9月29日
差分约束系统学习笔记
摘要： 用于解决 \(n\) 个变量有 \(m\) 个形如 \(x_i\le x_j+k\) 的限制的解。 发现这个限制和最短路中 \(dis_v\le dis_u+w\) 的三角不等式很相像，考虑将 \(x_i,x_j\) 看作两个点，然后连一条边象征这个限制（具体怎么连后面会说），这样跑最短路之后就满足 阅读全文
posted @ 2025-09-29 15:13 _E_M_T 阅读(7) 评论(0) 推荐(0)