דף 1 מתוך 1

עבודה מספר 3

נשלח: 21:43 22/11/2009
על ידי Eg1986
שאלה ראשונה
סעיף 1 וסעיף 2 מביאים איתם סתירה מסויימת.
מצד אחד על פי סעיף 2 אם כל המערך הדו מימדי ריק אז ISTRUE מתקיים (כלומר המערך מתיישב)
ואילו בסעיף 1 מספיק שיש שורה אחת=פסקה אחת ריקה אז ISFALSE מתקיים( כלומר אם לא כל הפסקאות ריקות אזי הCNF לא מתיישב בשל הופעת פסקה אחת או יותר ריקה).
כלומר האם יש להוסיף תנאי בסעיף 1 אם לא כל המערך הדו מימדי ריק אז חפש פסקה ריקה...ואם לא אז מהי מטרת הפונקציה?
שאלה שנייה
אם ISFALSE מתקיים בסעיף 4, זאת אומרת שיש לנו פסקה ריקה כזאת שמחזיקה לנו FALSE לכל הCNF, סימן שאנחנו צריכים להעתיק אותה.. כי לפי הבנתי אם היא מחזירה FALSE ובCNF שהוא המערך הראשי יש בעצם שורה של "וגמים" אז כל התנאי יחזיר FALSE ואז אין טעם להעתיק כלום.
שאלה שלישית
מהו ההגיון מאחורי הטענה
שאם פסקה תחזיר FALSE משום שהיא ריקה וכמותה כל המערך הראשי מכיל פסקאות ריקות איך בסופו של דבר אם בינהם שורה של "וגמים" נקבל אמת?

Re: עבודה מספר 3

נשלח: 10:16 23/11/2009
על ידי ta_gilad
Eg1986 כתב:סעיף 1 וסעיף 2 מביאים איתם סתירה מסויימת.
מצד אחד על פי סעיף 2 אם כל המערך הדו מימדי ריק אז ISTRUE מתקיים (כלומר המערך מתיישב)
ואילו בסעיף 1 מספיק שיש שורה אחת=פסקה אחת ריקה אז ISFALSE מתקיים( כלומר אם לא כל הפסקאות ריקות אזי הCNF לא מתיישב בשל הופעת פסקה אחת או יותר ריקה).
כלומר האם יש להוסיף תנאי בסעיף 1 אם לא כל המערך הדו מימדי ריק אז חפש פסקה ריקה...ואם לא אז מהי מטרת הפונקציה?
אין סתירה בשאלה. כפי שכתוב בעבודה: אם אין בכלל Clause ב-CNF הנתון, אזי הוא True. אם יש בו Clause ריק (כלומר, יש בו Clause) אזי הוא False.
Eg1986 כתב:אם ISFALSE מתקיים בסעיף 4, זאת אומרת שיש לנו פסקה ריקה כזאת שמחזיקה לנו FALSE לכל הCNF, סימן שאנחנו צריכים להעתיק אותה.. כי לפי הבנתי אם היא מחזירה FALSE ובCNF שהוא המערך הראשי יש בעצם שורה של "וגמים" אז כל התנאי יחזיר FALSE ואז אין טעם להעתיק כלום.
לא ברור לי מה אתה מנסה לשאול.
Eg1986 כתב:מהו ההגיון מאחורי הטענה
שאם פסקה תחזיר FALSE משום שהיא ריקה וכמותה כל המערך הראשי מכיל פסקאות ריקות איך בסופו של דבר אם בינהם שורה של "וגמים" נקבל אמת?
איפה בדיוק יש טענה שכזו?