Maha Vailo
New member
מימוש SAT
למישהו יש מימוש אלגוריתם לפיתרון של בעיית ספיקות (SAT) בג'אווה? המצאתי מימוש שלפי הבדיקות שלי עד כה הוא נכון ומהיר מאוד (סדר גודל של שנייה שתיים עבור כ60 משתנים ויותר מאלף פסוקים) ואני חייב למצוא משהו להשוות אותו מולו... ואין לי משהו יותר טוב לעשות באמצע הלילה... אם מישהו יש מימוש של walkSAT אפילו יותר טוב (עוד לא זכיתי לראות את זה). יש לי איפשהו מימוש DPLL ב C שכתבתי פעם אבל לא נראה לי שהמחשב שלי היה מחזיק מעמד עם כל כך הרבה משתנים, לפחות לא בגרסה שאז כתבתי.
למישהו יש מימוש אלגוריתם לפיתרון של בעיית ספיקות (SAT) בג'אווה? המצאתי מימוש שלפי הבדיקות שלי עד כה הוא נכון ומהיר מאוד (סדר גודל של שנייה שתיים עבור כ60 משתנים ויותר מאלף פסוקים) ואני חייב למצוא משהו להשוות אותו מולו... ואין לי משהו יותר טוב לעשות באמצע הלילה... אם מישהו יש מימוש של walkSAT אפילו יותר טוב (עוד לא זכיתי לראות את זה). יש לי איפשהו מימוש DPLL ב C שכתבתי פעם אבל לא נראה לי שהמחשב שלי היה מחזיק מעמד עם כל כך הרבה משתנים, לפחות לא בגרסה שאז כתבתי.