Najmniejsza ilość cyfr potrzebnych do stworzenia sudoku...

... to 17. 16 nie wystarcza żeby zakodować wystarczającą ilość informacji, żeby dostać unikatowe rozwiązanie.

Wrzucam, bo to wynik który odpowiada na Odwieczne Pytanie Ludzkości (zadawane od ok. 30 lat), a dowód jest przyjemny, z wysokim prawdopodobieństwem poprawny, i nie zawiera dużych ilości teorii złożoności obliczeniowej, więc czego chcieć więcej do poczytania przy popołudniowej kawie?

Dowód