🎮 2026 MATH MARATHON - GAME THEORY #1
Game Theory Mastery
Part 1: Nim Games & Basic Strategy - Τα Θεμέλια των Παιχνιδιών
🎮 Καλωσορίσατε στο Game Theory Marathon!
Τα combinatorial games είναι από τα πιο συναρπαστικά κομμάτια των μαθηματικών! Εμφανίζονται σε κάθε Ολυμπιάδα και χρειάζονται ειδική στρατηγική σκέψη.
Σήμερα (Part 1):
✅ Τι είναι Nim Games
✅ Winning vs Losing Positions
✅ Graph Theory Representation
✅ Simple Pairing Strategy
✅ Bachet's Game (Classic!)
✅ 7 αναλυτικά παραδείγματα
✅ Competition framework
Τα combinatorial games είναι από τα πιο συναρπαστικά κομμάτια των μαθηματικών! Εμφανίζονται σε κάθε Ολυμπιάδα και χρειάζονται ειδική στρατηγική σκέψη.
Σήμερα (Part 1):
✅ Τι είναι Nim Games
✅ Winning vs Losing Positions
✅ Graph Theory Representation
✅ Simple Pairing Strategy
✅ Bachet's Game (Classic!)
✅ 7 αναλυτικά παραδείγματα
✅ Competition framework
🤔 Ερώτηση Προβληματισμού:
Γιατί τα game theory problems είναι τόσο δύσκολα; Επειδή δεν αρκεί να βρούμε μία κίνηση - πρέπει να βρούμε μια στρατηγική που κερδίζει σίγουρα ανεξάρτητα από το τι κάνει ο αντίπαλος!
Γιατί τα game theory problems είναι τόσο δύσκολα; Επειδή δεν αρκεί να βρούμε μία κίνηση - πρέπει να βρούμε μια στρατηγική που κερδίζει σίγουρα ανεξάρτητα από το τι κάνει ο αντίπαλος!
🎯 1. Τι είναι Nim Games;
📌 Ορισμός: Nim Game
Ένα Nim Game (ή impartial game) είναι ένα παιχνίδι όπου:
1. Δύο παίκτες: Παίκτες \(A\) και \(B\) που παίζουν εναλλάξ
2. Κανόνες ίδιοι: Οι κανόνες είναι οι ίδιοι και για τους δύο παίκτες (impartial)
3. Τέλος παιχνιδιού: Η ισοπαλία δεν μπορεί να συμβεί. Ένας παίκτης φτάνει σε θέση όπου δεν μπορεί να κάνει νόμιμη κίνηση και χάνει
4. Πεπερασμένες καταστάσεις: Το παιχνίδι τελειώνει σε πεπερασμένο αριθμό κινήσεων
5. Πλήρης πληροφορία: Και οι δύο παίκτες γνωρίζουν την κατάσταση του παιχνιδιού
Ένα Nim Game (ή impartial game) είναι ένα παιχνίδι όπου:
1. Δύο παίκτες: Παίκτες \(A\) και \(B\) που παίζουν εναλλάξ
2. Κανόνες ίδιοι: Οι κανόνες είναι οι ίδιοι και για τους δύο παίκτες (impartial)
3. Τέλος παιχνιδιού: Η ισοπαλία δεν μπορεί να συμβεί. Ένας παίκτης φτάνει σε θέση όπου δεν μπορεί να κάνει νόμιμη κίνηση και χάνει
4. Πεπερασμένες καταστάσεις: Το παιχνίδι τελειώνει σε πεπερασμένο αριθμό κινήσεων
5. Πλήρης πληροφορία: Και οι δύο παίκτες γνωρίζουν την κατάσταση του παιχνιδιού
🎲 Graph Theory Representation
Μπορούμε να σκεφτόμαστε κάθε θέση ως κορυφή γράφου και κάθε κίνηση ως κατευθυνόμενη ακμή.
Κορυφές: Όλες οι δυνατές θέσεις του παιχνιδιού
Ακμές: Νόμιμες κινήσεις από μία θέση σε άλλη
Κύκλοι: Δεν υπάρχουν (το παιχνίδι προχωράει μόνο μπροστά)
Σημαντικό: Το γράφος είναι acyclic (χωρίς κύκλους) - εξασφαλίζει ότι το παιχνίδι τελειώνει!
Μπορούμε να σκεφτόμαστε κάθε θέση ως κορυφή γράφου και κάθε κίνηση ως κατευθυνόμενη ακμή.
Κορυφές: Όλες οι δυνατές θέσεις του παιχνιδιού
Ακμές: Νόμιμες κινήσεις από μία θέση σε άλλη
Κύκλοι: Δεν υπάρχουν (το παιχνίδι προχωράει μόνο μπροστά)
Σημαντικό: Το γράφος είναι acyclic (χωρίς κύκλους) - εξασφαλίζει ότι το παιχνίδι τελειώνει!
🏆 2. Winning vs Losing Positions
📐 Βασικοί Ορισμοί
Έστω \(P\) το σύνολο όλων των θέσεων και \(L, W\) τα υποσύνολα:
Losing Position (L):
Μια θέση ανήκει στο \(L\) αν ο παίκτης που βρίσκεται σε αυτή τη θέση θα χάσει με βέλτιστο παιχνίδι.
Winning Position (W):
Μια θέση ανήκει στο \(W\) αν ο παίκτης που βρίσκεται σε αυτή τη θέση μπορεί να κερδίσει με κατάλληλη στρατηγική.
Ιδιότητες:
• \(P = L \cup W\) (κάθε θέση είναι είτε \(L\) είτε \(W\))
• \(L \cap W = \emptyset\) (μία θέση δεν μπορεί να είναι και τα δύο)
Έστω \(P\) το σύνολο όλων των θέσεων και \(L, W\) τα υποσύνολα:
Losing Position (L):
Μια θέση ανήκει στο \(L\) αν ο παίκτης που βρίσκεται σε αυτή τη θέση θα χάσει με βέλτιστο παιχνίδι.
Winning Position (W):
Μια θέση ανήκει στο \(W\) αν ο παίκτης που βρίσκεται σε αυτή τη θέση μπορεί να κερδίσει με κατάλληλη στρατηγική.
Ιδιότητες:
• \(P = L \cup W\) (κάθε θέση είναι είτε \(L\) είτε \(W\))
• \(L \cap W = \emptyset\) (μία θέση δεν μπορεί να είναι και τα δύο)
📌 Θεώρημα: Χαρακτηρισμός L και W
Μια θέση ανήκει στο \(L\) αν και μόνο αν:
Μια θέση ανήκει στο \(W\) αν και μόνο αν:
💡 Με απλά λόγια:
• Από \(L\) → όλες οι κινήσεις πάνε σε \(W\)
• Από \(W\) → υπάρχει (τουλάχιστον) μία κίνηση που πάει σε \(L\)
Μια θέση ανήκει στο \(L\) αν και μόνο αν:
Κάθε κίνηση από αυτή τη θέση οδηγεί σε θέση στο \(W\).
Μια θέση ανήκει στο \(W\) αν και μόνο αν:
Υπάρχει τουλάχιστον μία κίνηση από αυτή τη θέση που οδηγεί σε θέση στο \(L\).
💡 Με απλά λόγια:
• Από \(L\) → όλες οι κινήσεις πάνε σε \(W\)
• Από \(W\) → υπάρχει (τουλάχιστον) μία κίνηση που πάει σε \(L\)
🎯 Winning Strategy:
Για να κερδίσεις ένα Nim game:
1. Βρες όλες τις Losing positions \(L\)
2. Αν βρίσκεσαι σε Winning position \(W\), κάνε κίνηση που στέλνει τον αντίπαλο σε \(L\)
3. Αν βρίσκεσαι σε Losing position \(L\), με βέλτιστο παιχνίδι θα χάσεις - οποιαδήποτε κίνηση στέλνει τον αντίπαλο σε \(W\)
Το κλειδί: Κάθε φορά που στέλνεις τον αντίπαλο σε \(L\), αυτός αναγκαστικά θα σε στείλει πίσω σε \(W\), και εσύ πάλι τον στέλνεις σε \(L\), μέχρι να φτάσει στην τελική \(L\) (χωρίς κινήσεις)!
Για να κερδίσεις ένα Nim game:
1. Βρες όλες τις Losing positions \(L\)
2. Αν βρίσκεσαι σε Winning position \(W\), κάνε κίνηση που στέλνει τον αντίπαλο σε \(L\)
3. Αν βρίσκεσαι σε Losing position \(L\), με βέλτιστο παιχνίδι θα χάσεις - οποιαδήποτε κίνηση στέλνει τον αντίπαλο σε \(W\)
Το κλειδί: Κάθε φορά που στέλνεις τον αντίπαλο σε \(L\), αυτός αναγκαστικά θα σε στείλει πίσω σε \(W\), και εσύ πάλι τον στέλνεις σε \(L\), μέχρι να φτάσει στην τελική \(L\) (χωρίς κινήσεις)!
📚 3. Η Simple Pairing Strategy
🎲 The Pairing Strategy
Πολλά προβλήματα λύνονται με την pairing strategy:
Ιδέα:
Χώρισε όλες τις θέσεις σε ζεύγη έτσι ώστε υπάρχει κίνηση από το ένα στοιχείο του ζεύγους στο άλλο.
Στρατηγική:
• Αν υπάρχει θέση χωρίς ζευγάρι, κατάλαβέ την πρώτος!
• Διαφορετικά, αν ο αντίπαλος κινηθεί από μία θέση ενός ζεύγους, εσύ κινήσου στο άλλο στοιχείο του ζεύγους.
Αποτέλεσμα:
Κερδίζεις επειδή ο αντίπαλος θα μείνει χωρίς κινήσεις πρώτος!
Πολλά προβλήματα λύνονται με την pairing strategy:
Ιδέα:
Χώρισε όλες τις θέσεις σε ζεύγη έτσι ώστε υπάρχει κίνηση από το ένα στοιχείο του ζεύγους στο άλλο.
Στρατηγική:
• Αν υπάρχει θέση χωρίς ζευγάρι, κατάλαβέ την πρώτος!
• Διαφορετικά, αν ο αντίπαλος κινηθεί από μία θέση ενός ζεύγους, εσύ κινήσου στο άλλο στοιχείο του ζεύγους.
Αποτέλεσμα:
Κερδίζεις επειδή ο αντίπαλος θα μείνει χωρίς κινήσεις πρώτος!
🎮 4. Bachet's Game - The Classic
🔹 Παράδειγμα 1: Bachet's Game (Classic)
Πρόβλημα: Υπάρχουν αρχικά \(n\) πούλια σε ένα τραπέζι. Το σύνολο νόμιμων κινήσεων είναι \(M = \{1, 2, 3, \ldots, k\}\). Ο παίκτης που παίρνει το τελευταίο πούλι κερδίζει. Βρείτε τις losing positions.
Λύση:
Λύση:
Ανάλυση:
Το σύνολο \(L\) αποτελείται από όλα τα πολλαπλάσια του \(k+1\).
Δηλαδή:
\[ L = \{0, k+1, 2(k+1), 3(k+1), \ldots\} = \{m(k+1) : m \in \mathbb{N} \cup \{0\}\} \]
Το σύνολο \(L\) αποτελείται από όλα τα πολλαπλάσια του \(k+1\).
Δηλαδή:
\[ L = \{0, k+1, 2(k+1), 3(k+1), \ldots\} = \{m(k+1) : m \in \mathbb{N} \cup \{0\}\} \]
Απόδειξη:
Βήμα 1: Αν \(n\) δεν είναι πολλαπλάσιο του \(k+1\), μπορώ πάντα να κινηθώ σε πολλαπλάσιο του \(k+1\).
Γιατί: Έστω \(n = q(k+1) + r\) όπου \(0 < r \leq k\).
Παίρνω \(r\) πούλια → απομένουν \(q(k+1)\) (πολλαπλάσιο του \(k+1\)!).
Βήμα 2: Αν \(n\) είναι πολλαπλάσιο του \(k+1\), ο αντίπαλός μου δεν μπορεί να με αφήσει σε πολλαπλάσιο του \(k+1\).
Γιατί: Αν παίρνει \(1, 2, \ldots, k\) πούλια από \(m(k+1)\), μένουν:
\[ m(k+1) - j \quad (j \in \{1,2,\ldots,k\}) \]
που δεν είναι πολλαπλάσιο του \(k+1\)!
Βήμα 3: Αν ακολουθήσω τη στρατηγική "κάθε φορά αφήνω πολλαπλάσιο του \(k+1\)", τελικά θα φτάσω στο 0, άρα κερδίζω!
Απάντηση:Βήμα 1: Αν \(n\) δεν είναι πολλαπλάσιο του \(k+1\), μπορώ πάντα να κινηθώ σε πολλαπλάσιο του \(k+1\).
Γιατί: Έστω \(n = q(k+1) + r\) όπου \(0 < r \leq k\).
Παίρνω \(r\) πούλια → απομένουν \(q(k+1)\) (πολλαπλάσιο του \(k+1\)!).
Βήμα 2: Αν \(n\) είναι πολλαπλάσιο του \(k+1\), ο αντίπαλός μου δεν μπορεί να με αφήσει σε πολλαπλάσιο του \(k+1\).
Γιατί: Αν παίρνει \(1, 2, \ldots, k\) πούλια από \(m(k+1)\), μένουν:
\[ m(k+1) - j \quad (j \in \{1,2,\ldots,k\}) \]
που δεν είναι πολλαπλάσιο του \(k+1\)!
Βήμα 3: Αν ακολουθήσω τη στρατηγική "κάθε φορά αφήνω πολλαπλάσιο του \(k+1\)", τελικά θα φτάσω στο 0, άρα κερδίζω!
Οι losing positions είναι:
\[ L = \{0, k+1, 2(k+1), 3(k+1), \ldots\} \]
Winning strategy: Πάντα αφήνε τον αντίπαλο με πολλαπλάσιο του \(k+1\) πούλια!
\[ L = \{0, k+1, 2(k+1), 3(k+1), \ldots\} \]
Winning strategy: Πάντα αφήνε τον αντίπαλο με πολλαπλάσιο του \(k+1\) πούλια!
🔹 Παράδειγμα 2: Power of 2 Game
Πρόβλημα: Στο πρόβλημα #1, έστω \(M = \{1, 2, 4, 8, \cdots\}\) (δυνάμεις του 2). Βρείτε το σύνολο \(L\).
Λύση:
• \(n = 5\): \(5 \equiv 2 \pmod{3}\), παίρνω 2 → μένουν 3 ✓
• \(n = 7\): \(7 \equiv 1 \pmod{3}\), παίρνω 1 → μένουν 6 ✓
• \(n = 6\): Ο αντίπαλος παίρνει 1,2,4 → μένουν 5,4,2 (όλα μη-πολλαπλάσια του 3)
Απάντηση:
Λύση:
Ανάλυση:
\(L\) αποτελείται από όλα τα πολλαπλάσια του 3.
Γιατί; Οι δυνάμεις του 2 mod 3 είναι:
• \(2^0 = 1 \equiv 1 \pmod{3}\)
• \(2^1 = 2 \equiv 2 \pmod{3}\)
• \(2^2 = 4 \equiv 1 \pmod{3}\)
• \(2^3 = 8 \equiv 2 \pmod{3}\)
• Pattern: \(1, 2, 1, 2, 1, 2, \ldots\)
Άρα καμία δύναμη του 2 δεν είναι \(\equiv 0 \pmod{3}\)! Επομένως, από πολλαπλάσιο του 3 ο αντίπαλος δεν μπορεί ποτέ να με αφήσει σε πολλαπλάσιο του 3.
Αντίστροφα, από μη-πολλαπλάσιο του 3, μπορώ πάντα να κινηθώ σε πολλαπλάσιο του 3:
• Αν \(n \equiv 1 \pmod{3}\): Αφαιρώ 1 → \(n-1 \equiv 0 \pmod{3}\)
• Αν \(n \equiv 2 \pmod{3}\): Αφαιρώ 2 → \(n-2 \equiv 0 \pmod{3}\)
Παράδειγμα:\(L\) αποτελείται από όλα τα πολλαπλάσια του 3.
Γιατί; Οι δυνάμεις του 2 mod 3 είναι:
• \(2^0 = 1 \equiv 1 \pmod{3}\)
• \(2^1 = 2 \equiv 2 \pmod{3}\)
• \(2^2 = 4 \equiv 1 \pmod{3}\)
• \(2^3 = 8 \equiv 2 \pmod{3}\)
• Pattern: \(1, 2, 1, 2, 1, 2, \ldots\)
Άρα καμία δύναμη του 2 δεν είναι \(\equiv 0 \pmod{3}\)! Επομένως, από πολλαπλάσιο του 3 ο αντίπαλος δεν μπορεί ποτέ να με αφήσει σε πολλαπλάσιο του 3.
Αντίστροφα, από μη-πολλαπλάσιο του 3, μπορώ πάντα να κινηθώ σε πολλαπλάσιο του 3:
• Αν \(n \equiv 1 \pmod{3}\): Αφαιρώ 1 → \(n-1 \equiv 0 \pmod{3}\)
• Αν \(n \equiv 2 \pmod{3}\): Αφαιρώ 2 → \(n-2 \equiv 0 \pmod{3}\)
• \(n = 5\): \(5 \equiv 2 \pmod{3}\), παίρνω 2 → μένουν 3 ✓
• \(n = 7\): \(7 \equiv 1 \pmod{3}\), παίρνω 1 → μένουν 6 ✓
• \(n = 6\): Ο αντίπαλος παίρνει 1,2,4 → μένουν 5,4,2 (όλα μη-πολλαπλάσια του 3)
Απάντηση:
\[ L = \{0, 3, 6, 9, 12, 15, \ldots\} = \{3k : k \in \mathbb{N} \cup \{0\}\} \]
🔹 Παράδειγμα 3: Primes and 1 Game
Πρόβλημα: Στο πρόβλημα #1, έστω \(M = \{1, 2, 3, 5, 7, 11, \ldots\}\) (1 και πρώτοι). Βρείτε \(L\).
Λύση:
Λύση:
Ανάλυση:
\(L\) αποτελείται από όλα τα πολλαπλάσια του 4.
Γιατί: Από πολλαπλάσιο του 4, δεν μπορώ να παραμείνω σε πολλαπλάσιο του 4:
• Αφαιρώντας 1: \(4k - 1 \equiv 3 \pmod{4}\)
• Αφαιρώντας 2: \(4k - 2 \equiv 2 \pmod{4}\)
• Αφαιρώντας 3: \(4k - 3 \equiv 1 \pmod{4}\)
• Αφαιρώντας πρώτο \(p > 3\): Όλοι οι πρώτοι \(> 2\) είναι περιττοί, άρα \(p \equiv 1\) ή \(3 \pmod{4}\)
Άρα \(4k - p \not\equiv 0 \pmod{4}\) για κάθε επιλογή! Αντίστροφα, από μη-πολλαπλάσιο του 4 μπορώ πάντα να αφαιρέσω 1, 2 ή 3 ώστε να φτάσω σε πολλαπλάσιο του 4.
Απάντηση:\(L\) αποτελείται από όλα τα πολλαπλάσια του 4.
Γιατί: Από πολλαπλάσιο του 4, δεν μπορώ να παραμείνω σε πολλαπλάσιο του 4:
• Αφαιρώντας 1: \(4k - 1 \equiv 3 \pmod{4}\)
• Αφαιρώντας 2: \(4k - 2 \equiv 2 \pmod{4}\)
• Αφαιρώντας 3: \(4k - 3 \equiv 1 \pmod{4}\)
• Αφαιρώντας πρώτο \(p > 3\): Όλοι οι πρώτοι \(> 2\) είναι περιττοί, άρα \(p \equiv 1\) ή \(3 \pmod{4}\)
Άρα \(4k - p \not\equiv 0 \pmod{4}\) για κάθε επιλογή! Αντίστροφα, από μη-πολλαπλάσιο του 4 μπορώ πάντα να αφαιρέσω 1, 2 ή 3 ώστε να φτάσω σε πολλαπλάσιο του 4.
\[ L = \{0, 4, 8, 12, 16, \ldots\} = \{4k : k \in \mathbb{N} \cup \{0\}\} \]
🎲 5. Board Game Translation
🔹 Παράδειγμα 4: Board Game (M = {1, 3, 8})
Πρόβλημα: Βρείτε το σύνολο των losing positions για \(M = \{1, 3, 8\}\).
Μεταφράστε το παιχνίδι σε board game: Ξεκινώντας με σειρά κενών κελιών, τοποθετήστε ένα chip στο \(n\)-οστό κελί. Οι παίκτες \(A\) και \(B\) κινούν εναλλάξ το chip στα αριστερά (1, 3, ή 8 θέσεις). Ο παίκτης που δεν μπορεί να κινηθεί (chip στο κελί 0) χάνει.
Λύση:
Μεταφράστε το παιχνίδι σε board game: Ξεκινώντας με σειρά κενών κελιών, τοποθετήστε ένα chip στο \(n\)-οστό κελί. Οι παίκτες \(A\) και \(B\) κινούν εναλλάξ το chip στα αριστερά (1, 3, ή 8 θέσεις). Ο παίκτης που δεν μπορεί να κινηθεί (chip στο κελί 0) χάνει.
Λύση:
Ανάλυση με Υπολογισμό:
Υπολογίζουμε \(L\) και \(W\) για κάθε θέση, ελέγχοντας κάθε φορά όλες τις νόμιμες κινήσεις (1, 3, 8 — όσες χωράνε):
• n=8: κινήσεις σε 7(W), 5(W), 0(L) → υπάρχει κίνηση σε L ⇒ W
• n=11: κινήσεις σε 10(W), 8(W), 3(W) → όλες σε W ⇒ L
• n=22: κινήσεις σε 21(W), 19(W), 14(W) → όλες σε W ⇒ L
Υπολογίζουμε \(L\) και \(W\) για κάθε θέση, ελέγχοντας κάθε φορά όλες τις νόμιμες κινήσεις (1, 3, 8 — όσες χωράνε):
n: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 Status: L W L W L W L W W W W L W L W L W L W W W W LΕνδεικτικός έλεγχος:
• n=8: κινήσεις σε 7(W), 5(W), 0(L) → υπάρχει κίνηση σε L ⇒ W
• n=11: κινήσεις σε 10(W), 8(W), 3(W) → όλες σε W ⇒ L
• n=22: κινήσεις σε 21(W), 19(W), 14(W) → όλες σε W ⇒ L
Pattern Discovery:
Η ακολουθία επαναλαμβάνεται με περίοδο 11. Οι losing positions είναι ακριβώς εκείνες με υπόλοιπο 0, 2, 4 ή 6 όταν διαιρεθούν με το 11: \[ L = \{n \geq 0 : n \bmod 11 \in \{0, 2, 4, 6\}\} = \{0,2,4,6,11,13,15,17,22,24,26,28,\ldots\} \]
Η ακολουθία επαναλαμβάνεται με περίοδο 11. Οι losing positions είναι ακριβώς εκείνες με υπόλοιπο 0, 2, 4 ή 6 όταν διαιρεθούν με το 11: \[ L = \{n \geq 0 : n \bmod 11 \in \{0, 2, 4, 6\}\} = \{0,2,4,6,11,13,15,17,22,24,26,28,\ldots\} \]
Board Visualization:
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |10 |11 | L W L W L W L W W W W LWinning Strategy: Πάντα κινήσου σε θέση με υπόλοιπο 0, 2, 4 ή 6 mod 11!
🔢 6. Επιπλέον Παραδείγματα
🔹 Παράδειγμα 5: Bachet's Game με M = {1, 2}
Πρόβλημα: Bachet's game με \(M = \{1, 2\}\). Τι είναι το \(L\);
Λύση:
• \(n = 7\): Παίρνω 1 → μένουν 6 ✓
• \(n = 8\): Παίρνω 2 → μένουν 6 ✓
• \(n = 6\): Ο αντίπαλος παίρνει 1 ή 2 → μένουν 5 ή 4 (winning για μένα!)
💡 Σημείωση: Αυτή είναι απλώς η ειδική περίπτωση \(k=2\) του Bachet's game — δεν πρέπει να συγχέεται με το γνωστό "Fibonacci Nim", που είναι διαφορετικό παιχνίδι (ένας σωρός, με κανόνα ότι κάθε κίνηση δεν μπορεί να υπερβαίνει το διπλάσιο της προηγούμενης κίνησης του αντιπάλου).
Λύση:
Από το Θεώρημα του Bachet (Παράδειγμα 1): \(k = 2\), άρα \(k+1 = 3\).
Losing positions:
\[ L = \{0, 3, 6, 9, 12, \ldots\} = \{3k : k \in \mathbb{N} \cup \{0\}\} \]
Winning strategy: Πάντα αφήνε πολλαπλάσιο του 3!
Verification:Losing positions:
\[ L = \{0, 3, 6, 9, 12, \ldots\} = \{3k : k \in \mathbb{N} \cup \{0\}\} \]
Winning strategy: Πάντα αφήνε πολλαπλάσιο του 3!
• \(n = 7\): Παίρνω 1 → μένουν 6 ✓
• \(n = 8\): Παίρνω 2 → μένουν 6 ✓
• \(n = 6\): Ο αντίπαλος παίρνει 1 ή 2 → μένουν 5 ή 4 (winning για μένα!)
💡 Σημείωση: Αυτή είναι απλώς η ειδική περίπτωση \(k=2\) του Bachet's game — δεν πρέπει να συγχέεται με το γνωστό "Fibonacci Nim", που είναι διαφορετικό παιχνίδι (ένας σωρός, με κανόνα ότι κάθε κίνηση δεν μπορεί να υπερβαίνει το διπλάσιο της προηγούμενης κίνησης του αντιπάλου).
🔹 Παράδειγμα 6: Two Pile Nim
Πρόβλημα: Δύο σωροί με \(a\) και \(b\) πούλια. Κάθε κίνηση: διάλεξε έναν σωρό και πάρε οποιοδήποτε (θετικό) αριθμό πουλιών. Ο παίκτης που παίρνει το τελευταίο πούλι κερδίζει.
Λύση:
Λύση:
Winning Strategy: Symmetry!
Αν \(a = b\): Losing position!
Γιατί: Οτιδήποτε κάνει ο αντίπαλος σε έναν σωρό, εγώ το κάνω στον άλλο (mirror strategy) — έτσι διατηρώ πάντα την ισότητα και θα πάρω εγώ το τελευταίο πούλι!
Αν \(a \neq b\): Winning position!
Στρατηγική: Κάνε τους σωρούς ίσους → ο αντίπαλος πάει σε \(a = b\) (losing)!
Παράδειγμα Παιχνιδιού:Αν \(a = b\): Losing position!
Γιατί: Οτιδήποτε κάνει ο αντίπαλος σε έναν σωρό, εγώ το κάνω στον άλλο (mirror strategy) — έτσι διατηρώ πάντα την ισότητα και θα πάρω εγώ το τελευταίο πούλι!
Αν \(a \neq b\): Winning position!
Στρατηγική: Κάνε τους σωρούς ίσους → ο αντίπαλος πάει σε \(a = b\) (losing)!
Initial: (7, 3) My move: Παίρνω 4 από πρώτο → (3, 3) Opponent: Παίρνει 2 από δεύτερο → (3, 1) My move: Παίρνω 2 από πρώτο → (1, 1) Opponent: Παίρνει 1 → (0, 1) ή (1, 0) I win: Παίρνω το τελευταίο! 🏆Απάντηση:
\[ L = \{(k, k) : k \geq 0\} \]
\[ W = \{(a, b) : a \neq b\} \]
\[ W = \{(a, b) : a \neq b\} \]
🔹 Παράδειγμα 7: The 21 Game
Πρόβλημα: Δύο παίκτες μετράνε ξεκινώντας από το 0. Κάθε παίκτης, με τη σειρά του, προσθέτει 1 ή 2 στον τρέχοντα αριθμό. Ο παίκτης που φτάνει (λέει) το "21" κερδίζει. Ποιος κερδίζει;
Λύση:
Λύση:
Αυτό είναι ισοδύναμο με το Bachet's game: η "απόσταση από το 21" παίζει τον ρόλο των πουλιών, με \(M = \{1, 2\}\) (\(k=2\)), και "να φτάσεις στο 21" = "να πάρεις το τελευταίο πούλι".
Από το Παράδειγμα 5: οι losing positions (για τον παίκτη που είναι η σειρά του) είναι τα πολλαπλάσια του 3.
Η αρχική απόσταση είναι 21, που είναι πολλαπλάσιο του 3. Άρα ο παίκτης που κινείται πρώτος βρίσκεται σε Losing position!
Συμπέρασμα: Κερδίζει ο δεύτερος παίκτης.
Winning strategy για τον δεύτερο παίκτη:
Όποιον αριθμό (1 ή 2) πει ο πρώτος παίκτης, ο δεύτερος απαντά με το συμπλήρωμα ως προς το 3 (δηλαδή 2 αν ο πρώτος είπε 1, και 1 αν ο πρώτος είπε 2). Έτσι μετά από κάθε γύρο το άθροισμα αυξάνεται ακριβώς κατά 3, και ο δεύτερος παίκτης φτάνει πάντα πρώτος στα 3, 6, 9, 12, 15, 18, 21!
Simulation:Από το Παράδειγμα 5: οι losing positions (για τον παίκτη που είναι η σειρά του) είναι τα πολλαπλάσια του 3.
Η αρχική απόσταση είναι 21, που είναι πολλαπλάσιο του 3. Άρα ο παίκτης που κινείται πρώτος βρίσκεται σε Losing position!
Συμπέρασμα: Κερδίζει ο δεύτερος παίκτης.
Winning strategy για τον δεύτερο παίκτη:
Όποιον αριθμό (1 ή 2) πει ο πρώτος παίκτης, ο δεύτερος απαντά με το συμπλήρωμα ως προς το 3 (δηλαδή 2 αν ο πρώτος είπε 1, και 1 αν ο πρώτος είπε 2). Έτσι μετά από κάθε γύρο το άθροισμα αυξάνεται ακριβώς κατά 3, και ο δεύτερος παίκτης φτάνει πάντα πρώτος στα 3, 6, 9, 12, 15, 18, 21!
Player 1: +1 (total 1) ή +2 (total 2) Player 2: συμπληρώνει στο 3 (total 3) Player 1: +1 ή +2 (total 4 ή 5) Player 2: συμπληρώνει στο 6 (total 6) ... Player 2: συμπληρώνει στο 21 → Player 2 WINS! 🏆💡 Επαλήθευση με μικρή περίπτωση: Με στόχο n=3 αντί για 21, ο πρώτος παίκτης λέει 1 ή 2, και ο δεύτερος πάντα μπορεί να συμπληρώσει ακριβώς στο 3 και κερδίζει — επιβεβαιώνει το πρότυπο.
📊 7. Strategy Framework
🎯 Master Strategy για Nim Games
ΒΗΜΑ 1: Αναγνώριση
• Είναι Nim game (impartial, no draws);
• Ποιες είναι οι νόμιμες κινήσεις \(M\);
• Ποια είναι η τελική θέση;
• Ποιος κερδίζει στο τέλος (ο τελευταίος που παίζει ή ο πρώτος που δεν μπορεί να παίξει);
ΒΗΜΑ 2: Small Cases
• Υπολόγισε \(L\) και \(W\) για μικρά \(n\)
• \(n = 0\): Συνήθως \(L\) (αλλά προσοχή στους κανόνες!)
• \(n = 1, 2, \ldots, 20\): Υπολόγισε βήμα-βήμα, ελέγχοντας ΟΛΕΣ τις κινήσεις
• Κάνε πίνακα!
ΒΗΜΑ 3: Pattern Recognition
• Υπάρχει periodicity;
• Υπάρχει arithmetic progression;
• Bachet-style formula;
• Modular arithmetic pattern;
ΒΗΜΑ 4: Prove by Induction
• Αν βρήκες pattern, απόδειξέ το!
• Base case + Inductive step
• Ή χρησιμοποίησε το χαρακτηρισμό \(L/W\) απευθείας
ΒΗΜΑ 5: Winning Strategy
• Πώς να φτάνεις πάντα σε \(L\);
• Πώς να αποφεύγεις \(W\);
• Concrete algorithm
ΒΗΜΑ 6: Verification
• Check με examples
• Simulate παιχνίδι
• Test edge cases
ΒΗΜΑ 1: Αναγνώριση
• Είναι Nim game (impartial, no draws);
• Ποιες είναι οι νόμιμες κινήσεις \(M\);
• Ποια είναι η τελική θέση;
• Ποιος κερδίζει στο τέλος (ο τελευταίος που παίζει ή ο πρώτος που δεν μπορεί να παίξει);
ΒΗΜΑ 2: Small Cases
• Υπολόγισε \(L\) και \(W\) για μικρά \(n\)
• \(n = 0\): Συνήθως \(L\) (αλλά προσοχή στους κανόνες!)
• \(n = 1, 2, \ldots, 20\): Υπολόγισε βήμα-βήμα, ελέγχοντας ΟΛΕΣ τις κινήσεις
• Κάνε πίνακα!
ΒΗΜΑ 3: Pattern Recognition
• Υπάρχει periodicity;
• Υπάρχει arithmetic progression;
• Bachet-style formula;
• Modular arithmetic pattern;
ΒΗΜΑ 4: Prove by Induction
• Αν βρήκες pattern, απόδειξέ το!
• Base case + Inductive step
• Ή χρησιμοποίησε το χαρακτηρισμό \(L/W\) απευθείας
ΒΗΜΑ 5: Winning Strategy
• Πώς να φτάνεις πάντα σε \(L\);
• Πώς να αποφεύγεις \(W\);
• Concrete algorithm
ΒΗΜΑ 6: Verification
• Check με examples
• Simulate παιχνίδι
• Test edge cases
🔑 Common Patterns & Shortcuts
| Κινήσεις M | Pattern για L | Σημείωση |
|---|---|---|
| \(\{1, 2, \ldots, k\}\) | Πολλαπλάσια του \(k+1\) | Bachet's Classic |
| \(\{1, 2\}\) | Πολλαπλάσια του 3 | Most common! |
| Δυνάμεις του 2 | Πολλαπλάσια του 3 | \(2^n \not\equiv 0 \pmod{3}\) |
| 1 & Πρώτοι | Πολλαπλάσια του 4 | Οι πρώτοι >2 είναι περιττοί |
| \(\{1, 3, 8\}\) | \(n \bmod 11 \in \{0,2,4,6\}\) | Case-by-case, χωρίς κλειστό τύπο |
🚨 8. Common Mistakes
⚠️ Τα 7 Πιο Συχνά Λάθη
1. Συγχέουμε Winning με Losing
❌ "Η τελική θέση είναι πάντα Winning"
✅ Διάβασε ΠΡΟΣΕΚΤΙΚΑ τον κανόνα: αν ο τελευταίος που παίζει χάνει τη θέση χωρίς κινήσεις, αυτή είναι \(L\)· αν κερδίζει κάνοντας την τελευταία κίνηση, η θέση-στόχος είναι \(W\)!
2. Δεν ελέγχουμε ΟΛΕΣ τις κινήσεις
❌ "Από αυτή τη θέση μπορώ να πάω σε \(L\), άρα είναι \(W\)" χωρίς έλεγχο των υπόλοιπων κινήσεων
✅ Για να είναι \(W\), αρκεί ΤΟΥΛΑΧΙΣΤΟΝ μία κίνηση σε \(L\). Για να είναι \(L\), ΟΛΕΣ οι κινήσεις πρέπει να πάνε σε \(W\) — έλεγξε τις όλες!
3. Ξεχνάμε την periodicity
❌ Υπολογίζουμε μόνο τα πρώτα 5-10 cases
✅ Χρειάζονται συχνά 15-25 cases για να επιβεβαιωθεί σταθερά το pattern.
4. Strategy confusion
❌ "Αν κερδίζω στην αρχή, οποιαδήποτε κίνηση είναι καλή"
✅ Πρέπει να βρεις τη ΣΥΓΚΕΚΡΙΜΕΝΗ κίνηση που στέλνει σε \(L\)! Όχι τυχαία.
5. Modular arithmetic errors
❌ "Το \(2^5 = 32\) είναι πολλαπλάσιο του 3"
✅ \(32 = 10 \cdot 3 + 2 \equiv 2 \pmod{3}\), όχι 0!
6. Δεν επαληθεύουμε
❌ "Νομίζω ότι \(L = \{0, 4, 8, 12\}\)" χωρίς απόδειξη ή έλεγχο
✅ ΠΑΝΤΑ verify με examples ή απόδειξη! Simulate 2-3 games.
7. Bachet misapplication
❌ Εφαρμόζουμε τον τύπο του Bachet (\(L=\{m(k+1)\}\)) σε σύνολα \(M\) που δεν είναι της μορφής \(\{1,\ldots,k\}\)
✅ Ο τύπος ισχύει ΜΟΝΟ όταν \(M = \{1,2,\ldots,k\}\)· διαφορετικά χρειάζεται υπολογισμός θέση-προς-θέση.
1. Συγχέουμε Winning με Losing
❌ "Η τελική θέση είναι πάντα Winning"
✅ Διάβασε ΠΡΟΣΕΚΤΙΚΑ τον κανόνα: αν ο τελευταίος που παίζει χάνει τη θέση χωρίς κινήσεις, αυτή είναι \(L\)· αν κερδίζει κάνοντας την τελευταία κίνηση, η θέση-στόχος είναι \(W\)!
2. Δεν ελέγχουμε ΟΛΕΣ τις κινήσεις
❌ "Από αυτή τη θέση μπορώ να πάω σε \(L\), άρα είναι \(W\)" χωρίς έλεγχο των υπόλοιπων κινήσεων
✅ Για να είναι \(W\), αρκεί ΤΟΥΛΑΧΙΣΤΟΝ μία κίνηση σε \(L\). Για να είναι \(L\), ΟΛΕΣ οι κινήσεις πρέπει να πάνε σε \(W\) — έλεγξε τις όλες!
3. Ξεχνάμε την periodicity
❌ Υπολογίζουμε μόνο τα πρώτα 5-10 cases
✅ Χρειάζονται συχνά 15-25 cases για να επιβεβαιωθεί σταθερά το pattern.
4. Strategy confusion
❌ "Αν κερδίζω στην αρχή, οποιαδήποτε κίνηση είναι καλή"
✅ Πρέπει να βρεις τη ΣΥΓΚΕΚΡΙΜΕΝΗ κίνηση που στέλνει σε \(L\)! Όχι τυχαία.
5. Modular arithmetic errors
❌ "Το \(2^5 = 32\) είναι πολλαπλάσιο του 3"
✅ \(32 = 10 \cdot 3 + 2 \equiv 2 \pmod{3}\), όχι 0!
6. Δεν επαληθεύουμε
❌ "Νομίζω ότι \(L = \{0, 4, 8, 12\}\)" χωρίς απόδειξη ή έλεγχο
✅ ΠΑΝΤΑ verify με examples ή απόδειξη! Simulate 2-3 games.
7. Bachet misapplication
❌ Εφαρμόζουμε τον τύπο του Bachet (\(L=\{m(k+1)\}\)) σε σύνολα \(M\) που δεν είναι της μορφής \(\{1,\ldots,k\}\)
✅ Ο τύπος ισχύει ΜΟΝΟ όταν \(M = \{1,2,\ldots,k\}\)· διαφορετικά χρειάζεται υπολογισμός θέση-προς-θέση.
🏆 9. CHALLENGE PROBLEM - Part 1
🎯 THE CHALLENGE
Πρόβλημα: Bachet's game με \(n\) πούλια και \(M = \{1, 3, 4\}\). Βρείτε το σύνολο \(L\) των losing positions.
🎁 Hints σε 4 Επίπεδα:
Πρόβλημα: Bachet's game με \(n\) πούλια και \(M = \{1, 3, 4\}\). Βρείτε το σύνολο \(L\) των losing positions.
🎁 Hints σε 4 Επίπεδα:
🥉 Hint 1: Υπολόγισε τα πρώτα 16-17 cases: \(n = 0, 1, 2, \ldots, 16\).
🥈 Hint 2: Ψάξε για periodicity - επαναλαμβάνεται κάθε πόσα;
🥇 Hint 3: Θα βρεις ότι \(L = \{0, 2, 7, 9, 14, 16, \ldots\}\).
💎 Hint 4: Periodicity 7, με υπόλοιπα \(\{0, 2\}\) mod 7.
📮 Πλήρης Λύση:
Υπολογισμός βήμα-βήμα (ελέγχοντας κάθε φορά ΟΛΕΣ τις κινήσεις 1, 3, 4):
• n=4: κινήσεις σε 3(W), 1(W), 0(L) → υπάρχει κίνηση σε L ⇒ W
• n=7: κινήσεις σε 6(W), 4(W), 3(W) → όλες σε W ⇒ L
• n=9: κινήσεις σε 8(W), 6(W), 5(W) → όλες σε W ⇒ L
Pattern Discovery:
Περίοδος 7, με τα losing offsets \(\{0, 2\}\): \[ L = \{n \geq 0 : n \bmod 7 \in \{0, 2\}\} = \{0, 2, 7, 9, 14, 16, 21, 23, \ldots\} \]
Υπολογισμός βήμα-βήμα (ελέγχοντας κάθε φορά ΟΛΕΣ τις κινήσεις 1, 3, 4):
n: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Status: L W L W W W W L W L W W W W L W LΕνδεικτικός έλεγχος:
• n=4: κινήσεις σε 3(W), 1(W), 0(L) → υπάρχει κίνηση σε L ⇒ W
• n=7: κινήσεις σε 6(W), 4(W), 3(W) → όλες σε W ⇒ L
• n=9: κινήσεις σε 8(W), 6(W), 5(W) → όλες σε W ⇒ L
Pattern Discovery:
Περίοδος 7, με τα losing offsets \(\{0, 2\}\): \[ L = \{n \geq 0 : n \bmod 7 \in \{0, 2\}\} = \{0, 2, 7, 9, 14, 16, 21, 23, \ldots\} \]
📊 10. Σύνοψη & Επόμενα Βήματα
🎓 Τι Μάθαμε σήμερα:
✅ Nim Games Basics: Impartial, two-player, no draws, perfect information
✅ L vs W Characterization: Από \(L\) όλες οι κινήσεις → \(W\), από \(W\) υπάρχει κίνηση → \(L\)
✅ Bachet's Theorem: Για \(M = \{1,2,\ldots,k\}\), \(L = \{m(k+1)\}\)
✅ Pairing Strategy: Χώρισε σε ζεύγη, mirror opponent moves
✅ 7 Complete Examples: Από basic Bachet → Two-Pile Nim → 21 Game
✅ Pattern Recognition: Modular arithmetic, periodicity
✅ 6-Step Framework: Recognize → Small Cases → Pattern → Prove → Strategy → Verify
✅ Nim Games Basics: Impartial, two-player, no draws, perfect information
✅ L vs W Characterization: Από \(L\) όλες οι κινήσεις → \(W\), από \(W\) υπάρχει κίνηση → \(L\)
✅ Bachet's Theorem: Για \(M = \{1,2,\ldots,k\}\), \(L = \{m(k+1)\}\)
✅ Pairing Strategy: Χώρισε σε ζεύγη, mirror opponent moves
✅ 7 Complete Examples: Από basic Bachet → Two-Pile Nim → 21 Game
✅ Pattern Recognition: Modular arithmetic, periodicity
✅ 6-Step Framework: Recognize → Small Cases → Pattern → Prove → Strategy → Verify
🎊 Συγχαρητήρια!
Ολοκληρώσατε το Part 1 του Game Theory Marathon!
Τι κατακτήσατε:
✅ Nim Games θεμελιώδη θεωρία
✅ Winning vs Losing positions mastery
✅ Bachet's Game + variations
✅ Pairing & Symmetry strategies
✅ 7 αναλυτικά examples με λύσεις
✅ Complete strategy framework
✅ Common mistakes awareness
Ολοκληρώσατε το Part 1 του Game Theory Marathon!
Τι κατακτήσατε:
✅ Nim Games θεμελιώδη θεωρία
✅ Winning vs Losing positions mastery
✅ Bachet's Game + variations
✅ Pairing & Symmetry strategies
✅ 7 αναλυτικά examples με λύσεις
✅ Complete strategy framework
✅ Common mistakes awareness
📅 Επόμενο Part:
Part 2: Sprague-Grundy Theory & Nimbers
Η θεωρία των Grundy numbers και το mex function! 🎯
Part 2: Sprague-Grundy Theory & Nimbers
Η θεωρία των Grundy numbers και το mex function! 🎯
Μείνετε συντονισμένοι...
Το ταξίδι στη Game Theory μόλις ξεκίνησε! 🚀🎮
Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώ
PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify
📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα
Δες τα βιβλία →
.jpg)
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου