Random graphs with bounded maximum degree: asymptotic structure and a logical limit law
arXiv:1204.2446
Abstract
For any fixed integer we characterise the typical structure of undirected graphs with vertices and maximum degree , as tends to infinity. The information is used to prove that such graphs satisfy a labelled limit law for first-order logic. If then also an unlabelled limit law holds.