Abstract
We study the geometric structure of the set of solutions of a random ε-1-in-k SAT problem [D. Achlioptas, A. Chtcherba, G. Istrate, and C. Moore, The phase transition in 1-in-K SAT and NAE3SAT, in Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms, 2001, pp. 721–722; A. Percus, G. Istrate, and C. Moore (eds.), Computational Complexity and Statistical Physics, Oxford University Press, Oxford, UK, 2006]. For l≥1, two satisfying assignments A and B are l-connected if there exists a sequence of satisfying assignments connecting them by changing at most l bits at a time. We first identify a subregion of the satisfiable phase where the set of solutions provably forms one cluster. Next, we provide a range of parameters (c, ε) such that w.h.p. (with high probability) two assignments of a random ε-1-in-k SAT instance with n variables and cn clauses are O(log n)-connected, conditional on being satisfying assignments. Also, for random instances of 1-in-k SAT in the satisfiable phase we show that there exists ν k ∈(0, 1/(k−2)] such that w.h.p. no two satisfying assignments at distance at least ν k ·n form a ‘hole’. We believe that this is true for all ν k >0, and in fact solutions of a random 1-in-k SAT instance in the satisfiable phase form one cluster.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.