graph_theory, spfa, dp