Den Futoshiki (不等式, Futoshiki), som betyr "ikke lik" på japansk er en japansk puslespill kommet i Europa fra slutten av 2006 , som minner om Sudoku .
Den er basert på et firkantet rutenett der tall skrives i henhold til noen få enkle regler. På et 5x5 rutenett skal tallene en til fem plasseres i hver rad og kolonne, uten noen repetisjon. Tegnene "større enn" eller "mindre enn" mellom boksene er indekser som obligatorisk må respekteres. Hvert rutenett har en unik løsning.
Å løse et puslespill innebærer bruk av flere typer logiske teknikker. Tallene som er tilstede i hver rad og kolonne, så vel som ulikhetene, begrenser mulige tall i de andre cellene i samme rad og kolonne.
Teknikken til delsett (par, trillinger osv.), Naken eller skjult, kjent for Sudoku- spillere , overføres lett til Futoshiki. I motsetning til Sudoku er det imidlertid ingen delmengder knyttet til 3x3 blokker.
Som en Sudoku er en løst Futoshiki et spesielt tilfelle av en latinsk firkant .
Som med Sudoku krever hardere Futoshiki-oppgaver bruk av forskjellige typer kjeder.
En nylig bok på engelsk Pattern-Based Constraint Satisfaction and Logic Puzzles viser at teknikkene utviklet for Sudoku i en eldre bok av samme forfatter The Hidden Logic of Sudoku generaliserer til ethvert endelig Constraint Satisfaction-problem. Dette inkluderer xy-kjeder, pisker og fletter. Denne boka viser også i detalj hvordan du bruker disse strengene på Futoshiki.
Disse teknikkene er implementert direkte i form av regler i FutoRules-delen av den generelle programvaren for begrensningstilfredshet CSP-Rules, nå tilgjengelig på GitHub-plattformen: https://github.com/denis-berthier/CSP-Rules-V2 .1