Το Διαδίκτυο ως ερευνητικό αντικείμενο Χρίστος Χ. Παπαδημητρίου “christos”

Παρουσίαση με θέμα: "Το Διαδίκτυο ως ερευνητικό αντικείμενο Χρίστος Χ. Παπαδημητρίου “christos”"— Μεταγράφημα παρουσίασης:

1 Το Διαδίκτυο ως ερευνητικό αντικείμενο Χρίστος Χ. Παπαδημητρίου “christos”

2 Φοιτητές ΕΜΠ, Μάιος 20072

3 3 Tο Διαδίκτυο Τεράστιο, “ανοικτό ”, “end-to-end” Κορυφαίος παράγων οικονομικής ανάπτυξης Το σπίτι του www “It wants to be free” –ελεύθερο –ανεξάρτητο και μη κρατικό –αχαλίνωτο κι ατίθασσο –τζάμπα

4 Φοιτητές ΕΜΠ, Μάιος 20074 Tο Διαδίκτυο (συν.) Το κτίζουν και το εκμεταλλεύονται 20,000 εταιρείες Το πρώτο υπολογιστικό αντικείμενο που πρέπει να το μελετήσουμε με την επιστημονική μέθοδο –παρατηρήσεις –πειράματα –διεψεύσιμες θεωρίες –ειδικευμένα εφαρμοσμένα μαθηματικά –Θεωρία παιγνίων, γραφοθεωρια, αλγόριθμοι

5 Φοιτητές ΕΜΠ, Μάιος 20075 Αλλά γιατί; Συναρπαστικό αντικείμενο με πολλά μυστήρια Το Διαδίκτυο δεν είναι “ τελικό προϊόν ” -- βρίσκεται διηνεκώς σε “ βήτα ” Τρέχουν σοβαρές προσπάθειες ανασχεδιασμού Χ.Π.: έρευνα και πολιτική

6 Φοιτητές ΕΜΠ, Μάιος 20076 1,-1-1,1 1,-1 0,00,00,10,1 1,01,0-1,-1 3,33,30,40,4 4,04,01,11,1 Το πέναλτυΟι κρατούμενοιΗ διασταύρωση Τα παίγνια είναι νοητικά πειράματα που μας βοηθούν να καταλάβουμε την συμπερφορά ορθολογικών ιδιοτελών πραττόντων σε καταστάσεις σύγκρουσης

7 Φοιτητές ΕΜΠ, Μάιος 20077 Ισορροπία κατα Nash Όλοι κάνουν το καλύτερο δυνατό (δεδομένοι του τι κάνουν όλοι οι άλλοι) Πρόβλημα 1: Συχνά δεν υπάρχει Θεώρημα (Nash 1951): Πιθανοτική ισορροπία κατά Nash πάντα υπάρχει Πρόβλημα 2: Συχνά υπάρχουν πολλές

8 Φοιτητές ΕΜΠ, Μάιος 20078 Εξερευνώντας τις πολλαπλές ισορροπίες: Το τίμημα της αναρχίας κόστος της χειρότερης ισορροπίας κόστος του κοινωνικά βέλτιστου τ. της A = [Κουτσουπιάς-ΧΠ, 1997]

9 Φοιτητές ΕΜΠ, Μάιος 20079 “Ο τρίτος συμβιβασμός” 1.Η πολυπλοκότητα μας αναγκάζει να προσεγγίζουμε 2.Μας λείπουν πληροφορίες, συνεπώς αποφασίζουμε “ στο φτερό ” ή χώρια 3.Οι λήπτες αποφάσεων συχνά έχουν συγκρουόμενους αντικειμενικούς σκοπούς! 1 3 2 opt “τίμημα της αναρχίας”

10 Φοιτητές ΕΜΠ, Μάιος 200710 Η ιδιοτέλεια πληρώνεται … x 1 0 1 x καθυστερήσεις Κοινωνικα βέλτιστο: 1.5 Ιδιοτελής ισορροπία: 2

11 Φοιτητές ΕΜΠ, Μάιος 200711 …αλλά εντός λογικών ορίων = 2 (4/3 για γραμμικές καθυστερήσεις) [Roughgarden and Tardos, 2000, Roughgarden 2002] Το τίμημα της αρχιτεκτονικής του Διαδικτύου? τ. της A

12 Φοιτητές ΕΜΠ, Μάιος 200712 Οικονομικοί μηχανισμοί (ή αντίστροφη παιγνιοθεωρία) Οι ακριβείς αντικειμενικόι στόχοι των παικτών δεν είναι γνωστοί Το σχεδιαζόμενο παίγνιο (μηχανισμός) έχει ως ισορροπία το κοινωνικώς βέλτιστο -- όποιοι και να ’ ναι οι στόχοι των παικτών Βασική ιδέα: δωροδοκούμε τους παίκτες για να πουν την αλήθεια

13 Φοιτητές ΕΜΠ, Μάιος 200713 π.χ., πλειστηριασμός κατά Vickrey Ο πλειστηριασμός με ενσφράγιστες προσφορές ενθαρρύνει τη “ σπέκουλα ” Vickrey: Η υψηλότερη προσφορά κερδίζει, αλλά πληρώνει την δεύτερη ψηλότερη προσφορα Οι συμμετέχοντες έχουν κίνητρο να αποκαλύψουν την αληθινή αξία: “ Αληθής μηχανισμός ”

14 Φοιτητές ΕΜΠ, Μάιος 200714 Πλειστηριασμός συντομότερου μονοπατιού 6 6 3 4 5 11 10 3 Πλήρωσε στην e το κόστος c(e) που δήλωσε, συν ένα δώράκι: dist(s,t)| c(e) =  - dist(s,t) ts

15 Φοιτητές ΕΜΠ, Μάιος 200715 Πρόβλημα: ts 11 1 1 1 10 Θεώρημα [Elkind, Sahai, Steiglitz 2003]: Κάθε αληθής μηχανισμός απαιτεί μεγάλα κίνητρα.

16 Φοιτητές ΕΜΠ, Μάιος 200716 Αλλά… …στο πραγματικό Διαδίκτυο, πειράματα δείχνουν ότι οι επιπλέον πληρωμές ειναι περίπου 30% κατά μέσον όρο [FPSS 2002] Μήπως αυτό είναι το αποτέλεσμα συνειδητής αντιμονοπωλιακής μέριμνας κατά τον σχεδιασμό του Διαδικτύου;

17 Φοιτητές ΕΜΠ, Μάιος 200717 Οχι βέβαια… Θεώρημα [Μιλένα Μιχαήλ, Χ.Π., Saberi 2003]: Σε ένα τυχαίο γράφο με μέσο βαθμό δ, οι επιπλέον πληρωμές είναι περίπου 1/δ

18 Φοιτητές ΕΜΠ, Μάιος 200718 Παρεμπιπτόντως: Πως αυξάνεται η κυκλοφορία; Δένδρα: n 2 Διαστολείς (expanders): ~ n Το Διαδίκτυο? Θεώρημα (Μιχαήλ, Χ.Π., και Saberi 2003): Αραιά τυχαία γραφήματα “ άνευ κλίμακος ” (scale-free, Internet-like) είναι σχεδόν πάντα διαστολείς

19 Φοιτητές ΕΜΠ, Μάιος 200719 Να θυμηθούμε Θεώρημα (Nash 1951): Πιθανοτική ισορροπία κατά Nash πάντα υπάρχει Πρόβλημα: Αλλά πώς την βρίσκουμε; Πολλοί αλγόριθμοι, όλοι εκθετικοί Μήπως είναι ΝΡ-πλήρες; Οχι, διότι πάντα υπάρχει λύση

20 Φοιτητές ΕΜΠ, Μάιος 200720 Αλλά γιατί; Μια ισορροπία είναι πρόβλεψη ορθολογιστικής στρατηγικής συμπεριφοράς Αν δεν μπορούμε να την υπολογίσουμε εντός λογικών χρονικών ορίων, χάνει πολύ σε πειστικότητα “Αν δεν μπορεί να το βρεί το λάπτοπ σου, ούτε και η αγορά θα μπορέσει να το βρεί ”

21 Φοιτητές ΕΜΠ, Μάιος 200721 Πως το απέδειξε ο Nash; Στηρίχθηκε στο Θεώρημα του Brouwer Για αυτό είναι γνωστό ότι είναι δύσκολο να βρεθεί λύση Αλλά είναι το πρόβλημα της ισορροπίας εξ ίσου δύσκολο; Θεώρημα [Δασκαλάκης-Goldberg-Χ.Π., 2006]: Ναι!

22 Φοιτητές ΕΜΠ, Μάιος 200722 Brouwer  Nash Επομένως….

23 Φοιτητές ΕΜΠ, Μάιος 200723 Game over!

24 Φοιτητές ΕΜΠ, Μάιος 200724 Λοιπον… Η μελέτη του Διαδικτύου είναι ένα βασικό, βαθύ, όμορφο και συναρπαστικό πρόβλημα που φαίνεται ότι απαιτεί την ανάπτυξη μιας νέας ερευνητικής περιοχής στα σύνορα μεταξύ Πληροφορικής, Γραφοθεωρίας και Θεωρίας Παιγνίων Πολλή πρόσφατη πρόοδος Πάμπολλα ανοικτά προβλήματα!

25 Ευχαριστώ πολύ! “christos”