א. האם צריך להציג הוכחת נכונות לגבי למה התכנית הלינארית שכתבתי אכן פותרת את השאלה, או שבדומה לתכנות דינמי זה בדרך כלל ברור לגמרי ולכן אין צורך, ולכן צריך לכתוב הוכחת נכונות רק כאשר ממש לא ברור מאיפה הנפצתי את התכנית הלינארית?
ספציפית - האם בשאלה 4 נדרשת הוכחת נכונות? (בשאלה השקולה שעשינו בתרגול עם נורמת אינסוף אין במצגת הוכחת נכונות, אבל בכל מקרה היא די ברורה)
ב. האם נדרש לכתוב מה סיבוכיות זמן הריצה של הבעיות של התכנות לינארי? או שהיות שזה תכנות לינארי וידוע שזמן הריצה הוא אקספוננציאלי ב-WC אז אין צורך לכתוב?
תודה :)