Θεωρία γράφων

Η θεωρία γράφων είναι ένα γνωστικό πεδίο των διακριτών μαθηματικών, με εφαρμογές στην πληροφορική, στις επιστήμες μηχανικών, στη χημεία, στην κοινωνιολογία κ.α. Αν και οι απαρχές της θεωρίας θεμελιώθηκαν κατά τον 18ο αιώνα, αναπτύχθηκε μεταπολεμικά ως ξεχωριστό πεδίο των εφαρμοσμένων μαθηματικών. Στην ελληνική ορολογία οι όροι θεωρία γραφημάτων και θεωρία γράφων χρησιμοποιούνται ως ισοδύναμοι. Προτιμάται ο όρος γράφος, για να διακρίνεται από το γράφημα συνάρτησης. Ανάμεσα στους ποικίλους ορισμούς που απαντώνται, ένας σχετικά πλήρης ορίζει πως η θεωρία γράφων είναι η μελέτη των γράφων (γραφημάτων) και των σχέσεών τους. Οι μαθηματικοί υπολογισμοί επί των γράφων υλοποιούνται με συγκεκριμένους αλγόριθμους. Με γράφους μπορούν να μοντελοποιηθούν πολλές διαφορετικές φυσικές ή τεχνολογικές δομές, όπως π.χ. τα δίκτυα υπολογιστών, όπου το διάγραμμα ενός δικτύου μοντελοποιείται ως ένας απλός κατευθυνόμενος γράφος.

 Ο γράφος στον απλούστερο ορισμό του είναι η οπτική αναπαράσταση των σχέσεων που αναπτύσσουν ορισμένες ποσότητες, σχεδιασμένες σε σχέση με ένα σύνολο αξόνων. Ένας άλλος ορισμός που κινείται στο ίδιο εννοιολογικό πλαίσιο της οπτικής αναπαράστασης αναγνωρίζει τον γράφο ως απεικόνιση αποτελούμενη από ένα σύνολο σημείων (κορυφών ή κόμβων) που συνδέονται με γραμμές (ακμές). Στους κατευθυνόμενους ή προσανατολισμένους γράφους οι ακμές απεικονίζονται διανυσματικά.Σε μία άλλη εκδοχή είναι ένα σύνολο από κόμβους (κορυφές) που ενώνονται μεταξύ τους με ακμές και ορίζεται από τον τρόπο με τον οποίο συνδέονται οι κορυφές (κόμβοι). Αν οι ακμές προσανατολίζονται οριζόμενες από διατεταγμένα ζεύγη κόμβων, τότε ο γράφος αποκαλείται κατευθυνόμενος. Αν οι ακμές δεν προσανατολίζονται, οριζόμενες απλώς από διμελή σύνολα και όχι διατεταγμένα ζεύγη, τότε αποκαλείται μη κατευθυνόμενος. Επιπλέον στοιχεία για τον ορισμό ενός γράφου είναι η σύνδεση των ακμών του με κάποια αξία, οπότε αποκαλείται σταθμισμένος. Με τη σειρά του πλήρης αποκαλείται ο γράφος που περιέχει ακμές για κάθε ζεύγος κόμβων, αραιός εκείνος που περιέχει λίγες ακμές ή αντίστροφα πυκνός. Ως μαθηματική έκφραση, ο ορισμός του μη κατευθυνόμενου γράφου έχει ως εξής: Ο γράφος G είναι ένα διατεταγμένο ζεύγος G=<V(G), E(G)> όπου: V(G)={v1,v2...vn} το σύνολο των κορυφών, E(G)={e1,e2...em} το σύνολο των ακμών.Στην προκειμένη περίπτωση κάθε ακμή είναι ένα διμελές σύνολο αποτελούμενο από δύο κορυφές, οι οποίες αποκαλούνται τερματικές κορυφές (κόμβοι) και δεν είναι απαραίτητα διαφορετικές μεταξύ τους. Ως μαθηματική έκφραση, ο ορισμός του κατευθυνόμενου γράφου έχει ως εξής: Ο γράφος G είναι ένα διατεταγμένο ζεύγος G=(V(G), E(G)) όπου: V(G)={v1,v2...vn} το σύνολο των κορυφών, E(G)={e1,e2...em} το σύνολο των ακμών.Εδώ κάθε ακμή είναι ένα διατεταγμένο ζεύγος αποτελούμενο από δύο κορυφές, οι οποίες αποκαλούνται τερματικές κορυφές (κόμβοι) και δεν είναι απαραίτητα διαφορετικές μεταξύ τους. Η διαφορά ανάμεσα σε έναν μη κατευθυνόμενο και έναν κατευθυνόμενο γράφο είναι ότι στην πρώτη περίπτωση έχουμε διμελές σύνολο, ενώ στη δεύτερη διατεταγμένο ζεύγος. Βαθμός (deg) της κορυφής vi είναι ο αριθμός που εκφράζει το πλήθος των ακμών που καταλήγουν σε αυτήν την κορυφή. Σε ένα συνεκτικό γράφο, διαδρομή καλείται ένα υποσύνολο κορυφών V'(G)={v1,v2...vm}, m≤n , με 0 < deg vi ≤ 2. Στην ελληνική βιβλιογραφία η διαδρομή αναφέρεται και ως μονοπάτι από την αγγλική λέξη path. Συνεκτικός γράφος λέγεται ο γράφος του οποίου κάθε ζεύγος κορυφών συνδέεται με μια τουλάχιστον διαδρομή. Για την ιστορία της θεωρίας γράφων θεωρείται σημαντική η μελέτη του Λέοναρντ Όιλερ για τις Επτά Γέφυρες του Κένιγκσμπεργκ το 1736 Η συγκεκριμένη δημοσίευση, όπως και εκείνη που γράφτηκε από τον Γάλλο χημικό Αλεξάντρ-Τεοφίλ Βαντερμόντ (Alexandre-Théophile Vandermonde) στο μαθηματικό πρόβλημα του Ίππου στη σκακιέρα που κατευθύνεται με την ανάλυση θέσης που εισήγαγε ο Γκότφριντ Βίλχελμ Λάιμπνιτς. Ο τύπος του Όιλερ, σχετικά με τον αριθμό των ακμών, των κορυφών και των εδρών ενός κυρτού πολυέδρου μελετήθηκε από τον Ωγκυστέν-Λουί Κωσύ και τον Σιμόν Αντουάν Ζαν Λ' Ουιγιέ (Simon Antoine Jean L'Huillier) και είναι αρχή της τοπολογίας. Σχεδόν εκατό χρόνια μετά τη μελέτη του Όιλερ και την εισαγωγή της τοπολογίας από τον Γιόχαν Μπένεντικτ Λίστινγκ (Johann Benedict Listing), ο Άρθουρ Κέιλι (Arthur Cayley) μελέτησε μια ιδιαίτερη κατηγορία γράφων, τα δέντρα. Η μελέτη αυτών των ιδιαίτερων γράφων είχε πολλές εφαρμογές στη θεωρητική χημεία. Οι τεχνικές που αναπτύχθηκαν είχαν να κάνουν κυρίως με την απαρίθμηση γράφων που παρουσίαζαν κάποιες ιδιαίτερες ιδιότητες. Η απαριθμητική θεωρία γράφων ήταν ένα από τα συμπεράσματα του Κέιλι και δημοσιεύτηκε από τον (Γκιόργκι) Τζορτζ Πόλια (George Pólya) μεταξύ των ετών 1935 και 1937, ενώ η γενίκευση των συμπερασμάτων εκδόθηκε από τον Νίκλας Γκόβερτ ντε Μπρούιν (Nicolaas Govert de Bruijn) το 1959. Ο Κέιλι συνέδεσε τα συμπεράσματά του για τα δέντρα με τις σύγχρονες μελέτες για τη χημική σύνθεση. Η σύνθεση των μαθηματικών και των χημικών εννοιών είναι το αρχικό τμήμα της στερεότυπης (standard) ορολογίας της θεωρίας γράφων. Νικολόπουλος, Σταύρος· Γεωργιάδης, Λουκάς· Παληός, Λεωνίδας. Αλγοριθμική θεωρία γραφημάτων. Κάλλιπος, Ανοικτές Ακαδημαϊκές Εκδόσεις. ISBN 978-960-603-365-0. Η θεωρία γράφων με εφαρμογές (1976) - Bondy and Murty Εισαγωγή στους Γράφους (2006) Hartmann and Weigt Διγράφοι: Θεωρία αλγόριθμοι και εφαρμογές 2007 - Jorgen Bang-Jensen and Gregory Gutin Θεωρία γράφων - Reinhard Diestel Θηλυκός, Δημήτριος Μ. (2021). «Σημειώσεις στη θεωρία γραφημάτων» (PDF). Τμήμα Μαθηματικών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών. Ανακτήθηκε στις 15 Οκτωβρίου 2023. Biggs, Norman· Lloyd, Edward Keith· Wilson, Robin J.· Wilson, Robin James (1986). Graph theory: 1736 - 1936 (1η έκδοση). Oxford: Clarendon Press. ISBN 978-0-19-853916-2. Cauchy, A.L. (1813). «Recherche sur les polyèdres - premier mémoire». Journal de l'Ecole Polytechnique 16 (9): 66–86. Cayley, A. (1875). «Ueber die Analytischen Figuren, welche in der Mathematik Bäume genannt werden und ihre Anwendung auf die Theorie chemischer Verbindungen». Berichte der deutschen Chemischen Gesellschaft (8): 1056–1059. L'Huillier, S.-A.-J. (1861). «Mémoire sur la polyèdrométrie». Annales de Mathématiques (3): 169–189. Μαυρονικόλας, Μάριος (2002). Διακριτά Μαθηματικά και Μαθηματική Λογική: Θεωρία Γράφων. Πάτρα: Ε.Α.Π. ISBN 960-538-461-2. Λευτέρης Κυρούσης· Χρήστος Μπούρας· Παύλος Σπυράκης· Γιάννης Σταματίου (2004). Εισαγωγή στους Γράφους Θεωρία, προβλήματα και λύσεις (2η έκδοση). Gutenberg. ISBN 978-960-01-0815-6. Εγχειρίδιο θεωρίας γράφων Αρχειοθετήθηκε 2012-01-16 στο Wayback Machine. Φωτοθήκη: γράφοι Συνοπτικός κατάλογος πηγών για τη θεωρία γράφων Graph Theory Software Αρχειοθετήθηκε 2013-03-13 στο Wayback Machine. Χριστόπουλος, Παναγιώτης Π. (Απριλίου 2019). «Οι επτά γέφυρες και τα γραφήματα». Ευκλείδης Β΄ (114): 4-8. http://www.hms.gr/sites/default/files/subsites/problems/material/EYKLEIDHS_B_114_EYKLEIDHS_2019.pdf.