_Algorithmic Puzzles_ (libro)

Molti problemi matematici possono anche essere considerati "problemi informatici". In definitiva, risolvere il problema significa trovare un algoritmo tale che anche lo stupido computer possa risolverlo. In questo libro (Anany Levitin e Maria Levitin, Algorithmic Puzzles, Oxford University Press, pag. 257, Lst 13,99, ISBN 9780199740444) ci sono per l'appunto centocinquanta problemi di questo tipo. Gli autori in un certo senso barano, perché a volte ci sono anche dimostrazioni di impossibilità in alcuni casi e quelle non sono certo algoritmiche; ma non importa. Quello che importa è che ci sono i problemi, ci sono le soluzioni, ci sono le spiegazioni delle tecniche adottate per risolverli (mi ero dimenticato: la prima sezione del libro contiene un tutorial con alcuni problemi risolti e l'elenco di tecniche classiche per risolvere questi problemi, dal divide-et-impera al togli-uno). Il tutto con un taglio più informatico che strettamente matematico, il che forse potrebbe risultare più interessante per alcuni.
Tutti i problemi hanno sempre una spiegazione che rimanda alle tecniche usate nella loro risoluzione, oltre che - per quanto possa essere possibile in un campo come quello dei giochi matematici in cui spesso ci si passavano le cose in maniera carbonara - l'indicazione di dove il problema è stato presentato per la prima volta, magari in forma leggermente diversa.
Un'opera altamente consigliabile per gli appassionati di matematica e di informatica, insomma!