Υπολογιστική Πολυπλοκότητα Εξέταση Ιουνίου 2017 Σελ. 1 από 5

Σχετικά έγγραφα
Μη γράφετε στο πίσω μέρος της σελίδας

Θεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος

Θεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr

Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας

Μαθηματική Λογική (προπτυχιακό) Εξέταση Ιανουαρίου 2018 Σελ. 1 από 5

Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας

Πολυπλοκότητα. Παράμετροι της αποδοτικότητας ενός αλγόριθμου: Χρόνος εκτέλεσης. Απαιτούμενοι πόροι, π.χ. μνήμη, εύρος ζώνης. Προσπάθεια υλοποίησης

Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας

Αλγόριθµοι και Πολυπλοκότητα

Υπολογιστικό Πρόβληµα

ILP-Feasibility conp

Διδάσκοντες: Δ. Φωτάκης, Δ. Σούλιου Επιμέλεια διαφανειών: Δ. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

Μη γράφετε στο πίσω μέρος της σελίδας

Κεφάλαιο 8. NP και Υπολογιστική Δυσεπιλυσιμότητα. Χρησιμοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne.

Μη γράφετε στο πίσω μέρος της σελίδας

Επίπεδα Γραφήματα : Προβλήματα και Υπολογιστική Πολυπλοκότητα

Κεφάλαιο 8. NP και Υπολογιστική Δυσεπιλυσιµότητα. Χρησιµοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne.

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 16: Αναγωγές

Κ Ε Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας

ιµελής Σχέση ιατεταγµένο ζεύγος (α, β): ύο αντικείµενα (όχι κατ ανάγκη διαφορετικά) σε καθορισµένη σειρά. Γενίκευση: διατεταγµένη τριάδα (α, β, γ), δι

Σχέσεις. ιδάσκοντες:. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

Μη γράφετε στο πίσω μέρος της σελίδας

ΑΛΓΟΡΙΘΜΟΙ ΚΑΙ ΠΟΛΥΠΛΟΚΟΤΗΤΑ Φεβρουάριος 2005 Σύνολο μονάδων: 91

Μη γράφετε στο πίσω μέρος της σελίδας

Θεωρία Υπολογισμού και Πολυπλοκότητα

Σειρά Προβλημάτων 5 Λύσεις

Πεπερασμένα Αυτόματα. ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

Θεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές

Υπολογιστική Πολυπλοκότητα

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

Σειρά Προβλημάτων 5 Λύσεις

Σειρά Προβλημάτων 5 Λύσεις

Σχέσεις. Διμελής Σχέση. ΣτοΊδιοΣύνολο. Αναπαράσταση

Εισαγωγικές Έννοιες. ημήτρης Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Εθνικό Μετσόβιο Πολυτεχνείο

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 2: Μαθηματικό Υπόβαθρο

Κεφάλαιο 8. NP και Υπολογιστική Δυσεπιλυσιμότητα. Παύλος Εφραιμίδης V1.1,

Φροντιστήριο 11 Λύσεις

Υπολογιστική Πολυπλοκότητα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 18: Χρονική και Χωρική Πολυπλοκότητα

Τομές Γραφήματος. Γράφημα (μη κατευθυνόμενο) Συνάρτηση βάρους ακμών. Τομή : Διαμέριση του συνόλου των κόμβων σε δύο μη κενά σύνολα

t M (w) T ( w ) O( n) = O(n 2 )

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Σειρά Προβλημάτων 5 Λύσεις

Chapter 7, 8 : Time, Space Complexity

Ασκήσεις από παλιές εξετάσεις

Σειρά Προβλημάτων 5 Λύσεις

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Επανάληψη Μαθήματος

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 13: Παραλλαγές Μηχανών Turing και Περιγραφή Αλγορίθμων

CSC 314: Switching Theory

Προσεγγιστικοί Αλγόριθμοι

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός

Θεωρία Υπολογισμού και Πολυπλοκότητα

L A P. w L A f(w) L B (10.1) u := f(w)

Αλγόριθμοι και πολυπλοκότητα: 4 η σειρά ασκήσεων ΣΗΜΜΥ - Ε.Μ.Π.

Λύσεις 4ης Σειράς Ασκήσεων

Το πρόβλημα μονοδρόμησης (The One-Way Street Problem)

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός

B = {x A : f(x) = 1}.

Ασκήσεις Επανάληψης. Επανάληψη Εαρινό Εξάμηνο 2019 Σελίδα 1

Chapter 7, 8 : Completeness

4η Γραπτή Ασκηση Αλγόριθμοι και Πολυπλοκότητα CoReLab ΣΗΜΜΥ 3/2/2019 CoReLab (ΣΗΜΜΥ) 4η Γραπτή Ασκηση 3/2/ / 37

4η Γραπτή Ασκηση Αλγόριθμοι και Πολυπλοκότητα CoReLab ΣΗΜΜΥ 7 Φεβρουαρίου 2017 CoReLab (ΣΗΜΜΥ) 4η Γραπτή Ασκηση 7 Φεβρουαρίου / 38

Φροντιστήριο #9 Λυμένες Ασκήσεις σε Γράφους

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Παραμετρικοί Αλγόριθμοι

ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο

Ελαφρύτατες διαδρομές

Μη Ντετερμινισμός και NP-Πληρότητα

Σειρά Προβλημάτων 4 Λύσεις

Κλάσεις Πολυπλοκότητας

Μη Ντετερμινισμός και NP-Πληρότητα

ΠΕΡΙΕΧΟΜΕΝΑ. Πρόλογος στη δεύτερη έκδοση

KΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,...

Σχεδίαση και Ανάλυση Αλγορίθμων Ενότητα 5: ΚΑΤΗΓΟΡΙΕΣ ΑΛΓΟΡΙΘΜΙΚΩΝ ΠΡΟΒΛΗΜΑΤΩΝ-ΑΝΑΓΩΓΗ

6 Συνεκτικοί τοπολογικοί χώροι

Σημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης

e 2 S F = [V (H), V (H)]. 3-1 e 1 e 3

Ασκήσεις στους Γράφους. 1 ο Σετ Ασκήσεων Βαθμός Μονοπάτια Κύκλος Euler Κύκλος Hamilton Συνεκτικότητα

Αλγόριθμοι Προσέγγισης για NP-Δύσκολα Προβλήματα

Άσκηση 3 (ανακοινώθηκε στις 24 Απριλίου 2017, προθεσμία παράδοσης: 2 Ιουνίου 2017, 12 τα μεσάνυχτα).

Ασκήσεις μελέτης της 8 ης διάλεξης

Σειρά Προβλημάτων 5 Λύσεις

Ασκήσεις. και. για κάποιο k n. ( ) BdΚ και επί πλέον το BdΚ είναι ακραίο. [Υπόδειξη Πρβλ. την άσκηση 11 της παραγράφου 3.1 για το (α)].

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι έχουµε δει µέχρι τώρα. Υπογράφηµα Γράφοι

UP class. & DES και AES

Chapter 7, 8 : Time, Space Complexity

Θεωρία Γραφημάτων και Εφαρμογές - Διακριτά Μαθηματικά ΙΙ Σεπτέμβριος 2017

Μη Ντετερμινισμός και NP-Πληρότητα

ΘΕΩΡΙΑ ΓΡΑΦΩΝ. 7 η Διάλεξη Συνεκτικότητα (Συνδεσμικότητα) Βασικές έννοιες και ιδιότητες Το θεώρημα του Merger Ισομορφισμός

Εισαγωγή στους Αλγορίθμους

Transcript:

Υπολογιστική Πολυπλοκότητα Εξέταση Ιουνίου 2017 Σελ. 1 από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις σας μην ξεπερνάτε, για οποιοδήποτε λόγο, τα καθορισμένα όρια αριθμού γραμμών. Γράψτε τον ΑΜ σας σε όλες τις σελίδες. Επώνυμο: Όνομα: ΑΜ: Βαθμοί 1 (1) 2α (1) 2β (1,5) 3 (2,5) Σύνολο (6) Κ Ε

ΑΜ: Σελ. 2 από 5 Θέμα 1α [1 μονάδα]. Έστω Σ πεπερασμένο αλφάβητο και L γλώσσα στο Σ. Πόσοι από τους παρακάτω ισχυρισμούς αληθεύουν; (I) Αν η L είναι διαγνώσιμη τότε είναι αναγνωρίσιμη (II) Αν η L είναι πλήρης στην κλάση NP τότε είναι διαγνώσιμη. (III) Αν η L είναι αναγνωρίσιμη αλλά δεν είναι διαγνώσιμη, τότε το συμπλήρωμά της δεν είναι αναγνωρίσιμη γλώσσα. Κυκλώστε το σωστό, χωρίς αιτιολόγηση ούτε σχόλια: (1) Αληθεύει ακριβώς ένας από τους ισχυρισμούς (Ι ΙΙΙ). (2) Αληθεύουν ακριβώς δύο από τους ισχυρισμούς (Ι ΙΙΙ). (3) Ουδείς αληθεύει. (4) Αληθεύουν όλοι Απάντηση: Σωστό είναι το (4). Θέμα 2α [1 μονάδα]. Δεχθείτε ότι υπάρχει μη διαγνώσιμη γλώσσα στο αλφάβητο {0, 1}. Να αποδείξετε ότι υπάρχει μη διαγνώσιμη γλώσσα στο αλφάβητο {0, 1} όλα τα στοιχεία της οποίας είναι μη κενές συμβολοσειρές των οποίων ο πρώτος όρος είναι 1. Απάντηση: Έστω L μία μη διαγνώσιμη γλώσσα στο {0, 1}. Θεωρούμε τη γλώσσα L = {1u u L} και την απεικόνιση f : {0, 1} {0, 1} που ορίζεται από f(u) = 1u. Είναι προφανές ότι η f είναι υπολογίσιμη και επιπλέον ότι u L ανν f(u) L. Επομένως Η L ανάγεται απεικονιστικά στην L με μία υπολογίσιμη απεικόνιση. Αφού η L δεν είναι διαγνώσιμη, ούτε η L είναι, και επιπλέον η L έχει τις επιθυμητές ιδιότητες.

ΑΜ: Σελ. 3 από 5 Θέμα 2β [1,5 μονάδα]. Να αποδείξετε ότι υπάρχει μη διαγνώσιμη γλώσσα στο αλφάβητο {1} (δεχόμενοι ό,τι και στο 2α). Σημείωση: Δεχθείτε ότι πράξεις μεταξύ συμβολοσειρών που μπορεί να περιγραφούν με έναν αλγοριθμικό τρόπο με διαισθητικό τρόπο ορίζουν υπολογίσιμες συναρτήσεις. Απάντηση: Για μία συμβολοσειρά u 1{0, 1} (δηλαδή δυαδική συμβολοσειρά που αρχίζει από 1), ορίζουμε ū ναι είναι η συμβολοσειρά στο αλφάβητο {1} της οποίας ο αριθμός των 1 ισούται με τον αριθμό που δηλώνει η u αν θεωρηθεί ως φυσικός αριθμός γραμμένος στο δυαδικό σύστημα (παρατηρήστε ότι αφού η u αρχίζει από 1,ο φυσικός αυτός είναι μονοσήμαντα ορισμένος). Π.χ. αν u = 101 τότε f(u) = 11111. Ορίζουμε τώρα την απεικόνιση f : {0, 1} {1} ως εξής: f (u) = ū αν η u έχει ως πρώτον όρο το 1, και f(u) = κενή ακολουθία, αλλιώς. Είναι φανερό ότι η f είναι υπολογίσιμη. Επίσης αν A είναι ένα μη διαγνώσιμο υποσύνολο του 1{0, 1} (υπάρχει τέτοιο με βάση το προηγούμενο ερώτημα), ορίζουμε B να είναι η εικόνα του A μέσω της f. Παρατηρούμε ότι u A ανν f(u) B, διότι η κενή ακολουθία δεν ανήκει στο B. Επίσης, το B είναι υποσύνολο του {1} και το μη διαγνώσιμο A ανάγεται απεικονιστικά στο B μέσω της υπολογίσιμης απεικόνισης f. Άρα μη διαγνώσιμο είναι και το B.

ΑΜ: Σελ. 4 από 5 Θέμα 2 [2,5 μονάδες]. Αποδείξτε ότι το ακόλουθο πρόβλημα είναι μέλος της κλάσης NP και πλήρες σε αυτήν. Δεδομένα: Κατευθυνόμενο γράφημα G = (V, E) και δύο κορυφές s, t V. Ερώτημα: Υπάρχει κατευθυνόμενο μονοπάτι στο G που ξεκινά από την s καταλήγει στην t, και επισκέπτεται περισσότερες από τις μισές κορυφές του V ; Προσοχή: Ένα μονοπάτι εξ ορισμού δεν επισκέπτεται μια κορυφή περισσότερες από μία φορές. Υπόδειξη: Για την πληρότητα, χρησιμοποιήστε αναγωγή από το πρόβλημα της Χαμιλτονιανής διαδρομής. Να κάνετε πλήρη και προσεκτική απόδειξη της ορθότητας της αναγωγής. Απάντηση: Έστω Π το δεδομένο πρόβλημα κωδικοποιημένο ως γλώσσα ενός αλφαβήτου. Δηλαδή Π = { G, s, t G = (V, E) κατευθυνόμενο γράφημα που έχει μονοπάτι από το s στο t που επισκέπτεται περισσότερες από τις μισές κορυφές του G}. Για να αποδείξουμε ότι το Π είναι στην κλάση NP θεωρούμε επαληθευτή ο οποίος δέχεται ως δεδομένο το G, s, t, p και αποδέχεται αν το p είναι μονοπάτι του G που ξεκινά από την s, καταλήγει στην t, και καλύπτει περισσότερες από τις μισές κορυφές του G. Είναι φανερό ότι ο επαληθευτής αποφαίνεται σε χρόνο πολυωνυμικό ως προς το μέγεθος G, s, t, άρα Π NP. Για την πληρότητα θα κάνουμε αναγωγή από το πλήρες πρόβλημα της Χαμιλτονιανής διαδρομής. Έστω επομένως G, s, t ένα στιγμιότυπο για το πρόβλημα της Χαμιλτονιανής διαδρομής, όπου G = (V, E). Θα ορίσουμε ένα στιγμιότυπο G, s, t του προβλήματος Π ως εξής: Το G αποτελείται από ένα αντίγραφο του G, με πρόσθετες νέες κορυφές τόσες όσες οι κορυφές του V \ {s, t}, και με τις ίδιες ακμές E (οι ακμές δεν έχουν άκρα από τις πρόσθετες κορυφές). Παρατηρούμε ότι οι πρόσθετες κορυφές του G είναι λιγότερες από τις μισές κορυφές του. Επίσης παρατηρούμε ότι αν ένα σύνολο κορυφών του G περιέχει περισσότερες από τις μισές κορυφές του και δεν περιέχει πρόσθετη, τότε περιέχει όλες τις μη πρόσθετες κορυφές του. Τέλος θέτουμε s = s και t = t. Είναι φανερό ότι ορίζεται έτσι μία απεικόνιση υπολογίσιμη σε πολυωνυμικό χρόνο. Συνεχίζεται στην επόμενη σελίδα G, s, t G, s, t,

ΑΜ: Σελ. 5 από 5 Για την ορθότητα της αναγωγής θα πρέπει να αποδείξουμε ότι G, s, t έχει Χαμιλτονιανή διαδρομή ανν G, s, t έχει μονοπάτι που διέρχεται από περισσότερες από τις μισές κορυφές του G. Για το ευθύ, αν p είναι Χαμιλτονιανή διαδρομή στο G, τότε το p είναι μονοπάτι στο G που διέρχεται από όλες τις μη πρόσθετες κορυφές του G, άρα διέρχεται από περισσότερες από τις μισές κορυφές του G. Για το αντίστροφο, παρατηρούμε, με βάση όσα αναφέραμε παραπάνω, ότι αν ένα μονοπάτι p του G περιέχει περισσότερες από τις μισές κορυφές του G, τότε, αφού εξ ορισμού ένα μονοπάτι δεν περιέχει πρόσθετες κορυφές, το p περιέχει όλες τις μη πρόσθετες κορυφές του G. Άρα αν το p είναι μονοπάτι στο G που ξεκινά από την s = s, καταλήγει στην t = t και περιέχει περισσότερες από τις μισές κορυφές του G, το p είναι Χαμιλτονιανή διαδρομή του G που ξεκινά από την s και καταλήγει στην t.