Il semblerait que des mathématiciens ont fini par prouver que 17 est bien le nombre minimal de chiffres donnés pour avoir un sudoku à solution unique:
http://www.nature.com/news/mathematician-claims-breakthrough-in-sudoku-puzzle-1.9751
Il était temps !
Je suis un peu déçu: pas de démonstration élégante et complexe dont on pourrait se dire "je ne pige rien mais ça a l'air rudement bien trouvé". Au lieu de ça, des millions d'heure à faire tourner un algorithme à des processeurs. Bof, les maths contemporaines, ça fait pas rêver...
Fred