Survey propagation as "probabilistic token passing"
In this paper, we present a clean and simple formulation of survey propagation (SP) for constraint-satisfaction problems as "probabilistic token passing". The result shows the importance of extending variable alphabets to their power sets in designing SP algorithms.
survey propagation constraint-satisfaction problem graph coloring message-passing