一.差分约束系统二.最短路算法求可行解