אני לפחות הסברתי לו כמו שצריך והוא טען שלא הבנתי את האלגוריתם
למרות שהסברתי לו אותו מילולית נכון
אבל במימוש עצמו היה משהו קצת שונה.אתה כנראה מבין ומה שעשיתי במימוש היה
צעד גרידי: בוחר ליטרל בודד בCNF מתוך הקלוסים הלא מסופקים ושיפחית את כמות הקלוסים הלא מסופקים בלי לדפוק אחרים
צעד סטוכיסטי: בוחר ליטרל אקראי בכל הCNF (במקום בלא מסופקים שזה הנכון) ומשנה לו את הערך, לא משנה אם הוא דופק אחרים או לא.
אז זאת הייתה הטעות היחידה שלי במימוש, ועליה הוא הוריד לי נק' מ90+ של עבודה מצויינת ל45.
הציונים של העבודה האחרונה נראים כך:
0,0,0,0,0,0,0,0,0,100,0,0,0,0,45,0,0,100,100,0,0,0,100,0,0,100,00,0,0,0,0
:/