רקורסיות נושאי השיעור מהן רקורסיות פתרון רקורסיות : שיטת ההצבה שיטת איטרציות שיטת המסטר 14 יוני 15 14 יוני 15 14 יוני 1514 יוני 15 14 יוני 15 14 יוני 1514.

Slides:



Advertisements
Similar presentations
Completeness and Expressiveness. תזכורת למערכת ההוכחה של לוגיקה מסדר ראשון : אקסיומות 1. ) ) (( 2. )) ) (( )) ( ) ((( 3. ))) F( F( ( 4. ) v) ( ) v ((
Advertisements

מבוא למדעי המחשב לתעשייה וניהול
מבוא למדעי המחשב לתעשייה וניהול דוגמאות ותרגול נוסף במערך חד ממדי הרצאה 12.
1 Trees CLRS: chapter A hierarchical combinatorial structure הגדרה רקורסיבית: 1. צומת בודד. זהו גם שורש העץ. 2. אם n הוא צומת ו T 1 ….T K הינם עצים,
צורה נורמלית של גרייבך הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.
פונקציונל פונקציה מספר פונקציונל דוגמאות לא פונקציונל פונקציונל.
מתמטיקה בדידה תרגול 3.
פעולות מילון Insert, Delete, Search Binary Search Tree, AVL, 2-3 Tree, Skip List O(log n) האם יש מבנה עם סבוכיות (1)O? לא למפתח כלשהו.
מבני נתונים 1 – מבנה התרגולים
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
Inverse kinematics (Craig ch.4) ב"ה. Pieper’s solution נתבונן ברובוט עם 6 מפרקי סיבוב כאשר שלושת הצירים של המפרקים האחרונים נחתכים. נקודת החיתוך נתונה.
תכנות תרגול 6 שבוע : חישוב e זוהי הנוסחא לחישוב e נראה כיצד לתרגם אותה לפונקציה n n.
1 תוכן העניינים הקדמה שיטה כללית לכתיבת תוכנית שיטה כללית לכתיבת תוכנית יעילות של תוכנית (סיבוכיות) יעילות של תוכנית (סיבוכיות) מדדי סיבוכיות נוספים מדדי.
תרגול 5 רקורסיות. רקורסיה קריאה של פונקציה לעצמה –באופן ישיר או באופן עקיף היתרון : תכנות של דברים מסובכים נעשה ברור ונוח יותר, מכיוון שזו למעשה צורת.
עבודה סמינריונית Prelude to Ukkonen algorithm ON-LINE CONSTRUCTION OF SUFFIX TREES מגישים : עיד מוחמד טיבי פיראס.
אוטומט מחסנית הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.
חורף - תשס " ג DBMS, צורות נורמליות 1 צורה נורמלית שלישית - 3NF הגדרה : תהי R סכמה רלציונית ותהי F קבוצת תלויות פונקציונליות מעל R. R היא ב -3NF.
11 Introduction to Programming in C - Fall 2010 – Erez Sharvit, Amir Menczel 1 Introduction to Programming in C תרגול
רקורסיות 18 יוני יוני יוני 1518 יוני יוני יוני 1518 יוני יוני יוני 151.
עיבוד תמונות ואותות במחשב אלכסנדר ברנגולץ דואר אלקטרוני : שיטות קידוד שיטות קידוד אורך מלת קוד ואנטרופיה אורך מלת קוד ואנטרופיה קידוד.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
תורת הקבוצות חלק ב'. קבוצה בת מניה הגדרה: קבוצה אינסופית X היא ניתנת למניה אם יש התאמה חד-חד ערכית בין X לבין .
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
מבוא לשפת C תרגול 12: עוד רקורסיה
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site : T.A. :Emilia Katz.
תכנות תרגול 6 שבוע : הגדרת פונקציות return-value-type function-name(parameter1, parameter2, …) הגדרת סוג הערכים שהפונקציה מחזירה שם הפונקציהרשימת.
תחשיב הפסוקים חלק ג'. צורות נורמליות א. DF – Disjunctive Form – סכום של מכפלות. דוגמא: (P  ~Q  R)  (R  P)  (R  ~Q  ~P) הגדרה: נוסחה השקולה לנוסחה.
Backpatching 1. תזכורת מתרגול קודם קוד ביניים - שפת הרביעיות שיטות לייצור קוד ביניים –שימוש בתכונת code –כתיבה ישירה ל-buffer של פקודות שיטות לתרגום מבני.
מבוא כללי למדעי המחשב שיעור 5
א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.
תכנות תרגול 14 שבוע:
מבוא כללי למדעי המחשב תרגול 3. לולאות while לולאות while while (condition) { loop body } במקרה של קיום התנאי מתבצע גוף הלולאה ברגע שהתנאי לא מתקיים נצא.
ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.
טיב פני שטח (טפ"ש) טיב פני שטח- רמת החלקות של המשטח.
Ray 7 דוגמא אלגוריתם 1.קבל דוגמאות 2. פלט f a עבור הדוגמה a המינימלית החיובית ?
תחשיב הפסוקים חלק ד'. תורת ההיסק של תחשיב הפסוקים.
הקדמה. תנועת גל בחומר. קריסת הגל. משוואת ברגר (Burgers’ equation) ופתרונה. גלי הלם. סיכום.
מבוא למדעי המחשב תרגול מספר 14 ואחרון....
Data Structures, CS, TAU, Perfect Hashing 1 Perfect Hashing בעיה : נתונה קבוצה S של n מפתחות מתחום U השוואה ל - Hash : * טבלה קבועה (Hash רגיל - דינאמי.
1 Data Structures, CS, TAU, Perfect Hashing בעיה: נתונה קבוצה S של n מפתחות מתחום U השוואה ל- Hash : * טבלה קבועה (Hash רגיל - דינאמי) * רוצים זמן קבוע.
מפות קרנו ולוגיקה צירופית יהודה אפק, נתן אינטרטור אוניברסיטת תל אביב
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
מערכים עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר int grade1, grade2, …, grade20; int grade1, grade2, …, grade20;
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א מודל הלמידה מדוגמאות Learning.
עקרון ההכלה וההדחה.
יחס סדר חלקי.
מבוא למדעי המחשב תרגול 3 שעת קבלה : יום שני 11:00-12:00 דוא " ל :
תחשיב היחסים (הפרדיקטים)
מבוא למדעי המחשב, סמסטר א ', תשע " א תרגול מס ' 1 נושאים  הכרת הקורס  פסאודו - קוד / אלגוריתם 1.
מיון (Sorting) קלט : מערך בן n מספרים. פלט : מערך ובו המספרים אותם מאוחסנים בסדר עולה
תוכנה 1 - תרגול שיעור 10 Pointers (2) שולי לב יהודי
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א.
מתמטיקה בדידה תרגול 2.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
מבוא למדעי המחשב תרגול 9 – מערכים ומחרוזות, תרגילי חזרה שעת קבלה : יום שני 11:00-12:00 דוא " ל :
- אמיר רובינשטיין מיונים - Sorting משפט : חסם תחתון על מיון ( המבוסס על השוואות בלבד ) של n מפתחות הינו Ω(nlogn) במקרה הגרוע ובממוצע. ניתן לפעמים.
1 מבוא למדעי המחשב רקורסיה. 2 רקורסיה היא שיטה לפתרון בעיות המבוססת על העיקרון העומד ביסוד אינדוקציה מתמטית: אם ידועה הדרך לפתור בעיה עבור המקרים הבסיסיים.
Data Structures Hanoch Levi and Uri Zwick March 2011 Lecture 3 Dynamic Sets / Dictionaries Binary Search Trees.
מבוא למדעי המחשב לתעשייה וניהול הרצאה 12. ספריות.
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site:
Formal Specifications for Complex Systems (236368) Tutorial #1
מבוא למדעי המחשב סיבוכיות.
רקורסיות קרן כליף.
מיונים וחיפושים קרן כליף.
רקורסיות קרן כליף.
שיעור חמישי: מערכים ומחרוזות
הקצאות דינאמיות קרן כליף.
משימת חקר מכוון ללמידה משמעותית
שיעור עשירי: מיונים, חיפושים, וקצת סיבוכיות חישוב
Presentation transcript:

רקורסיות נושאי השיעור מהן רקורסיות פתרון רקורסיות : שיטת ההצבה שיטת איטרציות שיטת המסטר 14 יוני יוני יוני 1514 יוני יוני יוני 1514 יוני יוני יוני 151Data Structures 1, rec #2

רקורסיות הגדרה : רקורסיה זו משוואה או אי שוויון אשר מתאר פונקציה בעזרת ערכים שלה על ארגומנטים קטנים דוגמא : 14 יוני יוני יוני 1514 יוני יוני יוני 1514 יוני יוני יוני 152Data Structures 1, rec #2

רקורסיות - דוגמא חיפוש מקסימום במערך לא ממויין : המערך הוא A[], h – מקום התחלת חיפוש, t – מקום סיום חיפוש Max(h,t): אם h=t החזר A[h] אחרת, m=(h+t)/2 M1=Max(h,m) M2=Max(m+1,t) החזר את המקסימום בין M1 ו M2 צ " ל : סיבוכיות הרקורסיה קודם כל, נבנה משוואה רקורסיבית : n – מספר האיברים במערך פתרון : 14 יוני יוני יוני 1514 יוני יוני יוני 1514 יוני יוני יוני 153Data Structures 1, rec #2

שיטות לפתרון רקורסיות שיטת הצבה שיטת איטרציות שיטת “master” 14 יוני יוני יוני 1514 יוני יוני יוני 1514 יוני יוני יוני 154Data Structures 1, rec #2

שיטת הצבה מנחשים צורת פתרון משתמשים באינדוקציה מתמטית כדי למצוא קבועים ולהוכיח שהפתרון נכון 14 יוני יוני יוני 1514 יוני יוני יוני 1514 יוני יוני יוני 155Data Structures 1, rec #2

שיטת ההצבה – דוגמא 1 ננחש שהפתרון הוא צ " ל : נוכיח באינדוקציה. 14 יוני יוני יוני 1514 יוני יוני יוני 1514 יוני יוני יוני 156Data Structures 1, rec #2

שיטת ההצבה – דוגמא 2 ננחש שהפתרון הוא צ"ל:צ"ל: הבעיה : הנחת האינדוקציה אינה חזקה מספיק. 14 יוני יוני יוני 1514 יוני יוני יוני 1514 יוני יוני יוני 157Data Structures 1, rec #2

שיטת ההצבה – דוגמא 3 ננחש שהפתרון הוא תמיד צריך להוכיח את ההנחה האינדוקטיבית במדויק ! צ"ל:צ"ל: 14 יוני יוני יוני 1514 יוני יוני יוני 1514 יוני יוני יוני 158Data Structures 1, rec #2

דוגמא להחלפת משתנים נסמן : מכאן : נסמן : מכאן : את הרקורסיה הזאת כבר פתרנו היום : לכן : 14 יוני יוני יוני 1514 יוני יוני יוני 1514 יוני יוני יוני 159Data Structures 1, rec #2

שיטת איטרציות אין צורך לנחש פתרון פותחים את הביטוי הרקורסיבי כסכום של איברים התלויים רק ב -n ובתנאי ההתחלה 14 יוני יוני יוני 1514 יוני יוני יוני 1514 יוני יוני יוני 1510Data Structures 1, rec #2

שיטת איטרציות - דוגמא 14 יוני יוני יוני 1514 יוני יוני יוני 1514 יוני יוני יוני 1511Data Structures 1, rec #2

עצי רקורסיה דוגמאות 14 יוני יוני יוני 1514 יוני יוני יוני 1514 יוני יוני יוני 1512Data Structures 1, rec #2

14 יוני יוני יוני 1514 יוני יוני יוני 1514 יוני יוני יוני 1513Data Structures 1, rec #2