2 papers
cs.DS2025
Improved Mixing of Critical Hardcore Model
Zongchen Chen, Tianhui Jiang
The hardcore model is one of the most classic and widely studied examples of undirected graphical models. Given a graph , the hardcore model describes a Gibbs distribution of $λ…
cs.AI2018
A Minesweeper Solver Using Logic Inference, CSP and Sampling
Yimin Tang, Tian Jiang, Yanpeng Hu
Minesweeper as a puzzle video game and is proved that it is an NPC problem. We use CSP, Logic Inference and Sampling to make a minesweeper solver and we limit us each select in 5 s…