Let = minimum cost to reach tree . Base: (start here, no cost). Transition: . Naive: . For each , try all .
But look at the transition: . For fixed , rewrite as . This is where , , . That's CHT form!
State and transition
Let = minimum cost to reach tree . Base: (start here, no cost). Transition: . Naive: . For each , try all .
But look at the transition: . For fixed , rewrite as . This is where , , . That's CHT form!