1) Επίπεδο Γράφημα
1.1) Ορισμοί Επίπεδων Γραφημάτων
1.2) Το άθροισμα των Βαθμών των όψεων ≤ 2m
1.3) Ο τύπος του Euler
2) Το θεώρημα Kuratowski
2.1) Το Κ5 δεν είναι επίπεδο
2.2) Το Κ3,3 δεν είναι επίπεδο
2.3) Ομοιομορφικά Γραφήματα
2.4) Το θεώρημα του Kuratowski
3) Δύο ακόμη Θεωρήματα
Ασκήσεις
1) Επίπεδο Γράφημα
1.1) Ορισμοί Επίπεδων Γραφημάτων
1.2) Το άθροισμα των Βαθμών των όψεων ≤ 2m
1.3) Ο τύπος του Euler
2) Το θεώρημα Kuratowski
2.1) Το Κ5 δεν είναι επίπεδο
2.2) Το Κ3,3 δεν είναι επίπεδο
2.3) Ομοιομορφικά Γραφήματα
2.4) Το θεώρημα του Kuratowski
3) Δύο ακόμη Θεωρήματα
Ασκήσεις
1) Ορισμός Αλήθειας Tarski
1.1) Ο κανόνας της ισότητας
1.2) Ο κανόνας του κατηγορηματικού συμβόλου
1.3) Ο κανόνας του μονοθέσιου συνδέσμου ¬
1.4) Ο κανόνας του διθέσιου συνδέσμου ∧
1.5) Ο κανόνας του διθέσιου συνδέσμου ∨
1.6) Ο κανόνας του διθέσιου συνδέσμου →
1.7) Ο κανόνας του διθέσιου συνδέσμου ↔
1.8) Ο κανόνας του ποσοδείκτη ∀
1.9) Ο κανόνας του ποσοδείκτη ∃
2) Εύρεση Αλήθειας Τύπου
2.1) Μεθοδολογία
2.2) Παραδείγματα
3) Ικανοποιήσιμος Τύπος
3.1) Ορισμός
3.2) Παραδείγματα
4) Ικανοποιήσιμο Σύνολο Τύπων
4.1) Ορισμός
4.2) Παραδείγματα
5) Έγκυρος ή Λογικά Αληθής Τύπος
5.1) Ορισμός
5.2) Παραδείγματα
6) Λογική Συνεπαγωγή
6.1) Ορισμός
6.2) Παραδείγματα
Ασκήσεις
Ένα ακόμη εξαιρετικό διαγώνισμα από τον συνάδελφο Γιώργο Μιχαηλίδη, διατυπωμένο και μορφοποιημένο ακριβώς στην μορφή των θεμάτων των πανελληνίων εξετάσεων. Περιλαμβάνονται απαντήσεις και υποδείξεις.
1) Ορισμός Αλήθειας Tarski
1.1) Ο κανόνας της ισότητας
1.2) Ο κανόνας του κατηγορηματικού συμβόλου
1.3) Ο κανόνας του μονοθέσιου συνδέσμου ¬
1.4) Ο κανόνας του διθέσιου συνδέσμου ∧
1.5) Ο κανόνας του διθέσιου συνδέσμου ∨
1.6) Ο κανόνας του διθέσιου συνδέσμου →
1.7) Ο κανόνας του διθέσιου συνδέσμου ↔
1.8) Ο κανόνας του ποσοδείκτη ∀
1.9) Ο κανόνας του ποσοδείκτη ∃
2) Εύρεση Αλήθειας Τύπου
2.1) Μεθοδολογία
2.2) Παραδείγματα
3) Ικανοποιήσιμος Τύπος
3.1) Ορισμός
3.2) Παραδείγματα
4) Ικανοποιήσιμο Σύνολο Τύπων
4.1) Ορισμός
4.2) Παραδείγματα
5) Έγκυρος ή Λογικά Αληθής Τύπος
5.1) Ορισμός
5.2) Παραδείγματα
6) Λογική Συνεπαγωγή
6.1) Ορισμός
6.2) Παραδείγματα
Ασκήσεις
Ένα ακόμη εξαιρετικό διαγώνισμα από τον συνάδελφο Γιώργο Μιχαηλίδη, διατυπωμένο και μορφοποιημένο ακριβώς στην μορφή των θεμάτων των πανελληνίων εξετάσεων. Περιλαμβάνονται απαντήσεις και υποδείξεις.
1) Ορισμός Συνδετικού Δένδρου
1.1) Διάσχιση Πρώτα Κατά Πλάτος
1.2) Διάσχιση Πρώτα Κατά Βάθος
2) Ελάχιστο Συνδετικό Δένδρο
2.1) Ορισμός Ελάχιστου Συνδετικού Δένδρου
2.2) Ο αλγόριθμος του Prim
3) Σύνοψη για τους Αλγόριθμους
3.1) Συντομότερα Μονοπάτια
3.2) Συνδετικό Δένδρο
3.3) Ελάχιστο Συνδετικό Δένδρο
ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ (4δ)Dimitris Psounis
ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ
Α. Θεωρία
1.Διαχείριση Μνήμης
1.1.Στατική Δέσμευση Μνήμης
1.2.Στατική Δέσμευση Μνήμης για Συνήθεις Μεταβλητές
1.3.Στατική Δέσμευση Μνήμης για Αντικείμενα
2.Δυναμική Δέσμευση Μνήμης
2.1.Δείκτες (Υπενθύμιση από C)
2.2.Οι τελεστές new και delete
2.3.Δυναμική Δέσμευση για Συνήθεις Μεταβλητές
2.4.Δυναμική Δέσμευση για Αντικείμενα
2.5.Δυναμική Δέσμευση και Κατασκευαστές
3.Κλάσεις που περιέχουν δείκτες
3.1.Παράδειγμα κλάσης που περιέχει δείκτες
3.2.…και ένα πρόβλημα (χωρίς λύση για την ώρα)
4..Δυναμική Δέσμευση Μνήμης για Πίνακες
4.1.Μονοδιάστατοι πίνακες
4.2.Παράδειγμα δέσμευσης μνήμης για μονοδιάστατους πίνακες
4.3.Διδιάστατοι πίνακες
4.4.Παράδειγμα δέσμευσης μνήμης για διδιάστατους πίνακες
B. Ασκήσεις
ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ
Α. Θεωρία
1.Διαχείριση Μνήμης
1.1.Στατική Δέσμευση Μνήμης
1.2.Στατική Δέσμευση Μνήμης για Συνήθεις Μεταβλητές
1.3.Στατική Δέσμευση Μνήμης για Αντικείμενα
2.Δυναμική Δέσμευση Μνήμης
2.1.Δείκτες (Υπενθύμιση από C)
2.2.Οι τελεστές new και delete
2.3.Δυναμική Δέσμευση για Συνήθεις Μεταβλητές
2.4.Δυναμική Δέσμευση για Αντικείμενα
2.5.Δυναμική Δέσμευση και Κατασκευαστές
3.Κλάσεις που περιέχουν δείκτες
3.1.Παράδειγμα κλάσης που περιέχει δείκτες
3.2.…και ένα πρόβλημα (χωρίς λύση για την ώρα)
4..Δυναμική Δέσμευση Μνήμης για Πίνακες
4.1.Μονοδιάστατοι πίνακες
4.2.Παράδειγμα δέσμευσης μνήμης για μονοδιάστατους πίνακες
4.3.Διδιάστατοι πίνακες
4.4.Παράδειγμα δέσμευσης μνήμης για διδιάστατους πίνακες
B. Ασκήσεις
Α. Θεωρία
1. Κλάσεις
1.1 Γενικά
1.2 Ορισμός Κλάσης
1.3 Δημόσια (public) στοιχεία της κλάσης
1.4 Ιδιωτικά (private) στοιχεία της κλάσης
1.5 Παράδειγμα (προδιαγραφές)
2 Περισσότερα για τις κλάσεις
2.1 Ορισμός Συναρτήσεων έξω από την Κλάση
2.2 Παρουσίαση Ιδιωτικών – Δημόσιων Μέλων μιας κλάσης
2.3 Χωρισμός σε Αρχεία
3. Ειδικές Μεθόδοι Κλάσεων
3.1 Γενικά
3.2 Κατασκευαστής (constructor)
3.3 Καταστροφέας (destructor)
3.4 Ελεγκτές Πρόσβασης (accessors)
B. Ασκήσεις
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ (4 διαφ)Dimitris Psounis
Α. Θεωρία
1. Κλάσεις
1.1 Γενικά
1.2 Ορισμός Κλάσης
1.3 Δημόσια (public) στοιχεία της κλάσης
1.4 Ιδιωτικά (private) στοιχεία της κλάσης
1.5 Παράδειγμα (προδιαγραφές)
2 Περισσότερα για τις κλάσεις
2.1 Ορισμός Συναρτήσεων έξω από την Κλάση
2.2 Παρουσίαση Ιδιωτικών – Δημόσιων Μέλων μιας κλάσης
2.3 Χωρισμός σε Αρχεία
3. Ειδικές Μεθόδοι Κλάσεων
3.1 Γενικά
3.2 Κατασκευαστής (constructor)
3.3 Καταστροφέας (destructor)
3.4 Ελεγκτές Πρόσβασης (accessors)
B. Ασκήσεις
ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ
Α. Θεωρία
1. Η Γλώσσα C++
1.1. Γενικά
1.2. Ιστορία – Εκδόσεις
1.3. Η αναγκαιότητα της C
1.4. Μεταγλωττιστές
2. Hello World!
2.1. Πηγαίος Κώδικας
2.2. Σχόλια
2.3. Βιβλιοθήκη iostream
2.4. main, block κώδικα, return
2.5 Είσοδος/Έξοδος
2.5.1. Έξοδος με την cout
2.5.2. Οδηγία using
2.5.3. Περισσότερα για την cout
2.5.4. Είσοδος με την cin
3. Στοιχεία της C
3.1. Μεταβλητές
3.2. Σταθερές
3.3. Τελεστές και η Δομή Ελέγχου
3.4. Δομές Επανάληψης
3.5. Συναρτήσεις
3.5.1. Πολυμορφισμός Συναρτήσεων
3.6. Πίνακες
3.7. Συμβολοσειρές
3.8. Δείκτες
B.Ασκήσεις
Εφαρμογή 1
Εφαρμογή 2
Εφαρμογή 3
C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C (4sl/p)Dimitris Psounis
ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ
Α. Θεωρία
1. Η Γλώσσα C++
1.1. Γενικά
1.2. Ιστορία – Εκδόσεις
1.3. Η αναγκαιότητα της C
1.4. Μεταγλωττιστές
2. Hello World!
2.1. Πηγαίος Κώδικας
2.2. Σχόλια
2.3. Βιβλιοθήκη iostream
2.4. main, block κώδικα, return
2.5 Είσοδος/Έξοδος
2.5.1. Έξοδος με την cout
2.5.2. Οδηγία using
2.5.3. Περισσότερα για την cout
2.5.4. Είσοδος με την cin
3. Στοιχεία της C
3.1. Μεταβλητές
3.2. Σταθερές
3.3. Τελεστές και η Δομή Ελέγχου
3.4. Δομές Επανάληψης
3.5. Συναρτήσεις
3.5.1. Πολυμορφισμός Συναρτήσεων
3.6. Πίνακες
3.7. Συμβολοσειρές
3.8. Δείκτες
B.Ασκήσεις
Εφαρμογή 1
Εφαρμογή 2
Εφαρμογή 3
1. ΘΕΩΡΙΑ ΓΡΑΦΩΝΔΙΧΟΤΟΜΙΣΙΜΟ (ΔΙΜΕΡΕΣ) ΓΡΑΦΗΜΑ
Ορισμός 1: Ένα μη κατευθυνόμενο γράφημα G V, E είναι διχοτομίσιμο (ή διμερές) όταν οι κορυφές του
μπορούν να διαμεριστούν (χωριστούν) σε δύο ξένα μεταξύ τους σύνολα V και V (δηλαδή V ∪ V V και
V ∩ V ∅), έτσι ώστε κάθε ακμή να έχει το ένα της άκρο σε κορυφή του V και το άλλο της άκρο της V .
Ορισμός 2: Ένα γράφημα καλείται διχοτομίσιμο αν και μόνο αν οι κορυφές του διαμερίζονται σε δύο σύνολα
ανεξαρτησίας.
Ορισμός 3: Ένα γράφημα είναι διχοτομίσιμο αν και μόνο αν δεν περιέχει κύκλους περιττού μήκους
Παράδειγµα: Ο G είναι διχοτομίσιμος με την διαμέριση: V , , και V , , . Ο G δεν είναι
διχοτομίσιμος
Παρατηρήσεις:
• Τα σύνολα V , V καλούνται μερίδια κορυφών
• Το διμερές γράφημα συμβολίζεται και G V , V , E
2. ΘΕΩΡΙΑ ΓΡΑΦΩΝΠΛΗΡΕΣ ΔΙΧΟΤΟΜΙΣΙΜΟ (ΠΛΗΡΕΣ ΔΙΜΕΡΕΣ) ΓΡΑΦΗΜΑ
Ορισμός: Ένα μη κατευθυνόμενο γράφημα , είναι πλήρες διχοτομίσιμο (ή
πλήρες διμερές) αν είναι διχοτομίσιμο και περιέχει όλες τις δυνατές ακμές που
μπορούν να συνδέουν τις κορυφές του V με τις κορυφές του V
Παράδειγµα: Ο G1 είναι το Κ3,3. Ο G2 είναι το K2,4
Παρατηρήσεις:
• Συμβολίζεται με , όπου m |V |, n |V | και
• Ισχύει ότι:
• Έχει κορυφές
• Έχει ∙ ακμές
3. ΘΕΩΡΙΑ ΓΡΑΦΩΝΣΥΝΟΛΟ ΑΝΕΞΑΡΤΗΣΙΑΣ
Ορισμός: Σύνολο Ανεξαρτησίας ενός γραφήματος είναι ένα υποσύνολο των κορυφών του γραφήματος που δεν
συνδέονται με ακμή
Τυπικά:
• Το σύνολο V′ ⊆ είναι ένα σύνολο ανεξαρτησίας του γραφήματος G !V, Ε# αν και μόνο αν για κάθε
ζεύγος $, % ∈ V′ με $ ' % ισχύει ότι ( $, %) ∉ Ε′
Ορισμός: Ένα σύνολο ανεξαρτησίας που δεν μπορεί να επαυξηθεί περαιτέρω (προσθέτοντας του ακόμη μία
κορυφή) λέγεται μεγιστοτικό σύνολο ανεξαρτησίας.
Ορισμός: Το μεγαλύτερο (σε πληθάριθμο) μεγιστοτικό σύνολο ανεξαρτησίας καλείται μέγιστο σύνολο
ανεξαρτησίας.
Παράδειγµα:
Μεγιστοτικό και Μέγιστο
Μεγιστοτικό και ΌΧΙ Μέγιστο ΌΧΙ Μεγιστοτικό και ΌΧΙ Μέγιστο
Μεγιστοτικό και ΌΧΙ Μέγιστο
ΌΧΙ Μεγιστοτικό και ΌΧΙ Μέγιστο
4. ΘΕΩΡΙΑ ΓΡΑΦΩΝk-ΧΡΩΜΑΤΙΣΙΜΟΣ ΓΡΑΦΟΣ
Ορισμός: Ένα γράφημα , είναι k-χρωματίσιμο αν οι κορυφές του μπορούν να χρωματιστούν με k
χρώματα ώστε δύο γειτονικές κορυφές να μην έχουν το ίδιο χρώμα.
• Ή ισοδύναμα αν μπορούμε να διαμερίσουμε τις κορυφές σε k σύνολα ανεξαρτησίας (με κάθε σύνολο να
χρωματίζεται με ένα χρώμα)
• Ένα k-χρωματίσιμο γράφημα θα λέγεται και k-μερές (σε αναλογία το 2-χρωματίσιμο γράφημα έχει 2
σύνολα ανεξαρτησίας, καλείται διμερές)
Παράδειγµα:
Σημαντικό:
• Ένας έγκυρος χρωματισμός δεν απαιτεί τον χρωματισμό των κορυφών με το ελάχιστο δυνατό πλήθος χρωματών.
• Έτσι αν ένα γράφημα είναι π.χ. 2-χρωματίσιμο, τότε θα είναι και 3-χρωματίσιμο, … και n-χρωματίσιμο
Παράδειγµα:
5. ΘΕΩΡΙΑ ΓΡΑΦΩΝΧΡΩΜΑΤΙΚΟΣ ΑΡΙΘΜΟΣ
Ορισμός: Χρωματικός Αριθμός ενός γραφήματος ! , # καλείται το ελάχιστο k, για
το οποίο ο γράφος είναι k-χρωματίσιμος.
• Συμβολίζεται με +
Παράδειγµα:
Το πρόβλημα της εύρεσης του χρωματικού αριθμού ενός γραφήματος είναι υπολογιστικά δύσκολο
πρόβλημα (δεν υπάρχει αποδοτικός τρόπος για να βρίσκουμε γρήγορα τον χρωματικό αριθμό ενός
γραφήματος – το πρόβλημα είναι NP-Complete).