The Dynamic Program

u

v

w

Edges with least common ancestor u

keep

discard