שאלה7 ו=8

מנהלים: The Architect, The Architect

נעול
furmanzo
הודעות: 33
הצטרף: 16:58 25/11/2008

שאלה7 ו=8

שליחה על ידי furmanzo » 16:22 24/12/2008

can someone explain to me what does those 2 functions get?
what is "vars"?

YossiCo
הודעות: 24
הצטרף: 19:20 17/12/2008
מיקום: ממש פה קרוב...

שליחה על ידי YossiCo » 17:47 24/12/2008

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

TA_Adi
הודעות: 106
הצטרף: 16:53 05/11/2008

שליחה על ידי TA_Adi » 19:03 24/12/2008

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).
צוות מבוא למדעי המחשב (מתרגל)

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

שליחה על ידי ybrumer » 19:49 24/12/2008

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

oridov
הודעות: 11
הצטרף: 14:32 29/11/2008

שליחה על ידי oridov » 21:51 24/12/2008

לפי הדוגמא שנתת, {1-,2}, שאמור לפתור את ה phi שלך מאחר ואחד מהם הוא אמת, לא פותר אותה.

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

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

gilsho
הודעות: 23
הצטרף: 17:29 23/07/2008

שליחה על ידי gilsho » 03:16 25/12/2008

ב 7 אתה פשוט מכניס את מה שקיבלת ב VARS לתוך פי שיש בו קלאוס אחד בלבד שמכיל את כל הערכים ב VARS.

the_bearded_monkey
הודעות: 25
הצטרף: 17:11 13/12/2008

שליחה על ידי the_bearded_monkey » 10:58 25/12/2008

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

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

TA_Kfir
הודעות: 60
הצטרף: 16:32 05/11/2008

שליחה על ידי TA_Kfir » 15:45 25/12/2008

Please see FAQ.
צוות מבוא למדעי המחשב (מתרגל)

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

שליחה על ידי shlomz » 17:44 25/12/2008

מה קורה אם אני מקבל את vars כ array באורך 0? אני מחזיר null?

the_bearded_monkey
הודעות: 25
הצטרף: 17:11 13/12/2008

שליחה על ידי the_bearded_monkey » 20:01 25/12/2008

shlomz כתב:מה קורה אם אני מקבל את vars כ array באורך 0? אני מחזיר null?
לא
השיטה אמורה להחזיר CNF חוקי ו null הוא לא חוקי

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

TA_Kfir
הודעות: 60
הצטרף: 16:32 05/11/2008

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

צוות מבוא למדעי המחשב (מתרגל)

zahavl
הודעות: 31
הצטרף: 16:20 06/12/2008

שליחה על ידי zahavl » 22:40 25/12/2008

ב 7 אתה פשוט מכניס את מה שקיבלת ב VARS לתוך פי שיש בו קלאוס אחד בלבד שמכיל את כל הערכים ב VARS.
אם כל הערכים בvars הם false ? לא צריך לבצע בדיקה לפני?

נעול

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