משימה 8... מה הכוונה?

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

שלח תגובה
rubichi
הודעות: 77
הצטרף: 18:50 22/10/2009

משימה 8... מה הכוונה?

שליחה על ידי rubichi » 17:22 22/11/2009

כתוב:
that returns a CNF statement phi which is true if and only if exactly one of the
variables in variables is true. You may assume that the array variables is
not null and that every value in the array is positive (represents a propositional
variable).

בתרגום חופשי:
הפונקציה מחזירה ביטוי CNF שהוא נכון אם ורק אם בדיוק משתנה אחד ממערך המשתנים (שהפונקציה מקבלת) הוא חיובי.
ניתן להניח כי המערך אינו null ושכל ערך במערך הוא חיובי.

לא הבנתי... מניחים שכל הערכים חיוביים (כלומר כולם true) אבל מצד שני צריך לבדוק שבדיוק אחד מהם הוא חיובי? מה פספסתי?

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

Re: משימה 8... מה הכוונה?

שליחה על ידי TA_Isana » 20:27 22/11/2009

תרגום חופשי קצת פחות:
הפונקציה מחזירה נוסחת CNF שהוא נכון אם ורק אם בדיוק משתנה אחד ממערך המשתנים (שהפונקציה מקבלת) הוא true.
הסבר: ההשמה היחידה שתספק את הנוסחה המוחזרת היא כזו שתיתן ערך true לבדיוק משתנה יחיד מהמערך הנתון.
ניתן להניח כי המערך אינו null ושכל ערך במערך הוא מספר חיובי.
הסבר: כל ערך מספרי במערך מייצג ליטרל שהוא משתנה ולא מייצג ליטרל שהוא שלילה של משתנה.
Course TA: Tamar Pinhas

moshes
הודעות: 60
הצטרף: 00:15 24/10/2009

Re: משימה 8... מה הכוונה?

שליחה על ידי moshes » 19:37 24/11/2009

בשאלה 8 ,האם תמיד צריך להוסיף זוגות או שזה יכול להיות גם שלישיות. לדומגא אם החלוקה שלי היא K=4 ונגיד יש לי מערך של{1,2,3,4}
אז האם צריך להוסיף את כל הזוגות או את כל השלישיות כלומר לעשות מערכים של לK-1?
{1,2,3},{1,2,4},{1,3,4},{2,3,4} או {1,2},{1,3},{1,4},{2,3},{2,4},{3,4}?
תודה

borissp
הודעות: 10
הצטרף: 19:13 03/11/2009

Re: משימה 8... מה הכוונה?

שליחה על ידי borissp » 20:34 24/11/2009

לגבי 8, האם ניתן להניח גם שהמערך שאני מקבל לא באורך 0?

moshes
הודעות: 60
הצטרף: 00:15 24/10/2009

Re: משימה 8... מה הכוונה?

שליחה על ידי moshes » 13:28 25/11/2009

מישהו מהמתרגלים יכול לענות בבקשה

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

Re: משימה 8... מה הכוונה?

שליחה על ידי TA_Isana » 12:19 26/11/2009

moshes כתב:בשאלה 8 ,האם תמיד צריך להוסיף זוגות או שזה יכול להיות גם שלישיות. לדומגא אם החלוקה שלי היא K=4 ונגיד יש לי מערך של{1,2,3,4}
אז האם צריך להוסיף את כל הזוגות או את כל השלישיות כלומר לעשות מערכים של לK-1?
{1,2,3},{1,2,4},{1,3,4},{2,3,4} או {1,2},{1,3},{1,4},{2,3},{2,4},{3,4}?
תודה
שים לב שבתיאור הבעיה לנוסחה שעליך לייצר יש שני חלקים.
החלק הראשון (at least one) מכיל פסוקית יחידה שאורכה כמספר המשתנים שהתקבלו בארגומנט variables.
החלק השני (at most one) מכיל פסוקיות של זוגות (ולא שלשות וכו').
Course TA: Tamar Pinhas

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

Re: משימה 8... מה הכוונה?

שליחה על ידי TA_Isana » 12:21 26/11/2009

borissp כתב:לגבי 8, האם ניתן להניח גם שהמערך שאני מקבל לא באורך 0?
לא. אין הנחה כזו.
(ככלל, אם זה לא כתוב, אין הנחות נוספות)
Course TA: Tamar Pinhas

Keren
הודעות: 16
הצטרף: 21:43 16/12/2008

Re: משימה 8... מה הכוונה?

שליחה על ידי Keren » 09:49 01/12/2009

TA_Isana כתב:
borissp כתב:לגבי 8, האם ניתן להניח גם שהמערך שאני מקבל לא באורך 0?
לא. אין הנחה כזו.
(ככלל, אם זה לא כתוב, אין הנחות נוספות)

זה נכון שאין הנחה כזאת במטלה 8 אבל הפונקציה מקבלת מערך מתוך vars שיצרנו במטלה 7, עבור k>0, n>0,
מה שאומר היא לעולם לא תקבל מערך בגודל 0...

שלח תגובה

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