Some criteria for integer sequences pair being realizable by a graph
Let A=(a1,…,an) and B=(b1,…,bn) be two sequences of nonnegative integers with ai≤bi for 1≤i≤n. The pair (A;B) is said to be realizable by a graph if there exists a simple graph G with vertices v1,…,vn such that ai≤dG(vi)≤bi for 1≤i≤n. Let ⪯ denote the lexicographic ordering on Z×Z: (ai+1,bi+1)⪯(ai,bi)⟺[(ai+1<ai)∨((ai+1=ai)&(bi+1≤bi))]. We say that the sequences A and B are in good order if (ai+1,bi+1)⪯(ai,bi). In this paper, we consider the generalizations of six classical characterizations on sequences pair due to Berge, Ryser et al. and present related results.