Οριςμόσ προβλήματοσ. Θεωρία Γράφων 2

Μέγεθος: px

Εμφάνιση ξεκινά από τη σελίδα:

Download "Οριςμόσ προβλήματοσ. Θεωρία Γράφων 2"

Αθάμας Ταμτάκος
8 χρόνια πριν
Προβολές:

1 Θεωρία Γράφων 1

2 Οριςμόσ προβλήματοσ Οποιοδόποτε επιφϊνεια που χωρύζεται ςε περιοχϋσ, όπωσ ϋνασ πολιτικόσ χϊρτησ των νομών ενόσ κρϊτουσ, μπορούν να χρωματιςτούν χρηςιμοποιώντασ λιγότερα από τϋςςερα χρώματα κατϊ τϋτοιο τρόπο ώςτε καμύα από δύο παρακείμενεσ περιοχέσ δεν έχουν το ίδιο χρώμα. όταν το πρώτο ςημαντικό θεώρημα που αποδεικνύεται, χρηςιμοποιώντασ υπολογιςτή, και η απόδειξη δεν εύναι αποδεκτό από όλουσ τουσ μαθηματικούσ επειδό θα όταν αδύνατον για ϋναν ϊνθρωπο να ελϋγχθει με το χϋρι. Θεωρία Γράφων 2

3 Ιςτορικά Η υπόθεςη προτϊθηκε αρχικϊ το 1852, όταν ο φοιτητόσ Francis Guthrie προςπαθούςε να χρωματύςει το χϊρτη των περιφερειών τησ Αγγλύασ. Μια απόδειξη του θεωρόματοσ δόθηκε από τον Alfred Kempe το 1879, η οπούα επικροτόθηκε ευρϋωσ, ενώ μια ϊλλη απόδειξη δόθηκε από Peter Guthrie Tait το Tο 1890 (11 χρόνια αργότερα) η απόδειξη «Kempe» παρουςιϊςτηκε ανακριβόσ από τον Percy Heawood, και το 1891 η απόδειξη Tait ακυρώθηκε από τον Julius Petersen. Σο 1890, εκτόσ από την ϋκθεςη που αντικρούει την απόδειξη Kempe, ο Heawood απϋδειξε ότι όλεσ οι επύπεδοι γρϊφοι εύναι «χρωματύςιμοι» πϋντε χρωμϊτων (ςχετικό θεώρημα) Θεωρία Γράφων 3

4 Ιςτορικά Σο 1976 το θεώρημα των 4 χρωμϊτων αποδεύχθηκε τελικϊ από τον Kenneth Appel και Wolfgang Haken απ το πανεπιςτόμιο του Ιλλινόισ. Βοηθόθηκαν από τον John Koch και τον υπολογιςτό του (επύ 1200 ώρεσ). ΘΕΩΡΗΜΑ: έςτω G = (V,E) ένασ επίπεδοσ γραφόσ, τότε χ(g) 4. Από την παρουςύαςη αποδεύξεων του θεωρόματοσ, οι πιο αποδοτικού αλγόριθμοι που ϋχουν βρεθεύ για χϊρτεσ 4-χρωματων απαιτούν χρόνο O(ν 2 ), όπου το ν εύναι ο αριθμόσ κορυφών. Σο 1996, ο Neil Robertson, ο Ντϊνιελ P. Sanders, Paul Seymour και ο Robin Thomas δημιούργηςαν ϋναν τετραγωνικό χρονικό αλγόριθμο, (εργαςύα του ρώςου Belaga) που βελτιώνει ϋναν Ο(ν 4 ) αλγόριθμο βαςιςμϋνο ςτην απόδειξη Appel και Haken. Θεωρία Γράφων 4

5 Ιςτορικά Σο 2004 Benjamin Werner και Georges Gonthier τυποπούηςαν μια απόδειξη του θεωρόματοσ μϋςα από το εργαλεύο αποδεύξεων Coq. Τπϊρχουν επύςησ αποδοτικού αλγόριθμοι για να καθορύςουν εϊν 1 ό 2 χρώματα εύναι αρκετϊ να χρωματύςουν ϋναν χϊρτη. Ο αλγόριθμοσ καθοριςμού εϊν 3 χρώματα αρκούν, εύναι εντούτοισ, NP-πλόρησ, και φυςικϊ δεν ϋχει μια γρόγορη λύςη. Ο αλγόριθμοσ καθοριςμού εϊν ϋνασ γενικόσ (ενδεχομϋνωσ μη επύπεδοσ) γρϊφοσ μπορεύ να 4- χρωματιςτεύ εύναι επύςησ NP-πλόρησ. Αν και το θεώρημα τεςςϊρων χρωμϊτων ανακαλύφθηκε ςτο ςτϊδιο του χρωματιςμού ενόσ πραγματικού χϊρτη, δεν βρύςκει καμύα εφαρμογό ςτην πρακτικό χαρτογραφύα. Θεωρία Γράφων 5

6 Παράδειγμα Χρωματιςμόσ Χάρτη Θϋλουμε να χρωματύςουμε κϊθε περιοχό ςτο χϊρτη με διαφορετικό χρώμα Μεταβλητέσ: WA, NT, SA, Q, NSW, V, T Έχουμε τρία χρώματα (Πεδίο Οριζμού): red, green, blue Θεωρία Γράφων 6

7 Παράδειγμα ςυνζχεια -Αλγόριθμοσ- 1. Ξεκινϊμε με τη χώρα που ςυνορεύει με περιςςότερεσ χώρεσ. 2. Φρωματύζουμε τη χώρα με το πρώτο «ελεύθερο χρώμα». 3. υνεχύζουμε την ύδια διαδικαςύα με την επόμενη χώρα μϋχρισ ότου όλοσ ο χϊρτησ να χρωματιςτεύ σειρά χρωμάτων: red, green, blue Θεωρία Γράφων 7

8 Μετατροπή χάρτη γράφο κϊθε περιοχό του χϊρτη αντικαθύςταται από κορυφό τησ γραφικόσ παρϊςταςησ, και δύο κορυφϋσ ςυνδϋονται με μια ϊκρη εϊν και μόνο εϊν οι δύο περιοχϋσ μοιρϊζονται ϋνα τμόμα ςυνόρων (όχι μόνο μια γωνύα). WA NT Q SA NSW Με δύο αςύνδετα τμήματα Θεωρία Γράφων 8 V T

9 Empire problem Σϋθηκε και λύθηκε το 1890 από τον Heawood που θεώρηςε χϊρτεσ όπου διϊφορεσ χώρεσ εύναι ςύμμαχεσ και επομϋνωσ πρϋπει να χρωματιςτούν με το ύδιο χρώμα. Τπόψη βϋβαια ότι το πρόβλημα ϋχει ενδιαφϋρον αν οι ςύμμαχεσ χώρεσ δεν εύναι όμορεσ, ενώ δύο αυτοκρατορύεσ εύναι γειτονικϋσ αν ϋχουν ϋςτω και μύα κοινό ακμό. Θεώρημα: κάθε χάρτησ αυτοκρατοριών που αποτελούνται από m χώρεσ μπορεί να χρωματιςθεί με 6m χρώματα. Θεωρία Γράφων 9

10 Empire problem το ςχόμα δύνεται ϋνα παρϊδειγμα χϊρτη 12 αμοιβαύα γειτονικών αυτοκρατοριών που αποτελούνται από 2 χώρεσ. Ο χϊρτησ αυτόσ που εύναι το 1 ο παρϊδειγμα χϊρτη με τα χαρακτηριςτικϊ αυτϊ, ςχεδιϊςτηκε από τον Scott Kim το 1970 δηλ. 80 χρόνια μετϊ από τισ προςπϊθειεσ του heawood. Θεωρία Γράφων 10

11 Πρόβλημα «Γησ-Σελήνησ» Gerhard Ringel s Earth and Moon Problem, 1949 ειδική περίπτωςη του προβλήματοσ των αυτοκρατοριών με 2 χώρεσ τελείωσ αποκομμένεσ. θεωρούμε χϊρτεσ ςε 2 ςφαύρεσ, ϋςτω γη και ςελόνη. Κϊθε τμηματικό περιοχό ςτην γη ονομϊζεται «χώρα» και εύναι ςυνδεδεμϋνη με μύα «αποικία» ςτην ςελόνη. Θα χρωματύςουμε χώρεσ και αποικύεσ ϋτςι ώςτε: χρώμα χώρασ == χρώμα αντίςτοιχησ αποικίασ. αν δύο χώρεσ ή αποικίεσ μοιράζονται κοινό ςύνορο και οι δύο διαφορετικά χρώματα. Θεωρία Γράφων 11

Σο κάτω όριο εύκολα αποδεικνύεται με τον ςχεδιαςμό 8 χωρών, κϊθε μύα παρακεύμενη ςε ϊλλη εύτε ςε

12 Πρόβλημα «Γησ-Σελήνησ» ΕΡΩΤΗΣΗ: ποιο είναι το ελάχιςτο πλήθοσ χρωμάτων απαραίτητων για χρωματιςμό όλων των χαρτών; Ο Ringel παρατόρηςε ότι αυτόσ ο αριθμόσ εύναι μεταξύ Σο κάτω όριο εύκολα αποδεικνύεται με τον ςχεδιαςμό 8 χωρών, κϊθε μύα παρακεύμενη ςε ϊλλη εύτε ςε ςελόνη εύτε ςε γη. Σο άνω όριο ακολουθεύ τον τύπο Euler όμοια με την μϋθοδο απόδειξησ του θεωρημϊτων 6 χρωμϊτων. Θεωρία Γράφων 12

13 Γενίκευςη του Σο πρόβλημα γενικεύεται για αυτοκρατορύεσ ςε περιςςότερουσ πλανότεσ. Εϊν οι πλανότεσ εύναι τ (thickness του γρϊφου) το άνω όριο του 6τ και αποδεικνύεται με τον τύπο του Εuler, ενώ το κάτω όριο του : 6τ-2. 6τ-2 k τ 6τ Θεωρία Γράφων 13

14 Bιβλιογραφία G.Ringel; Map Color Theorem, Springer-Verlag, 1974 «χηματϊκια ςτο επύπεδο», Δημότρησ Παναγόπουλοσ, 2006 Solution of the Heawood Map-Coloring Problem, Gerhard Ringel, and J. W. T. Youngs, March 2007 Youngs, J. W. T., "The Heawood map-coloring conjecture," in Graph Theory and Theoretical,Physics (London and New York: Academic Press, 1967) Graph coloring, Wikipedia Five Open Questions,Joan P. Hutchinson,Macalester College, St. Paul, Mnlor Theorem from Wolfram MathWorld website Θεωρία Γράφων 14

15 Υαρδϋλλασ Γεώργιοσ 977 πανόσ Γεώργιοσ 958 Για το μϊθημα Θεωρύα Γρϊφων Θεωρία Γράφων 15

Σχετικά έγγραφα

ΠΟΛΤΩΝΤΜΑ. ΠΑΡΑΜΕΣΡΟ λϋγεται το ςύμβολο, ςυνόθωσ γρϊμμα, του οπούου το πεδύο οριςμού ορύζεται ϋτςι ώςτε να ιςχύει κϊποια προώπόθεςη.

ΠΟΛΤΩΝΤΜΑ. ΠΑΡΑΜΕΣΡΟ λϋγεται το ςύμβολο, ςυνόθωσ γρϊμμα, του οπούου το πεδύο οριςμού ορύζεται ϋτςι ώςτε να ιςχύει κϊποια προώπόθεςη. ΠΟΛΤΩΝΤΜΑ ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΜΕΣΑΒΛΗΣΗ λϋγεται ϋνα ςύμβολο, ςυνόθωσ γρϊμμα, το οπούο παύρνει τιμϋσ μϋςα από ϋνα ςύνολο Α. Σο Α λϋγεται πεδύο οριςμού. Αν το πεδύο οριςμού εύναι υποςύνολο του ςυνόλου των πραγματικών