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