טכניקות סודוקו · קיצוני
ALS-XZ בסודוקו
ALS-XZ מקשרת שתי קבוצות כמעט נעולות, מקבצים של תאים עם מועמד אחד יותר ממספר התאים, דרך מועמד משותף מוגבל X שאפשר להציב רק באחת מהן. זה מכריח מועמד משותף שני Z לתוך האחרת, כך שאפשר להסיר Z מכל תא חיצוני שרואה את כל מופעי Z בשתי הקבוצות.
למה זה עובד
שתי קבוצות כמעט נעולות המקושרות באמצעות מועמד משותף מוגבל מחייבות מועמד משותף נוסף להופיע לפחות באחת מהן, ולכן ניתן להסיר את אותו מועמד מכל תא מחוץ לשתי הקבוצות שרואה את כל התאים עם אותו מועמד בשתי הקבוצות יחד.
איך לאתר אותה
החלק הקשה הוא לראות את הקבוצות, לא ההיגיון.
- ALS הוא כל מקבץ תאים ביחידה אחת עם מועמד נוסף אחד: תא דו-ערכי בודד הוא הקטן ביותר.
- שתי קבוצות, שני מועמדים משותפים: X חייב להיות מוגבל, כלומר כל X בקבוצה אחת רואה כל X בקבוצה האחרת. Z לא חייב להיות כזה.
- הסירו Z מתאים מחוץ לשתי הקבוצות שרואים את כל מופעי Z בשתיהן.
מתבססת על
דוגמה מפורטת
אלה לוחות השיעור של האפליקציה עצמה. עברו עליהם שלב אחר שלב, בדיוק כמו רמז.
- 1
הסתכלו על הקבוצה הראשונה . 2 התאים האלה נמצאים כולם באותה שורה, באותה עמודה או באותו ריבוע, ויש ביניהם 3 מועמדים שונים, אחד יותר ממספר התאים. זה נקרא Almost Locked Set (ALS).
- 2
כעת הסתכלו על הקבוצה השנייה . 3 התאים האלה נמצאים כולם באותה שורה, באותה עמודה או באותו ריבוע, ויש ביניהם 4 מועמדים שונים, אחד יותר ממספר התאים, ולכן גם הם יוצרים ALS. שתי הקבוצות חולקות את המועמד 3 כמועמד משותף מוגבל (RCC): כל תא עם המועמד 3 בקבוצה אחת רואה כל תא כזה בקבוצה השנייה, ולכן ניתן להציב את הספרה 3 לכל היותר באחת משתי הקבוצות, ולעולם לא בשתיהן.
- 3
שתי הקבוצות מכילות את 5 כמועמד. מכיוון שניתן להציב את הספרה 3 לכל היותר בקבוצה אחת, לפחות קבוצה אחת לא תשתמש ב-3. בקבוצה שאינה משתמשת ב-3 נותר מספר מועמדים שונים השווה למספר התאים, ולכן כל אחד מהם, כולל 5, חייב להופיע בתוכה. לכן 5 חייב להופיע לפחות באחת משתי הקבוצות, וניתן להסיר את המועמד 5 מכל תא מחוץ לשתי הקבוצות שרואה את כל התאים עם המועמד 5 בשתי הקבוצות יחד. כאן X הוא 3 ו-Z הוא 5.