ΕΛΛΗΝΙΚΟ ΑΝΟΙKΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

Έντυπο Yποβολής – Αξιολόγησης Γραπτής Εργασίας

4η Εργασία ΠΛΗ20 2021 – 2022 (ΘΕΩΡΙΑ ΓΡΑΦΗΜΑΤΩΝ Ι)
O φοιτητής συμπληρώνει στην ενότητα «ΣΤΟΙΧΕΙΑ ΥΠΟΒΟΛΗΣ ΕΡΓΑΣΙΑΣ» όλα τα απαιτούμενα στοιχεία
(ονοματεπώνυμο φοιτητή, ονοματεπώνυμο Καθηγητή-Συμβούλου, Τμήμα, και Ημερομηνία αποστολής από τον
φοιτητή). Στη συνέχεια, συμπληρώνει στην ενότητα «ΑΠΑΝΤΗΣΕΙΣ ΕΡΩΤΗΜΑΤΩΝ ΕΡΓΑΣΙΑΣ» τις απαντήσεις του
στα ερωτήματα της εργασίας. Τέλος, αποστέλλει στον Καθηγητή-Σύμβουλο το αρχείο των απαντήσεών του
ηλεκτρονικά, εντός της προβλεπόμενης καταληκτικής προθεσμίας για την υποβολή της εργασίας, αναρτώντας
το στην πλατφόρμα ασύγχρονης εκπαίδευσης (study.eap.gr).
Ο Καθηγητής-Σύμβουλος συμπληρώνει την ενότητα «ΑΞΙΟΛΟΓΗΣΗ ΕΡΓΑΣΙΑΣ» και επιστρέφει στον φοιτητή μέσω
της πλατφόρμας το αρχείο απαντήσεών του, μαζί με τα σχόλια επί των απαντήσεών του στα ερωτήματα της ΓΕ,
ενώ διατηρεί το ηλεκτρονικό μήνυμα του Συντονιστή, εάν έχει δοθεί παράταση.
Το όνομα του ηλεκτρονικού αρχείου που αποστέλλει ο φοιτητής θα πρέπει να γράφεται υποχρεωτικά με
λατινικούς χαρακτήρες και να ακολουθεί την κωδικοποίηση του παραδείγματος: Π.χ., το όνομα του αρχείου για
την 4η ΓΕ του φοιτητή Ιωάννη Γεωργίου, με ΑΜ 1234, του τμήματος ΗΛΕ41, θα πρέπει να γραφεί: «PLH20-
HLE41_GE4_IOANNIS-GEORGIOU.docx».

ΣΤΟΙΧΕΙΑ ΥΠΟΒΟΛΗΣ ΕΡΓΑΣΙΑΣ

Ονοματεπώνυμο φοιτητή ΧΡΗΣΤΟΣ ΓΑΚΗΣ

ΕΥΣΤΑΘΙΟΣ
Κωδικός ΘΕ: ΠΛΗ20 Ονοματεπώνυμο Καθηγητή -Σύμβουλου
ΑΝΤΩΝΙΟΥ

Κωδικός Καταληκτική ημερομηνία παραλαβής σύμφωνα με το Τετάρτη,

Τμήματος:
ΗΛΕ42 ακ. ημερολόγιο 13/04/2022
Ακ. Έτος: 2021 – 2022 Ημερομηνία αποστολής ΓΕ από το φοιτητή

Επισυνάπτεται (σε περίπτωση που έχει ζητηθεί) η

A/A ΓΕ: 4η άδεια παράτασης από το Συντονιστή;
ΝΑΙ / ΟΧΙ

Υπεύθυνη Δήλωση Φοιτητή: Βεβαιώνω ότι είμαι συγγραφέας αυτής της εργασίας και ότι κάθε βοήθεια την οποία είχα για την προετοιμασία
της είναι πλήρως αναγνωρισμένη και αναφέρεται στην εργασία. Επίσης έχω αναφέρει τις όποιες πηγές από τις οποίες έκανα χρήση
δεδομένων, ιδεών ή λέξεων, είτε αυτές αναφέρονται ακριβώς είτε παραφρασμένες. Επίσης βεβαιώνω ότι αυτή η εργασία προετοιμάστηκε
από εμένα προσωπικά ειδικά για τη συγκεκριμένη Θεματική Ενότητα.

ΑΞΙΟΛΟΓΗΣΗ ΕΡΓΑΣΙΑΣ
Ημερομηνία παραλαβής ΓΕ από το φοιτητή

Ημερομηνία αποστολής σχολίων στο φοιτητή

Βαθμολογία (αριθμητικά, ολογράφως) 0

Υπογραφή Φοιτητή Υπογραφή ΣΕΠ

ΧΡΗΣΤΟΣ ΓΑΚΗΣ, 4η εργασία, ΠΛΗ 20 ΗΛΕ42 1

 ΕΛΛΗΝΙΚΟ ΑΝΟΙKΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΚΡΙΤΗΡΙΑ ΑΞΙΟΛΟΓΗΣΗΣ

Ερώτημα Μέγιστος βαθμός Βαθμός

1 25
2 25
3 18
4 24
5 8
Συνολικός Βαθμός: 100 0

Γενικά Σχόλια:
<γενικά σχόλια για την εργασία από το Σύμβουλο-Καθηγητή>

ΧΡΗΣΤΟΣ ΓΑΚΗΣ, 4η εργασία, ΠΛΗ 20 ΗΛΕ42 2

 ΕΛΛΗΝΙΚΟ ΑΝΟΙKΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΑΠΑΝΤΗΣΕΙΣ ΕΡΩΤΗΜΑΤΩΝ ΕΡΓΑΣΙΑΣ

Ερώτημα 1.
f e
Α) e

d d

f G1 G2
a
a

b c
b c

α) |𝑉(𝐺 )| = |𝑉(𝐺 )| = 6, |𝐸(𝐺 )| = |𝐸(𝐺 )| = 6

β) Μέγιστη κλίκα για 𝜔(𝐺1): 3 → (𝑎, 𝑏, 𝑐) = 𝜔(𝐺2): 3 → (𝑎, 𝑏, 𝑐)
Μέγιστο σύνολο ανεξαρτησίας 𝛼(𝐺1): 3= 𝛼(𝐺2): 3
f e

d
d

G2
f
G1
a
a

b c
b c

Χρωματικός αριθμός του 𝜒(𝐺1): 3= 𝜒(𝐺2): 3

e f e

d
d

f
a G2
G1 a

b c c
b

γ) Το G1 και το G2 είναι συνδεδεμένα διότι για κάθε ζευγάρι κορυφών υπάρχει μονοπάτι
που τα συνδέει .
δ)Δεν είναι ισομορφικά διότι κορυφή d του γραφήματος G1 έχει βαθμό ακμών 2 ενώ του G2
έχει βαθμό ακμών 3.

ΧΡΗΣΤΟΣ ΓΑΚΗΣ, 4η εργασία, ΠΛΗ 20 ΗΛΕ42 3

 ΕΛΛΗΝΙΚΟ ΑΝΟΙKΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

Β)
1) Έστω ένα γράφημα όπου οι κορυφές αναπαριστούν τους ανθρώπους και οι ακμές αναμεσά
τους δείχνουν τις κακές σχέσεις.
Σε κάθε τραπέζι θα τοποθετηθούν τα άτομα ίδιου χρωματισμού. Συνεπώς το κ είναι ο
χρωματικός αριθμός του γραφήματος και το λ το πλήθος των κορυφών που θα ενταχτούν σε
ένα Κλ.

2)
Οι κακές σχέσεις είναι:
(1,2), (1,4), (1,5), (1,7), (2,4), (2,5), (2,10), (3,6), (3,8), (3,9), (4,5), (5,9), (6,7),(6,9), (6,10),(7,8)

1
10
2

9 3

8 4

7 5

Αν θεωρήσουμε 4 τραπέζια, μπορούν να δημιουργηθούν ως εξής:

Με δεδομένου ότι οι 1,2,4,5 δημιουργούν Κ4 και δεν μπορούν να καθίσουν μεταξύ τους,
έχουμε: Κ=4 και λ=4
Ο 1 μπορεί να καθίσει με τους 3,6,8,9,10
Ο 2 μπορεί να καθίσει με τους 3,6,7,8,9
Ο 4 μπορεί να καθίσει με τους 3,6,7,8,9,10
Ο 5 μπορεί να καθίσει με τους 3,6,7,8,10
1Ο Τραπέζι με {1,8,9,10}
2Ο Τραπέζι με {2,7}
3Ο Τραπέζι με {3,5}
4Ο Τραπέζι με {4,6}

ΧΡΗΣΤΟΣ ΓΑΚΗΣ, 4η εργασία, ΠΛΗ 20 ΗΛΕ42 4

 ΕΛΛΗΝΙΚΟ ΑΝΟΙKΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

Γ)
Έστω ένα γράφημα G με χρωματισμό κ χρωμάτων χ(G)=κ , οι κορυφές που βρίσκονται μέσα
στην ίδια χρωματική κλάση δεν ενώνονται με ακμή (κ-μερές).
Θεωρούμε Α1 + Α2 + Α3 +….+Ακ τις χρωματικές κλάσεις.
Αν αφαιρέσουμε έστω την Ακ τότε θα έχουμε 2 υπαγόμενα υπογραφήματα του G.
Ένα υπαγόμενο υπογράφημα Ga με κ -1 κλάσεις και ένα 2o υπαγόμενο υπογράφημα Gb με
την Ακ (1 κλάση).
𝜒(𝐺 ) = 𝑘 − 1
𝜒(𝐺 ) = 1
𝜒(𝐺 ) + 𝜒(𝐺 ) = 𝑘
𝜒(𝐺 ) + 𝜒(𝐺 ) = 𝜒(𝐺)
Αυτό που παρατηρούμε είναι ότι το Ga θα έχει πάντα κ-1 χρωματισμούς οι οποίοι είναι οι
ελάχιστοι που μπορούμε να έχουμε και το Gb θα έχει πάντα 1 χρωματική κλάση και το
άθροισμα των χρωματικών κλάσεων θα είναι πάντα το σύνολο των χρωματικών κλάσεων του
G, 𝜒(𝐺) στη δική μας περίπτωση το κ.

Αξιολόγηση Ερωτήματος : / 25

ΧΡΗΣΤΟΣ ΓΑΚΗΣ, 4η εργασία, ΠΛΗ 20 ΗΛΕ42 5

 ΕΛΛΗΝΙΚΟ ΑΝΟΙKΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

Ερώτημα 2.
1)

Αν παρατηρήσουμε το γράφημα 𝐾 , καταλαβαίνουμε ότι η κίτρινη κορυφή έχει όλες τις

δυνατές ακμές, οποιαδήποτε άλλη ακμή αν προστεθεί στις υπόλοιπές 4 θα είναι ακμή μεταξύ
των τεσσάρων (πράσινων). Αυτόματα παύει να είναι διμερές γράφημα, συνεπώς το γράφημα
𝐾 , είναι μεγιστοτικό διμερές υπογράφημα του 𝐾 .

Επίσης όπως στο 𝐾 , έτσι και εδώ στο 𝐾 , έχουμε μεγιστοτικό διμερές υπογράφημα του 𝐾 .
Έχουμε 2 κορυφές βαθμού 3 (κίτρινες) και 3 κορυφές βαθμού 2 (πράσινες). Στην προσπάθεια
να προσθέσουμε κορυφές, είτε θα είναι μεταξύ των 2 κίτρινων κορυφών είτε μεταξύ των 3
πράσινων (διότι έχουμε εξαντλήσει τις συνδέσεις μεταξύ των διαφορετικών χρωματισμών)
αποτέλεσμα αυτής της προσπάθειας είναι το νέο γράφημα που προκύπτει να μην είναι πλέον
διμερές υπογράφημα του 𝐾 , κατά συνέπεια το γράφημα 𝐾 , είναι μεγιστοτικό διμερές
υπογράφημα του 𝐾 .

2)

Έστω ότι υπάρχει ένα Η μεγιστοτικό διμερές υπογράφημα με διαμέριση κορυφών Α,Β του G
τέτοιο ώστε να μην υπάρχει ακμή μεταξύ των κορυφών του ίδιου δυνόλου Α και Β.
Αν υποθέσουμε ότι υπάρχει ακμή {𝑥, 𝑦} του γραφήματος G με 𝑥 ∈ 𝐴 και 𝑦 ∈ 𝐵 που ΔΕΝ
είναι ακμή του Η.
Αν την προσθέσουμε στο υπογράφημα Θα προκύψει ένα νέο έστω Η΄ υπογράφημα το οποίο
είναι επίσης διμερές (δεν υπάρχει ακμή μεταξύ των κορυφών του ίδιου δυνόλου Α και Β).
Αυτόματα σημαίνει ότι το υπογράφημα Η δεν ήταν μεγιστοτικό άρα ΑΤΟΠΟ.

ΧΡΗΣΤΟΣ ΓΑΚΗΣ, 4η εργασία, ΠΛΗ 20 ΗΛΕ42 6

 ΕΛΛΗΝΙΚΟ ΑΝΟΙKΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

3)
Έστω μια κορυφή Vi με βαθμό <κ σε ένα μεγιστοτικό διμερές Η υπογράφημα του G.
Έστω αν η 𝑉 ∈ 𝐴 τότε βλέπουμε ότι υπάρχουν τουλάχιστον κ+1 κορυφές που δεν είναι
γείτονες της Vi στο Η, αλλά είναι γείτονες στο G, π,χ οι κορυφές 𝑈 , 𝑈 , … , 𝑈 . Αν υποθέταμε
ότι σε μια από τις 𝑈 , 𝑈 , … , 𝑈 έστω η 𝑈 ∈ 𝐵 ότι μπορούσαμε να προσθέσουμε ακμή
{𝑈 , 𝑉 } στο Η και να παραμείνει διμερές υπογράφημα του G, στηνπραγματικότητα δεν θα
μπορούσαμε γιατί το Η είναι μεγιστοτικό, άρα οι 𝑈 , 𝑈 , … , 𝑈 ∈ 𝐵.
Αν διαγράψουμε από το Η όλες τις ακμές που είναι γείτονες της 𝑉 και τις γειτνιάσουμε με τις
𝑈 , 𝑈 , … , 𝑈 προκύπτει γράφημα Η΄που είναι διμερές υπογράφημα του G.
Σε περίπτωση που δεν είναι μεγιστοτικό προσθέτουμε ακμή στην 𝑉 εως ότου γίνει.
Πλέον οι βαθμοί των κορυφών του Η΄ έχει μεγαλώσει οπότε ισχύει |𝐸(𝐻’)| > |𝐸(𝐻)|.

4)
Αν επιλέξουμε ένα οποιοδήποτε μεγιστοτικό διμερές υπογράφημα του G που είναι < 𝑘
μπορούμε επαναληπτικά χρησιμοποιώντας την πρόταση 3) να πάρουμε ένα νέο μεγιστοτικό
διμερές υπογράφημα του G με περισσότερες ακμές.
Αν επαναληπτικά συνεχίσουμε έτσι τελικώς θα έχουμε μεγιστοτικό διμερές υπογράφημα που
όλες οι κορυφές θα έχουν βαθμό ≥ 𝑘.

Αξιολόγηση Ερωτήματος : / 25

ΧΡΗΣΤΟΣ ΓΑΚΗΣ, 4η εργασία, ΠΛΗ 20 ΗΛΕ42 7

 ΕΛΛΗΝΙΚΟ ΑΝΟΙKΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

Ερώτημα 3.
Α)
1) ∃𝑥∃𝑦∃𝑤(𝑥 ≠ 𝑦 ∧ 𝑥 ≠ 𝑤 ∧ 𝑦 ≠ 𝑤 ∧ ¬𝐸(𝑥, 𝑦) ∧ ¬𝐸(𝑥, 𝑤) ∧ ¬𝐸(𝑦, 𝑤)
2) ∃𝑥∃𝑦 𝑥 ≠ 𝑦 ∧ 𝐸(𝑥, 𝑦) ∧ ∀𝑧∀𝑤(𝑧 ≠ 𝑤 ∧ 𝐸(𝑧, 𝑤) → 𝑧 = 𝑥 ∨ 𝑧 = 𝑦 ∨ 𝑤 = 𝑥 ∨ 𝑤 = 𝑦)
3) ∀𝑥∃𝑦∃𝑧 𝐸(𝑥, 𝑦) ∧ 𝐸(𝑥, 𝑧) ∧ 𝑥 ≠ 𝑦 ∧ 𝑥 ≠ 𝑧 ∧ 𝑦 ≠ 𝑧 ∧ ∀𝑤 𝑤 ≠ 𝑥 ∧ 𝑤 ≠ 𝑦 ∧ 𝑤 ≠ 𝑧 →
¬𝐸(𝑤, 𝑥)

B)
1) Υπάρχει γράφημα χωρίς ακμές.
2) Όλες οι κορυφές έχουν βαθμό μηδέν.
3) Όλες οι κορυφές έχουν βαθμό ένα.

Αξιολόγηση Ερωτήματος : /18

ΧΡΗΣΤΟΣ ΓΑΚΗΣ, 4η εργασία, ΠΛΗ 20 ΗΛΕ42 8

 ΕΛΛΗΝΙΚΟ ΑΝΟΙKΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

Ερώτημα 4.
1)

(α) (β)
Έστω κορυφές {a,b,c,d}
Για το (α) έχουμε 2 μεγιστοτικές κλίκες, την K3{a,b,c} και την Κ2{a,b} και 3 μεγιστοτικά
ανεξάρτητα σύνολα: 1ο το a,c, 2ο το a,d και 3ο το b.

Για το (β) έχουμε 3 μεγιστοτικές κλίκες, την K2{a,b} την Κ2{b,c} και την Κ2{c,d} και και 3
μεγιστοτικά ανεξάρτητα σύνολα: 1ο το a,c, 2ο το b,d και 3ο το a,d.

Το γράφημα (α) ικανοποιεί την CS ιδιότητα διότι η πρώτη κλίκα K3{a,b,c} έχει κοινές κορυφές
με το 1ο ανεξάρτητο σύνολο την c, το 2ο ανεξάρτητο σύνολο την d, το 3ο ανεξάρτητο σύνολο
την b. Επίσης η 2η κλίκα Κ2{a,b} έχει κοινές κορυφές με το 1ο ανεξάρτητο σύνολο την a, το 2ο
ανεξάρτητο σύνολο την a, το 3ο ανεξάρτητο σύνολο την b.

Το γράφημα (β) δεν ικανοποιεί την CS ιδιότητα διότι ενώ η πρώτη κλίκα K2{a,b} έχει κοινές
κορυφές με το 1ο ανεξάρτητο σύνολο την a, το 2ο ανεξάρτητο σύνολο την b, το 3ο ανεξάρτητο
σύνολο την a, η 2η κλίκα Κ2{b,c} έχει κοινές κορυφές με το 1ο ανεξάρτητο σύνολο την c, το 2ο
ανεξάρτητο σύνολο την b, αλλά το 3ο ανεξάρτητο σύνολο δεν έχει καμία κοινή κορυφή.

ΧΡΗΣΤΟΣ ΓΑΚΗΣ, 4η εργασία, ΠΛΗ 20 ΗΛΕ42 9

 ΕΛΛΗΝΙΚΟ ΑΝΟΙKΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

2)
Υπάρχουν 6 μη-ισομορφικά επαγόμενα υπογραφήματα με τουλάχιστον 2 κορυφές
επιλεγμένα με μπλέ χρώμα μαζί με τις ακμές τους.

1. 2. 3.

4. 5. 6.

3)
i) Θα δείξω ότι αν 𝒙 ∈ 𝑪 𝝉ό𝝉𝜺 {𝒙, 𝒚} ⊆ 𝑪.

a Δίδυμες κορυφές εννοούμε τις κορυφές που έχουν κοινούς

x «γείτονες». Θεωρούμε C΄ μία μεγιστοτική κλίκα που περιέχει
b
την x δηλαδή {𝑥, 𝑎, 𝑏} ⊆ 𝐶΄ όπως στο σχήμα με τις μπλε ακμές.
y c Λόγω των κοινών «γειτόνων» και λόγω γειτνίασης των κορυφών x,y
(έχουν μεταξύ τους και κοινή ακμή που τις συνδέει όπως στο
d
. παράδειγμα) συνεπάγεται ότι ανήκει και η y στην ίδια μεγιστοτική
k+2 . κλίκα με την x, συνεπώς η 𝐶΄ δεν ήταν μεγιστοτική, ΑΤΟΠΟ.
.
k+1
k

Συνεπώς ισχύει ότι αν 𝑥 ∈ 𝐶 𝜏ό𝜏𝜀 {𝑥, 𝑦} ⊆ 𝐶

Θα δείξω ότι αν {𝒙, 𝒚} ⊆ 𝑪 τότε 𝒙 ∈ 𝑪.
Ισχύει χωρίς απόδειξη ότι αν οι x και y ανήκουν στην ίδια μεγιστοτική κλίκα τότε και η x ανήκει
σε αυτή.

ΧΡΗΣΤΟΣ ΓΑΚΗΣ, 4η εργασία, ΠΛΗ 20 ΗΛΕ42 10

 ΕΛΛΗΝΙΚΟ ΑΝΟΙKΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ii) Θα δείξω ότι αν 𝒙 ∈ 𝑺 τότε (𝑺 ∖ {𝒙}) ∪ {𝒚}

Όπως προηγουμένως εξήγησα τι σημαίνει γειτονικές δίδυμες έτσι και εδώ θέλω να δείξω ότι
αν η x είναι μέρος του 𝑆 τοτε ισχύει ότι (𝑆 ∖ {𝑥}) ∪ {𝑦} το 𝑆 παραμένει μεγιστοτικό
ανεξάρτητο σύνολο αν του αφαιρέσω την x και προσθέσω την y.
Θεωρώ 𝑆΄ ένα μεγιστοτικό ανεξάρτητο σύνολο στο οποίο ισχύει η ιδιότητα (𝑆 ∖ {𝑥}) ∪ {𝑦}
οπου σίγουρα οι γείτονες της x δεν ανήκουν στο 𝑆΄ , άρα λόγω ιδίας γειτονιάς και λόγω
γειτνίασης με την x δεν ανήκει και η y στο ανεξάρτητο σύνολο.
Όπως δείχνω και στο σχήμα στο i) σίγουρα τα ανεξάρτητα σύνολα της 𝑆΄ θα είναι εκείνα που
δεν είναι γείτονες της x και της y δηλαδή η κ+1,κ+2 κλπ. Αν αφαιρέσω την x λόγω ιδιότητας η
y (γειτονική δίδυμη) θα παραμείνει μέγιστο γειτονικό.

Θα δείξω ότι αν (𝑺 ∖ {𝒙}) ∪ {𝒚} τότε 𝒙 ∈ 𝑺

Θεωρώ 𝑆 ένα μεγιστοτικό ανεξάρτητο σύνολο στο οποίο ισχύει η ιδιότητα (𝑆 ∖ {𝑥}) ∪ {𝑦}
Από την προηγούμενη υπόθεση μπορώ να «εναλλάσω» τις κορυφές x και y.
Αυτό σημαίνει ότι (𝑆 ∖ {𝑥}) ∪ {𝑦} = (𝑆 ∖ {𝑥}) ∪ {𝑥}
Αν θεωρήσω ότι το x δεν άνηκε στο 𝑆 τότε ισχύει 𝑆 ∪ {𝑥} που σημαίνει ότι το 𝑆 δεν ήταν
ποτέ μεγιστοτικό ανεξάρτητο σύνολο διότι δεν περιείχε το x , (𝑆 ∖ {𝑥}) ∪ {𝑦} ΑΤΟΠΟ.

Αξιολόγηση Ερωτήματος : / 24

ΧΡΗΣΤΟΣ ΓΑΚΗΣ, 4η εργασία, ΠΛΗ 20 ΗΛΕ42 11

 ΕΛΛΗΝΙΚΟ ΑΝΟΙKΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

Ερώτημα 5.
Α)
1. (Σ/Λ) Για οποιαδήποτε δύο Eulerian γραφήματα 𝐺 , 𝐺 , με 𝑉(𝐺 ) = 𝑉(𝐺 ) = 𝑉 , το
γράφημα με σύνολο κορυφών 𝑉(𝐺) = 𝑉 και σύνολο ακμών 𝐸(𝐺) = 𝐸(𝐺 ) ∩
𝐸(𝐺 ) είναι Eulerian.
ΛΑΘΟΣ διότι αν θεωρήσουμε 2 γραφήματα έστω το C5 και το συμπλήρωμα
του C5, και τα 2 έχουν κύκλο Euler, η τομή τους όμως (5 μεμονωμένες κορυφές
χωρίς ακμές) δεν έχει κυκλο Euler.

2. (Σ/Λ) Για οποιαδήποτε δύο Eulerian γραφήματα 𝐺 , 𝐺 , με 𝑉(𝐺 ) = 𝑉(𝐺 ) = 𝑉 , το

γράφημα με σύνολο κορυφών 𝑉(𝐺) = 𝑉 και σύνολο ακμών 𝐸(𝐺) = 𝐸(𝐺 ) ∪
𝐸(𝐺 ) (κάθε ακμή των 𝐺 , 𝐺 εμφανίζεται στο 𝐺 μία φορά) είναι Eulerian.
ΛΑΘΟΣ όπως είναι γνωστό για να είναι κύκλος Euler ένα γράφημα πρέπει κάθε
κορυφή για όλες τις κορυφές να έχει ζυγό αριθμό ακμών, π.χ. παρατηρούμε
ότι στην ένωση G1,G2 έχουμε κορυφές με 3 ακμές συνεπώς δεν είναι κύκλος
Euler.

G1 G2 𝐺1 ∪ 𝐺2

3. (Σ/Λ) Κάθε Eulerian γράφημα άρτιας τάξης είναι και άρτιου μεγέθους.
ΛΑΘΟΣ μπορούμε να κατασκευάσουμε γράφημα με άρτιο πλήθος κορυφών
και περιττό πλήθος κορυφών, ένα C5 και ένα C4 με κοινή κορυφή.

4. (Σ/Λ) Κάθε Eulerian γράφημα που είναι διμερές έχει άρτιο μέγεθος.
ΣΩΣΤΟ όπως είναι γνωστό για να είναι κύκλος Euler ένα γράφημα πρέπει κάθε
κορυφή για όλες τις κορυφές να έχει ζυγό αριθμό ακμών, που σημαίνει για ένα
διμερές γράφημα ότι πρέπει να έχει και ζυγό αριθμό κορυφών.

ΧΡΗΣΤΟΣ ΓΑΚΗΣ, 4η εργασία, ΠΛΗ 20 ΗΛΕ42 12

 ΕΛΛΗΝΙΚΟ ΑΝΟΙKΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

Β)
1. (Σ/Λ) Σε κάθε γράφημα που δεν είναι 3-κανονικό και έχει μέγιστο βαθμό 3, μπορούμε
να προσθέσουμε ακμές για να γίνει 3-κανονικό.
ΛΑΘΟΣ έστω το παρακάτω γράφημα με 5 κορυφές εκ των οποίων οι 3 έχουν
βαθμό 3 και η μία έχει βαθμό 2, δεν μπορούμε να προσθέσουμε ακμή από την
κορυφή βαθμού 2 σε οποιαδήποτε άλλη κορυφή, θα αλλάξουν οι βαθμοί των
υπολοίπων κορυφών.

2. (Σ/Λ) Αν ένα γράφημα έχει 14 ακμές και κάθε κορυφή έχει περιττό βαθμό διαφορετικό
της μονάδας, τότε το γράφημα έχει το πολύ 8 κορυφές.
ΣΩΣΤΟ ένα γράφημα με περιττό βαθμό κορυφών δεν μπορεί να έχει περιττό
πλήθος κορυφών συνεπώς πλήθος κορυφών = άρτιος.
Για τη συγκεκριμένη περίπτωση έχουμε περιττό βαθμό διαφορετικό της
μονάδας δλδ. 𝑑(𝑛) ≥ 3 άρα συνολικά ∑ 𝑑(𝑛 ) ≥ 3𝑛
Από το λήμμα της χειραψίας έχουμε 2𝑚 = ∑ 𝑑(𝑛 )
Τελικώς έχουμε 2𝑚 ≥ 3𝑛 → 28 ≥ 3𝑛 → ≥ 𝑛 → 𝑛 ≤ 9,33
Οι κορυφές δεν μπορούν να είναι περιττές συνεπώς σωστό.

3. (Σ/Λ) Κάθε διμερές γράφημα έχει την CS-ιδιότητα που αναφέρεται στο Ερώτημα 4.
ΛΑΘΟΣ στο ερώτημα 4 υποερώτημα 1 τελευταία παράγραφο αναφέρουμε
για το σχήμα β) ότι δεν έχει την CS-ιδιότητα παρότι είναι διμερές γράφημα.

4. (Σ/Λ) Για μια κλίκα 𝐶 και ένα ανεξάρτητο σύνολο 𝑆 (όχι απαραίτητα μεγιστοτικά),
ισχύει |𝐶 ∩ 𝑆| ≤ 1.
ΣΩΣΤΟ αν ίσχυε |𝐶 ∩ 𝑆| > 1 τότε στο σύνολο 𝐶 θα υπήρχαν κορυφές που
ενώνονται με ακμές ενώ στο σύνολο 𝑆 θα υπήρχαν κορυφές που δεν
ενώνονται με ακμές, ΑΤΟΠΟ.

Αξιολόγηση Ερωτήματος : /8

ΧΡΗΣΤΟΣ ΓΑΚΗΣ, 4η εργασία, ΠΛΗ 20 ΗΛΕ42 13