Ενώ η Hewlett-Packard κυλά από η πτώση του CEO Mark Hurd να αποχωρήσει, η εταιρεία μπορεί να απολαύσει τη δόξα τουλάχιστον ενός δυνητικά θετικού επιτεύγματος: Ένας ερευνητής της HP προσέφερε κάτι που λέει ότι είναι μια λύση σε ένα από τα δυσκολότερα προβλήματα στην επιστήμη των υπολογιστών.

Επομένως, αυτό το πρόβλημα είναι ότι το Ινστιτούτο Μαθηματικών του Clay έχει ορκιστεί να απονείμει το πρόσωπο που το λύνει 1 εκατομμύριο δολάρια. Είναι ένα από τα επτά μόνο προβλήματα, συλλογικά γνωστά ως Προβλήματα Βραβείων της Χιλιετίας, το Ινστιτούτο έχει προσφέρει αυτή τη γενναιοδωρία. Ένα από τα επτά, η υπόθεση Poincaré, επιλύθηκε επισήμως το 2006.

Δεν είναι σαφές αν η Deolalikar θα πάρει τα μετρητά, αφού ο Clay δεν έχει πει ότι θεωρεί το πρόβλημα επιλυμένο. τα εκκρεμή προβλήματα στην επιστήμη των υπολογιστών "συνεπάγονται" τον προσδιορισμό του αν υπάρχουν ερωτήματα των οποίων η απάντηση μπορεί να ελεγχθεί γρήγορα, αλλά που απαιτούν έναν απίστευτα μεγάλο χρόνο για να επιλυθούν με οποιαδήποτε άμεση διαδικασία ", εξηγεί μια σελίδα του Ινστιτούτου. Στο πρόβλημα, το P συμβολίζει τον πολυωνυμικό χρόνο και το NP αντιπροσωπεύει μη καθοριστικό πολυωνυμικό χρόνο.

«Είμαι στην ευχάριστη θέση να ανακοινώσω ότι η P δεν είναι ίση με NP», ανακοίνωσε η Deolalikar σε ένα e-mail σε μια ομάδα καθηγητών μαθηματικών, που δημοσιεύθηκε την Κυριακή από τον Greg Baker, ανώτερο λέκτορα στο Πανεπιστήμιο της Βρετανίας Columbia Simon Fraser.

Με λίγα λόγια, αυτό μπορεί να σημαίνει ότι ορισμένα προβλήματα μπορούν να επιλυθούν μόνο με την αναζήτηση βίαιων δυνάμεων, "Η απόδειξη απαιτούσε τη συναρμολόγηση των αρχών από πολλαπλές περιοχές εντός των μαθηματικών.Η μεγάλη προσπάθεια για την κατασκευή αυτής της απόδειξης ήταν η αποκάλυψη μιας αλυσίδας εννοιολογικών δεσμών μεταξύ διαφόρων πεδίων και η προβολή τους μέσω ενός κοινού φακού", γράφει ο Deolalikar.

Φυσικά, όσοι γνωρίζουν με το πρόβλημα διστάζουν να διακηρύξουν ότι η Deolalikar έχει λύσει το πρόβλημα, δεδομένου του ποσού των ελέγχων που θα έπρεπε να γίνει. Και ενώ συγχαίρουν τον Deolalikar για την προσεκτική του προσέγγιση, η οποία διαφέρει από τις πιο τυχαίες εικασίες που παρουσιάζονται συνήθως, κανείς δεν έχει ισχυριστεί οριστικά ότι έχει σπάσει το πρόβλημα.

μια σύνδεση μεταξύ της στατιστικής φυσικής και του λογικού χαρακτηρισμού πρώτης τάξης του ΝΡ », γράφει ο Scott Aaronson, βοηθός καθηγητής Ηλεκτρολόγου Μηχανικού και Επιστήμης Υπολογιστών στο Ινστιτούτο Τεχνολογίας της Μασαχουσέτης, σε μια μη δεσμευτική καταχώρηση στο blog.

« Δεν ξέρω τι να σκέφτομαι τώρα, αλλά είμαι σίγουρα αισιόδοξος », γράφει ο Dick Lipton, καθηγητής της πληροφορικής στο Ινστιτούτο Τεχνολογίας της Γεωργίας.

Ο Joab Jackson καλύπτει το λογισμικό των επιχειρήσεων και τη γενική τεχνολογία που σπάζει τα νέα για την

. Ακολουθήστε τον Joab στο Twitter στο @Joab_Jackson. Η διεύθυνση ηλεκτρονικού ταχυδρομείου του Joab είναι [email protected]