Figure 2.

Algorithm. ℳ(T) is the set of macrostates that are being tracked at temperature T; α refers to a macrostate and β and γ to its children. ℳ(T) is first expanded by identifying the subset of macrostates that undergo bifurcation, ℳ′, and recursively bifurcating them and their children until no bifurcations remain. Bifurcations expand ℳ(T); the branch-selection algorithm is used to prune macrostates ζ before T is lowered according to the cooling schedule.