POJ-1716中SPFA算法如何应用于差分约束问题?