必须将乘法转化为加法，注意有 $k\le 10$ ，若直接使用乘法，精度会炸掉。尽管本题用乘法也可能AC。

必须拉两个虚点，其中一个用来赋初值，另一个做超级源点。尽管本题数据不拉超级源点也可以AC。比如这样一种情况，有一个孤立的环没有和其他点相连，那么即使这个环是无解的，我们仍然可能错误得到“差分约束系统”有解的结论，因为在SPFA的过程中根本不会访问到这个环。