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: Artículo (PostPrint)
Derechos reservados por el editor de la revista
Exportado de SIDERAL (2024-03-15-08:49:08)
Visitas y descargas
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: Artículo (PostPrint)
Derechos reservados por el editor de la revistaExportado de SIDERAL (2024-03-15-08:49:08)
Enlace permanente:
Visitas y descargas
Este artículo se encuentra en las siguientes colecciones:
Artículos
Registro creado el 2024-03-15, última modificación el 2024-03-15