Branch-and-bound

[SZanlongo]

Efficiently keep track of vertex weights, and update them when a parent is modified. Probabilistically prune the trees when a solution has already been found and the edges cannot possibly beat the solution. #