Last-exit decomposition for a transient random walk (source code)

= Last-exit decomposition for a transient random walk

A last-exit decomposition partitions a transient path event according to the final visit to a finite set. Reversing the finite path before that visit and using <detailed balance> converts last-exit probabilities into hitting probabilities weighted by an <equilibrium measure of a finite set>.