דף 1 מתוך 1

שאלה7 ו=8

נשלח: 16:22 24/12/2008
על ידי furmanzo
can someone explain to me what does those 2 functions get?
what is "vars"?

נשלח: 17:47 24/12/2008
על ידי YossiCo
גם לי זה ממש לא ברור...
מישהו הבין מה בדיוק רוצים שם?
האם צריך להתייחס לVARS כערכם המוחלט או שבכל מצב (כשחלק מהVARS שליליים) אני אמור לקבל PHI אחר?
...אם צריך להתייחס לVARS כערכם המוחלט זה אומר שממש לא הבנתי את סעיף 7.
אודה מאוד להתייחסות...
:wink:

נשלח: 19:03 24/12/2008
על ידי TA_Adi
As stated in the N Queens part, the board is represented by propositional variables (x1, x2, ...).

vars refers to an array of propositionals variables (as seen in the first part of the assignment).

נשלח: 19:49 24/12/2008
על ידי ybrumer
או במילים אחרות, במשימה 7 אתה מקבל מערך vars שמכיל ערכים מסויימים. אתה צריך לייצר מערך דו מימדי חדש שבכל שורה התוצאה תהיה true בהתאם לערכים שיש ב-VARS ואני חושבת שתבין את זה טוב יותר עם דוגמא:
נניח ש { vars={1,2 אז הפתרון שיחזור מהפונקציה הזאת הוא מערך דו מימדי שיכיל את הערכים הבאים :{2-,1} , {1-,2} ,{ newphi= {1,2
שים לב שכל שורה נותנת לך TRUE וקיבלת בסה"כ 3 אופציות כאלו...תנסה להבין את זה גם עם 3,4משתנים...פונקציה 8 עושה אותו דבר רק ההיפך...
מקווה שעזרתי :o

נשלח: 21:51 24/12/2008
על ידי oridov
לפי הדוגמא שנתת, {1-,2}, שאמור לפתור את ה phi שלך מאחר ואחד מהם הוא אמת, לא פותר אותה.

סעיף שמונה ברור, 7 לא כל כך.

למה שלא נחזיר פשוט את vars בתור phi ?
הרי הפעם היחידה שנקבל ביטוי שקר הוא כאשר אף אחד מהביטויים ב vars לא יהיה אמת.

נשלח: 03:16 25/12/2008
על ידי gilsho
ב 7 אתה פשוט מכניס את מה שקיבלת ב VARS לתוך פי שיש בו קלאוס אחד בלבד שמכיל את כל הערכים ב VARS.

נשלח: 10:58 25/12/2008
על ידי the_bearded_monkey
ybrumer כתב:או במילים אחרות, במשימה 7 אתה מקבל מערך vars שמכיל ערכים מסויימים. אתה צריך לייצר מערך דו מימדי חדש שבכל שורה התוצאה תהיה true בהתאם לערכים שיש ב-VARS ואני חושבת שתבין את זה טוב יותר עם דוגמא:
נניח ש { vars={1,2 אז הפתרון שיחזור מהפונקציה הזאת הוא מערך דו מימדי שיכיל את הערכים הבאים :{2-,1} , {1-,2} ,{ newphi= {1,2
שים לב שכל שורה נותנת לך TRUE וקיבלת בסה"כ 3 אופציות כאלו...תנסה להבין את זה גם עם 3,4משתנים...פונקציה 8 עושה אותו דבר רק ההיפך...
מקווה שעזרתי :o
התוצאות שדוגמא שלך שרירותיות?

ז"א האם יש משמעות לזה שכל ה false (-) נמצאים בשדה השני של המערך?

נשלח: 15:45 25/12/2008
על ידי TA_Kfir
Please see FAQ.

נשלח: 17:44 25/12/2008
על ידי shlomz
מה קורה אם אני מקבל את vars כ array באורך 0? אני מחזיר null?

נשלח: 20:01 25/12/2008
על ידי the_bearded_monkey
shlomz כתב:מה קורה אם אני מקבל את vars כ array באורך 0? אני מחזיר null?
לא
השיטה אמורה להחזיר CNF חוקי ו null הוא לא חוקי

לכן סביר להניח שצריך להחזיר את phi ריק

נשלח: 20:30 25/12/2008
על ידי TA_Kfir

נשלח: 22:40 25/12/2008
על ידי zahavl
ב 7 אתה פשוט מכניס את מה שקיבלת ב VARS לתוך פי שיש בו קלאוס אחד בלבד שמכיל את כל הערכים ב VARS.
אם כל הערכים בvars הם false ? לא צריך לבצע בדיקה לפני?