Sapere se un problema è difficile è un problema difficile
Il 9 agosto scorso Vinoy Deolalikar, Principal Research Scientist in HP, ha reso pubblico il suo tentativo di dimostrare la congettura “P è uguale a NP?”, formalizzata da Stephen Cook nel 1970. Per chi non lo sapesse, si tratta di una sorta di sacro Graal della scienza, un “Millenium Problem” per la soluzione dei quali il Clay Mathematical Institute ha messo in palio 1 milione di dollari. La congettura, ormai una splendida quarantenne, siede beatamente al