差分约束，BFS-SPFA 与 DFS-SPFA 的优劣