The IsGraphicSequence command returns true if there exists a graph with the specified degree sequence given as input. It returns false otherwise. The strategy is to verify some inequalities due to Erdos, Gallai (1960). A refinement due to Tripathi, Vijai (2003) is implemented which makes the algorithm faster.

To construct a graph with given degree sequence, use SequenceGraph.