תרגיל 3 - מטלה 4 (substitue)

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

שלח תגובה
rvn
הודעות: 39
הצטרף: 23:05 14/11/2008
מיקום: מעונות ג'

תרגיל 3 - מטלה 4 (substitue)

שליחה על ידי rvn » 23:45 20/11/2009

האם אפשר להניך כי היא לא תקבל ליטרלים ריקים?

ומה ההעדפה - שירוץ יותר מהר או שיקח פחות זמן במהלך הביצוע?

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

Re: תרגיל 3 - מטלה 4 (substitue)

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

לא ברור לי מה כוונתך בליטרלים ריקים.
הארגומנט int literal צריך להיות ליטרל לפי שמוגדר בשאלה.
You may assume
that literal is not zero and that phi is a legal CNF.

נראה ש"ירוץ יותר מהר" ו"יקח פחות זמן" זה שקול. ההעדפה היא שהפונקציה תעבוד נכון (לפי המתואר) ושתהיה כתובה ברור. אח"כ יעילות. 
Course TA: Tamar Pinhas

שלח תגובה

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