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.

Articles by others on the same topic (0)

There are currently no matching articles.