Il bere dei giovani: un incontro a Sociologia
Mentre Hewlett-Packard tira su il fallout del suo CEO Mark Hurd si riduce, la società può crogiolarsi nella gloria di almeno un risultato potenzialmente positivo: un ricercatore HP ha offerto quello che dice è una soluzione a uno dei problemi più difficili in informatica.
Il principale ricercatore di HP Labs, Vinay Deolalikar, ha pubblicato quello che afferma essere una soluzione a quello che è ampiamente noto come il problema di P versus NP.
Il problema è che il Clay Mathematics Institute ha promesso di assegnare la persona che lo risolve. $ 1 milione. È uno dei soli sette problemi, noti collettivamente come i problemi del Millennium Prize, l'istituto ha offerto questa taglia per. Una delle sette, la congettura di Poincaré, è stata ufficialmente risolta nel 2006.
Non è ancora chiaro se Deolalikar avrà i soldi, poiché Clay non ha detto che considera il problema risolto.
Questo problema, "uno dei sette i problemi in sospeso nell'informatica "implicano" la determinazione dell'esistenza di domande la cui risposta può essere rapidamente verificata, ma che richiedono un tempo incredibilmente lungo per risolvere con qualsiasi procedura diretta ", spiega una pagina dell'Istituto. Nel problema, P sta per tempo polinomiale e NP sta per tempo polinomiale non deterministico.
"Sono lieto di annunciare una prova che P non è uguale a NP," annunciò Deolalikar in una e-mail a un gruppo di professori di matematica, che è stato poi pubblicato domenica da Greg Baker, un docente presso l'Università Simon Fraser della British Columbia.
In breve, questo può significare che alcuni problemi possono essere risolti solo con la ricerca della forza bruta, se le soluzioni possono essere trovate a tutti
"La dimostrazione richiedeva il riattacco di principi provenienti da più aree della matematica: lo sforzo maggiore nel costruire questa dimostrazione era scoprire una catena di legami concettuali tra vari campi e visualizzarli attraverso una lente comune", ha scritto Deolalikar.
Naturalmente, coloro che sono a conoscenza del problema esitano a proclamare che Deolalikar ha risolto il problema, data la quantità di controllo che dovrebbe essere fatto. E mentre elogiano Deolalikar per il suo approccio completo, che differisce dalle ipotesi più azzardate che vengono solitamente presentate, nessuno ha definitivamente affermato di aver risolto il problema.
"Sembra introdurre alcune nuove idee stimolanti, in particolare una connessione tra la fisica statistica e la caratterizzazione logica di primo ordine di NP ", ha scritto Scott Aaronson, un assistente professore di ingegneria elettrica e informatica presso il Massachusetts Institute of Technology, in un blog non impegnativo.
" Non so cosa per pensare in questo momento, ma sono certamente fiducioso ", ha scritto Dick Lipton, professore di informatica presso il Georgia Institute of Technology.
Joab Jackson copre le ultime novità del software aziendale e della tecnologia generale per Il servizio di notizie di IDG. Segui Joab su Twitter all'indirizzo @Joab_Jackson. L'indirizzo e-mail di Joab è [email protected]
Chi è online? Sony reclama 20 milioni, Microsoft reclama 17 milioni
Perdite, reclami e (vorrei che avessimo il) videotape - Microsoft rilascia statistiche online e contatori Sony. Una specie di
Rapporto: le minacce Android crescono in numero e complessità
Il panorama delle minacce Android cresce sia in termini di dimensioni che di complessità con i criminali informatici che adottano nuovi metodi di distribuzione e costruiscono Servizi di malware focalizzati su Android, secondo un rapporto del fornitore di sicurezza finlandese F-Secure.
Come abilitare e configurare Criteri gruppo complessità complessità PIN in Windows 10
Impone agli utenti di creare un PIN complesso che utilizza cifre, inferiore / caratteri maiuscoli e speciali in Windows 10 abilitando il PIN Criteri di gruppo complessità.