HP Researcher Claims to Crack Compsci Complexity Conundrum

Habang ang Hewlett-Packard ay galing sa ang fallout ng kanyang CEO Mark Hurd na lumulubog, ang kumpanya ay maaaring magbubuhos sa kaluwalhatian ng hindi bababa sa isang potensyal na positibong tagumpay: Ang isang HP tagapagpananaliksik ay inaalok ang kanyang sinabi ay isang solusyon sa isa sa mga hardest problema sa computer science.

Ang HP Labs na punong siyentipikong pananaliksik na si Vinay Deolalikar ay nai-post kung ano ang sinasabi niya ay isang solusyon sa kung ano ang malawak na kilala bilang P kumpara sa NP na problema.

Kaya hindi mapapansin ang problemang ito na ang Clay Mathematics Institute ay nanumpa na ibigay ang taong nag-uukol dito US $ 1 milyon. Ito ay isa sa pitong problema lamang, na sama-sama na kilala bilang Mga Problema sa Milenyo ng Milenyo, inalok ng institute ang kaloob na ito. Ang isa sa pitong, ang Poincaré haka-haka, ay opisyal na nalutas sa 2006.

Hindi pa malinaw kung ang Deolalikar ay makakakuha ng cash, dahil hindi sinabi ni Clay na itinuturing nito ang problema na nalutas.

Ang problemang ito, "isa sa ang mga natitirang problema sa agham ng kompyuter, "ay nagsasangkot ng" pagtukoy kung may mga tanong na umiiral na ang sagot ay maaaring mabilis na masuri, ngunit nangangailangan ng isang mahabang panahon upang malutas sa pamamagitan ng anumang direktang pamamaraan, "paliwanag ng isang pahina ng Institute. Sa problema, P ay kumakatawan sa polinomyal na oras at ang NP ay kumakatawan sa walang katapusang polinomyal na oras.

"Nalulugod ako na ipahayag ang isang patunay na ang P ay hindi katumbas ng NP," inihayag ni Deolalikar sa isang e-mail sa isang grupo ng mga propesor ng matematika, na kung saan ay nai-post sa Linggo sa pamamagitan ng Greg Baker, isang senior lecturer sa British Columbia Simon Fraser University.

Sa maikling salita, ito ay maaaring nangangahulugan na ang ilang mga problema ay maaari lamang malutas sa pamamagitan ng brute na puwersa sa paghahanap, kung ang mga solusyon ay matatagpuan sa lahat ng mga ito.

"Ang patunay ay nangangailangan ng piecing magkasama ng mga prinsipyo mula sa maraming mga lugar sa loob ng matematika.Ang mga pangunahing pagsisikap sa paggawa ng patunay na ito ay uncovering isang kadena ng haka-haka link sa pagitan ng iba't-ibang mga patlang at pagtingin sa mga ito sa pamamagitan ng isang karaniwang lens," Deolalikar wrote.

Natural, ang mga may kaalaman sa problema ay nag-aalinlangan na ipahayag na sinubukan ni Deolalikar ang problema, dahil sa halaga ng pagsuri na kailangang gawin. At samantalang pinupuri nila ang Deolalikar para sa kanyang masusing pamamaraan, ang isa na naiiba mula sa mga mas walang katuturan na mga hula na karaniwang ipinakita, walang sinuman ang tiyak na nag-claim na siya ay nag-crack ang problema.

"Tila upang ipakilala ang ilang mga ideya na nagpapahiwatig ng mga bagong ideya, lalo na isang koneksyon sa pagitan ng statistical physics at first-order logic characterization ng NP, "sumulat si Scott Aaronson, isang assistant professor ng electrical engineering at computer science sa Massachusetts Institute of Technology, sa isang noncommittal blog entry.

" Hindi ko alam kung ano sa tingin ngayon, ngunit ako ay tiyak na umaasa, "wrote Dick Lipton, isang propesor ng agham ng computer sa Georgia Institute of Technology.

Joab Jackson ay sumasaklaw sa enterprise software at pangkalahatang teknolohiya breaking balita para sa Ang IDG News Service. Sundin si Joab sa Twitter sa @Joab_Jackson. Ang e-mail address ni Joab ay [email protected]