מטלת מנחה (ממ"ן) 11
הקורס: - 20407מבני נתונים ומבוא לאלגוריתמים
חומר הלימוד למטלה: פרקים (1-4 ספר הלימוד)
מספר השאלות: 4 משקל המטלה: 5נקודות
סמסטר: 2023א מועד אחרון להגשה: 14.11.2022
שאלה 1 (30 נקודות)
הוכיחו שהשגרה מחזירה מספר אי-זוגי לכל קלט אפשרי )העומד בתנאים לעיל(
באמצעות ניסוח והוכחה של שמורת לולאה מתאימה עבור הלולאה הראשונה של השגרה.
שאלה 2 (30 נקודות)
1.מה מחזירה השגרה כפונקציה של הקלט שלה ?
2.נסחו שמורות לולאה מתאימות שמוכיחות את תשובתכם לחלק ,1הוכיחו את שמורות
הלולאה.
(שימו לב ש mid הוא משתנה רציונלי)
שאלה 3 (20 נקודות)
שאלה 4 (20 נקודות)
יש תשובות לכל השאלות
