Explore the intricacies of random MAX-NAE-SAT problem-solving in this 19-minute IEEE conference talk. Delve into the solution space, unsatisfied regime, and model analysis as presented by Zsolt Bartha, Nike Sun, and Yumeng Zhang. Examine the Garnet transition, moment bound, free variables, linked variables, and branch rate. Gain insights into previous work in the field and draw valuable conclusions from this comprehensive discussion on breaking 1RSB in random MAX-NAE-SAT.
Overview
Syllabus
Intro
Solution space
Unsatisfied regime
Model
Previous work
Garnet transition
moment bound
free variables
linked variables
branch rate
conclusion
Taught by
IEEE FOCS: Foundations of Computer Science
