תכנון וניתוח אלגוריתמים - החוג למדעי המחשב, אוניברסיטת חיפה

Transcription

תכנון וניתוח אלגוריתמים - החוג למדעי המחשב, אוניברסיטת חיפה
‫אוניברסיטת חיפה מחשב‬
‫תכנון וניתוח אלגוריתמים‬
‫מרצה‪:‬‬
‫פרופ' אילן נוימן ‪[email protected] ,‬‬
‫מתרגלת‪:‬‬
‫כרמי ארלינסקי ‪[email protected]‬‬
‫שעות קבלה‪ :‬פרופ' אילן נוימן‪ :‬יום א‪ ,10-12 ,‬חדר ‪) 515‬בניין ג'ייקובס‪ ,‬קומה ‪,(5‬‬
‫כרמי ארלינסקי‪TBD -‬‬
‫טלפון‪:‬‬
‫פרופ' אילן נוימן‪ 3729 :‬פנימי‪ 8249729 ,‬חיצוני‪.‬‬
‫מטרת הקורס ללמד שיטות פיתוח אלגוריתמים שונות‪ ,‬תוך דגש על הוכחת נכונות‪ ,‬יעילות‪ ,‬וניתוח‬
‫סיבוכיות‪.‬‬
‫הספר המומלץ לקורס הוא‪INTRODUCTION TO ALGORITHMS :‬‬
‫מאת ‪ .CORMEN LEISERSON AND RIVEST‬בנוסף ולעזר בלבד‪ ,‬ישנם תקצירי הרצאות של הקורס‬
‫בעברית באתר של אילן‪.‬‬
‫ספרים נוספים לעיון‪ :‬של ‪ S., BASSE, SEDGWICK‬ואחרים )חפש לפי הכותר ‪.( ALGORITHMS‬‬
‫הנושאים שילמדו )הפניה לסעיפים בספר של ‪:( CORMEN LEISERSON AND RIVEST‬‬
‫‪ .1‬שיטות של "הפרד ומשול" שיטות אינדוקטיביות ורקורסיביות – חזרה קצרה על מיונים ולימוד‬
‫אלגוריתם למציאת חציון‪ .‬פ' ‪.10‬‬
‫‪ .2‬תכנון דינמי‪ .‬פ' ‪.16‬‬
‫‪ .3‬קשירות בגרפים לא מכוונים‪ ,‬תכונות של עצים‪ ,‬מציאת עץ פורש‪ BFS ,‬בגרפים מכוונים ולא‬
‫מכוונים‪ ,‬מיון טופולוגי‪ .‬פ' ‪.23‬‬
‫‪ DFS .4‬בגרפים מכוונים ולא מכוונים‪ ,‬מציאת רכיבים דו‪-‬קשירים‪ .‬פ' ‪) 23‬לא כולל רכיבים‬
‫דו‪-‬קשירים(‪.‬‬
‫‪ .5‬מסלול קצר ביותר‪ .‬פ' ‪.26 ,25‬‬
‫‪ .6‬עץ פורש מינימום‪ .‬פ' ‪.24‬‬
‫‪ .7‬זרימה ברשתות ושימושים‪ :‬שידוך בגרף דו‪-‬צדדי‪ -K ,‬קשירות‪ .‬פ' ‪.27‬‬
‫‪ .8‬אלגוריתמים אלגבריים פשוטים‪ :‬חזקה‪ ,‬כפל מטריצות‪ .‬פ' ‪31.2‬‬
‫‪ FFT .9‬ושימושים לכפל פולינומים‪ .‬פ' ‪.32‬‬
‫‪ .10‬אלגוריתמים על מחרוזות‪ .‬פ' ‪.34‬‬
‫ציון‪:‬‬
‫מבחן סופי ‪.90%‬‬
‫תרגילי בית מגן ‪.10%‬‬
‫החוג למדעי המחשב‪ ,‬אוניברסיטת חיפה‪ ,‬הר הכרמל‪ ,‬חיפה ‪ ,31905‬טל'‪ ,04-8240259 :‬פקס‪:‬‬
‫‪04-8249331‬‬
‫‪http://cs.haifa.ac.il‬‬