摘要：
Bellman-Ford const int inf=0x3f3f3f3f,maxn=110,maxm=10010; int n,m,dis[maxn]; struct Edge{ int u,v,w; }edge[maxm]; bool Bellman_Ford(){ memset(dis,inf 阅读全文
摘要：
Bellman-Ford 最短路中一定不含环（因为含有负环的最短路不存在，零环和正环可以除去），所以从起点到终点的最短路经过的边数不超过$n-1$，所以一定可以通过$n-1$轮松弛得到最短路，每一轮松弛用所有边进行更新 如果第$n$次松弛依然有起点到某个顶点的最短路被更新，说明从起点可以到达一个负环 阅读全文
摘要：
差分约束系统 差分约束系统是求解关于一组变量的特殊不等式组的方法，系统由$n$个变量和$m$个不等式组成，其中每个不等式的形式为 \(x_i-x_j\leq b_k(i,j\in [1,n],k\in (1,m)\) 或者 \(x_i-x_j\geq b_k(i,j\in [1,n],k\in (1 阅读全文