Αυτοαναφορικές,διαγώνιες μέθοδοι και πλήρης μελέτη 
του σχετικοποιημένου P^A=NP^A και P^B ≠ NP^B των Baker - Gill - Solovay - ΜΕΡΟΣ Β'

Φαραζή, Μαρίνα; Farazi, Marina

dc.contributor.author	Φαραζή, Μαρίνα	el
dc.contributor.author	Farazi, Marina	en
dc.date.accessioned	2015-02-25T12:29:27Z
dc.date.available	2015-02-25T12:29:27Z
dc.date.issued	2015-02-25
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/40350
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.5462
dc.rights	Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 3.0 Ελλάδα	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/gr/	*
dc.subject	Παράδοξα	el
dc.subject	Θεωρία πολυπλοκότητας	el
dc.subject	διαγωνιοποίηση	el
dc.subject	Μηχανές Τούρινγκ	el
dc.subject	Baker Gill Solovay	el
dc.subject	P versus NP problem	en
dc.subject	Turing	en
dc.subject	Savitch	en
dc.subject	Gödel	en
dc.subject	Baker Gill Solovay	en
dc.subject	Κλάσεις πολυπλοκότητας	el
dc.title	Αυτοαναφορικές,διαγώνιες μέθοδοι και πλήρης μελέτη του σχετικοποιημένου P^A=NP^A και P^B ≠ NP^B των Baker - Gill - Solovay - ΜΕΡΟΣ Β'	el
heal.type	bachelorThesis
heal.classification	Μαθηματικά	el
heal.classification	Επιστήμη υπολογιστών	el
heal.classification	Πληροφορική	el
heal.classificationURI	http://localhost:8080/healp/data/2
heal.classificationURI	http://localhost:8080/healp/data/3
heal.language	el
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2014-10-20
heal.abstract	Η παρούσα εργασία αποτελεί μία προσέγγιση αυτοαναφορικών και διαγωνίων μεθόδων, ενώ παρουσιάζεται μία πλήρης μελέτη του σχετικοποιημένου προβλήματος P^A=NP^A και P^B≠NP^B των Baker, Gill και Solovay. Στο πρώτο μέρος, συζητούνται γνωστά αυτοαναφορικά παράδοξα σύμφωνα με το άρθρο [2] του Noson S. Yanofsky. Παρουσιάζεται μία προσπάθεια για έναν ενιαίο φορμαλισμό γνωστών παραδόξων, από τα θεωρήματα του Cantor, το παράδοξο του Russell και του ψεύτη, μέχρι και το πρόβλημα του τερματισμού του Turing. Στο δεύτερο μέρος προχωράμε σε μία αρκετά εκτενή μελέτη του «P έναντι NP», το οποίο αποτελεί το σημαντικότερο ανοιχτό πρόβλημα της υπολογιστικής πολυπλοκότητας και ένα από τα έξι σύγχρονα άλυτα μαθηματικά προβλήματα. Παρουσιάζεται η ιστορική αναδρομή και η φύση του προβλήματος, ορίζονται οι μηχανές Turing, οι εν λόγω κλάσεις πολυπλοκότητας, καθώς και η χωρική και χρονική πολυπλοκότητα. Ακολούθως, μελετάμε το θεώρημα του Savitch. Η εργασία ολοκληρώνεται, ενώ παρατίθενται αναλυτικά οι αποδείξεις P^A=NP^A και P^B≠NP^B των Baker, Gill και Solovay.	el
heal.advisorName	Αρβανιτάκης, Αλέξανδρος	el
heal.committeeMemberName	Στεφανέας, Πέτρος	el
heal.committeeMemberName	Κανελλόπουλος, Βασίλης	el
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών	el
heal.academicPublisherID	ntua
heal.numberOfPages	41 σ.
heal.fullTextAvailability	true