Abstract
For a large class of random constraint satisfaction problems, heuristic methods from statistical physics yield detailed predictions on phase transitions. I will survey some of these heuristics, and discuss approaches for making them rigorous. This talk is based on joint works with Jian Ding, Allan Sly, and Yumeng Zhang.