6.8.3. שיפור לאלגוריתם – יוריסטיקה לבחירת המשתנה הבא שיקבל ערךמטרת השיפור היא לחשב ערך יוריסטי לכל בחירה אפשרית של קביעת ערך אמת למשתנה. ככל שהערך היוריסטי של משתנה גבוה יותר, נעדיף לנסות לקבוע ערך למשתנה הזה קודם, כאשר אנחנו מנסים לספק את הפסוק.
לכל משתנה סיבוכיות: יש לעבור על כל הפסוקיות של המשתנה שבחרנו (יש לבצע זאת כל פעם, כי כל החלטה מורידה כמה פסוקיות שהסתפקו), ולכן התקורה של יוריסטיקה זו היא גבוהה.
נטפל בפסוקיות קצרות קודם, כי הן מגבילות יותר את מרחב החיפוש של ההשמות.
מבחינת הביצוע, נגדיר בכל רגע נעדיף לבחור קודם את הליטרל שה-
אין תגובות!
|
תוכן העניינים:
קישורים רלוונטיים:שיתוף: |