Consider a random graph G composed of a Hamiltonian cycle on n labeled
vertices and dn random edges that ''hide'' the cycle. Is it possible
to unravel the structure, that is, to efficiently find a Hamiltonian c
ycle in G? We describe an O(n3 log n)-step algorithm A for this purpos
e, and prove that it succeeds almost surely. Part one of A properly co
vers the ''trouble spots'' of G by a collection of disjoint paths. (Th
is is the hard part to analyze). Part two of A extends this cover to a
full cycle by the rotation-extension technique which is already class
ical for such problems. (C) 1994 John Wiley & Sons, Inc.