Copyright © 2008 The Institute of Electronics, Information and Communication Engineers
Special Section on Foundations of Computer Science -- Letters -- Algorithm Theory |
Survey Propagation as "Probabilistic Token Passing"
1 The authors are with the School of Information Technology and Engineering, University of Ottawa, 800 King Edward Ave., Ottawa, Ontario, Canada K1N 6N5. E-mail: rtu{at}site.uottawa.ca; yymao{at}site.uottawa.ca; jyzhao{at}site.uottawa.ca
| Abstract |
|---|
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.
Key Words: constraint-satisfaction problem, survey propagation, graph coloring, message-passing
Manuscript received March 6, 2007.