Non ci si avvicina neanche un po’…

agosto 14, 2010

In pochi giorni, poco prima di ferragosto, i migliori teorici informatici/matematici del mondo hanno fatto la revisione di un papiro dal titolo “P =/= NP” di Deolalikar. “P=?= NP” è uno dei sei problemi del millenni, da un milione di dollari (http://michaelnielsen.org/polymath1/index.php?title=Deolalikar’s_P!%3DNP_paper il riassunto).
E’ un fatto strano. Il mondo pullula di presunte dimostrazioni “P =/= NP” oppure “P == NP” e tutti sanno che di solito si rivelano scorrette (almeno la metà lo sono di sicuro 😉 ). Inoltre questo papiro dava preoccupanti segni di ingenuità, senza specificare, oltre alle dimostrazioni, come mai “Lui sì e gli altri no” *. Quindi non è chiaro il coinvolgimento dei vari teorici, che comunque in due o tre giorni hanno trovato diverse falle nella dimostrazione.
E’ interessante che un teorico in particolare, senza neppure aver letto il papiro, abbia subito offerto 200000 dollari da sommare al premio del millennio, in caso di correttezza della dimostrazione.
Questo indica due fatti:
– Un milione di dollari di premio è una cifra ridicola.
– Gli informatici teorici sarebbero dei giocatori di poker senza scrupoli.
*in particolare è noto che ci siano alcune barriere sulla dimostrazione in un verso o nell’altro. Ad esempio bisogna fare in modo che la dimostrazione parli del modello di calcolo (quindi parli di se stessa), infatti per alcuni modelli, non standard, P è uguale a NP, per altri è diverso. Ebbene, questo papiro NON spiegava esplicitamente come aggirare questo problema.
Annunci

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...

%d blogger hanno fatto clic su Mi Piace per questo: