Data.Graph.UGraph.DegreeSequence

Documentation

newtype DegreeSequence

The Degree Sequence of a simple UGraph is a list of degrees of vertices | in a graph | Use degreeSequence to construct a valid Degree Sequence

Constructors

DegreeSequence

Fields

• unDegreeSequence :: [Int]

Instances

Eq DegreeSequence

Methods

(==) :: DegreeSequence -> DegreeSequence -> Bool

(/=) :: DegreeSequence -> DegreeSequence -> Bool

Ord DegreeSequence

Methods

compare :: DegreeSequence -> DegreeSequence -> Ordering

(<) :: DegreeSequence -> DegreeSequence -> Bool

(<=) :: DegreeSequence -> DegreeSequence -> Bool

(>) :: DegreeSequence -> DegreeSequence -> Bool

(>=) :: DegreeSequence -> DegreeSequence -> Bool

max :: DegreeSequence -> DegreeSequence -> DegreeSequence

min :: DegreeSequence -> DegreeSequence -> DegreeSequence

Show DegreeSequence

Methods

showsPrec :: Int -> DegreeSequence -> ShowS

show :: DegreeSequence -> String

showList :: [DegreeSequence] -> ShowS

degreeSequence :: [Int] -> DegreeSequence

Construct a DegreeSequence from a list of degrees | Negative degree values are discarded

getDegreeSequence :: (Hashable v, Eq v) => UGraph v e -> Maybe DegreeSequence

Get the DegreeSequence of a simple UGraph | If the graph is not simple (see isSimple) the result is Nothing

isGraphicalSequence :: DegreeSequence -> Bool

Tell if a DegreeSequence is a Graphical Sequence | A Degree Sequence is a Graphical Sequence if a corresponding UGraph for | it exists. | Use the Havel-Hakimi algorithm

isDirectedGraphic :: DegreeSequence -> Bool

Tell if a DegreeSequence is a Directed Graphic | A Directed Graphic is a Degree Sequence for wich a DGraph exists TODO: Kleitman–Wang | Fulkerson–Chen–Anstee theorem algorithms

holdsHandshakingLemma :: DegreeSequence -> Bool

Tell if a DegreeSequence holds the Handshaking lemma, that is, if the | number of vertices with odd degree is even

fromGraphicalSequence :: DegreeSequence -> Maybe (UGraph Int ())

Get the corresponding UGraph of a DegreeSequence | If the DegreeSequence is not graphical (see isGraphicalSequence) the | result is Nothing