Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

Clustering of solutions in the random satisfiability problem.

M Mézard1, T Mora, R Zecchina

  • 1Laboratoire de Physique Théorique et Modèles Statistiques, bâtiment 100, Université Paris-Sud, Orsay, France.

Physical Review Letters
|August 11, 2005
PubMed
Summary

Researchers rigorously proved a clustered phase in random K-SAT problems for K >= 8. This phase shows solutions grouped in distant clusters, confirming cavity method predictions.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Differential healthcare direct costs of asthma and chronic rhinosinusitis with nasal polyps in Catalonia (Spain).

Rhinology·2024
Same author

Structure of the space of folding protein sequences defined by large language models.

Physical biology·2024
Same author

Prevalence of asthma in Catalonia (Spain): a retrospective, large-scale population-based study.

Journal of investigational allergology & clinical immunology·2023
Same author

Prevalence of Atopic Dermatitis in the Adult Population of Catalonia, Spain: A Large-Scale, Retrospective, Population-Based Study.

Journal of investigational allergology & clinical immunology·2023
Same author

Prevalence of Chronic Rhinosinusitis with Nasal Polyps in Catalonia (Spain): a retrospective, large-scale population-based study.

Rhinology·2022
Same author

Native state of natural proteins optimizes local entropy.

Physical review. E·2022

Area of Science:

  • Computational complexity theory
  • Statistical physics of disordered systems

Background:

  • The random K-SAT problem is a fundamental problem in computational complexity.
  • Previous studies, particularly using the cavity method, predicted a clustered phase for large K.

Purpose of the Study:

  • To rigorously prove the existence of a clustered phase in the random K-SAT problem for K >= 8.
  • To provide a rigorous confirmation of the cavity method's predictions for this problem.

Main Methods:

  • Application of elementary rigorous mathematical methods.
  • Analysis of the solution space structure in random K-SAT instances.

Main Results:

  • Demonstrated the existence of a clustered phase for random K-SAT with K >= 8.

Related Experiment Videos

  • Showed that solutions in this phase are organized into well-separated clusters.
  • Confirmed a key prediction of the cavity method.

    • Conclusions:

    • The existence of a clustered phase is rigorously established for random K-SAT (K >= 8).
    • This work provides a solid mathematical foundation for the cavity method's predictions in this domain.
    • The findings can be extended to other complex systems in physics and computer science.