Car-tech

Výzkumný pracovník společnosti HP tvrdí, že spadá do komplikovanosti společnosti Comppsci

Jak Internet (jednoho dne) změní vládu

Jak Internet (jednoho dne) změní vládu
Anonim

Zatímco Hewlett-Packard následkem poklesu svého generálního ředitele Mark Hurda se společnost může pyšnit slávou alespoň jednoho potenciálně pozitivního úspěchu: Výzkumný pracovník HP nabídl, co říká, řešení jednoho z nejtěžších problémů v oblasti počítačové vědy.

Vědecký pracovník společnosti HP Labs Vinay Deolalikar zveřejnil, co tvrdí, že je řešením toho, co je všeobecně známo jako problém P versus NP.

Takový problém je, že Clay Mathematics Institute slíbil udělit osobu, která jej řeší 1 milion dolarů. Jedná se o jeden z pouhých sedmi problémů, kolektivně známých jako problémy s cenou tisíciletí, kterou tento institut nabídl. Jeden ze sedmi, Poincarého dohadu, byl oficiálně vyřešen v roce 2006.

Není jasné, jestli Deolalikar dostane peníze, protože Clay neřekl, že se domnívá, že tento problém je vyřešen. nevyřešené problémy v oblasti výpočetní techniky "zahrnuje" určení, zda existují otázky, jejichž odpověď může být rychle zkontrolována, ale které vyžadují neuvěřitelně dlouhou dobu k vyřešení jakýmkoli přímým postupem ", vysvětluje stránka institutu. V problémech P znamená polynomiální čas a NP znamená nedeterministický polynomiální čas.

"S potěšením oznamuji, že P se nerovná NP," oznámil Deolalikar e-mailem skupině matematických profesorů, který poté vyšel v neděli Greg Baker, vysokoškolský lektor na univerzitě Simon Fraser v Britské Kolumbii.

Stručně řečeno, to může znamenat, že některé problémy mohou být řešeny pouze brutálním hledáním síly, pokud lze nalézt řešení "Důkaz vyžadoval zapojení principů z několika oblastí v rámci matematiky." Hlavním úsilím o vytvoření tohoto důkazu bylo odkrývání řetězce koncepčních vazeb mezi různými obory a jejich prohlížení prostřednictvím společného objektivu, "napsal Deolalikar.

Samozřejmě, ti, kdo jsou s problematikou obeznámeni, váhají, aby prohlásili, že Deolalikar tento problém vyřešil, vzhledem k množství kontrol, které je třeba udělat. A zatímco chválí Deolalikara pro jeho důkladný přístup, který se liší od náhodnějších odhadů, které jsou obvykle prezentovány, nikdo s konečnou platností netvrdila, že problém vyřešil. "Zdá se, že zavádí některé myšlenkové provokující nové myšlenky, zvláště spojení mezi statistickou fyzikou a prvotřídní logickou charakterizací NP, "napsal Scott Aaronson, odborný asistent elektrotechniky a informatiky na Massachusetts Institute of Technology, v nezávazném blogu.

" Nevím, co ale mám opravdu naději, "napsal Dick Lipton, profesor počítačové vědy na technologickém institutu v Gruzii.

Joab Jackson pokrývá podnikový software a obecnou technologii, která přináší nové zprávy

IDG News Service

. Sledujte Joab na Twitteru @ @ Joab_Jackson. Joabova e-mailová adresa je [email protected]