English

Guided Discrete Diffusion for Constraint Satisfaction Problems

Machine Learning 2025-12-18 v1 Artificial Intelligence
Authors: Justin Jung
View on arXiv ↗ PDF ↗

Abstract

We propose discrete diffusion guidance for constraint satisfaction problems (CSPs) and demonstrate its ability to solve Sudoku puzzles without supervision.

Cite

@article{arxiv.2512.14765,
  title  = {Guided Discrete Diffusion for Constraint Satisfaction Problems},
  author = {Justin Jung},
  journal= {arXiv preprint arXiv:2512.14765},
  year   = {2025}
}

Comments

Originally published in Jan 2025 on the SpringtailAI Blog

Related papers

View all related →
Machine Learning · Computer Science
Can Continuous-Time Diffusion Models Generate and Solve Globally Constrained Discrete Problems? A Study on Sudoku
Mariia Drozdova
2026-01-29
Robotics · Computer Science
Compositional Diffusion-Based Continuous Constraint Solvers
Zhutian Yang, Jiayuan Mao, Yilun Du, Jiajun Wu +3
2023-09-06
Machine Learning · Computer Science
Image Detection and Digit Recognition to solve Sudoku as a Constraint Satisfaction Problem
Aditya Narayanaswamy, Yichuan Philip Ma, Piyush Shrivastava
2019-05-28
Artificial Intelligence · Computer Science
Pattern-Based Constraint Satisfaction and Logic Puzzles
Denis Berthier
2013-04-08
Artificial Intelligence · Computer Science
The Regularization of Small Sub-Constraint Satisfaction Problems
Sven Löffler, Ke Liu, Petra Hofstedt
2019-08-19
Artificial Intelligence · Computer Science
Perturbed Message Passing for Constraint Satisfaction Problems
Siamak Ravanbakhsh, Russell Greiner
2016-01-05
Logic · Mathematics
Discrete Temporal Constraint Satisfaction Problems
Manuel Bodirsky, Barnaby Martin, Antoine Mottet
2016-04-27
Computation and Language · Computer Science
Beyond Autoregression: Discrete Diffusion for Complex Reasoning and Planning
Jiacheng Ye, Jiahui Gao, Shansan Gong, Lin Zheng +3
2025-02-19
Machine Learning · Computer Science
Generating from Discrete Distributions Using Diffusions: Insights from Random Constraint Satisfaction Problems
Alankrita Bhatt, Mukur Gupta, Germain Kolossov, Andrea Montanari
2026-03-24
Neurons and Cognition · Quantitative Biology
Solving constraint-satisfaction problems with distributed neocortical-like neuronal networks
Ueli Rutishauser, Jean-Jacques Slotine, Rodney J. Douglas
2018-01-16
Logic in Computer Science · Computer Science
A framework for step-wise explaining how to solve constraint satisfaction problems
Bart Bogaerts, Emilio Gamba, Tias Guns
2021-07-06
Computation and Language · Computer Science
Constrained Discrete Diffusion
Michael Cardei, Jacob K Christopher, Thomas Hartvigsen, Bhavya Kailkhura +1
2025-12-11
Artificial Intelligence · Computer Science
From Constraints to Resolution Rules, Part I: Conceptual Framework
Denis Berthier
2013-04-12
Artificial Intelligence · Computer Science
MUSE CSP: An Extension to the Constraint Satisfaction Problem
R. A Helzerman, M. P. Harper
2014-11-17
Artificial Intelligence · Computer Science
A Hybrid APM-CPGSO Approach for Constraint Satisfaction Problem Solving: Application to Remote Sensing
Zouhayra Ayadi, Wadii Boulila, Imed Riadh Farah
2021-06-10
Disordered Systems and Neural Networks · Physics
Constraint Satisfaction by Survey Propagation
A. Braunstein, M. Mezard, M. Weigt, R. Zecchina
2010-04-02
Artificial Intelligence · Computer Science
Solution Dominance over Constraint Satisfaction Problems
Tias Guns, Peter J. Stuckey, Guido Tack
2018-12-24
Artificial Intelligence · Computer Science
A Constraint Satisfaction Approach to Decision under Uncertainty
Helene Fargier, Jerome Lang, Roger Martin-Clouaire, Thomas Schiex
2013-02-21
Machine Learning · Computer Science
Simple Guidance Mechanisms for Discrete Diffusion Models
Yair Schiff, Subham Sekhar Sahoo, Hao Phung, Guanghan Wang +6
2025-05-29
Artificial Intelligence · Computer Science
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer
Zhun Yang, Adam Ishay, Joohyung Lee
2023-07-12
Machine Learning · Computer Science
Constrained Particle Seeking: Solving Diffusion Inverse Problems with Just Forward Passes
Hongkun Dou, Zike Chen, Zeyu Li, Hongjue Li +2
2026-03-03
Computer Vision and Pattern Recognition · Computer Science
G2D2: Gradient-Guided Discrete Diffusion for Inverse Problem Solving
Naoki Murata, Chieh-Hsin Lai, Yuhta Takida, Toshimitsu Uesaka +3
2025-09-22
Machine Learning · Computer Science
Generalized Discrete Diffusion with Self-Correction
Linxuan Wang, Ziyi Wang, Yikun Bai, Wei Deng +2
2026-03-04
Artificial Intelligence · Computer Science
Distributed Constraint Problems for Utilitarian Agents with Privacy Concerns, Recast as POMDPs
Julien Savaux, Julien Vion, Sylvain Piechowiak, René Mandiau +5
2017-03-22
Machine Learning · Computer Science
Debiasing Guidance for Discrete Diffusion with Sequential Monte Carlo
Cheuk Kit Lee, Paul Jeha, Jes Frellsen, Pietro Lio +2
2025-09-03