Προσεγγισιμότητα και επαλήθευση προσφορών στο σχεδιασμό μηχανισμών

Αρσένης, Γεράσιμος; Arsenis, Gerasimos

dc.contributor.author	Αρσένης, Γεράσιμος	el
dc.contributor.author	Arsenis, Gerasimos	en
dc.date.accessioned	2017-09-18T09:34:11Z
dc.date.available	2017-09-18T09:34:11Z
dc.date.issued	2017-09-18
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/45629
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.14312
dc.rights	Αναφορά Δημιουργού 3.0 Ελλάδα	*
dc.rights.uri	http://creativecommons.org/licenses/by/3.0/gr/	*
dc.subject	Σχεδιασμός μηχανισμών	el
dc.subject	Mechanism design	en
dc.subject	Επαλήθευση	el
dc.subject	Τίμημα αναρχίας	el
dc.subject	Συνδυαστικές δημοπρασίες	el
dc.subject	Verification	en
dc.subject	Price of anarchy	en
dc.subject	Combinatorial auctions	en
dc.title	Προσεγγισιμότητα και επαλήθευση προσφορών στο σχεδιασμό μηχανισμών	el
dc.title	Approximation and verification in mechanism design	en
heal.type	bachelorThesis
heal.classification	Επιστήμη υπολογιστών	el
heal.classification	Computer science	en
heal.classification	Πληροφορική	el
heal.classificationURI	http://data.seab.gr/concepts/77de68daecd823babbb58edb1c8e14d7106e83bb
heal.classificationURI	http://data.seab.gr/concepts/77de68daecd823babbb58edb1c8e14d7106e83bb
heal.language	el
heal.language	en
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2017-05-31
heal.abstract	Στα πλαίσια του Σχεδιασμού Μηχανισμών, επαλήθευση (verification) είναι η δυνατότητα που έχει ένας μηχανισμός να ελέγχει (πιθανώς εν μέρη) αν οι δηλώσεις των παικτών είναι αληθείς. Στη βιβλιογραφία έχει μελετηθεί με ποιο τρόπο μπορεί αυτή η τεχνική να χρησιμοποιηθεί ώστε να δώσει κίνητρο στους παίκτες να δηλώσουν τις πραγματικές τους προτιμήσεις, δηλαδή να καταστήσει το μηχανισμό φιλαλήθη (truthful). Η φιλαλήθεια είναι μια πολύ επιθυμητή ιδιότητα ενός μηχανισμού αλλά ακόμα και με τη χρήση επαλήθευσης δεν μπορεί να επιτευχθεί πάντα. Στόχος μας είναι να μελετήσουμε αν η χαλάρωση της απαίτησης της φιλαλήθειας μπορεί να ξεπεράσει κάποια από τα αρνητικά αποτελέσματα στη βιβλιογραφία της επαλήθευσης. Στην παρούσα διπλωματική εργασία κάνουμε ένα βήμα προς αυτή την κατεύθυνση μελετώντας απλές μη-φιλαλήθης υλοποιήσεις συνδυαστικών δημοπρασιών (combinatorial auctions) και αξιολογώντας αυτές με τη χρήση του Τιμήματος Αναρχίας (Price of Anarchy) που εκφράζει το κατά πόσο ο μηχανισμός προσεγγίζει την απόδοση ενός αντίστοιχου φιλαλήθη μηχανισμού. Αρχικά γίνεται μια ανασκόπηση της βιβλιογραφίας πάνω στην χρήση της επαλήθευσης και στην ανάλυση του Τιμήματος Αναρχίας (PoA) με έμφαση στην προσέγγιση του Tim Roughgarden που δίνει έναν ενιαίο τρόπο υπολογισμού κάτω φραγμάτων στο PoA απλών δημοπρασιών. Καταλήγουμε με το αρνητικό αποτέλεσμα ότι η επαλήθευση δεν μπορεί να ξεπεράσει τα προαναφερθέντα κάτω φράγματα και προτείνουμε νέες γραμμές έρευνας.	el
heal.abstract	In the field of Mechanism Design, verification is the ability of the mechanism to verify (maybe partially) whether the agents report their true preferences. In the literature of the field, it has been studied how this technique can be used to incentivize players to report their true preferences, thus making the mechanism truthful. Truthfulness is a desirable property of a mechanism but even under the assumption that some kind of verification is in use, it is difficult to achieve. Our goal is to study whether relaxing the requirement of truthfulness can bypass some negative results in the literature of verification. In this diploma thesis, we make a step towards this direction by studying non-truthful implementations of combinatorial auctions and evaluating them using the Price of Anarchy which is a measure of how much the mechanism approximates the performance of a corresponding truthful mechanism. We start by reviewing the relative literature on the use of verification and on the analysis of the Price of Anarchy (PoA) focusing on the approach of Tim Roughgarden who presents a unified way of proving lower bounds on the PoA of simple auctions. We conclude with the negative result that verification cannot bypass the aforementioned lower bounds and we propose new lines of research.	en
heal.advisorName	Φωτάκης, Δημήτριος	el
heal.committeeMemberName	Φωτάκης, Δημήτριος	el
heal.committeeMemberName	Παγουρτζής, Αριστείδης	el
heal.committeeMemberName	Παπασπύρου, Νικόλαος	el
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών.	el
heal.academicPublisherID	ntua
heal.numberOfPages	54 σ.
heal.fullTextAvailability	true