1 Θεωρία Υπολογισμού Ενότητα 3 : Γραφήματα & Αποδείξεις Αλέξανδρος Τζάλλας Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.

Slides:



Advertisements
Παρόμοιες παρουσιάσεις
Τέλος Ενότητας.
Advertisements

Χρηματοοικονομική των Επιχειρήσεων, Ενότητα : Βέλτιστη Κεφαλαιακή Δομή, ΤΜΗΜΑ ΧΡΗΜΑΤΟΟΙΚΟΝΟΜΙΚΉΣ ΚΑΙ ΛΟΓΙΣΤΙΚΗΣ, ΤΕΙ ΗΠΕΙΡΟΥ – Ανοικτά Ακαδημαϊκά Μαθήματα.
1 Γεωργική Χημεία Ενότητα 10: Νόμος απορρόφησης φωτός Lambert- Beer Γεώργιος Παπαδόπουλος Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Λειτουργικά Συστήματα Ενότητα 13 : Δρομολόγηση Διεργασιών 3/3 Δημήτριος Λιαροκάπης Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Αρχές Μάρκετινγκ Δημιουργία και Δέσμευση Αξίας Πελατών Στάδιο 3 ο Προετοιμασία ενός σχεδίου και προγράμματος ολοκληρωμένου Μάρκετινγκ Τριάρχη Ειρήνη.
1 Διεθνή Λογιστικά Πρότυπα Διανομή – Διακοπείσες Δραστηριότητες Χύτης Ευάγγελος Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Διεθνή Λογιστικά Πρότυπα Ασώματα Πάγια Χύτης Ευάγγελος Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Θεωρία Υπολογισμού Ενότητα 11 : Γραμματικές χωρίς συμφραζόμενα Αλέξανδρος Τζάλλας Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Αντικειμενοστραφής Προγραμματισμός Ενότητα 12 : Επαναληπτικές Ασκήσεις (3/3) Ιωάννης Τσούλος Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Διεθνή Λογιστικά Πρότυπα Κατασκευαστικά Έργα Χύτης Ευάγγελος Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Ακοολογία Ενότητα 13 : Κοχλιακά εμφυτεύματα Ναυσικά Ζιάβρα Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Ενοποιημένες Χρηματοοικονομικές Καταστάσεις Δομή ομίλου Εταιρειών και προσδιορισμός του ποσοστού συμμετοχής Δρ. Χύτης Ευάγγελος Ελληνική Δημοκρατία Τεχνολογικό.
1 Μηχανογραφημένη Λογιστική ΙI Διαφύλαξη Λογιστικών Αρχείων (Άρθρο 7) Χύτης Ευάγγελος Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Θεωρία Υπολογισμού Ενότητα 6 : Αλφάβητα, Γλώσσες, Κανονικές Εκφράσεις Αλέξανδρος Τζάλλας Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
ΕΙΣΑΓΩΓΗ ΣΤΗ ΛΟΓΙΣΤΙΚΗ ΕΝΟΤΗΤΑ :Ισοζύγιο Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
Εισαγωγή στη λογιστική, Ενότητα : Ημερολογιακές εγγραφές, ΤΜΗΜΑ ΧΡΗΜΑΤΟΟΙΚΟΝΟΜΙΚΉΣ ΚΑΙ ΛΟΓΙΣΤΙΚΗΣ ΤΕΙ ΗΠΕΙΡΟΥ – Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου.
1 Θεωρία Υπολογισμού Ενότητα 4 : Λογικά Επιχειρήματα, Αλφάβητα & Γλώσσες (1/2) Αλέξανδρος Τζάλλας Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Ακοολογία Ενότητα 12 : Αποκατάσταση ακοής με ακουστικά βαρηκοΐας Ναυσικά Ζιάβρα Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Διεθνή Λογιστικά Πρότυπα Παραδείγματα της λογιστικής του Leasing σύμφωνα με το ελληνικό θεσμικό πλαίσιο και τα ΔΛΠ Χύτης Ευάγγελος Ελληνική Δημοκρατία.
1 Θεωρία Υπολογισμού Ενότητα 2 : Σύνολα & Σχέσεις (2/2) Αλέξανδρος Τζάλλας Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Θεωρία Υπολογισμού Ενότητα 5 : Λογικά Επιχειρήματα, Αλφάβητα & Γλώσσες (2/2) Αλέξανδρος Τζάλλας Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Φωνολογική Ανάπτυξη και Διαταραχές Ενότητα 4 : Στάδια παραγωγής φωνημάτων Ζακοπούλου Βικτωρία Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Ενοποιημένες Χρηματοοικονομικές Καταστάσεις Το θεσμικό πλαίσιο στην Ελλάδα Δρ. Χύτης Ευάγγελος Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Ενοποιημένες Χρηματοοικονομικές Καταστάσεις Λογιστικές Διαδικασίες για την κατάρτιση ΕΟΚ Δρ. Χύτης Ευάγγελος Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό.
1 Οικονοµική Εργασίας και Εργασιακές Σχέσεις Εργατικά Σωματεία Καραµάνης Κώστας Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
1 Οικονοµική Εργασίας και Εργασιακές Σχέσεις Εργατικά Σωματεία Καραµάνης Κώστας Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
ΕΙΣΑΓΩΓΗ ΣΤΗ ΛΟΓΙΣΤΙΚΗ ΕΝΟΤΗΤΑ :Λογιστική ισότητα και ισολογισμός Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
Τμήμα Τεχνολόγων Γεωπόνων Τίτλος Μαθήματος: ΚΑΛΛΩΠΙΣΤΙΚΑ ΔΕΝΤΡΑ ΚΑΙ ΘΑΜΝΟΙ Ενότητα 12: Οδηγίες δημιουργίας φυτολογίου Γρηγόριος Βάρρας Αν. Καθηγητής Άρτα,
ΗΛΕΚΤΡΟΝΙΚΟ ΕΜΠΟΡΙΟ Ενότητα 12 : Η χρήση της MySQL στο Ηλεκτρονικό εμπόριο (ΙΙI) Ιωάννης Τσούλος Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου.
Εισαγωγή στη λογιστική, Ενότητα :Προσδιοριστικοί παράγοντες του λογιστικού αποτελέσματος, ΤΜΗΜΑ ΧΡΗΜΑΤΟΟΙΚΟΝΟΜΙΚΉΣ ΚΑΙ ΛΟΓΙΣΤΙΚΗΣ, ΤΕΙ ΗΠΕΙΡΟΥ – Ανοικτά.
Εισαγωγή στη λογιστική, Ενότητα :Μεταβολές της οικονομικής κατάστασης, ΤΜΗΜΑ ΧΡΗΜΑΤΟΟΙΚΟΝΟΜΙΚΉΣ ΚΑΙ ΛΟΓΙΣΤΙΚΗΣ, ΤΕΙ ΗΠΕΙΡΟΥ – Ανοικτά Ακαδημαϊκά Μαθήματα.
Προγραμματισμός κινητών συσκευών
Ενότητα 7 : Χρήση Πινάκων στο Ηλεκτρονικό εμπόριο (I) Ιωάννης Τσούλος
Προγραμματισμός Διαδικτύου
Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου
Προγραμματισμός κινητών συσκευών
Λειτουργικά Συστήματα
Υπολογιστική Γεωμετρία και Εφαρμογές στις ΒΧΔ
Ενοποιημένες Χρηματοοικονομικές Καταστάσεις
Ενότητα 5 : Δομές Δεδομένων και αφηρημένοι
Προγραμματισμός Διαδικτύου
Λειτουργικά Συστήματα
Προγραμματισμός Διαδικτύου
Ενότητα 9 : Κανονικές Εκφράσεις Αλέξανδρος Τζάλλας
Διεθνή Λογιστικά Πρότυπα
Ενότητα 8 : Αυτόματα NFA - DFA Αλέξανδρος Τζάλλας
Γεωργική Χημεία Ενότητα 2 : Περιοδικός πίνακας στοιχείων, ιδιότητες
Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου
Διεθνή Λογιστικά Πρότυπα
Ενότητα 1 : Τονική ακοομετρία - Είδη βαρηκοΐας Ναυσικά Ζιάβρα
Ενότητα 10 : Συχνές ακοολογικές παθήσεις (Μέρος Α’) Ναυσικά Ζιάβρα
Ενότητα 13 Αξιολόγηση μαθήματος και διδάσκοντος από την εφαρμογή της Μονάδας Ολικής Ποιότητας (ΜΟΔΙΠ) του ΤΕΙ Αθήνας Αξιολόγηση του μαθήματος Αξιολόγηση.
Άσκηση 9 (1 από 2) Ανακαλύψτε στο χάρτη σας μερικά χαρτογραφικά αντικείμενα που να ανήκουν στις παρακάτω κατηγορίες : φυσικά, τεχνητές κατασκευές, αφηρημένα.
Ενότητα 10 : Κατασκευή ΝΠΑ Αλέξανδρος Τζάλλας
Ενότητα 4 : Τελεστές της γλώσσας PHP Ιωάννης Τσούλος
Ενότητα 2 : Το σύστημα βάσεων δεδομένων MySQL (II) Ιωάννης Τσούλος
Προγραμματισμός κινητών συσκευών
Επικοινωνιακός Προγραμματισμός Ι
Διεθνή Λογιστικά Πρότυπα
Γενική και Μαθηματική Χαρτογραφία (Ε)
Προγραμματισμός κινητών συσκευών
Διεθνή Λογιστικά Πρότυπα
Γεωργική Χημεία Ενότητα 1 : Γενικές αρχές χημείας, άτομα και μόρια
Γεωργική Χημεία Ενότητα 6: Οξέα, βάσεις, pH, γινόμενο διαλυτότητας
Ειδικά θέματα βάσεων χωρικών δεδομένων και θεωρία συστημάτων -E
Γενική και Μαθηματική Χαρτογραφία (Ε)
ΕΙΣΑΓΩΓΗ ΣΤΗ ΛΟΓΙΣΤΙΚΗ
Προγραμματισμός Διαδικτύου
Προγραμματισμός κινητών συσκευών
Ενότητα 1: ……………….. Όνομα Επώνυμο Τμήμα __
Μεταγράφημα παρουσίασης:

1 Θεωρία Υπολογισμού Ενότητα 3 : Γραφήματα & Αποδείξεις Αλέξανδρος Τζάλλας Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου

2 Τμήμα Μηχανικών Πληροφορικής Τ.Ε Θεωρία Υπολογισμού Ενότητα 3 : Γραφήματα & Αποδείξεις Αλέξανδρος Τζάλλας Καθηγητής Εφαρμογών Άρτα, 2015 Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου

3 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου άδειας χρήσης, η άδεια χρήσης αναφέρεται ρητώς. 3

4 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Χρηματοδότηση Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» και συγχρηματοδοτείται από την Ευρωπαϊκή Ένωση (Ευρωπαϊκό Κοινωνικό Ταμείο) και από εθνικούς πόρους. Το έργο «Ανοικτά Ακαδημαϊκά Μαθήματα στο TEI Ηπείρου» έχει χρηματοδοτήσει μόνο τη αναδιαμόρφωση του εκπαιδευτικού υλικού. Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα.

5 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Σήμερα Διαμέριση Γραφήματα (Γράφοι) -Υπογράφημα, Κατηγορίες Γραφημάτων, Κατευθυνόμενο Γράφημα, Διαδρομές και Κύκλοι, Συνεκτικότητα, Δένδρα, Κατευθυνόμενα Γραφήματα & Σχέσεις Λέξεις & Γλώσσες Αποδείξεις -Είδη Αποδείξεων, Απόδειξη με Κατασκευή, Απαγωγή σε Άτοπο, Επαγωγή 5

6 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Διαμέριση Ενός μη κενού συνόλου Α είναι ένα υποσύνολο Π του 2 Α τέτοιο ώστε το  να μην είναι στοιχείο του Π και κάθε στοιχείο του Α να ανήκει σε έναν και μόνον ένα σύνολο του Π. Δηλαδή, το Π να είναι διαμέριση του Α, αν το Π είναι ένα σύνολο υποσυνόλου του Α τέτοιο ώστε: 1) Κάθε στοιχείο του Π είναι μη κενό 2) Τα μέλη του Π είναι ξένα μεταξύ τους 3) UΠ=Α Παράδειγμα Το {{a, b}, {c}, {d}} είναι διαμέριση του {a, b, c, d}, αλλά το {{b,c}, {c,d}} δεν είναι Τα σύνολα των άρτιων και περιττών φυσικών αριθμών σχηματίζουν μια διαμέριση του Ν 6

7 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Κατηγορίες Γραφημάτων Ένα γράφημα ονομάζεται κατευθυνόμενο ή κατευθυντό (directed graph) αν κάθε μια από τις ακμές του είναι προσανατολισμένη προς μία κατεύθυνση. Ένα γράφημα ονομάζεται μη-κατευθυνόμενο ή ακατεύθυντο (undirected) αν οι ακμές του δεν είναι προσανατολισμένες. Συχνά συσχετίζουμε κάθε ακμή ενός γραφήματος με κάποιο βάρος (weight). Τότε το γράφημα ονομάζεται γράφημα με βάρη ή ενεπίγραφο γράφημα (weighted graph). Παραδείγματα 7 2 4

8 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Γραφήματα (Γράφοι) Ένα γράφημα αποτελείται από – ένα σύνολο V κορυφών (vertices), ή κόμβων, και – ένα σύνολο Ε ακμών (edges). Μια ακμή είναι ένα ζεύγος (u,v) από κορυφές. Παράδειγμα. Το πιο κάτω σχήμα αναπαριστά το γράφημα G = (V, E) με –V = {1, 2, 3, 4, 5, 6} και Ε={(1, 2), (1, 3), (1, 6),(2, 4),(3, 4),(4, 5),(4, 6),(5, 6)} κορυφή / κόμβος ακμή

9 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Υπογράφημα Έστω G=(V, E) και G´= (V´, E´) γραφήματα, όπου V΄  V και E΄  E. Tότε το γράφημα G´ είναι υπογράφημα (subgraph) του γραφήματος G Παράδειγμα: Το γράφημα G’ είναι υπογράφημα του γραφήματος G G3G G’ = (V’, E’) V’ = {1,4,5,6} E’= {(1,6), (4,5), (4,6), (5,6)}

1010 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Κατηγορίες Γραφημάτων Ένα γράφημα ονομάζεται κατευθυνόμενο ή κατευθυντό (directed graph) αν κάθε μια από τις ακμές του είναι προσανατολισμένη προς μία κατεύθυνση. Ένα γράφημα ονομάζεται μη-κατευθυνόμενο ή ακατεύθυντο (undirected) αν οι ακμές του δεν είναι προσανατολισμένες. Συχνά συσχετίζουμε κάθε ακμή ενός γραφήματος με κάποιο βάρος (weight). Τότε το γράφημα ονομάζεται γράφημα με βάρη ή ενεπίγραφο γράφημα (weighted graph). Παραδείγματα

1 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Κατευθυνόμενο Γράφημα G = (V,E) –V = {1, 2, 3, 4, 5, 6} –E={(1,2), (2,1), (4,2), (4,5), (3,4), (3,1), (5,6), (6,4), (6,1)} Στα κατευθυνόμενα γραφήματα η σειρά με την οποία αναφέρονται οι κόμβοι έχει σημασία. Η ακμή (6,1) υπονοεί την ύπαρξη ακμής από την κορυφή 6 προς την κορυφή

1212 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Διαδρομές και Κύκλοι Μονοπάτι ή διαδρομή (path) ενός γραφήματος είναι μια ακολουθία κόμβων v 0, v 1, …, v n, όπου για κάθε i, 0  i < n,(v i, v i+1 ) είναι ακμή του γραφήματος Μια διαδρομή ενός γραφήματος ονομάζεται απλή (simple) αν όλες οι κορυφές της είναι διαφορετικές μεταξύ τους, εκτός από την πρώτη και την τελευταία οι οποίες μπορούν να είναι οι ίδιες. Κύκλος (cycle) ονομάζεται μια διαδρομή με μήκος>1 που ικανοποιεί v 0 = v n Μονοπάτι Κύκλος

1313 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Κύκλος Κύκλος εάν ο πρώτος και ο τελευταίος κόμβος μια διαδρομής ταυτίζονται Απλός κύκλος είναι κάθε κύκλος που περιέχει τρείς τουλάχιστον κόμβους, από τους οποίος ταυτίζονται μόνο ο πρώτος και ο τελευταίος απλός κύκλος

1414 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Συνεκτικότητα Ένα μη κατευθυνόμενο γράφημα λέγεται συνεκτικό (connected) αν για κάθε ζευγάρι κορυφών υπάρχει διαδρομή που τις συνδέει Ένα κατευθυνόμενο γράφημα που ικανοποιεί την ίδια ιδιότητα ονομάζεται ισχυρά συνεκτικό (strongly connected) Έστω ένα κατευθυνόμενο γράφημα που δεν είναι ισχυρά συνεκτικό. Αν το μη-κατευθυνόμενο γράφημα στο οποίο αντιστοιχεί είναι συνεκτικό, τότε το γράφημα ονομάζεται ελαφρά συνεκτικό (weakly connected)

1515 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Δέντρα Δέντρο: Γράφημα χωρίς κύκλους Ρίζα και φύλλα

1616 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Κατευθυνόμενα Γραφήματα & Σχέσεις Τα κατευθυνόμενα γραφήματα μπορούν να χρησιμοποιηθούν για την αναπαράσταση διμελών σχέσεων: –Μία σχέση αναπαρίσταται από τον γράφο G = (D, E) όπου Παράδειγμα –Α = { 1, 2, 3, 4} –R : > «μεγαλύτερο από»

1717 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Λέξεις και Γλώσσες (1/4) Αλφάβητο Σ: Ένα μη κενό πεπερασμένο σύνολο συμβόλων Παράδειγμα: – Σ 1 = {0,1} - δυαδικό αλφάβητο – Σ 2 = {α,β,γ,…,χ,ψ,ω} – ελληνικό αλφάβητο Λέξη επί ενός αλφαβήτου: Οποιαδήποτε πεπερασμένη ακολουθία συμβόλων του αλφαβήτου Παραδείγματα λέξεων: – πάνω στο Σ1 – καλημέρα πάνω στο Σ2 Γλώσσα: Οποιοδήποτε σύνολο λέξεων

1818 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Λέξεις και Γλώσσες (2/4) Μήκος λέξης: Πλήθος των συμβόλων που περιέχει |w| Κενή λέξη: Λέξη μηδενικού μήκους, ε Μια λέξη w μήκους n μπορεί και να γραφτεί ως: w = w 1 w 2 … w n H ανάστροφη της λέξης w = w 1 w 2 … w n συμβολίζεται ως w ℛ και είναι η λέξη που προκύπτει αν γράψουμε τα σύμβολα της w σε αντίστροφη σειρά. Δηλαδή, w ℛ = w n w n-1 … w 1

1919 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Λέξεις και Γλώσσες (3/4) Η z είναι υπολέξη της λέξης w αν και μόνο αν εμφανίζεται αυτούσια μέσα στην w – Οι λέξεις καλ, λη και μερα είναι υπολέξεις της λέξης καλημερα Αν x = x 1 x 2 …x m και y = y 1 y 2 …y n, η συναρμογή των λέξεων x και y συμβολίζεται ως xy και είναι η λέξη που προκύπτει αν συνάψουμε τη λέξη y στη λέξη x: xy = x 1 x 2 …x m y 1 y 2..y n

2020 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Λέξεις και Γλώσσες (4/4) Για μια λέξη w γράφουμε w k για τη συναρμογή της λέξης w για k συνεχόμενες φορές. Λεξικογραφική διάταξη λέξεων είναι η συνήθης διάταξη που παρατηρείται στα λεξικά με τη διαφορά ότι οι βραχύτερες λέξεις προηγούνται των μακρύτερων – Λεξικογραφική διάταξη όλων των λέξεων επί του αλφαβήτου {0,1} {0, 1, 00, 01, 10, 11, 000, 001, 010, 011, 100, 101, 110, 111, …}

2121 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Αποδείξεις Ορολογία – Ορισμός: περιγράφει με ακρίβεια αντικείμενα και έννοιες – Μαθηματικές Προτάσεις: δηλώσεις για τα αντικείμενα υπό μελέτη – Απόδειξη: ακολουθία επιχειρημάτων υπέρ της ισχύος μιας πρότασης – Θεώρημα: μια μαθηματική πρόταση που έχει αποδειχθεί αληθής – Λήμμα: βοηθητικές προτάσεις που έχουν αποδειχθεί αληθείς – Πόρισμα: προτάσεις που έπονται από θεωρήματα {0, 1, 00, 01, 10, 11, 000, 001, 010, 011, 100, 101, 110, 111, …}

2 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Είδη Αποδείξεων Με κατασκευή (κατασκευαστικές) Με απαγωγή σε άτοπο (αντίφαση) Με επαγωγή

2323 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Απόδειξη με Κατασκευή Εφαρμόζεται όταν η πρότασή μας ισχυρίζεται την ύπαρξη αντικειμένων κάποιου συγκεκριμένου τύπου – Περιγράφουμε πως μπορεί να κατασκευαστεί το αντικείμενο Παράδειγμα Θεώρημα: Για κάθε άρτιο αριθμό n μεγαλύτερο από 2, υπάρχει 3-κανονικό (κάθε κόμβος έχει βαθμό 3) γράφημα με n κόμβους Απόδειξη:

2424 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Απαγωγή σε Άτοπο (Αντίφαση) Υποθέτουμε ότι η μαθηματική πρόταση δεν ισχύει και στη συνέχεια δείχνουμε ότι η υπόθεση μας οδηγεί σε εσφαλμένο συμπέρασμα, άτοπο Παράδειγμα Θεώρημα: Ο αριθμός 2 είναι άρρητος Απόδειξη:

2525 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Επαγωγή (1/2) Στόχος Να αποδειχτεί ότι η (μαθηματική) πρόταση Π(n) ισχύει για κάθε n  0 Μέθοδος 1. Βασική/Εναρκτήρια Περίπτωση: Επαληθεύουμε πως η Π ισχύει για n = 0, 2. Επαγωγική Υπόθεση: Υποθέτουμε πως η Π ισχύει για n = k και 3. Επαγωγικό Βήμα: Αποδεικνύουμε πως η Π ισχύει για n = k+1

2626 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Επαγωγή (2/2) Παραλλαγές Αντί του 0, σε ορισμένες περιπτώσεις ενδιαφερόμαστε για n  a, όπου το a είναι κάποιος ακέραιος Στο δεύτερο βήμα: Υποθέτουμε πως η Π ισχύει για n  k και αποδεικνύουμε πως η Π ισχύει για n = k+1

2727 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Παράδειγμα

2828 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Βιβλιογραφία H.R. Lewis, Χ. Παπαδημητρίου, "Στοιχεία θεωρίας υπολογισμού", 1η έκδοση/2005, Εκδόσεις Κριτική, ISBN: Κωδικός Βιβλίου στον Εύδοξο: M. Sipser, "Εισαγωγή στη Θεωρία Υπολογισμού", 1η έκδοση/2009, Εκδόσεις ΙΤΕ-Πανεπιστημιακές Εκδόσεις Κρήτης, ISBN: Κωδικός Βιβλίου στον Εύδοξο: 257 Επιπλέον συνιστώμενη βιβλιογραφία E. Rich, "Automata, Computability and Complexity: Theory and Applications", 1st edition/2007, Prentice Hall, ISBN: J. E. Hopcroft, R. Motwani, J. D. Ullman, "Introduction to Automata Theory, Languages, and Computation", 3rd edition/2006, Prentice Hall, ISBN: J. Hopcroft, R. Motwani, J. Ullman, Intoduction to Automata Theory, Languages and Computation, 2nd ed., Pearson - Addison Wesley, 2003 M. Sipser, Εισαγωγή στη Θεωρία Υπολογισμού, Πανεπιστημιακές Εκδόσεις Κρήτης, 2007

2929 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου ΔΙΑΤΑΡΑΧΕΣ ΦΩΝΗΣ, Ενότητα 0, ΤΜΗΜΑ ΛΟΓΟΘΕΡΑΠΕΙΑΣ, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου 29 Σημείωμα Αναφοράς Copyright Τεχνολογικό Ίδρυμα Ηπείρου. Αλέξανδρος Τζάλλας. Θεωρία Υπολογισμού. Έκδοση: 1.0 Άρτα, Διαθέσιμο από τη δικτυακή διεύθυνση:

3030 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Σημείωμα Αδειοδότησης Το παρόν υλικό διατίθεται με τους όρους της άδειας χρήσης Creative Commons Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 4.0 Διεθνές [1] ή μεταγενέστερη. Εξαιρούνται τα αυτοτελή έργα τρίτων π.χ. φωτογραφίες, Διαγράμματα κ.λ.π., τα οποία εμπεριέχονται σε αυτό και τα οποία αναφέρονται μαζί με τους όρους χρήσης τους στο «Σημείωμα Χρήσης Έργων Τρίτων». [1] Ο δικαιούχος μπορεί να παρέχει στον αδειοδόχο ξεχωριστή άδεια να χρησιμοποιεί το έργο για εμπορική χρήση, εφόσον αυτό του ζητηθεί.

3131 Θεωρία Υπολογισμού – Γραφήματα & Αποδείξεις, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ ΗΠΕΙΡΟΥ - Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Τέλος Ενότητας Επεξεργασία: Ευάγγελος Καρβούνης Άρτα, 2015

3232 Τέλος Ενότητας Γραφήματα & Αποδείξεις