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

Σχετικά έγγραφα
Σειρά Προβλημάτων 5 Λύσεις

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Κλάση NP, NP-Complete Προβλήματα

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

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

Θεωρία Γραφημάτων 8η Διάλεξη

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

Chapter 7, 8 : Completeness

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

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

Κατώτερα φράγματα Κατώτερο φράγμα: εκτίμηση της ελάχιστης εργασίας που απαιτείται για την επίλυση ενός προβλήματος. Παραδείγματα: Αριθμός συγκρίσεων π

NP-πληρότητα. Λεωνίδας Παληός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων

Chapter 7, 8 : Time, Space Complexity

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

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

Θεωρία Γραφημάτων 10η Διάλεξη

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

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

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

Αλγόριθμοι για ανάθεση συχνοτήτων και έλεγχο αποδοχής κλήσεων σε κυψελικά ασύρματα δίκτυα

Κατανεμημένα Συστήματα Ι

Το Πρόβλημα της Πινακοθήκης (The Art Gallery Problem)

ΑΛΓΟΡΙΘΜΟΙ. Ενότητα 11: Περιορισμοί της Αλγοριθμικής Ισχύος

CSC 314: Switching Theory

Το Πρόβλημα της Πινακοθήκης (The Art Gallery Problem)

Επαγωγή και αναδρομή για άκυκλα συνεκτικά γραφήματα

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

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

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

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

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

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

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

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

Δομές Δεδομένων και Αλγόριθμοι

Θεωρία Γραφημάτων 6η Διάλεξη

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

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

Chapter 7, 8 : Time, Space Complexity

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

u v 4 w G 2 G 1 u v w x y z 4

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

Θεωρία Γραφημάτων Θεμελιώσεις-Αλγόριθμοι-Εφαρμογές

Αλγόριθμοι για ανάθεση συχνοτήτων και έλεγχο αποδοχής κλήσεων σε κυψελικά ασύρματα δίκτυα. (μέρος ΙΙ)

Θεωρία Γραφημάτων Θεμελιώσεις-Αλγόριθμοι-Εφαρμογές

Δυναμικός προγραμματισμός για δέντρα

Υποθέσεις - - Θεωρήματα Υποθέσεις - Θεωρήματα Στα μαθηματικά και στις άλλες επιστήμες κάνουμε συχνά υποθέσεις. Οταν δείξουμε ότι μια υπόθεση είναι αλη

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2)

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1)

Δρομολόγηση Και Πολύχρωματισμός. Γραφημάτων ΚΑΡΑΓΕΩΡΓΟΣ ΤΙΜΟΘΕΟΣ Α.Μ 1026

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

Μέγιστη ροή. Κατευθυνόμενο γράφημα. Συνάρτηση χωρητικότητας. αφετηρίακός κόμβος. τερματικός κόμβος. Ροή δικτύου. με τις ακόλουθες ιδιότητες

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

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

4. ΔΙΚΤΥΑ

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

Πανεπιστήμιο Στερεάς Ελλάδας Τμήμα Πληροφορικής ΘΕΩΡΙΑ ΓΡΑΦΩΝ. 9 η Διάλεξη Χρωματισμός γράφων Θεωρήματα Τεχνικές Εφαρμογές

y(p) = 0 y(p) = 0 y(p) = 0

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

Ειδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων

Υποθέσεις - Θεωρήματα. Μαθηματικά Πληροφορικής 1ο Μάθημα. Η χρυσή τομή. Υποθέσεις - Εικασίες

4.3 Ορθότητα και Πληρότητα

Θέματα υπολογισμού στον πολιτισμό

P G = 1 2 (x x 3 2 ) 2 [(y 1 + y y n ) 6 + (y y y 2 n ) 3 ] 2 (n6 + n 3 ) = n3 (n 3 + 1)

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

Χρωματισμός γραφημάτων

Εισαγωγή στην Επιστήμη των Υπολογιστών

για NP-Δύσκολα Προβλήματα

Εισαγωγή στην Επιστήμη των Υπολογιστών

Maximal Independent Set

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

Transcript:

Άσκηση 1 Φροντιστήριο 11 Λύσεις Να αποδείξετε ότι η κλάση Ρ είναι κλειστή ως προς τις πράξεις της ένωσης, της συναρμογής και του συμπληρώματος. Θα πρέπει να δείξουμε ότι: (α) Ένωση: Αν οι Λ 1 και Λ 2 είναι γλώσσες της Ρ, τότε και η Λ 1 Λ 2 ανήκει στην Ρ. (β) Συναρμογή: Αν οι Λ 1 και Λ 2 είναι γλώσσες της Ρ, τότε και η Λ 1 Λ 2 ανήκει στην Ρ. (γ) Συμπλήρωμα: Αν η Λ είναι γλώσσα της Ρ, τότε και η Σ * Λ ανήκει στην Ρ. (α) Έστω Λ 1 και Λ 2 γλώσσες της Ρ. Από τον ορισμό της κλάσης Ρ, υπάρχουν ΤΜ, έστω Μ 1 και Μ 2 οι οποίες διαγιγνώσκουν τις Λ 1 και Λ 2, αντίστοιχα, σε πολυωνυμικό χρόνο. Για να δείξουμε ότι και η Λ 1 Λ 2 ανήκει στην Ρ θα πρέπει να δείξουμε ότι υπάρχει ΤΜ η οποία διαγιγνώσκει τη γλώσσα Λ 1 Λ 2 σε πολυωνυμικό χρόνο. Η ζητούμενη μηχανή είναι η εξής: Μ := Για είσοδο w 1. Τρέξε την Μ 1 στην w. Αν η Μ 1 αποδεχτεί, τότε αποδεχόμαστε. 2. Διαφορετικά, τρέξε την Μ 2 στην w. Αν η Μ 2 αποδεχτεί, τότε αποδεχόμαστε 3. Διαφορετικά, απορρίπτουμε. Ορθότητα: Η Μ αποδέχεται αν και μόνο αν η w είναι αποδεκτή από την Μ 1 ή την Μ 2. Επομένως, από τον ορισμό των Μ 1 και Μ 2, η Μ αποδέχεται αν και μόνο αν η w Λ 1 Λ 2. Χρόνος εκτέλεσης: Αφού οι Μ 1 και Μ 2 έχουν πολυωνυμικό χρόνο εκτέλεσης, τόσο το Βήμα 1 όσο και το Βήμα 2 εκτελούνται σε πολυωνυμικό χρόνο. Συνεπώς, η Μ διαγιγνώσκει τη γλώσσα Λ 1 Λ 2 σε πολυωνυμικό χρόνο. (β) Έστω Λ 1 και Λ 2 γλώσσες της Ρ. Από τον ορισμό της κλάσης Ρ, υπάρχουν ΤΜ, έστω Μ 1 και Μ 2 οι οποίες διαγιγνώσκουν τις Λ 1 και Λ 2, αντίστοιχα, σε πολυωνυμικό χρόνο. Για να δείξουμε ότι και η Λ 1Λ 2 ανήκει στην Ρ θα πρέπει να δείξουμε ότι υπάρχει ΤΜ η οποία διαγιγνώσκει τη γλώσσα Λ 1Λ 2 σε πολυωνυμικό χρόνο. Η ζητούμενη μηχανή είναι η εξής: Μ := Για είσοδο w Για κάθε δυνατό σπάσιμο της w σε δύο μέρη w = xy 1. Τρέξε την Μ 1 στην x. Αν η Μ 1 αποδεχτεί, τότε προχώρα στο βήμα 2, διαφορετικά επανάλαβε το βήμα για το επόμενο σπάσιμο της w. 2. Τρέξε την Μ 2 στην y. Αν η Μ 2 αποδεχτεί, τότε αποδεχόμαστε, διαφορετικά, επανέλαβε από το βήμα 2 για το επόμενο σπάσιμο της w. 3. Αν τα δυνατά σπασίματα έχουν εξαντληθεί, τότε απόρριψε. Ορθότητα: Η Μ αποδέχεται αν και μόνο αν υπάρχει σπάσιμο w = xy όπου η x είναι αποδεκτή από την Μ 1 και η y από την Μ 2. Επομένως, από τον ορισμό των Μ 1 και Μ 2, η Μ αποδέχεται την w αν και μόνο αν υπάρχει σπάσιμο w = xy όπου x Λ 1 και y Λ 2. Φροντιστήριο 11 Λύσεις Εαρινό Εξάμηνο 2017 Σελίδα 1 από 5

Χρόνος εκτέλεσης: Αφού οι Μ 1 και Μ 2 έχουν πολυωνυμικό χρόνο εκτέλεσης, τόσο το Βήμα 1 όσο και το Βήμα 2 εκτελούνται σε πολυωνυμικό χρόνο. Επιπλέον, αφού υπάρχουν ακριβώς n + 1 δυνατά σπασίματα της w, όπου n = w, η Μ θα εκτελέσει Ο(n) επαναλήψεις των δύο βημάτων και επομένως είναι σε θέση να διαγνώσει τη γλώσσα Λ 1Λ 2 σε πολυωνυμικό χρόνο. (γ) Έστω Λ γλώσσα της Ρ. Από τον ορισμό της κλάσης Ρ, υπάρχει ΤΜ, έστω Μ η οποία διαγιγνώσκει τη Λ σε πολυωνυμικό χρόνο. Για να δείξουμε ότι και Σ * Λ ανήκει στην Ρ θα πρέπει να δείξουμε ότι υπάρχει ΤΜ η οποία διαγιγνώσκει τη γλώσσα Σ * Λ σε πολυωνυμικό χρόνο. Η ζητούμενη μηχανή είναι η εξής: Μ := Για είσοδο w 1. Τρέξε την Μ στην w. Αν η Μ αποδεχτεί, τότε απορρίπτουμε. 2. Διαφορετικά, αποδεχόμαστε. Ορθότητα: Η Μ αποδέχεται την w αν και μόνο αν η Μ δεν αποδέχεται την w. Επομένως, η Μ αποδέχεται αν και μόνο αν η w Λ ή w Σ * Λ. Χρόνος εκτέλεσης: Αφού η Μ έχει πολυωνυμικό χρόνο εκτέλεσης η Μ έχει επίσης πολυωνυμικό χρόνο εκτέλεσης και το ζητούμενο έπεται. Άσκηση 2 Ένας γράφος ονομάζεται k χρωματίσιμος αν είναι δυνατό να χρωματίσουμε τους κόμβους του με k διαφορετικά χρώματα έτσι ώστε κανένα ζεύγος από γειτονικούς κόμβους να μην έχει το ίδιο χρώμα. (α) Να δείξετε ότι η πιο κάτω γλώσσα ανήκει στην κλάση ΝΡ. { G, k o G είναι ένας k χρωματίσιμος γράφος} (β) Να δείξετε ότι η πιο κάτω γλώσσα ανήκει στην κλάση Ρ. { G o G είναι ένας 2 χρωματίσιμος γράφος} (α) Μια γλώσσα Λ ανήκει στην ΝΡ αν ισχύει μια από τις πιο κάτω προτάσεις: (i) Η Λ επιδέχεται επαληθευτή πολυωνυμικού χρόνου. (ii) Υπάρχει ΤΜ μη ντετερμινιστικού πολυωνυμικού χρόνου που διαγιγνώσκει τη Λ. Πιο κάτω αποδεικνύονται και οι δύο προτάσεις. Απόδειξη 1: Ακολουθεί αλγόριθμος V που αποτελεί επαληθευτή πολυωνυμικού χρόνου για το V := Για είσοδο G, k όπου o G είναι ένας γράφος και k ένας ακέραιος και επιπρόσθετα Χ, ένα χρωματισμό του γράφου G: 1. Αν κάθε ζεύγος από γειτονικούς κόμβους του G χρωματίζεται από διαφορετικό χρώμα μέσω του Χ, τότε αποδεχόμαστε. Φροντιστήριο 11 Λύσεις Εαρινό Εξάμηνο 2017 Σελίδα 2 από 5

Ο χρόνος εκτέλεσης του επαληθευτή V είναι της τάξης Ο(n 2 ) όπου n το πλήθος των κόμβων του γράφου, επομένως ο V αποτελεί επαληθευτή πολυωνυμικού χρόνου για το Απόδειξη 2: Ακολουθεί μη ντετερμινιστική ΤΜ Ν που διαγιγνώσκει στη γλώσσα σε πολυωνυμικό χρόνο. Ν := Για είσοδο G, k όπου o G είναι ένας γράφος και k ένας ακέραιος: Επέλεξε μη ντετερμινιστικά ένα χρωματισμό Χ του γράφου G 1. Αν κάθε ζεύγος από γειτονικούς κόμβους του G χρωματίζεται με διαφορετικό χρώμα από τον Χ, τότε αποδεχόμαστε. Ο χρόνος εκτέλεσης της ΤΜ Ν είναι της τάξης Ο(n 2 ) όπου n το πλήθος των κόμβων του γράφου, επομένως η Ν αποτελεί μια μη ντετερμινιστική ΤΜ πολυωνυμικού χρόνου για το (β) Θέλουμε να δείξουμε ότι η πιο κάτω γλώσσα ανήκει στο Ρ. { G o G είναι ένας 2 χρωματίσιμος γράφος} Από τον ορισμό της κλάσης Ρ αυτό ισχύει αν και μόνο αν υπάρχει αλγόριθμος πολυωνυμικού χρόνο εκτέλεσης που επιλύνει το Ένας τέτοιος αλγόριθμος μπορεί πράγματι να κτιστεί χρησιμοποιώντας ως βάση κάποιο αλγόριθμο διάσχισης γράφων όπως, π.χ., αυτόν που παρουσιάζεται στον πιο κάτω σύνδεσμο: http://www.cs.ucy.ac.cy/~annap/epl231/winter2010/tutorials/soltutorial9.pdf Άσκηση 3 Έστω ότι το G αναπαριστά οποιοδήποτε μη κατευθυνόμενο γράφημα. Θεωρήστε τις γλώσσες: ΒΡΑΧΕΙΑ_ΔΙΑΔΡΟΜΗ = { G,s,t,k το G περιέχει απλή διαδρομή από τον κόμβο s προς τον κόμβο t μήκους το πολύ k} MAKPA_ΔΙΑΔΡΟΜΗ = { G,s,t,k το G περιέχει απλή διαδρομή από τον κόμβο s προς τον κόμβο t μήκους τουλάχιστον k} (α) Να δείξετε ότι το πρόβλημα ΒΡΑΧΕΙΑ_ΔΙΑΔΡΟΜΗ ανήκει στην κλάση Ρ. (β) Να δείξετε ότι το πρόβλημα ΜΑΚΡΑ_ΔΙΑΔΡΟΜΗ ανήκει στην κλάση ΝΡ. (γ) Να δείξετε ότι το πρόβλημα ΜΑΚΡΑ_ΔΙΑΔΡΟΜΗ είναι ΝΡ πλήρες. (α) Παρατηρούμε ότι το πρόβλημα μπορεί να λυθεί σε πολυωνυμικό χρόνο χρησιμοποιώντας τον αλγόριθμο του Dijkstra. Επομένως, το πρόβλημα ανήκει στην κλάση Ρ. (β) Ακολουθεί αλγόριθμος V που αποτελεί επαληθευτή πολυωνυμικού χρόνου για το V := Για είσοδο G, s, t, k όπου o G είναι ένας γράφος, s, t κορυφές του γράφου, και k Φροντιστήριο 11 Λύσεις Εαρινό Εξάμηνο 2017 Σελίδα 3 από 5

ένας ακέραιος και επιπρόσθετα w μια ακολουθία από κόμβους του γράφου: 1. Αν w είναι μια απλή διαδρομή από τον κόμβο s στον κόμβο t η οποία έχει συνολικό μήκος τουλάχιστον k, τότε αποδεχόμαστε. Ο χρόνος εκτέλεσης του επαληθευτή V είναι της τάξης Ο(n) όπου n το πλήθος των κόμβων του γράφου, επομένως ο V αποτελεί επαληθευτή πολυωνυμικού χρόνου για το (γ) Για να δείξουμε ότι το πρόβλημα είναι ΝΡ πλήρες αρκεί να δείξουνε ότι ένα γνωστό ΝΡπλήρες πρόβλημα μπορεί να αναχθεί σε αυτό. Η αναγωγή θα γίνει από το πρόβλημα ΧΑΜΙΛΤΟΝΙΑΝΗ_ΔΙΑΔΡΟΜΗ. Συγκεκριμένα, θα δείξουμε ότι αν υπάρχει πολυωνυμική λύση για το πρόβλημα ΜΑΚΡΑ_ΔΙΑΔΡΟΜΗ τότε υπάρχει πολυωνυμική λύση και για το πρόβλημα ΧΑΜΙΛΤΟΝΙΑΝΗ_ΔΙΑΔΡΟΜΗ. Έστω ένας γράφος G με κορυφές s, t. Θέλουμε να αποφασίσουμε κατά πόσο υπάρχει Χαμιλτονιανή διαδρομή ανάμεσα στις κορυφές s και t. Ας υποθέσουμε ότι υπάρχει πολυωνυμική λύση για το πρόβλημα ΜΑΚΡΑ_ΔΙΑΔΡΟΜΗ. Αναθέτουμε βάρος 1 σε κάθε ακμή του γράφου (σε πολυωνυμικό χρόνο!) λαμβάνοντας τον γράφο G και τρέχουμε τον αλγόριθμο του προβλήματος ΜΑΚΡΑ_ΔΙΑΔΡΟΜΗ στο δεδομένο (G, s, t, n 1) όπου n το πλήθος των κορυφών του γράφου. Αν ο αλγόριθμος αποδεχτεί τότε απαντούμε ότι ο αρχικός μας γράφος περιέχει Χαμιλτονιανή διαδρομή διαφορετικά, αν απορρίψει, τότε απαντούμε ότι ο γράφος δεν περιέχει Χαμιλτονιανή διαδρομή. Ορθότητα: Παρατηρούμε τα εξής: Ο γράφος G περιέχει απλή διαδρομή από τον κόμβο s προς τον κόμβο t μήκους τουλάχιστον n 1 αν και μόνο αν ο γράφος G περιέχει απλή διαδρομή από τον κόμβο s προς τον κόμβο t μήκους ακριβώς n 1 (μια απλή διαδρομή δεν μπορεί να έχει μήκος > n 1) αν και μόνο αν ο γράφος G περιέχει Χαμιλτονιανή διαδρομή. Συμπέρασμα: Αν το πρόβλημα ΜΑΚΡΑ_ΔΙΑΔΡΟΜΗ επιλύεται σε πολυωνυμικό χρόνο τότε και το πρόβλημα ΧΑΜΙΛΤΟΝΙΑΝΗ_ΔΙΑΔΡΟΜΗ επιλύεται σε πολυωνυμικό χρόνο. Επομένως το πρόβλημα ΜΑΚΡΑ_ΔΙΑΔΡΟΜΗ είναι ΝΡ πλήρες. Άσκηση 4 Έστω Α ένα πρόβλημα που ανήκει στην κλάση ΝΡ. Σχολιάστε τις συνέπειες κάθε μιας από τις προτάσεις που ακολουθούν. (α) Έχετε αποδείξει ένα θεώρημα σύμφωνα με το οποίο οποιοσδήποτε αλγόριθμος που λύνει το πρόβλημα Α απαιτεί χρόνο Θ(2 n ), όπου n το μέγεθος του προβλήματος. Αφού οποιοσδήποτε αλγόριθμος για το πρόβλημα απαιτεί χρόνο τουλάχιστον Θ(2 n ) τότε δεν υπάρχει κανένας αλγόριθμος ο οποίος να λύνει το πρόβλημα σε πολυωνυμικό χρόνο. Συνεπώς, το πρόβλημα Α ανήκει στην ΝΡ αλλά όχι στην Ρ. Φροντιστήριο 11 Λύσεις Εαρινό Εξάμηνο 2017 Σελίδα 4 από 5

Αφού, υπάρχει Α ΝΡ, Α Ρ τα δύο σύνολα Ρ και ΝΡ δεν μπορούν να είναι ίσα, επομένως το συμπέρασμα που εξάγεται από την πρόταση είναι ότι Ρ ΝΡ!! (β) Έχετε κατασκευάσει ένα ντετερμινιστικό αλγόριθμο ο οποίος λύνει το πρόβλημα Α σε πολυωνυμικό χρόνο. Αφού το πρόβλημα Α μπορεί να λυθεί σε πολυωνυμικό χρόνο, τότε Α Ρ. (γ) Έχετε επιδείξει ότι το πρόβλημα SAT μπορεί να αναχθεί στο πρόβλημα Α σε πολυωνυμικό χρόνο εκτέλεσης. Το γεγονός ότι το πρόβλημα SAT μπορεί να αναχθεί στο πρόβλημα Α (σε πολυωνυμικό χρόνο), υπονοεί ότι οποιαδήποτε λύση του προβλήματος Α μπορεί να μετατραπεί σε λύση του SAT. Κατά συνέπεια το Α είναι τουλάχιστον τόσο δύσκολο όσο και το SAT και, αφού το SAT είναι ένα ΝΡ πλήρες πρόβλημα, τότε και το Α είναι ένα ΝΡ πλήρες (δ) Έχετε κατασκευάσει ένα ντετερμινιστικό αλγόριθμο ο οποίος λύνει το πρόβλημα Α σε πολυωνυμικό χρόνο και έχετε δείξει ότι το πρόβλημα Α είναι ΝΡ πλήρες. Αφού το πρόβλημα Α είναι ΝΡ πλήρες είναι τουλάχιστον τόσο δύσκολο όσο οποιοδήποτε άλλο πρόβλημα της κλάσης ΝΡ. Επομένως, η ύπαρξη ντετερμινιστικού αλγόριθμου που λύνει το πρόβλημα σε πολυωνυμικό χρόνο υπονοεί ότι όλα τα προβλήματα της ΝΡ μπορούν να λυθούν σε πολυωνυμικό χρόνο και το συμπέρασμα που εξάγεται από την πρόταση είναι ότι Ρ = ΝΡ! Φροντιστήριο 11 Λύσεις Εαρινό Εξάμηνο 2017 Σελίδα 5 από 5