我们知道SPFA在遇到某些图时，算法会被欺骗导致大量节点被反复松弛，造成时间浪费 但是SPFA的平均时间复杂度能达到O(kE)，其中k为一较小常数（每个顶点平均进入队列次数） 那么我们能不能通过Tarjan缩点，将图分为由多个双连通分量（强连通分量）组成的有向无环图，在每个双连通分量（强连通分量）内进行SPFA松弛操作，而使低效入队操作局限在某一局部而非整个图上，从而降低时间复杂度呢