差分约束系统【变相的最短路】