public static void Explore(UndirectedGraph graph, IReporter reporter)
 {
     Pivot.Explore(graph, reporter, Pivot.Choice.MaxDegreeLocal);
 }