The degree sequence of a graph is the sequence of degrees of its vertices listed in non-increasing order.