Solution

ID: past-exam-of-the-graph-theory-and-probabilistic-combinatorics-course-of-the-university-of-oxford/2008/b/6/a/solution

Explore the individuals one at a time, maintaining the number of discovered but unprocessed individuals. It starts at . Processing one individual removes it and adds its offspring, so
The offspring choices make these increments independent. Exploration stops when the queue first becomes empty; every processed individual has then been counted exactly once. Hence
with if the walk never hits zero. The increment sequence can be extended independently beyond the stopping time for probability estimates.

New to topics? Read the docs here!