sudoku

Sudoku minimali e massimali

Il 2012 si è aperto con la dimostrazione che per avere un sudoku risolvibile è necessario avere almeno 17 numeri. Come ci si è arrivati? Forza (quasi) bruta.