Random MAX SAT, random MAX CUT, and their phase transitions

From MaRDI portal
Publication:4739584

DOI10.1002/rsa.20015zbMath1077.68118arXivmath/0306047OpenAlexW2804968020MaRDI QIDQ4739584

Gregory B. Sorkin, David Gamarnik, Don Coppersmith, Mohammad Taghi Hajiaghayi

Publication date: 6 August 2004

Published in: Random Structures & Algorithms (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0306047




Related Items (25)

On the maximal cut in a random hypergraphKolmogorov complexity based upper bounds for the unsatisfiability threshold of random k-SATLower and Upper Bounds for Random Mimimum Satisfiability ProblemPHASE TRANSITIONS OF EXPSPACE-COMPLETE PROBLEMS: A FURTHER STEPA novel algorithm for Max Sat calling MOCE to orderDisorder chaos in some diluted spin Glass modelsMAX CUT in weighted random intersection graphs and discrepancy of sparse random set systemsThe number of satisfying assignments of random 2‐SAT formulasAn upper (lower) bound for Max (Min) CSPExact enumeration of satisfiable 2-SAT formulaeCHAMP: a multipass algorithm for Max Sat based on saver variablesA tighter upper bound for random MAX \(2\)-SATGo-MOCE: greedy order method of conditional expectations for Max SatThe Satisfiability Threshold fork-XORSATLocal Limit Theorems for the Giant Component of Random HypergraphsPhase transitions of contingent planning problemPhase Transition for Maximum Not-All-Equal SatisfiabilityTechniques from combinatorial approximation algorithms yield efficient algorithms for random 2\(k\)-SATOn the satisfiability threshold of formulas with three literals per clauseCombinatorial approach to the interpolation method and scaling limits in sparse random graphsSparse graphs: Metrics and random modelsPHASE TRANSITIONS OF EXPSPACE-COMPLETE PROBLEMSUsing the method of conditional expectations to supply an improved starting point for CCLSUnnamed ItemThe Ising Antiferromagnet and Max Cut on Random Regular Graphs



Cites Work


This page was built for publication: Random MAX SAT, random MAX CUT, and their phase transitions