El Futoshiki (不等式, futoshiki), que significa "no igual" en japonés, es un rompecabezas japonés que llegó a Europa a finales de 2006 , que recuerda al Sudoku .
Se basa en una cuadrícula cuadrada en la que los números se escriben de acuerdo con unas pocas reglas simples. En una cuadrícula de 5x5, los números del uno al cinco deben colocarse en cada fila y columna, sin ninguna repetición. Los signos "mayor que" o "menor que" entre las casillas son índices que deben respetarse obligatoriamente. Cada cuadrícula tiene una solución única.
Resolver un rompecabezas implica el uso de varios tipos de técnicas lógicas. Los números presentes en cada fila y columna, así como las desigualdades, restringen los posibles números en las otras celdas de la misma fila y columna.
La técnica de subconjuntos (parejas, trillizos, etc.), desnudos u ocultos, familiar para los jugadores de Sudoku , se transpone fácilmente a Futoshiki. Sin embargo, a diferencia del Sudoku, no hay subconjuntos vinculados a bloques de 3x3.
Como un Sudoku, un Futoshiki resuelto es un caso especial de un cuadrado latino .
Al igual que con el Sudoku, los rompecabezas de Futoshiki más difíciles requieren el uso de varios tipos de cadenas.
Un libro reciente en English Pattern-Based Constraint Satisfaction and Logic Puzzles muestra que las técnicas desarrolladas para Sudoku en un libro más antiguo por el mismo autor The Hidden Logic of Sudoku se generalizan a cualquier problema finito de Satisfacción de Restricciones. Esto incluye cadenas xy, látigos y trenzas. Este libro también muestra en detalle cómo aplicar estas cadenas a Futoshiki.
Estas técnicas se implementan directamente en forma de reglas en la parte FutoRules del software de satisfacción de restricciones generales CSP-Rules, ahora disponible en la plataforma GitHub: https://github.com/denis-berthier/CSP-Rules-V2 .1