Κυριάκος Τσουρέκας έγραψε: Σάβ Αύγ 06, 2022 6:43 pm
Δίνεται επίσης ότι τα

και

είναι διαφορετικού χρώνατος, για κάθε

στο

.
Θεωρώ ότι οι δείκτες είναι modulo n.
Ισχυρίζομαι ότι ο χρωματισμός είναι δυνατός αν και μόνο αν το

είναι πολλαπλάσιο του

:
Αν

περιττός και

μπλε, τότε επαγωγικά

είναι μπλε αν

περιττός και κόκκινο αν

άρτιος. Αυτό όμως είναι άτοπο αφού θα είχαμε

κόκκινο.
Αν

περιττός και

μπλε, τότε επαγωγικά

είναι μπλε αν

περιττός και κόκκινο αν

άρτιος. Αυτό όμως είναι άτοπο αφού θα είχαμε

κόκκινο.
Αν

τότε επιλέγω αυθαίρετα το χρώμα των

. Κάθε τμήμα μπορώ να το γράψω στη μορφή

με

. Το τμήμα θα έχει το ίδιο χρώμα με την

αν

περιττός και διαφορετικό αν

είναι άρτιος. Είναι άμεσο ότι αυτό είναι συμβατό με τις συνθήκες. (Διότι η γραφή σε αυτή τη μορφή είναι μοναδική εκτός και αν

. Όμως τα

έχουν το ίδιο χρώμα όπως θα έπρεπε.)
Αυτό κλείνει το (α). Μάλιστα έχουμε βρει όλους τους τρόπους που μπορεί να γίνει ο χρωματισμός στην περίπτωση όπου αυτό είναι δυνατό.
Για το (β) αρκεί να δείξουμε πως μπορούμε να πάμε από το 1 στο

σε τρία το πολύ βήματα.
Περίπτωση 1: 
. Αν

κόκκινο τότε είμαστε εντάξει. Ας υποθέσουμε λοιπόν ότι

μπλε. Τότε τα

και

είναι αναγκαστικά κόκκινα.
Αν

κόκκινο τότε και το

είναι κόκκινο και μπορούμε να κάνουμε τα κόκκινα βήματα

.
Σε διαφορετική περίπτωση είναι

κόκκινο. Τότε και το

είναι κόκκινο και μπορούμε να κάνουμε τα κόκκινα βήματα

.
Περίπτωση 2: 
. Αν

κόκκινο τότε είμαστε εντάξει. Ας υποθέσουμε λοιπόν ότι

μπλε. Τότε τα

και

είναι αναγκαστικά κόκκινα. Αν

κόκκινο τότε τελειώσαμε με τα κόκκινα βήματα

. Σε διαφορετική περίπτωση το

είναι κόκκινο και τελειώσαμε με τα κόκκινα βήματα

.