Math.Combinatorics.Graph

Documentation

combinationsOf :: Integral t => t -> [a] -> [[a]]

combinationsOf k xs returns the subsets of xs of size k |If xs is in ascending order, then the returned list is in ascending order

data Graph a

Datatype for graphs, represented as a list of vertices and a list of edges |Both the list of vertices and the list of edges, and also the 2-element lists representing the edges, |are required to be in ascending order, without duplicates

Constructors

G [a] [[a]]

Instances

Eq a => Eq (Graph a)

Ord a => Ord (Graph a)

Show a => Show (Graph a)

nullGraph :: Graph Int

Safe constructor for graph from lists of vertices and edges. |graph (vs,es) checks that vs and es are valid before returning the graph.

c :: Integral t => t -> Graph t

The cyclic graph on n vertices

k :: Integral t => t -> Graph t

The complete graph on n vertices

fromDigits :: Integral a => Graph [a] -> Graph a

The complete bipartite graph on m and n vertices kb :: (Integral t) => t -> t -> Graph t

The complete bipartite graph on m left and n right vertices kb :: (Integral t) => t -> t -> Graph (Either t t)