差分约束

差分约束

模板:

P5960 【模板】差分约束算法 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)

例题:

Problem - 7176 (hdu.edu.cn)

有n个未知数,m个不等式.

将所有不等式化为:$p_x-p_y \leq num_i$的形式.

连接边$y\rightarrow x$权值为$num_i$,类比最短路,$dis_x-disy<=num_i$

建立一个超级源点0号点,将源点到n个点连接一条权值为0的边.类似于$p_i<=0$

在有解的情况下:最短路的答案$dis_i$就是原不等式的一组解.

若存在负环则表明无解.