docuniforme Kostensuche - Universität Basel
download 
Report Transcription
uniforme Kostensuche - Universität Basel
Grundlagen der K¨unstlichen Intelligenz 11. Klassische Suche: uniforme Kostensuche Malte Helmert Universit¨ at Basel 16. M¨arz 2015 Einf¨ uhrung Algorithmus Eigenschaften ¨ Klassische Suche: Uberblick Kapitel¨ uberblick klassische Suche: 5.–7. Grundlagen 8.–12. Basisalgorithmen 8. Datenstrukturen f¨ ur Suchalgorithmen 9. Baumsuche und Graphensuche 10. Breitensuche 11. uniforme Kostensuche 12. Tiefensuche und iterative Tiefensuche 13.–20. heuristische Algorithmen Zusammenfassung Einf¨ uhrung Algorithmus Einfu¨hrung Eigenschaften Zusammenfassung Einf¨ uhrung Algorithmus Eigenschaften Uniforme Kostensuche Breitensuche optimal, wenn alle Aktionskosten gleich sonst Optimalit¨at nicht garantiert Beispiel: Abhilfe: uniforme Kostensuche expandiere immer Knoten mit minimalen Pfadkosten (n.path cost alias g (n)) Implementierung: Priorit¨atswarteschlange (Min-Heap) f¨ ur Open-Liste Zusammenfassung Einf¨ uhrung Algorithmus Eigenschaften Uniforme Kostensuche Breitensuche optimal, wenn alle Aktionskosten gleich sonst Optimalit¨at nicht garantiert Beispiel: Abhilfe: uniforme Kostensuche expandiere immer Knoten mit minimalen Pfadkosten (n.path cost alias g (n)) Implementierung: Priorit¨atswarteschlange (Min-Heap) f¨ ur Open-Liste Zusammenfassung Einf¨ uhrung Algorithmus Algorithmus Eigenschaften Zusammenfassung Einf¨ uhrung Algorithmus Eigenschaften Erinnerung: generischer Graphensuchalgorithmus Erinnerung aus Kapitel 9: Generische Graphensuche open := new OpenList open.insert(make root node()) closed := new ClosedList while not open.is empty(): n := open.pop() if closed.lookup(n.state) = none: closed.insert(n) if is goal(n.state): return extract path(n) for each ha, s 0 i ∈ succ(n.state): n0 := make node(n, a, s 0 ) open.insert(n0 ) return unsolvable Zusammenfassung Einf¨ uhrung Algorithmus Uniforme Kostensuche Uniforme Kostensuche open := new MinHeap ordered by g open.insert(make root node()) closed := new HashSet while not open.is empty(): n := open.pop min() if n.state ∈ / closed: closed.insert(n) if is goal(n.state): return extract path(n) for each ha, s 0 i ∈ succ(n.state): n0 := make node(n, a, s 0 ) open.insert(n0 ) return unsolvable Eigenschaften Zusammenfassung Einf¨ uhrung Algorithmus Eigenschaften Zusammenfassung Uniforme Kostensuche: Diskussion Anpassung der generischen Graphensuche f¨ ur uniforme Kostensuche: hier w¨aren fr¨ uhe Zieltests/fr¨ uhe Updates der Closed-Liste keine gute Idee. (Warum nicht?) wie in BFS-Graph reicht eine Menge f¨ ur die Closed-Liste aus eine Baumsuchvariante ist m¨ oglich, aber selten: dieselben Nachteile wie BFS-Tree und im allgemeinen nicht einmal semi-vollst¨andig (Warum nicht?) Anmerkung: identisch mit Dijkstras Algorithmus f¨ ur k¨ urzeste Pfade in gewichteten Graphen! (bei beiden: Variante mit/ohne verz¨ ogerte Duplikateliminierung) Einf¨ uhrung Algorithmus Eigenschaften Uniforme Kostensuche: Verbesserungen M¨ogliche Verbesserungen: wenn Aktionskosten kleine Ganzzahlen sind, sind Bucket-Heaps oft effizienter zus¨atzliche fr¨ uhe Duplikatstests f¨ ur erzeugten Knoten k¨onnen Speicheraufwand reduzieren und Laufzeit verbessern oder verschlechtern Zusammenfassung Einf¨ uhrung Algorithmus Eigenschaften Eigenschaften Zusammenfassung Einf¨ uhrung Algorithmus Eigenschaften Vollst¨andigkeit und Optimalit¨at Eigenschaften der uniformen Kostensuche: uniforme Kostensuche ist vollst¨andig (Warum?) uniforme Kostensuche ist optimal (Warum?) Zusammenfassung Einf¨ uhrung Algorithmus Eigenschaften Zeit- und Platzaufwand Eigenschaften der uniformen Kostensuche: Zeitaufwand h¨angt von Verteilung der Aktionskosten ab (keine einfachen und genauen Schranken). Sei ε := mina∈A cost(a) und gelte ε > 0. Seien c ∗ die optimalen L¨ osungskosten. Sei b der Verzweigungsgrad und gelte b ≥ 2. ∗ Dann betr¨agt der Zeitaufwand h¨ ochstens O(b bc /εc+1 ). (Warum?) oft eine sehr schwache obere Schranke Speicheraufwand = Zeitaufwand Zusammenfassung Einf¨ uhrung Algorithmus Zusammenfassung Eigenschaften Zusammenfassung Einf¨ uhrung Algorithmus Eigenschaften Zusammenfassung uniforme Kostensuche: expandiere Knoten in Reihenfolge aufsteigender Pfadkosten u ¨blicherweise als Graphensuche entspricht dann Dijkstra-Algorithmus vollst¨andig und optimal Zusammenfassung
