Ring Routing and Wavelength Conversion. Γιώργος Ζώης

Transcript

1 Ring Routing and Wavelength Conversion Γιώργος Ζώης

2 Ενότητες της παρουσίασης 1. Directed Ring Routing Wavelength Conversion σε WDM δίκτυα. 2. Wavelength Conversion σε shortest path δρομολογήσεις. 3. Επιπλέον αποτελέσματα Κατευθύνσεις για μελλοντική έρευνα.

3 1.1 Εννοιολογικοί ορισμοί Οπτικά δίκτυα επικοινωνίας. WDM technology: Wavelength selective (W.S). Wavelength Interchanging (W.I) Wavelength Converters. Τοπολογία: G = (V,E), V = n, E = 2n. Ο G αποτελείται από δύο δακτυλίους αντίθετης κατεύθυνσης.

4 1.2 Directed Ring Routing (1/5) [s,t] = {u : s u t} αν s t, [s,n 1] [0,t] αλλιώς. Directed Ring Routing Problem: Είσοδος: Θετικοί ακέραιοι n,m και διατεταγμένα ζεύγη (s 1,t 1 ),,(s m,t m ) από το σύνολο {0,, n 1}, με s i t i. Ερώτηση: Βρείτε τιμές x 1,,x m από το {0,1} που ελαχιστοποιούν το L, όπου L = max( max k A k, max k B k ) και A k = {i: k [s i, t i 1] και x i = 1} B k = {i: k [t i, s i 1] και x i = 0} Το πρόβλημα απόφασης του Directed Ring Routing ανήκει στο NP.

5 1.2 Directed Ring Routing (2/5) Θεώρημα 1.1: Το Directed Ring Routing επιλύεται σε πολυωνυμικό χρόνο. Απόδειξη: Relaxed Directed Ring Routing: Είσοδος: Θετικοί ακέραιοι n,m και διατεταγμένα ζεύγη (s 1,t 1 ),, (s m,t m ) από το σύνολο {0,, n 1} 2, με s i t i. Ερώτηση: Βρείτε τιμές x 1,,x m από το [0,1] που ελαχιστοποιούν το L *, όπου L * = max( max k A k*,max k B k* ) και A * k = x i, B k* = i:k [s i, t i 1] i:k [t i, s i 1] ( 1 x i) L OPT* L OPT και L OPT * L OPT

6 1.2 Directed Ring Routing (3/5) Πρόταση 1.1: Δοθέντος ενός στιγμιοτύπου του Relaxed mdirected Ring Routing, μια δρομολόγηση x τ.π το x i να είναι ακέραιος (flush routing), με L i = 1 L OPT, μπορεί να βρεθεί σε πολυωνυμικό χρόνο. Πρόταση 1.2: Δοθέντος ενός στιγμιοτύπου του Relaxed Directed Ring Routing και μίας flush δρομολόγησης x με φορτίο L, μία flush δρομολόγηση x με L L τ.παπόδύο οποιεσδήποτε παράλληλες αιτήσεις το πολύ η μία θα χωρίζεται, μπορεί να βρεθεί σε πολυωνυμικό χρόνο.

7 1.2 Directed Ring Routing (4/5) Παράλληλες αιτήσεις που χωρίζονται Διάταξη μη παράλληλων αιτήσεων που χωρίζονται

8 1.2 Directed Ring Routing (5/5) Κατασκευάζουμε μια {0,1} δρομολόγηση x με φορτία συνδέσμων A k, B k : A k = A k + B k = B k + (xi xiʹʹ) i [i k,j k] (xiʹʹ x) i i [i k,j k] xj { 1 = 0 αν αλλιώς j1 x ʹʹ + (x x ʹʹ) < j i i i1 = Δείχνουμε ότι: A k A k < 1, B k B k < 1 L < L + 1, L L LOPT 1 2

9 1.3 Directed Ring Routing with Wavelength Conversion Πρόταση 1.3: Υποθέτουμε ότι στον κόμβο 0 ενός δακτυλίου R τοποθετείται ένας Wavelength Converter. Τότε για κάθε δρομολόγηση με φορτίο L χρειάζονται L οπτικές συχνότητες οι οποίες ανατίθενται σε χρόνο πολυωνυμικό ως προς το n και το πλήθος των μονοπατιών (n, κόμβοι δακτυλίου).

10 1.4 Wavelength Converters σε WDM δίκτυα (1/2) G=(V,E), P σύνολο αιτήσεων και S V το σύνολο των κόμβων που εφοδιάζονται με wavelength converters. Ορισμοί: Έγκυρη ανάθεση (ως προς το S) Sufficient S. Ερώτημα 1: Ποιες επιλογές του S είναι sufficient; Ερώτημα 2: Δεδομένης μιας τοποθέτησης wavelength converters στους κόμβους είναι το πρόβλημα της ανάθεσης συχνοτήτων επιλύσιμο.

11 1.4 Wavelength Converters σε WDM δίκτυα (2/2) Θεώρημα 1.2: Το κενό σύνολο είναι sufficient ανν ο G είναι spider. Κατασκευάζουμε το γράφο G(S): V(S) = V\S { <s,e>: s S και η ακμή e προσπίπτει στον s} και E(S) = {{u,v} E(G): u,v S} {{<s,e>,u}:e={s,u}} {{<s,e>,<t,e>}:s,t S και s,t γειτονικοί κόμβοι}. G1(S),, Gk(S) ταconnected components του G(S) Θεώρημα 1.3: Το S είναι sufficient ανν κάθε component είναι spider. MINIMUM SUFFICIENT SET problem.

12 2.1 Shortest Path routing Fixed routing στρατηγικές. Περιοριζόμαστε σε shortest path δρομολόγηση ώστε να αποφεύγονται τοποθετήσεις wavelength converters που μπορεί να επιλέξουν ακόμη και όλους τους κόμβους. Η shortest path δρομολόγηση αλλάζει τη φύση του προβλήματος. Shortest Path sufficient σύνολο S (SPsufficient).

13 2.2 Προσδιορισμός έγκυρης τοποθέτησης των Wavelength Connerters(1/2) Ιδέα: Χρησιμοποίηση βοηθητικού γράφου που διατηρεί τη δομή των shortest paths. Κατασκευή γράφου: Δίνεται γράφος G=(V,E), S V, P, P G και P(S). Θεωρούμε Τ(P) ένα πολυγράφο στο Ε με ακμές κάθε υπομονοπάτι μήκους 2 ενός p P με μήκος μεγαλύτερο του 2. Παράδειγμα του G και του T(P G (S)) για S =

14 2.2 Προσδιορισμός έγκυρης τοποθέτησης των Wavelength Connerters(2/2) Θεώρημα 2.1: To S είναι SP sufficient ανν ισχύουν οι εξής δύο συνθήκες: i. Το T(P G (S)) είναι διμερές. ii. Δύο ακμές του T(P G (S)), που αντιστοιχούν σε δύο υπο μονοπάτια μήκους 2 ενός p P μήκους 3, δεν εμφανίζονται διαδοχικά στον ίδιο κύκλο. ΑπότοΘεώρημα2.1 προκύπτει αλγόριθμος πολυωνυμικού χρόνου που αποφασίζει αν το S είναι SP sufficient σε O( V 2 E ).

15 2.4 Ανάθεση συχνοτήτων σε δίκτυα με Wavelength Converters Θεώρημα 2.2 : Δίνεται γράφος G = (V,E) και S V τ.π να ικανοποιούνται οι συνθήκες του Θερήματος 2.1. Κάθε σύνολο P από shortest paths στον G μπορεί να χρωματισθεί με L(P) χρώματα. Παράδειγμα των μετασχηματισμών που χρειάζονται για τη συνένωση τοπικών χρωματισμών.

16 2.3 Πολυπλοκότητα και δυσκολία στην τοποθέτηση Wavelength Converters Ορισμός (L αναγωγιμότητα): Ένα πρόβλημα βελτιστοποίησης Π L ανάγεται στο πρόβλημα βελτιστοποίησης Π αν υπάρχουν πολυωνυμικοί αλγόριθμοι f, g και θετικές σταθερές c 1, c 2 τ.π για κάθε στιγμιότυπο I του Π ισχύουν οι ακόλουθες ιδιότητες: i. Ο αλγόριθμος f παράγει ένα στιγμιότυπο I = f(i) του Π τ.π OPT(I ) c 1 OPT(I). ii. Δοθείσας μιας λύσης του I με κόστος SOL(I ), ο αλγόριθμος g παράγει μία λύση του Ι με κόστος SOL(I) τ.π SOL(I) OPT(I) c 2 SOL(I ) OPT(I ). Θεώρημα 2.3: Υπάρχει L αναγωγή από το EBIP στο MIN SP SUFFICIENT πρόβλημα. Το EBIP είναι MAXSNP complete Το MIN SP SUFFICIENT είναι MAXSNP complete στην μηκατευθυνόμενη περίπτωση.

17 Επιπλέον αποτελέσματα Κατευθύνσεις για μέλλοντική έρευνα. Ring Routing and Wavelength translation (Winkler, Wilfong). Wavelength Conversion in all optical netxorks with Shortest Path routing (Erlebach Stefanakos). Wavelength Conversion in all optical networks (Kleinberg, Kumar). Προσεγγιστικοί αλγόριθμοι για το MIN CONVERSION στο RPMC πρόβλημα (Complexity of wavelength assignment in Optical Network optimiztion, Andrews και Zhang) c προσσέγγιση του MIN Sufficinet Set σε μη κατευθυνόμενους γράφους, με c<2.