סודוקו (ספרת יחיד) (במקור נקרא מספר מקום) הוא חידה מבוסס ההיגיון, קומבינטורית מיקום מיקום הפאזל. המטרה היא למלא רשת 9 × 9 עם ספרות, כך שכל עמודה, כל שורה, וכל אחת מתשע תת-המספרים של 3 × 3 שמרכיבות את הרשת (הנקראות גם "תיבות", "בלוקים" או "אזורים") מכילים כל הספרות מ 1 עד 9. סטר חידה מספק רשת הושלמה חלקית, אשר עבור הפאזל המוצב היטב יש פתרון אחד.
משחקים שהושלמו הם תמיד סוג של ריבוע הלטיני עם אילוץ נוסף על התוכן של אזורים בודדים. לדוגמה, אותו מספר שלם אחד אינו יכול להופיע פעמיים באותה שורה, עמודה או כל אחת מתשע אזורי המשנה 3 × 3 של לוח 9x9.
רשת סודוקו מלאה היא סוג מיוחד של ריבוע לטיני עם המאפיין הנוסף של ערכים לא חוזרים בכל אחד 9 בלוקים (או תיבות של 3 × 3 תאים). הקשר בין שתי התיאוריות ידוע, לאחר שהוכח כי נוסחה מסדר ראשון שאינו מזכיר בלוקים תקפה עבור סודוקו אם ורק אם היא תקפה לריבועים לטיניים.
הבעיה הכללית של פתרון פאזלים סודוקו על רשתות n2 × n2 של n × n בלוקים ידוע להיות NP-Complete. אלגוריתמים רבים של המחשב, כגון קישורים לאחור וריקודים יכולים לפתור את רוב החידות של 9 × 9 ביעילות, אך ההתפוצצות הקומבינטורית מתרחשת כאשר מגדילה את n, ויוצרת גבולות למאפיינים של סודוקוס שניתן לבנות, לנתח ולפתור כאשר מגדילה n. פאזל סודוקו יכול לבוא לידי ביטוי כמו בעיה צביעה גרף. המטרה היא לבנות 9-coloring של גרף מסוים, בהתחשב חלקית 9-coloring.
עדכון אחרון בתאריך
19 באוג׳ 2023