אם פותרים בעזרת מחשב אני לא רואה צורך בחוקי היסק לוגי רציניים,
משום שהעלות של ניחוש היא מאוד מצומצמת.
אפשר לפשט את השיטה המתוארת לעיל, להכיל רק את השלב הראשון
ולהשתמש בניחושים וback-tracking ונקבל תוצאות ללא קושי.
מחשבים לכל משבצת את כל האפשרויות ומנסים לנחש איפה שיש הכי מעט אפשרויות
(בפרט אפשרות אחת זה מצוין). בסתירה חוזרים אחורנית. אני לא רואה צורך
בחוקי היקש מסובכים יותר.אם רוצים לפתור ללא עזרת מחשב אז לבני אדם קשה לנהל מחסנית של רקורסיה
בראש ועל כן מנסים ככל האפשר להימנע מניחושים לא מובטחים ועל כן יש מקום
להשתמש גם במה שתואר לעיל כשלב 2. אבל אפשר להיות יותר מתוחכמים גם מזה
וזה דיי הכרחי עבור הלוחות הקשים אם לא רוצים לנחש
נעשה את ההבחנה הבאה:
אם בשורה מסוימת יש לנו k תאים אשר איחוד קבוצת המספרים האפשריים בכל
אחד מהתאים יוצר קבוצה בגודל k(או פחות) אזי בשאר השורה לא יתכנו איברים
מאותה קבוצה וניתן לסלקם.
כמובן שהדבר נכון מטעמי סימטריה גם לעמודה וריבוע.
לדוגמא אם k=2 ויש לנו 2 תאים באותה שורה שבכל אחד מהם אפשריים הערכים 1 או 5 בלבד, קל לראות שהערכים הנ"ל לא יכולים להופיע בשום מקום אחר בשורה.
ודוגמא למקרה יותר מורכב, אם יש לנו בשורה אחת תאים עם הערכים האפשריים:
1,5
5,3
1,5,3
אזי הערכים 1,5,3 לא יכולים להופיע בשום מקום אחר באותה שורה וניתן לסלקם.
אם משתמשים גם בכלל זה בנוסף ל2 שהוצגו במסמך לעיל אפשר לפתור גם לוחות
קשים למדיי ללא ניחושים, אבל כאמור זה ממש לא הכרחי במימוש בעזרת מחשב,
אלגוריתם דיי נאיבי של best-first-search פותר גם לוחות קשים בשבריר שנייה על מחשב בייתי.
DRYICE