שגיאה בהרצה של phi7

מנהל: The Architect

נעול
ybrumer
הודעות: 22
הצטרף: 13:48 06/12/2008

שגיאה בהרצה של phi7

שליחה על ידי ybrumer » 22:38 21/12/2008

שלום,
כשאני מריצה את משימה 6 עם המערך Phi7 אני מקבלת הודעת שגיאה:
testSolver: test failed for phi7
Found no solution for phi7

האם המצב הזה תקין?

uhuf
הודעות: 7
הצטרף: 13:51 10/12/2008

שליחה על ידי uhuf » 23:37 21/12/2008

לא, יש לפי7 פתרון (אני מהמר שאפילו יותר מאחד)

ybrumer
הודעות: 22
הצטרף: 13:48 06/12/2008

שליחה על ידי ybrumer » 08:26 22/12/2008

לך יצא פתרון??
איפה רשום של-7 יש פתרון בוודאות?
המרצה שלנו בכיתה אמר שלפעמים התוכנה יכולה "לקרוס" אם המערך גדול מדי ולכן חשבתי לקבל תשובה מהמתרגל לגבי העניין הזה. כרגע שאר המערכים נותנים לי תשובה מדוייקת ורק 7 רושם לי את ההודעת שגיאה הזאת, אז בטוח הבעיה היא בPhi7 בלבד

yoad
הודעות: 6
הצטרף: 10:10 16/12/2008

שליחה על ידי yoad » 10:52 22/12/2008

הפתרון שיצא לי
-95 -93 -92 -91 -27 26 -116 122 -121 -120 119 -25 -24 118 -23 117 22 114 115 113 112 111 110 109 -21 108 106 107 104 105 -20 -19 103 -102 -100 -101 -99 98 10 96 9 97 -94 -89 -90 -88 -87 -86 -85 -84 83 -82 -81 -80 -79 -78 -77 76 -3 75 -4 73 -74 71 -72 70 -7 69 -8 67 -68 65 -66 63 -64 62 -15 61 60 59 -58 -56 57 55 54 53 -52 -51 -50 48 -49 47 46 -16 44 -45 43 -18 42 -17 -40 41 39 38 37 -11 -36 -35 1 -34 14 33 -13 31 -32 30 -12 28 -29

ybrumer
הודעות: 22
הצטרף: 13:48 06/12/2008

תודה רבה

שליחה על ידי ybrumer » 11:44 22/12/2008

תודה רבה, אני אבדוק את התוכנה שלי שוב...

shlomz
הודעות: 28
הצטרף: 16:44 12/12/2008

שליחה על ידי shlomz » 15:31 24/12/2008

לחבר'ה שקיבלו testSolver: test failed for phi7 .. גם לי זה קרה...
כנראה יש שם איזושהי בעיה כשיש יותר מ 99 משתנים כי כשהורדתי את כל הclause -ים שמופיע בהם משתנה תלת ספרתי, קיבלתי מערך מספק...
האם הצלחתם לפתור את הבעיה? ואם כן, אז איך?

nave_ariel
הודעות: 5
הצטרף: 16:58 28/11/2008

שליחה על ידי nave_ariel » 20:15 25/12/2008

הייתה לי בדיוק אותה תקלה והצלחתי לבודד אותה לפסוקית {121, 96, 98}
ב phi7.
בגלל שהיה לי לפניה את -121, -96, -98
נוצר מצב שהורדתי את כל הליטרלים מהפסוקית ועל זה נפלתי
הוספתי תנאי נוסף בפונקציה 4 כדי להימנע מהמצב הזה והתקלה סודרה
מקוה שעזרתי

shirelz
הודעות: 6
הצטרף: 15:29 28/11/2008

שליחה על ידי shirelz » 22:59 25/12/2008

nave_ariel כתב:הייתה לי בדיוק אותה תקלה והצלחתי לבודד אותה לפסוקית {121, 96, 98}
ב phi7.
בגלל שהיה לי לפניה את -121, -96, -98
נוצר מצב שהורדתי את כל הליטרלים מהפסוקית ועל זה נפלתי
הוספתי תנאי נוסף בפונקציה 4 כדי להימנע מהמצב הזה והתקלה סודרה
מקוה שעזרתי

אבל לפי ההנחיות במשימה 4, אתה אמור למחוק כל פסוקית שהליטרל שבחרת נמצא בה ולמחוק את הנגדי שלו מכל פסוקית שהוא נמצא בה.
אז למה זו טעות??

candle of god
הודעות: 15
הצטרף: 21:43 01/12/2008

בנוגע לPHI7

שליחה על ידי candle of god » 02:48 26/12/2008

א. יש לה פתרון
ב. שימו לב: המשפט "test faild for phi 7" וכו' יכול להופיע בגלל שתי סיבות:
- לא מצאתם פתרון (החזרתם NULL), אבל PHI7 רשומה כאחת שיש לה פתרון - ולכן נכשלתם
- מצאתם פתרון, אך הוא איננו נכון. הם בודקים גם בעזרת הפונקציה satisfies ומוצאים שהפתרון שהחזרתם אינו פותר את PHI

לי קרו כל המקרים...
אני מציע לאבחן את הבעיה כך:
- שימו פרינטליין והדפיסו כל ליטרל שאתם בוחרים וכל אנטי-ליטרל שאתם בוחרים בתהליך, את המערך לפני הבחירה ואת המערך אחרי.
- יתכן ו 5,6 עובדות ו-7 לא, בגלל ש6,5 פתירות בגישה הכי ישירה שיש (בהנחה והתעצלנו ובחרנו את הליטרל הראשון הזמין, ולא את הנפוץ או האקראי). ז.א. שהרקורסיה אצל רובנו לא צריכה בכלל לפנות לאופצייה ב' וישר מגיעה לפתרון, בלי להגיע לאין-פתרון אפילו פעם אחת!
*** אני מציע: הבחינו מה הליטרל הראשון שנבחר לכם ב-5 או6. הוסיפו ל5 או 6 פסוקית עם יחידון הנגדי של הליטרל, כך שהבחירה בליטרל הראשון הידוע תביא מייד לאין-פתרון. רוב הסיכויים שאם יש לכם בעיות שמתעוררות כשהרקורסיה פונה לאופציה ב' (בדיקה עבור הנגדי), או בעיות ברישום הליטרלים הנכונים ולא השגויים במערך - אז הן יצוצו עכשיו, במערך שגודלו קטן יותר מ 7 ויאפשר לכם לעקוב ולבודד את הבעייה.

מקווה שעזרתי.... (תגובה זו נכתבה אחרי 8 שעות ובסופן הנצחון המתוק)

נעול

חזור אל “- מבוא למדעי המחשב”