graph_theory, spfa, a*