NumberOfCompositions[n, k] counts the number of distinct compositions of integer n into k parts.

NumberOfDerangements[n] counts the derangements on n elements, that is, the permutations without any fixed points.

NumberOfSpanningTrees[g] gives the number of labeled spanning trees of graph g.

PermutationGraph[p] gives the permutation graph for the permutation p.

PermutationGroupQ[l] yields True if the list of permutations l forms a permutation group.

PermutationToTableaux[p] returns the tableaux pair that can be constructed from p using the Robinson\[Dash]Schensted\[Dash]Knuth correspondence.

PermutationType[p] returns the type of permutation p.

PlanarQ[g] yields True if graph g is planar, meaning it can be drawn in the plane so no two edges cross.

PseudographQ[g] yields True if graph g is a pseudograph, meaning it contains self-loops.

Radius[g] gives the radius of graph g, the minimum eccentricity of any vertex of g.