Arcs generates a singly linked list of Arc nodes, with one node for each edge that emanates from vertex v in graph g.

CartesianProduct generates the cartesian product of graphs g and h.

Complete generates a complete graph (K) of order n.

ConnectedSubsets generates all connected subsets in g of size n.

ConnectedSubsetsVertex generates all connected subsets in g of size n which contain vertex v.

Cycle generates a cycle (C) of order n.

Path generates a path (P) of order n.

RemoveIsolated generates a new graph with isolated vertices (outdegree zero) removed.

Arc represents an arc variable for use with ARCS, NAME, and TIP, as in TAOCP Section 7.