如何运用Bellman和SPFA算法学习差分约束系统?