Dominator Tree Certification and Divergent Spanning Trees
Submodular functions, matroids, and certain polyhedra