הגדרת ההגדרות - החשובה לתרגיל.

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

שלח תגובה
AmiEli
הודעות: 68
הצטרף: 20:24 25/10/2009

הגדרת ההגדרות - החשובה לתרגיל.

שליחה על ידי AmiEli » 14:53 21/11/2009

In all of the tasks described in the following, when we say that phi
(of type int[][]) is a legal CNF, we mean that phi is not null and
that all lists in phi are not null and do not contain the value 0. Note
that both phi and any clause in phi may be empty.
מכך הבנתי כך:
phi יכול להיות:
{{} , {1,2}} - מערך שבו גם קלאוזים מלאים וגם ריקים
{} - מערך שאין בו קלאוזים בכלל
{{}} - מערך שיש בו רק קלאוז אחד ריק \ כמה קלאוזים ריקים
{{1,3} , {5,11}} - מערך רגיל עם קלאוזים מלאים.

אבל האם יכול להיות מערך, שהוא בעצם קלאוז?
{1,5} ? \ {1} ?

או שלא משנה מה - המערך לעולם יהיה דו מימדי ?

תודה ! :mrgreen:

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

Re: הגדרת ההגדרות - החשובה לתרגיל.

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

לדעתי המערך phi יהיה תמיד דו מימדי, פשוט כי זו ההגדרה.
אז לדוגמה פסוק שמורכב רק מפסוקית אחת יראה כך: {{...l1vl2v}}
זה מערך דו מימדי שהוא הפסוק, בעל תא אחד, שבתוך התא יש מערך חד מימדי שהוא הפסוקית (clause)

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

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

Re: הגדרת ההגדרות - החשובה לתרגיל.

שליחה על ידי TA_Isana » 13:50 22/11/2009

בתרגיל זה תמיד הנוסחה תהיה מיוצגת ע"י מערך דו-מימדי
Course TA: Tamar Pinhas

AmiEli
הודעות: 68
הצטרף: 20:24 25/10/2009

Re: הגדרת ההגדרות - החשובה לתרגיל.

שליחה על ידי AmiEli » 15:09 22/11/2009

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

כי להזכירכם - מערך חד מימדי בלי כלום בפנים, כלומר {} - זה תשובה חוקית.

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

Re: הגדרת ההגדרות - החשובה לתרגיל.

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

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

שלח תגובה

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