10.1007/11870814_13

Sudokus and Gröbner Bases: Not Only a Divertimento

Resumen: Sudoku is a logic-based placement puzzle. We recall how to translate this puzzle into a 9-colouring problem which is equivalent to a (big) algebraic system of polynomial equations. We study how far Gröbner bases techniques can be used to treat these systems produced by Sudokus. This general purpose tool can not be considered as a good solver, but we show that it can be useful to provide information on systems that are —in spite of their origin— hard to solve.

Idioma: Inglés

DOI: 10.1007/11870814_13

Año: 2006

Publicado en: Lecture Notes in Computer Science 4194 (2006), 155-165
ISSN: 0302-9743

Tipo y forma: Article (PostPrint)