Λύθηκε το "P=NP?" ;

[Thmmy.gr portal]

  Thmmy.gr portal
   Forum
   Downloads
   Ενεργ. Λογαριασμού
   Επικοινωνία
  
  Χρήσιμα links
   Σελίδα τμήματος
   Βιβλιοθήκη Τμήματος
   Elearning
   Φοιτητικά fora
   Πρόγραμμα Λέσχης
   Πρακτική Άσκηση
   Ηλεκτρονική Εξυπηρέτηση Φοιτητών
   Διανομή Συγγραμμάτων
   Ψηφιακό Καταθετήριο Διπλωματικών
   Πληροφορίες Καθηγητών
   Instagram @thmmy.gr
   mTHMMY
  
  Φοιτητικές Ομάδες
   ACM
   Aristurtle
   ART
   ASAT
   BEAM
   BEST Thessaloniki
   EESTEC LC Thessaloniki
   EΜΒ Auth
   IAESTE Thessaloniki
   IEEE φοιτητικό παράρτημα ΑΠΘ
   SpaceDot
   VROOM
   Panther
  

THMMY.gr Web

Helios_MultiScribbles2SMF Default ThemeSMFone_Blue

[Ανεβάζετε τα θέματα των εξετάσεων στον τομέα Downloads]

Είσαι πρωτοετής;... Καλώς ήρθες! Μπορείς να βρεις πληροφορίες εδώ. Βοήθεια για τους καινούργιους μέσω χάρτη.

Κατεβάστε εδώ το Android Application για εύκολη πρόσβαση στο forum.

Ανεβάζετε τα θέματα των εξετάσεων στον τομέα Downloads με προσοχή στα ονόματα των αρχείων!

[Δείτε περισσότερα εδώ...]

Συμβουλές καλής χρήσης του φόρουμ: Youtube embed code and links, Shoutbox, Notify, ...

Δείτε περισσότερα εδώ...

[Junior]

Ένας Ινδός επιστήμονας δημοσίευσε μια απόδειξη ότι P διάφορο του NP.
Αυτή τη στιγμή ελέγχεται αν είναι σωστή η λύση του. Αν είναι όντως σωστή, θα έχει κερδίσει ένα εκατομμύριο δολάρια από το ινστιτούτο Clay!

Άρθρο της Ελευθεροτυπίας:
http://www.enet.gr/?i=news.el.episthmh-texnologia&id=192213

Άρθρο σε ξένο site:
http://www.livemint.com/2010/08/10230113/Indian-scientist-offers-proof.html?h=E

Το ίδιο το paper που δημοσιεύτηκε:
http://www.hpl.hp.com/personal/Vinay_Deolalikar/Papers/pnp12pt.pdf



Το πρόβλημα αυτό είναι το πιο γνωστό πρόβλημα στη θεωρία των αλγορίθμων. Με P συμβολίζονται όλα τα προβλήματα που κατά κάποιο τρόπο μπορούν να λυθούν σε λογικό χρόνο (ανεξαρτήτως της μηχανής που χρησιμοποιούμε). Με NP συμβολίζονται τα προβλήματα που, δεδομένης μιας λύσης, μπορεί αυτή να επαληθευτεί σε λογικό χρόνο.
Για παράδειγμα, το να λύσουμε ένα Sudoku φαίνεται πολύ πιο δύσκολο από το να ελέγξουμε μια λύση αν είναι σωστή.

Ένα ερώτημα που απασχολεί πολύ τους θεωρητικούς των υπολογιστών και του οποίου η απάντηση (θετική ή αρνητική) θα έχει μεγάλες συνέπειες στην επιστήμη των υπολογιστών, είναι το αν υπάρχουν προβλήματα που ελέγχονται σε "λογικό" χρόνο, αλλά δεν μπορούν να λυθούν σε "λογικό" χρόνο, δηλαδή αν υπάρχουν προβλήματα στην κλάση NP που δεν ανήκουν στην κλάση P. Ή αλλιώς το ερώτημα "P=NP?"

[Nessa NetMonster]

Το άρθρο της Ελευθεροτυπίας είναι γτπ...

[png]

Αν θυμάμαι καλά, ο Ντελόπουλος στα συστήματα υπολογιστών μας είχε αναφέρει την εικασία "P υποσύνολο ή ίδιο του ΝΡ".

Αν ο ινδός είναι σωστός, από του χρόνου θέλει update

[^^DaRk_HunTeR]

Αντιγραφω

"Dear Fellow Researchers,

I am pleased to announce a proof that P is not equal to NP, which is attached in 10pt and 12pt fonts.

http://www.scribd.com/doc/35539144/pnp12pt

The proof required the piecing together of principles from multiple areas within mathematics. The major effort in constructing this proof was uncovering a chain of conceptual links between various fields and viewing them through a common lens. Second to this were the technical hurdles faced at each stage in the proof.

This work builds upon fundamental contributions many esteemed researchers have made to their fields. In the presentation of this paper, it was my intention to provide the reader with an understanding of the global framework for this proof. Technical and computational details within chapters were minimized as much as possible.

This work was pursued independently of my duties as a HP Labs researcher, and without the knowledge of others. I made several unsuccessful attempts these past two years trying other combinations of ideas before I began this work.

Comments and suggestions for improvements to the paper are highly welcomed."



http://feedworld.net/toc/

http://www.claymath.org/millennium/P_vs_NP/

Απο μειλ του Νικου στη λιστα στις 8/8/2010

[Μάρω]

Αν θυμάμαι καλά, ο Ντελόπουλος στα συστήματα υπολογιστών μας είχε αναφέρει την εικασία "P υποσύνολο ή ίδιο του ΝΡ".

Αν ο ινδός είναι σωστός, από του χρόνου θέλει update

ναι, το λέει κ στις σημειώσεις

[Joseph D.]

Μήπως ο Ινδός είναι ο David Krumholtz;