q-Overlaps in the Random Exact Cover Problem

Gabriel Istrate
Romeo Negrea

We prove upper and lower bounds for the threshold of the q-overlap-k-Exact cover problem.

These results are motivated by the one-step replica symmetry breaking approach of Statistical Physics, and the hope of using an approach based on that of Mezard et al. (2005) to rigorously prove that for some values of the order parameter the overlap distribution of k-Exact Cover has discontinuous support.

In Horaţiu Cheval, Laurenţiu Leuştean and Andrei Sipoş: Proceedings 7th Symposium on Working Formal Methods (FROM 2023), Bucharest, Romania, 21-22 September 2023, Electronic Proceedings in Theoretical Computer Science 389, pp. 26–40.
Published: 22nd September 2023.

ArXived at: https://dx.doi.org/10.4204/EPTCS.389.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org