ארבע בשורה

ארבע בשורה הוא משחק חשיבה לשני שחקנים. לכל שחקן אסימונים בצבע אחד, וכל שחקן בתורו מפיל אסימון לתוך הלוח המורכב משבע עמודות ושש שורות. מטרת המשחק היא לחבר ארבעה אסימונים מצבע זהה ברצף מאונך, מאוזן או באלכסון - לפני שהיריב עושה זאת. המשחק מבוסס על המשחק העתיק Gomoku בו השתמשו בחמש אבנים במקום ארבע.

בתורת המשחקים 
מבחינת תורת המשחקים, ארבע בשורה הוא משחק פתור. אם השחקן הפותח ישחק משחק מושלם, הוא ינצח במשחק. המשחק נפתר על ידי ג'יימס ד. אלן (1 באוקטובר 1988) ובאופן בלתי תלוי (בהוכחה באמצעות מחשב) על ידי ויקטור אליס (16 באוקטובר 1988). ההוכחה מספקת מספר נקודות מעניינות:
 אם השחקן הפותח ישים אסימון בעמודה המרכזית – הוא יכול להבטיח ניצחון על ידי משחק מושלם.
 אם יפתח על ידי הנחת אסימונים בשתי העמודות הצמודות למרכזית – משחק מושלם של השחקן השני יאפשר לו להשיג תוצאת תיקו (אפילו אם השחקן הפותח ימשיך במשחק מושלם משלו).
 על ידי פתיחה בהנחת אסימונים באחת מארבע העמודות החיצוניות – משחק מושלם של השחקן השני יאפשר לו לנצח במשחק.

קישורים חיצוניים

משחקי חשיבה
משחקי אסטרטגיה
הוכחה באמצעות מחשב