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

Τσιαντού, Ευαγγελία; Tsiantou, Evangelia

dc.contributor.author	Τσιαντού, Ευαγγελία	el
dc.contributor.author	Tsiantou, Evangelia	en
dc.date.accessioned	2015-02-25T12:23:38Z
dc.date.available	2015-02-25T12:23:38Z
dc.date.issued	2015-02-25
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/40349
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.8271
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	Θεώρημα Cantor	el
dc.subject	Yanofski	en
dc.subject	Cantor	en
dc.subject	Halting problem	en
dc.subject	Turing	en
dc.subject	Russell	en
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