שאלה בנוגע לבדיקה של task 6

מנהלים: TA_nimrod, TA_Igor, TA_Adi, TA_nimrod, TA_Igor, TA_Adi

שלח תגובה
inbar
הודעות: 20
הצטרף: 02:15 03/11/2009

שאלה בנוגע לבדיקה של task 6

שליחה על ידי inbar » 13:46 21/11/2009

שלום,
ב - testSolver, האם יתכן ש - phi7 אינו satisfiable? (למרות שבבדיקה כתוב שהוא כן)

תודה

Raz.A
הודעות: 64
הצטרף: 22:00 26/10/2009

Re: שאלה בנוגע לבדיקה של task 6

שליחה על ידי Raz.A » 14:20 21/11/2009

הוא כן,
לפי ההגדרות בתחילת העבודה, אם אין clauses אז אם אין כלום לעשות לו "וגם" אז זה true
לעומת זאת {{}} יתן FALSE כי יש clause שאין בו ליטרלים אז אי אפשר "לרצות" את ה clause הזה שמחובר ב-"או" ולכן זה יתן false

inbar
הודעות: 20
הצטרף: 02:15 03/11/2009

Re: שאלה בנוגע לבדיקה של task 6

שליחה על ידי inbar » 15:34 21/11/2009

נכון.
יכול להיות שאני מפספס משהו, אבל, כמו שזה נראה לי עכשיו אז הוא מגיע באמת למצב שיש בו פסוקית אחת ריקה
ולכן False

ronenhe
הודעות: 182
הצטרף: 10:27 28/10/2009

Re: שאלה בנוגע לבדיקה של task 6

שליחה על ידי ronenhe » 16:47 21/11/2009

אני חושש שמדובר במקרה שהמשלים ייתן תשובה..

inbar
הודעות: 20
הצטרף: 02:15 03/11/2009

Re: שאלה בנוגע לבדיקה של task 6

שליחה על ידי inbar » 17:18 21/11/2009

מה זאת אומרת המשלים?

ronenhe
הודעות: 182
הצטרף: 10:27 28/10/2009

Re: שאלה בנוגע לבדיקה של task 6

שליחה על ידי ronenhe » 17:38 21/11/2009

נאמר בהרצאה שנגיד בחרת ליטרל X1 אז יכול להיות שX1 לא ייספק את פי אבל -X1 כן יספק (מינוס...)
נכון לעכשיו אני לא מצליח להראות שזה TRUE..
אבל זה הכיוון..
תעדכן אם תצליח..
בהצלחה!

inbar
הודעות: 20
הצטרף: 02:15 03/11/2009

Re: שאלה בנוגע לבדיקה של task 6

שליחה על ידי inbar » 20:58 21/11/2009

עדכון..
זה אכן העסק עם ה'משלים'.
לכל ליטרל ב phi, אם הוא לא מביא לפתרון, צריך לבדוק גם את השלילה שלו.
שתי השקופיות האחרונות במצגת על העבודה (ב - class material) מתארות את זה.

בקיצור, תודה על העזרה

ronenhe
הודעות: 182
הצטרף: 10:27 28/10/2009

Re: שאלה בנוגע לבדיקה של task 6

שליחה על ידי ronenhe » 21:10 21/11/2009

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

inbar
הודעות: 20
הצטרף: 02:15 03/11/2009

Re: שאלה בנוגע לבדיקה של task 6

שליחה על ידי inbar » 22:14 21/11/2009

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

בכלליות אבל, אני חושב שכל הקטע ברקורסיה זה שאין כזה דבר "אני רוצה לבדוק את המקרה הזה והזה"
זה אמור לעבוד לכל מקרה ולא משנים הפרטים הקטנים.
אם אתה מכניס שינוי (למשל אם ליטרל מסויים לא מספק, אז לבדוק את השלילה שלו), אז השינוי נכנס בכל הרמות.
ואז יוצא שבעצם זה לא שליטרל "מסויים" לא מספק, אלא כל ליטרל שלא מספק, אז זה יבדוק גם את השלילה שלו.
וככה זה יורד עד למטה.

אני מקווה שזה איכשהו ברור.. (בשאיפה שזה בכלל נכון...)

ronenhe
הודעות: 182
הצטרף: 10:27 28/10/2009

Re: שאלה בנוגע לבדיקה של task 6

שליחה על ידי ronenhe » 21:54 22/11/2009

זה נכון ביותר אבל משום מה ממש נתקעתי בזה...
הגדרתי שאם ליטרל מסוים יגרום לשורה הבאה להיות FALSE אז אני כנסית בתוכו את המשלים שלו (במינוס...)
אבל.. הכל טוב ויפה רק שבליטרל ה74 הוא מחליט שזהו.. זה FALSE וזהו..
אם יש מיקוד כיוון או סתם קצת חוט אני אשמח!!
תודה!

TA_Isana
הודעות: 110
הצטרף: 15:19 19/04/2009

Re: שאלה בנוגע לבדיקה של task 6

שליחה על ידי TA_Isana » 00:47 23/11/2009

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

maortal
הודעות: 19
הצטרף: 15:54 25/10/2009

Re: שאלה בנוגע לבדיקה של task 6

שליחה על ידי maortal » 02:29 23/11/2009

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

peled
הודעות: 18
הצטרף: 14:56 30/10/2009

Re: שאלה בנוגע לבדיקה של task 6

שליחה על ידי peled » 22:11 23/11/2009

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

יכול להיות שזה ארוך מדי ?
כמו כן יש מצבים שלא כיסיתם בבדיקות שמומלץ לבדוק לבד ?

שלח תגובה

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