Διαίρει και Βασίλευε πρόβλημα μεγέθους Ν διάσπαση πρόβλημα μεγέθους Ν-k πρόβλημα μεγέθους k

Διαίρει και Βασίλευε πρόβλημα μεγέθους Ν διάσπαση πρόβλημα μεγέθους Ν-k πρόβλημα μεγέθους k επιλύουμε αναδρομικά τα υποπροβλήματα

Διαίρει και Βασίλευε πρόβλημα μεγέθους Ν διάσπαση πρόβλημα μεγέθους Ν-k πρόβλημα μεγέθους k επιλύουμε αναδρομικά τα υποπροβλήματα

Διαίρει και Βασίλευε πρόβλημα μεγέθους Ν διάσπαση πρόβλημα μεγέθους Ν-k πρόβλημα μεγέθους k επιλύουμε αναδρομικά τα υποπροβλήματα

Διαίρει και Βασίλευε πρόβλημα μεγέθους Ν πρόβλημα μεγέθους Ν-k πρόβλημα μεγέθους k επιλύουμε αναδρομικά τα υποπροβλήματα σύνθεση

Διαίρει και Βασίλευε πρόβλημα μεγέθους Ν πρόβλημα μεγέθους Ν-k πρόβλημα μεγέθους k επιλύουμε αναδρομικά τα υποπροβλήματα σύνθεση

Διαίρει και Βασίλευε πρόβλημα μεγέθους Ν πρόβλημα μεγέθους Ν-k πρόβλημα μεγέθους k επιλύουμε αναδρομικά τα υποπροβλήματα διάσπαση προβλήματος / σύνθεση λύσεων Χρόνος εκτέλεσης : χρόνος διάσπασης χρόνος σύνθεσης

Διαίρει και Βασίλευε Ταξινόμηση quicksort

Διαίρει και Βασίλευε Ταξινόμηση quicksort

Διαίρει και Βασίλευε Ταξινόμηση quicksort

Διαίρει και Βασίλευε Ταξινόμηση quicksort

Διαίρει και Βασίλευε Ταξινόμηση quicksort

Διαίρει και Βασίλευε Ταξινόμηση quicksort

Διαίρει και Βασίλευε Ταξινόμηση quicksort

Διαίρει και Βασίλευε Ταξινόμηση quicksort

Διαίρει και Βασίλευε Ταξινόμηση quicksort

Διαίρει και Βασίλευε Ταξινόμηση quicksort

Διαίρει και Βασίλευε Ταξινόμηση quicksort

Διαίρει και Βασίλευε Ταξινόμηση quicksort

Διαίρει και Βασίλευε Ταξινόμηση quicksort

Διαίρει και Βασίλευε Ταξινόμηση quicksort Χειρότερη περίπτωση: Κάθε κλήση αφαιρεί μόνο ένα στοιχείο. Χρόνος εκτέλεσης:

Διαίρει και Βασίλευε Ταξινόμηση quicksort Καλύτερη περίπτωση: Η ακολουθία χωρίζεται στη μέση. Χρόνος εκτέλεσης:

Διαίρει και Βασίλευε TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Μερικές προϋποθέσεις για επιτυχή εφαρμογή της μεθόδου «διαίρει και κυρίευε» 1.Τα υποπροβλήματα πρέπει να είναι του ιδίου τύπου με το αρχικό πρόβλημα και ανεξάρτητα μεταξύ τους (υπό κάποια κατάλληλη έννοια). 2.Το κόστος επίλυσης του αρχικού προβλήματος συνθέτοντας τις λύσεις των υποπροβλημάτων πρέπει να είναι μικρό. 3.Το μέγεθος των υποπροβλημάτων πρέπει να είναι αρκετά μικρότερο από το αρχικό. Ένας τρόπος να επιτευχθεί το (3) είναι να έχουμε υποπροβλήματα περίπου ίσου μεγέθους. Πως μπορεί να εφαρμοστεί αυτή η μέθοδος σε προβλήματα που αφορούν γραφήματα;

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Έστω S μια κλάση γραφημάτων που είναι κλειστή ως προς υπογραφήματα, δηλαδή αν G S και G’ είναι υπογράφημα του G τότε G’ S. f(n)-διαχωρισμός της S Υπάρχουν σταθερές α 0 τέτοιες ώστε αν το G είναι γράφημα της κλάσης S με n κόμβους, τότε οι κόμβοι του μπορούν να διαμεριστούν σε τρία σύνολα A, B και C τέτοια ώστε : Δεν υπάρχει ακμή που να ενώνει κόμβο του Α με το κόμβο του Β. Καθένα από τα σύνολα Α και Β περιέχει το πολύ α·n κόμβους. Το σύνολο C (διαχωριστής) περιέχει το πολύ β·f(n) κόμβους.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Έστω S μια κλάση γραφημάτων που είναι κλειστή ως προς υπογραφήματα, δηλαδή αν G S και G’ είναι υπογράφημα του G τότε G’ S. f(n)-διαχωρισμός της S Υπάρχουν σταθερές α 0 τέτοιες ώστε αν το G είναι γράφημα της κλάσης S με n κόμβους, τότε οι κόμβοι του μπορούν να διαμεριστούν σε τρία σύνολα A, B και C τέτοια ώστε : Δεν υπάρχει ακμή που να ενώνει κόμβο του Α με το κόμβο του Β. Καθένα από τα σύνολα Α και Β περιέχει το πολύ α·n κόμβους. Το σύνολο C (διαχωριστής) περιέχει το πολύ β·f(n) κόμβους. Θα περιγράψουμε θεωρήματα διαχωρισμού για επίπεδα γραφήματα [Lipton και Tarjan 1979]

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A A B C

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Διαχωρισμός επίπεδων γραφημάτων – Πρόταση 1 Έστω G ένα επίπεδο γράφημα με μη αρνητικά βάρη στους κόμβους που έχουν άθροισμα ≤1. Αν το G έχει συνδετικό δένδρο ύψους r, τότε οι κόμβοι του μπορούν να διαμεριστούν σε τρία σύνολα A, B και C τέτοια ώστε : Δεν υπάρχει ακμή που να ενώνει κόμβο του Α με το κόμβο του Β. Καθένα από τα σύνολα Α και Β έχει συνολικό βάρος κόμβων το πολύ 2/3. Το σύνολο C περιέχει το πολύ 2·r+1 κόμβους, όπου το 1 αντιστοιχεί στη ρίζα του συνδετικού δένδρου.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Διαχωρισμός επίπεδων γραφημάτων – Πρόταση 1 Έστω G ένα επίπεδο γράφημα με μη αρνητικά βάρη στους κόμβους που έχουν άθροισμα ≤1. Αν το G έχει συνδετικό δένδρο ύψους r, τότε οι κόμβοι του μπορούν να διαμεριστούν σε τρία σύνολα A, B και C τέτοια ώστε : Δεν υπάρχει ακμή που να ενώνει κόμβο του Α με το κόμβο του Β. Καθένα από τα σύνολα Α και Β έχει συνολικό βάρος κόμβων το πολύ 2/3. Το σύνολο C περιέχει το πολύ 2·r+1 κόμβους, όπου το 1 αντιστοιχεί στη ρίζα του συνδετικού δένδρου. Απόδειξη Αν το G έχει κόμβο v με βάρος ≥ 1/3 τότε η πρόταση ισχύει για Α=V(G)-v, B=  και C={v}. Στη συνέχεια υποθέτουμε ότι κάθε κόμβος έχει βάρος ≤ 1/3.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη Θεωρούμε μια αναπαράσταση του G στο επίπεδο.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη Θεωρούμε μια αναπαράσταση του G στο επίπεδο. Προσθέτουμε ακμές έτσι κάθε όψη να είναι τρίγωνο.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη Θεωρούμε τώρα το συνδετικό δένδρο Τ του G με ύψος r. Κάθε ακμή εκτός του T (συμπεριλαμβανομένων και των επιπρόσθετων ακμών) ορίζει ένα κύκλο στο T οποίος περιέχει το πολύ 2r+1 κόμβους.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη Ένας κύκλος έχει το πολύ 2r+1 κόμβους αν περιέχει τη ρίζα. Τ

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη Ένας κύκλος έχει το πολύ 2r+1 κόμβους αν περιέχει τη ρίζα. Τ

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη Ένας κύκλος έχει το πολύ 2r+1 κόμβους αν περιέχει τη ρίζα. Διαφορετικά έχει το πολύ 2r-1 κόμβους. Τ

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη Κάθε κύκλος χωρίζει το επίπεδο (και το γράφημα) σε δύο μέρη: το εσωτερικό Εσ(C) και το εξωτερικό Εξ(C) από τον κύκλο. Θα δείξουμε ότι υπάρχει τουλάχιστον ένα κύκλος C που ικανοποιεί το θεώρημα.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη xz y Έστω (x,z) η ακμή που δεν ανήκει στο Τ και ελαχιστοποιεί το μέγιστο κόστος μέσα ή έξω από τον κύκλο. Αν υπάρχουν περισσότερες από μία τέτοιες ακμές τότε επιλέγουμε μια που να ελαχιστοποιεί τον αριθμό των όψεων στο τμήμα (εσωτερικό ή εξωτερικό) με το μεγαλύτερο βάρος. Θα υποθέσουμε, χωρίς βλάβη της γενικότητας, ότι το τμήμα Εσ(C) έχει βάρος μεγαλύτερο ή ίσο του βάρους του τμήματος Εξ(C). Θα δείξουμε ότι το Εσ(C) έχει βάρος ≤ 2/3, οπότε η πρόταση ισχύει.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη Υποθέτουμε, για αντίφαση, ότι το Εσ(C) έχει κόστος μεγαλύτερο από 2/3. Έστω f η όψη που έχει την ακμή (x,z) στο όριο της και που βρίσκεται στο εσωτερικό του κύκλου. Έστω y ο τρίτος κόμβος της f. Διακρίνουμε τις εξής περιπτώσεις : 1.Οι ακμές (x,y) και (y,z) ανήκουν στον κύκλο. Τότε η όψη f=(x,y,z) ταυτίζεται με το κύκλο C. Όμως αυτό είναι αδύνατο γιατί ο κύκλος πρέπει να περιέχει κόμβους στο εσωτερικό του.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη xz 2.Η ακμή (x,y) ανήκει στον κύκλο. Τότε η ακμή (y,z)  Τ ορίζει ένα κύκλο C’ στο εσωτερικό τμήμα Εσ(C’) του οποίου βρίσκονται οι ίδιοι κόμβοι που είναι στο Εσ(C) αλλά με μια λιγότερη όψη. Όμως αυτό είναι αδύνατο λόγω του ορισμού της ακμής (x,z). y Ομοίως δείχνουμε ότι και ότι η περίπτωση (y,z)  C και (x,y)  Τ είναι αδύνατη.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη 3.Οι ακμές (x,y) και (y,z) δεν ανήκουν στον κύκλο. Έχουμε τις ακόλουθες υποπεριπτώσεις. α) (x,y) και (y,z) είναι ακμές του Τ. Τότε το Τ περιέχει κύκλο, το οποίο είναι αδύνατο αφού είναι δένδρο. xz y

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη 3.Οι ακμές (x,y) και (y,z) δεν ανήκουν στον κύκλο. Έχουμε τις ακόλουθες υποπεριπτώσεις. β) (x,y)  Τ και (y,z)  Τ. Τότε η (y,z) ορίζει ένα κύκλο C’ που περιέχει στο εσωτερικό του τμήμα Εσ(C’) ένα λιγότερο κόμβο (τον y) και μια λιγότερη όψη από το Εσ(C). Άρα βάρος(Εσ(C’)) ≤ βάρος(Εσ(C)). xz y Αν βάρος(Εσ(C’)) > βάρος(Εξ(C’)) τότε θα είχαμε επιλέξει την (y,z) αντί για την (x,z). Έστω λοιπόν ότι βάρος(Εσ(C’)) ≤ βάρος(Εξ(C’)). Όμως βάρος(Εξ(C’)) = βάρος(Εξ(C)) + βάρος(y) ≤ 1/3+1/3 = 2/3. Άρα και πάλι θα είχαμε επιλέξει την (y,z) αντί για την (x,z).

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη 3.Οι ακμές (x,y) και (y,z) δεν ανήκουν στον κύκλο. Έχουμε τις ακόλουθες υποπεριπτώσεις. β) (x,y)  Τ και (y,z)  Τ. H ακμή (x,y) ορίζει ένα κύκλο C’ και η ακμή (y,z) ορίζει ένα κύκλο C’’. Κάθε κόμβος στο τμήμα Εσ(C) ανήκει στο Εσ(C’) ή στο Εσ(C’’) ή στο όριο και των δύο κύκλων C’ και C’’. xz y xz y Έστω ότι βάρος(Εσ(C’)) ≥ βάρος(Εσ(C’’)). (Διαφορετικά εναλλάσσουμε το x με το z.) Το εσωτερικό του τμήμα Εσ(C’) περιέχει μια λιγότερη όψη από το Εσ(C) και έχει βάρος(Εσ(C’)) ≤ βάρος(Εσ(C)). Άρα, αν βάρος(Εσ(C’)) > βάρος(Εξ(C’)) τότε θα είχαμε επιλέξει την (x,y) αντί για την (x,z). Έστω λοιπόν ότι βάρος(Εσ(C’)) ≤ βάρος(Εξ(C’)). Όμως βάρος(Εσ(C))>2/3, άρα βάρος(Εσ(C’)) + βάρος(C’) > 1/3 και βάρος(Εξ(C’)) < 2/3. Άρα και πάλι θα είχαμε επιλέξει την (x,y) αντί για την (x,z).

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Διαχωρισμός επίπεδων γραφημάτων – Πρόταση 2 Έστω G ένα συνεκτικό επίπεδο γράφημα με μη αρνητικά βάρη στους κόμβους που έχουν άθροισμα ≤1. Χωρίζουμε τους κόμβους του G σε επίπεδα με βάση την απόσταση τους από κάποια κορυφή v και συμβολίζουμε με L(κ) το πλήθος των κόμβων στο επίπεδο κ. Έστω r η μέγιστη απόσταση από τον v. Ορίζουμε ένα κενό επίπεδο r+1 (L(r+1)=0). Αν έχουμε επίπεδα κ και λ τέτοια ώστε οι κόμβοι στα επίπεδα από 0 έως και κ-1 έχουν συνολικό κόστος το πολύ 2/3 και οι κόμβοι στα επίπεδα από λ+1 έως και r+1 έχουν συνολικό κόστος το πολύ 2/3, τότε οι κόμβοι του G μπορούν να διαμεριστούν σε τρία σύνολα A, B και C τέτοια ώστε : Δεν υπάρχει ακμή που να ενώνει κόμβο του Α με το κόμβο του Β. Καθένα από τα σύνολα Α και Β έχει συνολικό βάρος κόμβων το πολύ 2/3. Το σύνολο C περιέχει το πολύ L(κ)+L(λ)+max{0,2·(λ-κ-1)} κόμβους.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη Έστω ότι κ ≥ λ. Θέτουμε Α = κόμβοι στα επίπεδα 0,1,...,κ-1 Β = κόμβοι στα επίπεδα κ+1,...,r C = κόμβοι στo επίπεδο κ Τότε η πρόταση ισχύει. v λ κ βάρος ≤ 2/3 βάρος ≤ 2/3

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη Έστω ότι κ < λ. Διαγράφουμε τα επίπεδα κ και λ, οπότε οι κόμβοι του G χωρίζονται σε 3 τμήματα: 1.Κόμβοι στα επίπεδα 0…κ-1. 2.Κόμβοι στα επίπεδα κ+1…λ-1. 3.Κόμβοι στα επίπεδα λ+1…r+1. Κάποια τμήματα μπορεί να είναι κενά. Μόνο το (2) μπορεί να έχει βάρος > 2/3. v κ λ βάρος ≤ 2/3 βάρος ≤ 2/3 Αν το τμήμα (2) έχει βάρος ≤ 2/3 τότε η πρόταση ισχύει για Α = τμήμα με το μέγιστο βάρος, Β = υπόλοιπα δύο τμήματα και C = κόμβοι στα επίπεδα κ και λ.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη Έστω ότι κ < λ. Διαγράφουμε τα επίπεδα κ και λ, οπότε οι κόμβοι του G χωρίζονται σε 3 τμήματα: 1.Κόμβοι στα επίπεδα 0…κ-1. 2.Κόμβοι στα επίπεδα κ+1…λ-1. 3.Κόμβοι στα επίπεδα λ+1…r+1. Κάποια τμήματα μπορεί να είναι κενά. Μόνο το (2) μπορεί να έχει βάρος > 2/3. v κ λ βάρος ≤ 2/3 βάρος ≤ 2/3 Έστω τώρα ότι το τμήμα (2) έχει βάρος > 2/3. Διαγράφουμε όλους του κόμβους στα επίπεδα λ+1…r+1 και συρρικνώνουμε τους κόμβους των επιπέδων 0…κ σε ένα κόμβο ν’ με βάρος 0. Με αυτόν τον τρόπο μας μένει ένα νέο επίπεδο γράφημα με μέγιστη απόσταση λ-κ-1 από τον v’.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη Εφαρμόζουμε την Πρόταση 1 για το νέο γράφημα και λαμβάνουμε διαμέριση A’, B’ και C’. Θέτουμε Α = τμήμα με το μεγαλύτερο βάρος μεταξύ του Α’ και του Β’ Β = υπόλοιποι κόμβοι του G C = (C’ – v’)  (κόμβοι στα επίπεδα κ και λ του αρχικού γραφήματος) Από την Πρόταση 1 έχουμε ότι βάρος(Α) ≤ 2/3. Όμως βάρος(Α  C’) ≥ 1/3 άρα και βάρος(Β) ≤ 2/3. Τέλος, το C περιέχει το πολύ L(κ)+L(λ)+2·(λ-κ-1) κόμβους. Άρα η πρόταση ισχύει.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Διαχωρισμός επίπεδων γραφημάτων – Πρόταση 3 Έστω G ένα επίπεδο γράφημα με n κόμβους οι οποίοι έχουν μη αρνητικά βάρη με άθροισμα ≤1. Οι κόμβοι του G μπορούν να διαμεριστούν σε τρία σύνολα A, B και C τέτοια ώστε : Δεν υπάρχει ακμή που να ενώνει κόμβο του Α με το κόμβο του Β. Καθένα από τα σύνολα Α και Β έχει συνολικό βάρος κόμβων το πολύ 2/3. Το σύνολο C περιέχει το πολύ κόμβους.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Διαχωρισμός επίπεδων γραφημάτων – Πρόταση 3 Έστω G ένα επίπεδο γράφημα με n κόμβους οι οποίοι έχουν μη αρνητικά βάρη με άθροισμα ≤1. Οι κόμβοι του G μπορούν να διαμεριστούν σε τρία σύνολα A, B και C τέτοια ώστε : Δεν υπάρχει ακμή που να ενώνει κόμβο του Α με το κόμβο του Β. Καθένα από τα σύνολα Α και Β έχει συνολικό βάρος κόμβων το πολύ 2/3. Το σύνολο C περιέχει το πολύ κόμβους. Απόδειξη Θα υποθέσουμε πρώτα ότι το G είναι συνεκτικό. Επιλέγουμε ένα κόμβο v ως ρίζα και χωρίζουμε τους κόμβους του G σε επίπεδα με βάση την απόσταση τους από τον v. Συμβολίζουμε με L(κ) το πλήθος των κόμβων στο επίπεδο κ. Έστω r η μέγιστη απόσταση από τον v. Ορίζουμε ένα κενό επίπεδο r+1 και ένα κενό επίπεδο -1 (L(-1)=L(r+1)=0).

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη Έστω κ το επίπεδο τέτοιο ώστε το βάρος των επιπέδων 0…κ-1 να είναι <1/2, αλλά το βάρος των επιπέδων 0…κ να είναι ≥1/2. v κ βάρος < 1/2 βάρος ≥ 1/2 Αν δεν υπάρχει τέτοιο κ τότε βάρος(G)<1/2 και επομένως η πρόταση ισχύει για B=C= . Έστω K το πλήθος των κόμβων στα επίπεδα 0…κ. Βρίσκουμε ένα επίπεδο μ ≤ κ τέτοιο ώστε. Βρίσκουμε ένα επίπεδο λ ≥ κ+1τέτοιο ώστε. Αν υπάρχουν τέτοια μ και λ τότε από την Πρόταση 2 οι κόμβοι του G μπορούν να διαμεριστούν σε τρία σύνολα A, B και C τέτοια ώστε να μην υπάρχει ακμή που να ενώνει κόμβο του Α με το κόμβο του Β, βάρος(Α), βάρος(Β) ≤ 2/3 και το σύνολο C περιέχει πλήθος κόμβων το πολύ ίσο με

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη v κ βάρος < 1/2 βάρος ≥ 1/2 Αρκεί λοιπόν να δείξουμε ότι όντως υπάρχουν τέτοια επίπεδα μ και λ. λ μ Έστω ότι δεν υπάρχει κατάλληλο μ. Τότε για κάθε j ≤ κ έχουμε. Επειδή L(0)=1 ισχύει ότι. Άρα. Όμως που είναι άτοπο. Με τον ίδιο τρόπο μπορούμε να δείξουμε ότι υπάρχει κατάλληλο λ.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Απόδειξη Αν το G δεν είναι συνεκτικό τότε έστω G 1,...,G k οι συνεκτικές συνιστώσες και έστω V i οι κόμβοι της συνιστώσας G i. Θεωρούμε τρεις περιπτώσεις: α) βάρος(V i ) ≤ 1/3 για κάθε i=1...k. Έστω j ο ελάχιστος αριθμός από 1 έως k τέτοιος ώστε βάρος(V 1 ...  V j ) > 1/3. Τότε η πρόταση ισχύει για Α=V 1 ...  V j, Β=V j+1 ...  V k και C= . β) 1/3 ≤ βάρος(V i ) ≤ 2/3 για κάποιο j μεταξύ 1 και k. Τότε η πρόταση ισχύει για Α=V j, Β=V-V j και C= . γ) βάρος(V i ) > 2/3 για κάποιο j μεταξύ 1 και k. Εφαρμόζουμε την Πρόταση 3 για τη συνιστώσα G i.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Πόρισμα: Θεώρημα -διαχωρισμού επίπεδων γραφημάτων Έστω G ένα επίπεδο γράφημα με n κόμβους. Οι κόμβοι του G μπορούν να διαμεριστούν σε τρία σύνολα A, B και C τέτοια ώστε : Δεν υπάρχει ακμή που να ενώνει κόμβο του Α με το κόμβο του Β. Καθένα από τα σύνολα Α και Β έχει πολύ κόμβους. Το σύνολο C περιέχει το πολύ κόμβους. Απόδειξη Εφαρμόζουμε την Πρόταση 3 με βάρος(v)=1 για κάθε κόμβο v του G.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Διαχωρισμός επίπεδων γραφημάτων – Πρόταση 3 Έστω G ένα επίπεδο γράφημα με n κόμβους οι οποίοι έχουν μη αρνητικά βάρη με άθροισμα ≤1. Οι κόμβοι του G μπορούν να διαμεριστούν σε τρία σύνολα A, B και C τέτοια ώστε : Δεν υπάρχει ακμή που να ενώνει κόμβο του Α με το κόμβο του Β. Καθένα από τα σύνολα Α και Β έχει συνολικό βάρος κόμβων το πολύ 2/3. Το σύνολο C περιέχει το πολύ κόμβους. Η απόδειξη της παραπάνω πρότασης οδηγεί σε αλγόριθμο υπολογισμού του διαχωρισμού σε Ο(n) χρόνο.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Αλγόριθμος για συνεκτικό επίπεδο γράφημα G 1.Υπολογίζουμε μια συνδυαστική αναπαράσταση του επίπεδου γραφήματος G (με λίστες γειτνίασης). 2.Υπολογίζουμε ένα συνδετικό δένδρο του G με προτεραιότητας εύρους (breadth- first spanning tree). 3.Βρίσκουμε τα επίπεδα κ, λ και μ (μ ≤ κ, λ ≥ κ+1) που ορίσαμε στην απόδειξη της Πρότασης 3. 4.Διαγράφουμε τους κόμβους των επιπέδων ≥ λ. Δημιουργούμε μια νέα κορυφή x που αναπαριστά όλες τις κορυφές των επιπέδων 0…μ και υπολογίζουμε μια αναπαράσταση του νέου γραφήματος G’.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Αλγόριθμος για συνεκτικό επίπεδο γράφημα G 5.Χωρίζουμε τις όψεις του G’ σε τρίγωνα. 6.Υπολογίζουμε ένα συνδετικό δένδρο T’ του G’ με προτεραιότητας εύρους (breadth-first spanning tree). 7.Επιλέγουμε μια ακμή (v 1,w 1 )  T’ και εντοπίζουμε τον κύκλο C που ορίζει στο T’. Υπολογίζουμε το βάρος των τμημάτων Εσ(C) και Εξ(C). Βρίσκουμε το τμήμα με το μεγαλύτερο βάρος και το αποκαλούμε «εσωτερικό» (= Εσ(C)).

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Αλγόριθμος για συνεκτικό επίπεδο γράφημα G 8.Επαναλαμβάνουμε το παρακάτω βήμα μέχρι να βρούμε κύκλο C με βάρος(Εσ(C)) ≤ 2/3. Έστω (v i,w i )  T’ η τρέχουσα ακμή που ορίζει τον C και έστω (v i,y,w i ) το τρίγωνο μέσα στο Εσ(C) που περιέχει την ακμή (v i,w i ). Αν η ακμή (v i,y) ή η ακμή (y,w i ) είναι ακμές του Τ’ τότε έστω (v i+1,w i+1 ) η μεταξύ τους ακμή που δεν ανήκει στο δένδρο. Έστω C’ ο κύκλος που ορίζει η (v i+1,w i+1 ). Αν καμία από τις (v i,y) και (y,w i ) δεν είναι ακμή του T’ βρες το μονοπάτι από τον y προς τον C. Έστω z ο τελευταίος κόμβος σε αυτό το μονοπάτι. Έστω C’ ο κύκλος που ορίζει η (v i,y) και έστω C’’ ’ ο κύκλος που ορίζει η (y,w i ). Υπολόγισε τα βάρη των Εσ(C’) και Εσ(C’’). Αν βάρος(Εσ(C’)) > βάρος(Εσ(C’’)) τότε επιλέγουμε (v i+1,w i+1 ) = (y,w i ), διαφορετικά επιλέγουμε (v i+1,w i+1 ) = (ν i,y).

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Αλγόριθμος για συνεκτικό επίπεδο γράφημα G 9.Χρησιμοποιούμε τον C με βάρος(Εσ(C)) ≤ 2/3 που βρήκαμε στο βήμα 8 για να λάβουμε να διαμερίσουμε τους κόμβους του G σε σύνολα των Α, Β και C, όπως στην απόδειξη της Πρότασης 3. Με κατάλληλη υλοποίηση ο παραπάνω αλγόριθμος εκτελείται σε O(n) χρόνο.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Πόρισμα: Θεώρημα -διαχωρισμού επίπεδων γραφημάτων Έστω G ένα επίπεδο γράφημα με n κόμβους. Οι κόμβοι του G μπορούν να διαμεριστούν σε τρία σύνολα A, B και C τέτοια ώστε : Δεν υπάρχει ακμή που να ενώνει κόμβο του Α με το κόμβο του Β. Καθένα από τα σύνολα Α και Β έχει πολύ κόμβους. Το σύνολο C περιέχει το πολύ κόμβους. Επιπλέον τα σύνολα A, B και C μπορούν να υπολογιστούν σε Ο(n) χρόνο.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Βελτιώσεις και επεκτάσεις Djidjev 1982 : Επίπεδος διαχωριστής με το πολύ κόμβους. Miller 1986 : Επίπεδος κυκλικός διαχωριστής με το πολύ κόμβους. Dijdjev και Vemkatesan 1987 : Επίπεδος κυκλικός διαχωριστής με το πολύ κόμβους. Frederickson 1987 : Υπολογισμός r-υποδιαίρεσης σε χρόνο.

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A r-υποδιαίρεση επίπεδου γραφήματος τμήματα με ξεχωριστές ακμές Κάθε τμήμα έχει κόμβους συνοριακοί κόμβοι (κόμβοι που ανήκουν σε τουλάχιστον 2 τμήματα)

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Μερικές εφαρμογές του θεωρήματος διαχωρισμού επίπεδων γραφημάτων Προσεγγιστικοί αλγόριθμοι για NP-πλήρη προβλήματα (π.χ. μέγιστο ανεξάρτητο σύνολο) Δυναμικός προγραμματισμός Πολυπλοκότητα κυκλωμάτων. Διάταξη κυκλωμάτων VLSI. Επίλυση αραιών συμμετρικών γραμμικών συστημάτων (nested dissection). Προβλήματα βελτιστοποίησης (π.χ. μέγιστα ταιριάσματα, ελαφρύτατες διαδρομές).

Επίπεδα Γραφήματα: Διαχωριστές (separators) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A Βιβλιογραφία