>>13436738It's an algorithm, probably minimum cost traversal of a graph.
You use these sort of definitions to establish dynamic programming algorithms, that can return minimum costs at polynomial time, instead of exhaustive search which would be (larger) polynomial or exponential.
