A combinatorial proof of Aldous-Broder theorem for general Markov chains.

Luis Fredes Jean-François Marckert

Published in: Random Struct. Algorithms (2023)

Keyphrases

markov chain
steady state
special case
markov processes
random walk
markov process
transition probabilities
finite state
state space
markov model
monte carlo
monte carlo method
probabilistic automata
monte carlo simulation
stochastic process
ranking algorithm
assemble to order systems
interactive theorem proving