2018-team4-modules-查分约束系统

从 Trac 迁移的文章

这是从旧校内 Wiki 迁移的文章，可能存在一些样式问题，您可以向 memset0 反馈。

原文章内容如下：

{{{
a向b连一条权值为c的有向边表示b-a<=c,用SPFA判断是否存在负环，存在即无解。
}}}

a向b连一条权值为c的有向边表示b-a<=c,用SPFA判断是否存在负环，存在即无解。