Skip to content
Open access

Simulating Sudoku Solvers: A Comparative Study of Deterministic, Probabilistic and Learning-Based Approaches

2026 · International Conference on Simulation and Modeling Methodologies, Technologies and Applications · pp. 162-170 · 0 citations · 20 references
Computer Science

TL;DR

This study presents a simulation framework designed to evaluate the behavioral effectiveness of various automated solvers, and introduces AlphaSudoku, a hybrid simulation model that integrates probabilistic rules and strategic search.

Abstract

: While Sudoku is governed by simple rules, it represents a complex constraint-satisfaction problem ideal for simulating and evaluating the performance of intelligent agents. This study presents a simulation framework designed to evaluate the behavioral effectiveness of various automated solvers. Deterministic methods, such as backtracking and SAT solving, as well as probabilistic methods like Monte Carlo Tree Search and Deep Learning networks, were implemented and compared. Furthermore, we introduce AlphaSudoku, a hybrid simulation model that integrates probabilistic rules and strategic search. Through extensive experimentation across two thousand puzzles of varying difficulty levels, our results demonstrate that deterministic solvers maintain perfect reliability, achieving 100% success rates even on expert-level puzzles. While AlphaSudoku emerges as an effective balance between computational efficiency and solving accuracy, purely probabilistic methods exhibit significant limitations when confronted with higher-difficulty puzzles. These findings highlight the robustness of traditional symbolic methods, while also revealing the potential of hybrid and learning-based approaches in scenarios requiring adaptability and scalability.

Read PDF

Similar papers

Open access Sep 2026

Bench of Euler: A Benchmark for Evaluating the Problem-Solving Abilities of Large Language Models

Large language models (LLMs) have recently improved their problem-solving abilities and can solve complex mathematical problems with an increasing accuracy, necessitating the development of more challenging benchmarks. Over the years, the performance of LLMs on several benchmark datasets has also improved, motivating t...

Anurag Dutta, S. Priya, A. Ramamoorthy et al. · 0 citations
Conference Open access Sep 2026

Bridging LLMs and SAT Solving: Automated Evolution of High-Performance Heuristics

This paper introduces AESAT (Auto-Evolving SAT solving), a novel neuro-symbolic framework designed to automatically evolve and optimize the heuristic functions of SAT solvers, and represents the first time an LLM-enhanced solver has dominated the world's premier SAT competition.

Mao Luo, Hang Ding, Chumin Li et al. · 0 citations
Preprint Aug 2026

Recursive Agentic Reasoning

Analysis shows that BRANCH's advantage arises not only from exploring multiple reasoning paths, but also from recovering from truncation: its gains strongly correlate with the baseline rate of empty, budget-exhausted outputs, weakening the hypothesis that different problems require routing among test-time reasoning ope...

Sheng Zhang, Xiao-Min Wu, Xi-Yang Wu et al. · 0 citations
#artificial intelligence Preprint Sep 2026

Engineering Efficient Self-Play Chess: Search, Replay, and Throughput Under Limited Compute

This work trains from random initialization through searched self-play on a single eight-GPU node for 2.5 days, and investigates search allocation, replay and restart-state selection, policy representation, progressive model sizing, quantized inference, and throughput engineering.

Bertil Braun · 0 citations
Preprint Aug 2026

Improving Constraint Models with LLM Agents

This work introduces an agentic framework that reformulates a constraint model from an open-ended space and establishes correctness empirically rather than by construction, and demonstrates that autonomous agentic methods can support the improvement of constraint models.

Florentina Voboril, Stefan Szeider · 0 citations
#artificial intelligence Preprint Sep 2026

Stellar Colosseum: A Many-Agent Harness for Long-Horizon Research in Mathematics and Theoretical Computer Science

Stellar Colosseum is introduced, a model-agnostic harness for allocating inference across research in mathematics and theoretical computer science that demonstrates the capabilities of Colosseum through open-ended research and evaluations on theorem-proving and competitive programming benchmarks.

Hong-Hao Lin, David P. Woodruff, Yuan Deng et al. · 2 citations · ⚡1

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.