שאלה לגבי QUIZ1

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

שלח תגובה
yoni
הודעות: 10
הצטרף: 13:13 23/10/2009

שאלה לגבי QUIZ1

שליחה על ידי yoni » 13:19 23/10/2009

לפי מה שהבנתי ממהרצאות, השלב הראשון בהוכחה של נכונות אלגוריתם אמור להיות


pre ------> inv

אבל במקרה של האלגוריתם הזה, בגלל שלפני הלולאה J=0 F=1 אז נראה לי שזה לא נכון (לפחות לפי הINV שאני חשבתי שמתאים, שהוא גם התשובה הנכונה בשאלה 3.

אני מקווה שיצא ברור...

hades200621
הודעות: 35
הצטרף: 01:00 24/10/2009

Re: שאלה לגבי QUIZ1

שליחה על ידי hades200621 » 01:09 24/10/2009

ה- PRE מתייחס למצב לפני הלולאה
ואילו ה- INV מתייחס לכל רגע נתון במהלך הלולאה

שלח תגובה

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