Circle_forestrain

我们首先建图，然后对其进行SPFA差分约束判断负权回路，注意开始将点全放入队列。#include<iostream> #include<cstring> #include<algorithm> #include<cstdio> #include<cmath> #include<queue> #include<vector> #include<climits> #include<string> #in

差分约束系统有一个男人他是这样说的 我们有如下几个式子： A-B<=x —-> A最多比B大x A-C<=y —-> A最多比C大y B-C<=z —-> B最多比C大z 所有的约束条件反映了一个问题： 一个数不可能过大，因为某个数可能至多比某个数大k，所以这是一类有最大值问题。 那么假如对于A-B<=x ，我们由B向A连一条大小为x的边。 对于所