Transcript
Page 1: אלגוריתמי חיפוש לא מיודעים

מיודעים לא חיפוש אלגוריתמימלאכותית ) לבינה (236501מבוא

, טכניון המחשב מדעיגייגר עומר2012חורף

Page 2: אלגוריתמי חיפוש לא מיודעים

) מההרצאה ) הגדרות

( מדעי המחשב- 236501מבוא לבינה מלאכותית )2013טכניון. עומר גייגר חורף

Page 3: אלגוריתמי חיפוש לא מיודעים

) תזכורת ) מיודעים לא חיפוש אלגוריתמי

( מדעי המחשב- 236501מבוא לבינה מלאכותית )2013טכניון. עומר גייגר חורף

BFS . הצומת: הוא לפיתוח הבא הצומת לרוחב הרדודחיפושביותר.

DFS . הצומת: הוא לפיתוח הבא הצומת לעומק העמוקחיפושביותר.

Bounded - DFS: DFS. מסוים עומק עד רק מוגבלID - DFS :מבצעBounded DFS. העומק פרמטר על באיטרציה

Bounded - ID - DFS :עד העומק פרמטר על איטרציות מבצע. מראש קבוע לעומק

Backtracking- ל: דומה רק, DFSמאוד עוקבים צמתים יוצר אך. שלהם פיתוח לפני

Page 4: אלגוריתמי חיפוש לא מיודעים

- מיודעים לא חיפוש אלגוריתמי השוואת

( מדעי המחשב- 236501מבוא לבינה מלאכותית )2013טכניון. עומר גייגר חורף

אלגוריתם שלמות אופטימליות זמן סיבוכיות סיבוכיות מקום

BFS כן* כן * *

DFS לא לא  **

Backtracking לא לא **

Bounded-DFS לא לא ***

ID-DFS כן* כן ***

Bounded-ID-DFS לא כן

b = #Ops Maximal branching factorD = Maximal search depth Depth of solution(

*BFS, ID-DFS.)( חסום האופרטורים שמספר בהנחה שלמים **DFS.) חסום )( )( )== העץ חסום החיפוש ועומק חסום האופרטורים שמספר בהנחה

של לאופטימליות בעייתיים .  DFS\Backtrackingמקרים , אינסופי - ענף מעגל ***Bounded DFS/Bounded ID-DFS.)( מ גדול המגביל שהחסם בהנחה

Page 5: אלגוריתמי חיפוש לא מיודעים

BFS

Optimize -“closed”

( מדעי המחשב- 236501מבוא לבינה מלאכותית )2013טכניון. עומר גייגר חורף

Page 6: אלגוריתמי חיפוש לא מיודעים

DFS

Limitedversion

( מדעי המחשב- 236501מבוא לבינה מלאכותית )2013טכניון. עומר גייגר חורף

Page 7: אלגוריתמי חיפוש לא מיודעים

Uniform Cost Search

: אחיד חיפוש אלגוריתםעל • מחיר עם לבעיות מתאים

.) האופרטורים ) הקשתות•- ל לעומק BFSדומה מתייחס אך

לפי ולא הקשתות מחיר לפי . בקשתות בגרף המסלול אורך

•BFS של פרטי מקרה הינוUniformCost כל משקל כאשר

הוא .1הקשתות

( מדעי המחשב- 236501מבוא לבינה מלאכותית )2013טכניון. עומר גייגר חורף

Page 8: אלגוריתמי חיפוש לא מיודעים

Generic Search

11-12מתוך רשמים של גב' ענת עציון, מהתרגול של מר' עומר לוי חורף

( מדעי המחשב- 236501מבוא לבינה מלאכותית )2013טכניון. עומר גייגר חורף

Page 9: אלגוריתמי חיפוש לא מיודעים

"טריק" הכפלת עומק החיפוש )מהשיעור שעבר( LightzOutנניח שבבעיית

. 10, בגלל אילוצי זמן. אולם, הפתרון האופטימלי נמצא בעומק 6אי אפשר לחפש מעבר לעומק מה נעשה?...

נחפש לרוחב מההתחלה לסוף ומהסוף להתחלה "במקביל" !"נכפיל" את העומק בלי עלות אסימפטותית בזמן או בזיכרון.• זיכרון(.2נצטרך להחזיק "חזית" כפולה )פקטור של פי •נשתמש במבנה נתונים חכם על מנת להקטין את מספר ההשוואות בין החזיתות •(HashTable.)עץ חיפוש ,

Bidirectional -BFS

11-12מתבסס על רשמים של גב' ענת עציון, מהתרגול של מר' עומר לוי חורף

( מדעי המחשב- 236501מבוא לבינה מלאכותית )2013טכניון. עומר גייגר חורף

אלגוריתם שלמות אופטימליות זמן סיבוכיות סיבוכיות מקום

Bidirectional – BFS כן כן

סיבוכיות?

Page 10: אלגוריתמי חיפוש לא מיודעים

HW0 and OpenPyAI!יצירתיות המפתח מילת היא

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

, . רעיונות על הינו בתרגיל הדגש לפיכך בקלות חדשה שפה וללמוד לתכנת יודעים אתם . פתוחה הינה התרגיל הגדרת התכנותי במובן ופחות האלגוריתמי במובן בעיקר יצירתיים

... כרצונכם להרחבה ונתונה אישית לאינטרפרטציה

! חופשי- תתפרעו בקיצור

. הסופי – לציון בונוס נקודה יקבל הדרישות מינימום את שביצע מי

יקבל – יצירתיות שהציג (. 2מי ( ' זה בקריטריון עומדים כה עד המגישים כמחצית נק

( מדעי המחשב- 236501מבוא לבינה מלאכותית )2013טכניון. עומר גייגר חורף

Page 11: אלגוריתמי חיפוש לא מיודעים

OpenPyAI

CS Technion Win 2012-13

( מדעי המחשב- 236501מבוא לבינה מלאכותית )2013טכניון. עומר גייגר חורף

Page 12: אלגוריתמי חיפוש לא מיודעים

? ! שאלות רבה תודה

: של באדיבותם חומרים על מבוסס התרגול-' מרקוביץ' שאול פרופלוי' - עומר מרעציון' - ענת גב

המשולבים- והלינקים ויקיפדיה