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

Preview:

DESCRIPTION

אלגוריתמי חיפוש לא מיודעים. מבוא לבינה מלאכותית (236501) מדעי המחשב, טכניון עומר גייגר חורף 2012. הגדרות (מההרצאה). אלגוריתמי חיפוש לא מיודעים (תזכורת). BFS : חיפוש לרוחב. הצומת הבא לפיתוח הוא הצומת הרדוד ביותר. DFS : חיפוש לעומק. הצומת הבא לפיתוח הוא הצומת העמוק ביותר. - PowerPoint PPT Presentation

Citation preview

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

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

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

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

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

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

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

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

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

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

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

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

( מדעי המחשב- 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.)( מ גדול המגביל שהחסם בהנחה

BFS

Optimize -“closed”

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

DFS

Limitedversion

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

Uniform Cost Search

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

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

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

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

הוא .1הקשתות

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

Generic Search

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

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

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

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

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

Bidirectional -BFS

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

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

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

Bidirectional – BFS כן כן

סיבוכיות?

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

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

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

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

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

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

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

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

OpenPyAI

CS Technion Win 2012-13

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

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

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

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