文摘
The design of an n processor network with a given number of connections from each processor and with a desirable strength of the network can be modeled as a degree sequence realization problem with certain desirable graphical properties. A nonincreasing sequence d=(d1,d2,…,dn) is graphic if there is a simple graph G with degree sequence d. In this paper, it is proved that for a positive integer k, a graphic sequence d has a simple realization G which has k edge-disjoint spanning trees if and only if either both n=1 and d1=0, or n≥2 and both dn≥k and .