bfs 入队判断 入队一次出队一次 满足拓扑序
dijkstra 出队判断 每个点第一次出对的序列一定满足拓扑序
A* 都不判断
bellman-ford spfa 每个点可能入队出队多次,可能更新前面的点,不具备拓扑序
带有负权边的图求最短路条数可以先用spfa求得最短路,再用bfs或者dijkstra求最短路径条数。