graph_theory, spfa