References & Citations
Condensed Matter > Disordered Systems and Neural Networks
Title: Spanning Trees in Random Satisfiability Problems
(Submitted on 11 Jul 2005 (v1), last revised 23 Apr 2006 (this version, v2))
Abstract: Working with tree graphs is always easier than with loopy ones and spanning trees are the closest tree-like structures to a given graph. We find a correspondence between the solutions of random K-satisfiability problem and those of spanning trees in the associated factor graph. We introduce a modified survey propagation algorithm which returns null edges of the factor graph and helps us to find satisfiable spanning trees. This allows us to study organization of satisfiable spanning trees in the space spanned by spanning trees.
Submission history
From: Abolfazl Ramezanpour [view email][v1] Mon, 11 Jul 2005 05:27:40 GMT (36kb)
[v2] Sun, 23 Apr 2006 11:39:29 GMT (29kb)
Link back to: arXiv, form interface, contact.