Web Development - Computer Science for Business Leaders 2016
În timp ce Hewlett-Packard se rotește de la Fallout-ul CEO-ului Mark Hurd, care se retrage, compania se poate bucura de gloria a cel putin unei realizari potentiale pozitive: Un cercetator HP a oferit ceea ce spune ca este o solutie la una dintre cele mai grave probleme din domeniul informaticii.
HP Labs cercetătorul principal de cercetare Vinay Deolalikar a postat ceea ce el susține este o soluție la ceea ce este cunoscut sub numele de P versus NP problemă.
Deci, este imposibilă această problemă că Institutul de Matematică Clay a promis să atribuie persoanei care o rezolvă 1 milion de dolari. Este una dintre cele șapte probleme, denumite în mod colectiv "Problemele legate de Premiul Mileniului", pentru care Institutul a oferit această recompensă. Una dintre cele șapte, constatarea Poincaré, a fost rezolvată oficial în 2006.
Nu este clar dacă Deolalikar va primi banii, deoarece Clay nu a spus că consideră că problema a fost rezolvată. problemele restante în domeniul informaticii "implică" determinarea dacă există întrebări ale căror răspunsuri pot fi verificate rapid, dar care necesită un timp imposibil de rezolvat prin orice procedură directă ", explică o pagină a Institutului. În problemă, P înseamnă timp polinomial, iar NP reprezintă un timp polinomial nedeterminist.
"Sunt încântat să vă anunțe o dovadă că P nu este egal cu NP", a declarat Deolalikar într-un e-mail unui grup de profesori de matematică, care a fost postat duminică de către Greg Baker, un lector senior la Columbia Britanică Simon Fraser University.
Pe scurt, acest lucru poate însemna că anumite probleme pot fi rezolvate numai prin forță brută de căutare, dacă pot fi găsite soluții la toate eforturile majore în construirea acestei dovezi au descoperit un lanț de legături conceptuale între diferite domenii și le-am văzut printr-o lentilă comună ", a scris Deolalikar.
Firesc, cei care au cunoștință de această problemă ezită să proclame că Deolalikar a rezolvat problema, având în vedere cantitatea de verificări care ar trebui să fie făcută. Și în timp ce îl laudă pe Deolalikar pentru abordarea aprofundată a acestuia, una care se deosebește de cele mai întâmplate presupuneri care sunt prezentate de obicei, nimeni nu a susținut definitiv că a spart problema. "Se pare că introduc câteva idei noi provocatoare de gândire, o conexiune între fizica statistică și caracterizarea logică a primului ordin al NP ", a scris Scott Aaronson, profesor asistent de inginerie electrică și informatică la Institutul de Tehnologie din Massachusetts, într-o intrare de blog noncommittal.
" Nu știu ce pentru a gândi chiar acum, dar sunt cu siguranță nădejde ", a scris Dick Lipton, profesor de informatică la Institutul de Tehnologie din Georgia.
Joab Jackson acoperă programele de întreprindere și tehnologia generală pentru știrile
. Urmăriți-l pe Joab pe Twitter la @ Joab_Jackson. Adresa de e-mail a lui Joab este [email protected]
Microsoft va începe un test public beta pentru ceea ce numește "aplicațiile Web Office" în cursul acestui an. Acestea vor permite utilizatorilor să creeze și să editeze noi documente online dintr-un browser web, a declarat Justin Hutchinson, manager de produs de grup pentru divizia Microsoft Office Client, într-un interviu acordat la Salonul de Consumer Electronics din Las Vegas. capabilitățile din versiunea beta a Live Workspace disponibilă astăzi, care impune utilizatorilor să creeze
Lansat luna trecută , Live Workspace a marcat primii pași experimentali de la Microsoft pentru a-și pune franciza lucrativă Office pe Web. Mai mult de 1,5 milioane de persoane s-au înscris pentru beta de când au fost lansate, a declarat Michael Schultz, director de management al produselor și marketing pentru Office Live Small Business.
Raport: amenințările cu Android cresc în număr și complexitate
Peisajul amenințării Android crește atât în mărime, cât și în complexitate, Serviciile malware focalizate pe Android, conform unui raport al furnizorului de securitate F-Secure din Finlanda
Cum să vă transformați mac-ul într-o centrală media cu ajutorul unui complex complex
Aflați cum puteți transforma Mac-ul dvs. într-un centru de alimentare cu media Plex folosind Plex.