The mathematical study of a particular model of random graphs has allowed researchers to prove the existence of Hamiltonian circuits with a high probability of accuracy, based on the number of edges and vertices.