A HP kutatója a repedéskomplexum komplexitás-ellenesre hivatkozik

Míg a Hewlett-Packard a vezérigazgatója, Mark Hurd lemorzsolódásának következménye, a vállalat legalább egy potenciálisan pozitív eredményt dicsőíthet: A HP kutató felajánlotta, amit a számítógépes tudomány egyik legnehezebb problémájának megoldására kínál.

A HP Labs vezető kutatója, Vinay Deolalikar közzétette azt, amit azt állítja, hogy megoldást jelent a P versus NP problémára.

Tehát olyan nehéz, hogy a Clay Matematikai Intézet megfogadta, hogy odaítéli azt a személyt, aki megoldja azt. 1 millió dollár. Ez a hét problémának egyike, együttesen Millenniumi Díj problémáknak nevezik, az intézet felajánlotta ezt a bounty-t. A hét, a Poincaré-feltételezés egyikét 2006-ban hivatalosan megoldották.

Még nem világos, hogy Deolalikar megkapja-e a készpénzt, mivel Clay nem mondta, hogy a problémát megoldja.

Ez a probléma " a számítástechnika kiemelkedő problémái "magában foglalja" annak meghatározását, hogy léteznek-e olyan kérdések, amelyek válaszát gyorsan ellenőrizni lehet, de amelyek mindenféle közvetlen eljárással lehetetlennek tartják a megoldást "- magyarázza egy Intézet oldal. A probléma P jelentése polinomiális idő, NP pedig nem-determinisztikus polinom idő.

"Örömmel jelenthetem be, hogy P nem egyenlő NP-vel" - mondta Deolalikar e-mailben egy matematikai professzor amelyet Greg Baker, a British Columbia Simon Fraser Egyetemen tanult.

Dióhéjban ez azt jelenti, hogy bizonyos problémák csak a brute force keresés révén oldhatók meg, ha megoldások találhatók a mindent. "A bizonyításhoz a matematika több területére vonatkozó elvek összegyűjtése volt szükséges, a legfontosabb erőfeszítés a bizonyíték megteremtése során a különböző területek közötti koncepcionális kapcsolatok láncolatának feltárása és egy közös lencse révén történő megtekintése volt" - mondta Deolalikar.

Természetesen azok, akik a problémával foglalkoznak, habozás nélkül kijelentik, hogy Deolalikar megoldotta a problémát, tekintettel arra, hogy milyen ellenőrzést kellene végrehajtani. És miközben dicsérik Deolalikarot az ő alapos megközelítéséért, amelyik eltér a legtöbb véletlenszerű találgatásától, amelyet általában bemutatnak, senki sem állította véglegesen, hogy feltörte a problémát.

"Úgy tűnik, bevezeti néhány gondolkodó új ötletet, különösen a statisztikai fizika és az NP elsőrendű logikai jellemzése közötti összefüggés "- írta Scott Aaronson, a Massachusetts Institute of Technology villamosmérnöki és számítástechnikai tanárának professzora, egy nem hivatalos blogbejegyzésben.

" Nem tudom, mi gondolkodni, de reménykedni fogok "- írta Dick Lipton, a Georgia Institute of Technology számítástechnika professzora.

Joab Jackson lefedi a vállalati szoftvereket és általános technológiai híreket a

Az IDG News Service. Kövesse Joabot a Twitteren a @Joab_Jackson-on. Joab e-mail címe [email protected]