## Appendix BAlgorithms

Here we adopt a standard notation (pseudocode) for defining algorithms [33154]. Assignment of a value $\alpha$ to a variable $\beta$ is denoted by $\beta ←\alpha$. The branching probability ${P}_{\alpha ,\beta }$ is represented as $P\left[\alpha ,\beta \right]$ if it is stored in matrix form, and as $P\left[\beta \right]\left[\alpha \right]$ if it is stored in the form of adjacency lists.