אסטרטגיה
נראה לי שזה עובד, אבל אני לא יודע אם זה היצוג הכי קומפקטי. בכל אופן, שחקן א' תמיד ישחק כך שאחרי התור שלו יתקיים אחד משלושת המצבים הבאים: 1. מספר הגפרורים על השולחן הוא 1 מודולו 6, ומספר הגפרורים של ב' זוגי 2. מספר הגפרורים על השולחן הוא 5 מודולו 6, ומספר הגפרורים של ב' אי-זוגי 3. מספר הגפרורים על השולחן הוא 0 מודולו 6, ומספר הגפרורים של ב' אי-זוגי למשל, בתור הראשון הוא לוקח 2 גפרורים. נראה שזה תמיד אפשרי: אחרי התור של ב' (וכמו כן, בתחילת המשחק) יש 3 אפשרויות, ומכולן א' יכול לעבור לאחד המצבים הנ"ל: * אם מספר הגפרורים על השולחן מודולו 6 הוא 2/3/4/5 ולב' יש מספר גפרורים זוגי, אז אפשר להגיע למצב 1 * אם מספר הגפרורים על השולחן מודולו 6 הוא 1/2/3/4 ולב' יש מספר גפרורים אי-זוגי, אז אפשר להגיע למצב 3 * אם מספר הגפרורים על השולחן מתחלק ב 6 ולב' יש מספר גפרורים אי זוגי, אז א' לוקח גפרור אחד ומגיע למצב 2 (אלא אם כן נגמרו הגפרורים, ואז א' ניצח) אני מקווה שלא התבלבלתי...