差分约束
模板:
P5960 【模板】差分约束算法 - 洛谷 | 计算机科学教育新生态 (luogu.com.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\)就是原不等式的一组解.
若存在负环则表明无解.
