Our Miss Brooks: Conklin the Bachelor / Christmas Gift Mix-up / Writes About a Hobo / Hobbies
Vaikka Hewlett-Packard kiekko toimitusjohtaja Mark Hurdin lasku johtuu siitä, että yritys voi nauttia ainakin yhden mahdollisen positiivisen saavutuksen kirkkaudesta: HP-tutkija on tarjonnut, mitä hän sanoo olevan ratkaisu tietotekniikan vaikeimpiin ongelmiin.
HP Labsin pääaineen tutkija Vinay Deolalikar on julkaissut, mitä hän väittää olevan ratkaisu, joka tunnetaan yleisesti P-versus-NP-ongelmana.
Siksi kyllästyttävä on tämä ongelma, että Clay Mathematics Institute on vannonut palkita sen, joka ratkaisee sen USA: ssa 1 miljoonaa dollaria. Se on yksi vain seitsemästä ongelmasta, joita kutsutaan nimellä Millennium-palkinto-ongelmat, ja instituutti on tarjonnut tämän palkkion. Yksi seitsemästä, Poincarén arveluista, virallisesti ratkaistiin vuonna 2006.
Se on epäselvä, jos Deolalikar saa rahat, sillä Clay ei ole sanonut, että se pitää ongelman ratkaistua.
Tämä ongelma " tietotekniikan ongelmat "edellyttävät, että määritetään, ovatko kysymykset, joiden vastaus voidaan nopeasti tarkistaa, mutta jotka vaativat mahdottomasti kauan aikaa ratkaista millä tahansa suoralla menettelyllä", instituutin sivu selittää. P: ssä on polynomiaika ja NP tarkoittaa epädeterminististä polynomia.
"Minulla on ilo ilmoittaa todiste siitä, että P ei ole yhtä kuin NP", Deolalikar ilmoitti sähköpostissa matematiikan professoreille, jonka sittemmin julkaistiin sunnuntaina Greg Baker, British Columbia Simon Fraser -yliopiston vanhempi luennoitsija.
Lyhyesti sanottuna tämä voi tarkoittaa, että tietyt ongelmat voidaan ratkaista vain raa'alla voimankäytöllä, jos ratkaisuja löytyy kaikki.
"Todisteena oli, että periaatteet kiristettäisiin useilta matematiikan aloilta, ja tärkein pyrkimys tämän todisteen rakentamisessa oli paljastaa ketjun käsitteellisiä linkkejä eri kenttien välillä ja tarkastella niitä yhteisen objektiivin kautta", Deolalikar kirjoitti.
Luonnollisesti ne, jotka tuntevat ongelman, epäröivät julistaa, että Deolalikar on ratkaissut ongelman, kun otetaan huomioon tarkistuksen määrä, joka olisi tehtävä. Ja vaikka he ylistävät Deolalikaria perusteellisesta lähestymistavastaan, joka eroaa tavallisimmin esitetyistä satunnaisemmista arvauksista, kukaan ei ole lopullisesti väittänyt, että hän on murskannut ongelman.
"Näyttää siltä, että otat käyttöön joitakin ajatuksia herättäviä uusia ideoita, erityisesti tilastollisen fysiikan ja NP: n ensimmäisen kertaluvun logiikan luonnehdinta ", kirjoitti Massachusetts Institute of Technology -lehden sähkötekniikan ja tietotekniikan apulaisprofessori Scott Aaronson.
" En tiedä mitä ajattelemaan juuri nyt, mutta olen varmasti toiveikas ", kirjoitti Georgia Institute of Technologyin tietojenkäsittelytieteen professori Dick Lipton.
Joab Jackson kattaa yritysohjelmiston ja yleisen teknologian uutiset IDG News Service. Seuraa Joab Twitterissä osoitteessa @Joab_Jackson. Joabin sähköpostiosoite on [email protected]
Tutkija demonstroimaan hyökkäyskoodia Intelin siruille
Turvallisuustutkija aikoo osoittaa hyökkäyskoodin, joka kohdistuu virheisiin Intelin mikroprosessoreissa.
E-passit voidaan kloonata pöytäkirjoissa, vaatimusten tutkija
Hollantilaiset tutkijat väittävät voivansa laihtua piilokopioiduista Yhdistyneen kuningaskunnan passista. Prosessi on halpaa ja kestää minuutteja.
Android ei voi tarvita virustorjuntaohjelmistoa, tutkija sanoo
SMobile julkaisi ensimmäisen virustentorjuntaohjelmiston Androidille, mutta yksi analyytikko sanoi, että se on todennäköisesti ei ole välttämätöntä.