Functions added: DominatedVertices, ParedGraph,
CompletelyParedGraph, RandomlyPermuted.