un algoritmo branch & bound che provi tutte le possibili configurazioni e i cui bound sono una funzione del numero di tessere che non sono nella posizione corretta.
Più precisamente come lower bound il numero di tessere non ordinate e come upper bound il numero di tessere fuori posto moltiplicato per 4