![Page 1: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/1.jpg)
www.kit.eduKIT – Universität des Landes Baden-Württemberg undnationales Großforschungszentrum in der Helmholtz-Gemeinschaft
Thomas Pajor | 16. Juni 2011
14. Sitzung, Sommersemester 2011
Algorithmen für Routenplanung
INSTITUT FÜR THEORETISCHE INFORMATIK · ALGORITHMIK I · PROF. DR. DOROTHEA WAGNER
![Page 2: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/2.jpg)
Letztes Mal. . .
Einführung in zeitabhängige Routenplanung
f (τ )
τΠ
rush hour
f (τ )
τΠ
schneller Zug
langsamer Zug
Straße Schiene
Funktion f durch Interpolationspunkte: I f := {(t f1,w
f1), . . . , (t
fk ,w
fk )}
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 3: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/3.jpg)
Anfrageszenarien
Zeit-Anfrage:finde kürzesten Weg für Abfahrtszeit τanalog zu Dijkstra
Profil-Anfrage:finde kürzesten Weg für alle AbfahrtszeitpunkteLabel-Correcting Algorithmus
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 4: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/4.jpg)
Anfrageszenarien
Zeit-Anfrage:finde kürzesten Weg für Abfahrtszeit τanalog zu Dijkstra
Profil-Anfrage:finde kürzesten Weg für alle AbfahrtszeitpunkteLabel-Correcting Algorithmus
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 5: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/5.jpg)
Public Transport: Auswertung
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Problem:Finden von ti und ti+1
Theoretisch:Lineare Suche: O(|I|)Binäre Suche: O(log2 |I|)
praktisch:|I| < 30: Lineare SucheSonst: Lineare Suche mit Startpunkt τ
Π· |I|
Evaluation von f (τ):Suche Punkte mit ti ≥ τ und ti − τ minimaldann Evaluation durch
f (τ) = wi + (ti − τ)
departure
travel time
![Page 6: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/6.jpg)
Public Transport: Auswertung
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Problem:Finden von ti und ti+1
Theoretisch:Lineare Suche: O(|I|)Binäre Suche: O(log2 |I|)
praktisch:|I| < 30: Lineare SucheSonst: Lineare Suche mit Startpunkt τ
Π· |I|
Evaluation von f (τ):Suche Punkte mit ti ≥ τ und ti − τ minimaldann Evaluation durch
f (τ) = wi + (ti − τ)
departure
travel time
![Page 7: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/7.jpg)
Public Transport: Link
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Linken zweier Funktionen f und gFür jeden Punkt (t f
i ,wfi ) bestimme den Verbindungspunkt (tg
j ,wgj ) mit
tgj − t f
i − w fi ≥ 0 minimal
Erste Verbindung, die man auf g erreichen kannFüge (t f
i , tgj + wg
j − t fi ) hinzu
Wenn zwei Punkte den gleichenVerbindungspunkt haben,behalte nur den mit größerem t f
i
Wieder Sweep-Algorithmus
u
v
w
7:00 - 55 min8:00 - 55 min9:00 - 55 min
09:00 - 60 min12:00 - 60 min16:00 - 60 min
![Page 8: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/8.jpg)
Public Transport: Link
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Linken zweier Funktionen f und gFür jeden Punkt (t f
i ,wfi ) bestimme den Verbindungspunkt (tg
j ,wgj ) mit
tgj − t f
i − w fi ≥ 0 minimal
Erste Verbindung, die man auf g erreichen kannFüge (t f
i , tgj + wg
j − t fi ) hinzu
Wenn zwei Punkte den gleichenVerbindungspunkt haben,behalte nur den mit größerem t f
i
Wieder Sweep-Algorithmusu
v
w
7:00 - 55 min8:00 - 55 min9:00 - 55 min
09:00 - 60 min12:00 - 60 min16:00 - 60 min
8:00 - 120 min9:00 - 240 min
![Page 9: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/9.jpg)
Public Transport: Link
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Linken zweier Funktionen f und gFür jeden Punkt (t f
i ,wfi ) bestimme den Verbindungspunkt (tg
j ,wgj ) mit
tgj − t f
i − w fi ≥ 0 minimal
Erste Verbindung, die man auf g erreichen kannFüge (t f
i , tgj + wg
j − t fi ) hinzu
Wenn zwei Punkte den gleichenVerbindungspunkt haben,behalte nur den mit größerem t f
i
Wieder Sweep-Algorithmusu
v
w
7:00 - 55 min8:00 - 55 min9:00 - 55 min
09:00 - 60 min12:00 - 60 min16:00 - 60 min
8:00 - 120 min9:00 - 240 min
![Page 10: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/10.jpg)
Public Transport: Link
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Linken zweier Funktionen f und gFür jeden Punkt (t f
i ,wfi ) bestimme den Verbindungspunkt (tg
j ,wgj ) mit
tgj − t f
i − w fi ≥ 0 minimal
Erste Verbindung, die man auf g erreichen kannFüge (t f
i , tgj + wg
j − t fi ) hinzu
Wenn zwei Punkte den gleichenVerbindungspunkt haben,behalte nur den mit größerem t f
i
Wieder Sweep-Algorithmusu
v
w
7:00 - 55 min8:00 - 55 min9:00 - 55 min
09:00 - 60 min12:00 - 60 min16:00 - 60 min
8:00 - 120 min9:00 - 240 min
![Page 11: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/11.jpg)
Public Transport: Link
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Linken zweier Funktionen f und gFür jeden Punkt (t f
i ,wfi ) bestimme den Verbindungspunkt (tg
j ,wgj ) mit
tgj − t f
i − w fi ≥ 0 minimal
Erste Verbindung, die man auf g erreichen kannFüge (t f
i , tgj + wg
j − t fi ) hinzu
Wenn zwei Punkte den gleichenVerbindungspunkt haben,behalte nur den mit größerem t f
i
Wieder Sweep-Algorithmusu
v
w
7:00 - 55 min8:00 - 55 min9:00 - 55 min
09:00 - 60 min12:00 - 60 min16:00 - 60 min
8:00 - 120 min9:00 - 240 min
![Page 12: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/12.jpg)
Public Transport: Link
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Linken zweier Funktionen f und gFür jeden Punkt (t f
i ,wfi ) bestimme den Verbindungspunkt (tg
j ,wgj ) mit
tgj − t f
i − w fi ≥ 0 minimal
Erste Verbindung, die man auf g erreichen kannFüge (t f
i , tgj + wg
j − t fi ) hinzu
Wenn zwei Punkte den gleichenVerbindungspunkt haben,behalte nur den mit größerem t f
i
Wieder Sweep-Algorithmusu
v
w
7:00 - 55 min8:00 - 55 min9:00 - 55 min
09:00 - 60 min12:00 - 60 min16:00 - 60 min
8:00 - 120 min9:00 - 240 min
![Page 13: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/13.jpg)
Public Transport: Diskussion Link
LaufzeitSweep-AlgorithmusO(|I f |+ |Ig |)Zum Vergleich: Zeitunabhängig: O(1)
SpeicherverbrauchGelinkte Funktion hat min{|I f |, |Ig |} Interpolationspunkte
Somit:Deutlich gutmütiger als Straßengraph-Funktionen
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 14: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/14.jpg)
Public Transport: Diskussion Link
LaufzeitSweep-AlgorithmusO(|I f |+ |Ig |)Zum Vergleich: Zeitunabhängig: O(1)
SpeicherverbrauchGelinkte Funktion hat min{|I f |, |Ig |} Interpolationspunkte
Somit:Deutlich gutmütiger als Straßengraph-Funktionen
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 15: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/15.jpg)
Public Transport: Diskussion Link
LaufzeitSweep-AlgorithmusO(|I f |+ |Ig |)Zum Vergleich: Zeitunabhängig: O(1)
SpeicherverbrauchGelinkte Funktion hat min{|I f |, |Ig |} Interpolationspunkte
Somit:Deutlich gutmütiger als Straßengraph-Funktionen
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 16: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/16.jpg)
Public Transport: Merge
Minimum zweier Funktionen f und gFür alle (t f
i ,wfi ): behalte Punkt, wenn w f
i < g(t fi )
Für alle (tgj ,w
gj ): behalte Punkt, wenn wg
j < f (tgj )
Keine Schnittepunkte möglich(!)
Vorgehen:Linearer Sweep
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
departure time
travel time
![Page 17: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/17.jpg)
Public Transport: Merge
Minimum zweier Funktionen f und gFür alle (t f
i ,wfi ): behalte Punkt, wenn w f
i < g(t fi )
Für alle (tgj ,w
gj ): behalte Punkt, wenn wg
j < f (tgj )
Keine Schnittepunkte möglich(!)
Vorgehen:Linearer Sweep
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
departure time
travel time
![Page 18: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/18.jpg)
Public Transport: Merge
Minimum zweier Funktionen f und gFür alle (t f
i ,wfi ): behalte Punkt, wenn w f
i < g(t fi )
Für alle (tgj ,w
gj ): behalte Punkt, wenn wg
j < f (tgj )
Keine Schnittepunkte möglich(!)
Vorgehen:Linearer Sweep
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
departure time
travel time
![Page 19: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/19.jpg)
Public Transport: Diskussion Merge
LaufzeitSweep-AlgorithmusO(|I f |+ |Ig |)Zum Vergleich: Zeitunabhängig: O(1)
SpeicherverbrauchKeine Schnittpunkte
⇒ Minimum-Funktion kann maximal |I f |+ |Ig | Interpolationspunkteenthalten
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 20: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/20.jpg)
Public Transport: Diskussion Merge
LaufzeitSweep-AlgorithmusO(|I f |+ |Ig |)Zum Vergleich: Zeitunabhängig: O(1)
SpeicherverbrauchKeine Schnittpunkte
⇒ Minimum-Funktion kann maximal |I f |+ |Ig | Interpolationspunkteenthalten
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 21: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/21.jpg)
Schiene vs. StraßeLaufzeit Operationen
gleich für beideO(log |I|) für AuswertungO(|I f |+ |Ig |) für Linken und Minimum
SpeicherverbrauchPublic Transport deutlich geringerLink:
|I f⊕g | ≤ min{|I f |, |Ig |} vs. |I f⊕g | ≈ |I f |+ |Ig |
Merge:
|Imin{f ,g}| ≤ |I f |+ |Ig | vs. eventuell |Imin{f ,g}| > (|I f |+ |Ig |)
ProfilsuchenSomit in Public Transport Netzen wahrscheinlich schneller
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 22: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/22.jpg)
Schiene vs. StraßeLaufzeit Operationen
gleich für beideO(log |I|) für AuswertungO(|I f |+ |Ig |) für Linken und Minimum
SpeicherverbrauchPublic Transport deutlich geringerLink:
|I f⊕g | ≤ min{|I f |, |Ig |} vs. |I f⊕g | ≈ |I f |+ |Ig |
Merge:
|Imin{f ,g}| ≤ |I f |+ |Ig | vs. eventuell |Imin{f ,g}| > (|I f |+ |Ig |)
ProfilsuchenSomit in Public Transport Netzen wahrscheinlich schneller
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 23: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/23.jpg)
Schiene vs. StraßeLaufzeit Operationen
gleich für beideO(log |I|) für AuswertungO(|I f |+ |Ig |) für Linken und Minimum
SpeicherverbrauchPublic Transport deutlich geringerLink:
|I f⊕g | ≤ min{|I f |, |Ig |} vs. |I f⊕g | ≈ |I f |+ |Ig |
Merge:
|Imin{f ,g}| ≤ |I f |+ |Ig | vs. eventuell |Imin{f ,g}| > (|I f |+ |Ig |)
ProfilsuchenSomit in Public Transport Netzen wahrscheinlich schneller
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 24: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/24.jpg)
Eingabe
Straße:Netzwerk Deutschland |V | ≈ 4.7 Mio., |E | ≈ 10.8 Mio.5 Verkehrszenarien:
Montag: ≈ 8% Kanten zeitabhängigDienstag - Donnerstag: ≈ 8%Freitag: ≈ 7%Samstag: ≈ 5%Sonntag: ≈ 3%
Schiene:Europa Fernverbindungen30 156 Stationen, 1.8 Millionen Verbindungen|V | = 0.4 Mio., |E | = 1.4 Mio.
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 25: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/25.jpg)
”Grad” der Zeitabhängigkeit
#delete mins slow-down time [ms] slow-downkein 2,239,500 0.00% 1219.4 0.00%Montag 2,377,830 6.18% 1553.5 27.40%DiDo 2,305,440 2.94% 1502.9 23.25%Freitag 2,340,360 4.50% 1517.2 24.42%Samstag 2,329,250 4.01% 1470.4 20.59%Sonntag 2,348,470 4.87% 1464.4 20.09%
Beobachtung:kaum Veränderung in SuchraumAnfragen etwas langsamer durch Auswertung
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 26: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/26.jpg)
Profilsuchen Straße
/Beobachtung:
Nicht durchführbar durch zu großen Speicherbedarf (> 32 GiBRAM)Interpoliert:
Suchraum steigt um ca. 10%Suchzeiten um einen Faktor von bis zu 2 500
⇒ inpraktikabel
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 27: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/27.jpg)
Profilsuchen Schiene
#delete mins time [ms]Zeit-Anfragen 260 095 125Profil-Anfragen 1 919 662 5 327
Beobachtung:Deletemins steigen an (ungefähr Faktor 8)Queryzeit steigt an um Faktor 42Verlust für Operationen ist ca. 5
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 28: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/28.jpg)
Zusammenfassung
Zeitabhängige Netzwerke (Basics)Funktionen statt Konstanten an KantenOperationen werden teurer
O(log |I|) für AuswertungO(|I f |+ |Ig |) für Linken und MinimumStraßennetzwerke: Speicherverbrauch explodiertEisenbahn: gutartiger
Zeitanfragen:Normaler DijkstraKaum langsamer (lediglich Auswertung)
ProfilanfragenIn Public Transportation gut nutzbarStraßennetzwerke nicht zu handhaben
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 29: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/29.jpg)
Jetzt: Beschleunigungstechniken
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Landmarken BidirektionaleSuche Kontraktion Arc-Flags Table-
Lookups
s
t
st
dist
ance
s be
twee
nac
cess
nod
e
acce
ss n
ode
tran
sit n
odes
![Page 30: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/30.jpg)
Landmarken
Vorberechnung:wähle eine Hand voll (≈ 16) Knoten alsLandmarkenberechne Abstände von und zu allen Landmarken
Anfrage:benutze Landmarken und Dreiecksungleichung umeine untere Schranke für den Abstand zum Ziel zubestimmen
d(s, t) ≥ d(L1, t)− d(L1, s)d(s, t) ≥ d(s,L2)− d(t ,L2)
verändert Reihenfolge der besuchten Knoten
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 31: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/31.jpg)
Anpassung
Beobachtung:Korrektheit von ALT basiert darauf, dass reduzierte Kostengrößergleich 0 sind
lenπ(u, v) = len(u, v)− π(u) + π(v)!≥ 0
durch Erhöhen der Kantengewichte wird dies nicht verletzt
Somit:Definiere lowerbound-Graph G = (V ,E , len) mit len := min lenVorberechnung auf lowerbound-Graphkorrekt aber eventuell langsamere Anfragezeiten
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 32: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/32.jpg)
Anpassung
Beobachtung:Korrektheit von ALT basiert darauf, dass reduzierte Kostengrößergleich 0 sind
lenπ(u, v) = len(u, v)− π(u) + π(v)!≥ 0
durch Erhöhen der Kantengewichte wird dies nicht verletzt
Somit:Definiere lowerbound-Graph G = (V ,E , len) mit len := min lenVorberechnung auf lowerbound-Graphkorrekt aber eventuell langsamere Anfragezeiten
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 33: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/33.jpg)
Bidirektionale Suche
s t
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
starte zweite Suche von trelaxiere rückwärts nureingehende Kantenstoppe die Suche, wennbeide Suchräume sichtreffen
![Page 34: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/34.jpg)
Anpassung
Zeitanfragen:Ankunft unbekannt⇒ Rückwärtsuche?Rückwärtssuche nur zum Einschränken der Vorwärtssuchebenutzenje nach Beschleunigungstechnik verschieden später
Profilanfragen:Anfrage zu allen Startzeitpunktensomit Rückwärtsuche kein Problemµ temporäre Abstandsfunktion
breche ab, wenn µ ≤ minKey(−→Q ) + minKey(
←−Q )
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 35: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/35.jpg)
Anpassung
Zeitanfragen:Ankunft unbekannt⇒ Rückwärtsuche?Rückwärtssuche nur zum Einschränken der Vorwärtssuchebenutzenje nach Beschleunigungstechnik verschieden später
Profilanfragen:Anfrage zu allen Startzeitpunktensomit Rückwärtsuche kein Problemµ temporäre Abstandsfunktion
breche ab, wenn µ ≤ minKey(−→Q ) + minKey(
←−Q )
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 36: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/36.jpg)
Anpassung
Zeitanfragen:Ankunft unbekannt⇒ Rückwärtsuche?Rückwärtssuche nur zum Einschränken der Vorwärtssuchebenutzenje nach Beschleunigungstechnik verschieden später
Profilanfragen:Anfrage zu allen Startzeitpunktensomit Rückwärtsuche kein Problemµ temporäre Abstandsfunktion
breche ab, wenn µ ≤ minKey(−→Q ) + minKey(
←−Q )
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 37: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/37.jpg)
Kontraktion
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Knoten-Reduktion:entferne Knotenfüge neue Kanten (Shortcuts) hinzu, um die Abständezwischen verbleibenden Knoten zu erhalten
Kanten-Reduktion:behalte nur relevante Shortcutslokale Suche während oder nach Knoten-Reduktion
![Page 38: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/38.jpg)
Kontraktion
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Knoten-Reduktion:entferne Knotenfüge neue Kanten (Shortcuts) hinzu, um die Abständezwischen verbleibenden Knoten zu erhalten
Kanten-Reduktion:behalte nur relevante Shortcutslokale Suche während oder nach Knoten-Reduktion
![Page 39: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/39.jpg)
Anpassung Knoten-Reduktion
Beobachtung:Verfahren ist unabhängig von MetrikShortcuts müssen nur Pfad entsprechen
Somit:Linken der Funktionen zu einer Shortcut-FunktionSpeicherverbrauch steigt an (Straße)!
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 40: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/40.jpg)
Anpassung Kanten-Reduktion
Zeitunabhängig:Lösche Kante (u, v), wenn (u, v) nicht Teil des kürzesten Wegesvon u nach v ist, also len(u, v) > d(u, v)lokale Dijkstra-Suche von u
Zeitabhängig:Lösche Kante (u, v), wenn (u, v) nicht Teil aller kürzesten Wegevon u nach v ist, also len(u, v) > d∗(u, v)lokale ProfilsucheProblem: deutlich langsamer
Idee:lösche zunächst Kanten (u, v) für die len(u, v) > d∗(u, v) giltdanach lokale Profilsuche
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 41: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/41.jpg)
Anpassung Kanten-Reduktion
Zeitunabhängig:Lösche Kante (u, v), wenn (u, v) nicht Teil des kürzesten Wegesvon u nach v ist, also len(u, v) > d(u, v)lokale Dijkstra-Suche von u
Zeitabhängig:Lösche Kante (u, v), wenn (u, v) nicht Teil aller kürzesten Wegevon u nach v ist, also len(u, v) > d∗(u, v)lokale ProfilsucheProblem: deutlich langsamer
Idee:lösche zunächst Kanten (u, v) für die len(u, v) > d∗(u, v) giltdanach lokale Profilsuche
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 42: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/42.jpg)
Anpassung Kanten-Reduktion
Zeitunabhängig:Lösche Kante (u, v), wenn (u, v) nicht Teil des kürzesten Wegesvon u nach v ist, also len(u, v) > d(u, v)lokale Dijkstra-Suche von u
Zeitabhängig:Lösche Kante (u, v), wenn (u, v) nicht Teil aller kürzesten Wegevon u nach v ist, also len(u, v) > d∗(u, v)lokale ProfilsucheProblem: deutlich langsamer
Idee:lösche zunächst Kanten (u, v) für die len(u, v) > d∗(u, v) giltdanach lokale Profilsuche
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 43: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/43.jpg)
Korridorsuche
Idee:führe zunächst zwei Dijkstra-Suchen mit len und len durchrelaxiere dann nur solche Kanten (u, v), für died(s,u) + len(u, v) ≤ d(s, v) gilt
Anmerkung:kann auch zur Beschleunigung einer s-t Profil-Suche genutztwerden
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 44: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/44.jpg)
Approximation der Shortcuts
Problem:hoher Speicherbedarf der Shortcuts (Straße)
Ideen:Shortcuts on-the-fly entpacken und dann Gewicht des Pfadesberechnenspeichere Approximationen der Funktionen, führe dannKorridorsuche bei Query auf Originalgraphen durchdurch speichern von Approximationen genauer
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 45: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/45.jpg)
Arc-Flags
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Idee:partitioniere den Graph in k Zellenhänge ein Label mit k Bits an jede Kantezeigt ob e wichtig für die Zielzelle istmodifizierter Dijkstra überspringt unwichtigeKanten
Beobachtung:Partition wird auf ungewichtetem GrahendurchgeführtFlaggen müssen allerdings aktualisiert werden
![Page 46: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/46.jpg)
Anpassung
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Anpassung:für alle Randknoten b undalle Knoten u:BerechneAbstandsfunktion d∗(u,b)setze Flagge wenn giltlen(u, v)⊕ d∗(v ,b) 6> d∗(u,b)
Idee:ändere Intuition einer gesetzten FlaggeKonzept bleibt gleich: Eine Flagge pro Kante und Regionsetze Flagge wenn Kante mindestens ein mal am Tag “wichtig” ist
![Page 47: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/47.jpg)
Anpassung
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
u
x
v
bw
Anpassung:für alle Randknoten b undalle Knoten u:BerechneAbstandsfunktion d∗(u,b)setze Flagge wenn giltlen(u, v)⊕ d∗(v ,b) 6> d∗(u,b)
Idee:ändere Intuition einer gesetzten FlaggeKonzept bleibt gleich: Eine Flagge pro Kante und Regionsetze Flagge wenn Kante mindestens ein mal am Tag “wichtig” ist
![Page 48: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/48.jpg)
Anpassung
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
u
x
v
bw
Anpassung:für alle Randknoten b undalle Knoten u:BerechneAbstandsfunktion d∗(u,b)setze Flagge wenn giltlen(u, v)⊕ d∗(v ,b) 6> d∗(u,b)
Idee:ändere Intuition einer gesetzten FlaggeKonzept bleibt gleich: Eine Flagge pro Kante und Regionsetze Flagge wenn Kante mindestens ein mal am Tag “wichtig” ist
![Page 49: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/49.jpg)
Anpassung
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
u
x
v
bw
Anpassung:für alle Randknoten b undalle Knoten u:BerechneAbstandsfunktion d∗(u,b)setze Flagge wenn giltlen(u, v)⊕ d∗(v ,b) 6> d∗(u,b)
Idee:ändere Intuition einer gesetzten FlaggeKonzept bleibt gleich: Eine Flagge pro Kante und Regionsetze Flagge wenn Kante mindestens ein mal am Tag “wichtig” ist
![Page 50: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/50.jpg)
Anpassung
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
u
x
v
bw
Anpassung:für alle Randknoten b undalle Knoten u:BerechneAbstandsfunktion d∗(u,b)setze Flagge wenn giltlen(u, v)⊕ d∗(v ,b) 6> d∗(u,b)
Idee:ändere Intuition einer gesetzten FlaggeKonzept bleibt gleich: Eine Flagge pro Kante und Regionsetze Flagge wenn Kante mindestens ein mal am Tag “wichtig” ist
![Page 51: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/51.jpg)
Approximation Arc-Flags
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
u
x
v
bw
Idee:benutze Über- andUnterapproximation
⇒ schnellere Vorberechnung,langsamere Anfragen
⇒ aber immer noch korrekt
Beobachtung:viele Interpolationspunkte (Straße)Berechnung der Abstandsfunktionen ist sehr zeitintensivLaufzeit stark abhängig von der Komplexität der Funktionen
![Page 52: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/52.jpg)
Approximation Arc-Flags
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
u
x
v
bw
2
22
2216
21
19
Idee:benutze Über- andUnterapproximation
⇒ schnellere Vorberechnung,langsamere Anfragen
⇒ aber immer noch korrekt
Beobachtung:viele Interpolationspunkte (Straße)Berechnung der Abstandsfunktionen ist sehr zeitintensivLaufzeit stark abhängig von der Komplexität der Funktionen
![Page 53: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/53.jpg)
Approximation Arc-Flags
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
u
x
v
bw
2
22
2216
21
19
Idee:benutze Über- andUnterapproximation
⇒ schnellere Vorberechnung,langsamere Anfragen
⇒ aber immer noch korrekt
Beobachtung:viele Interpolationspunkte (Straße)Berechnung der Abstandsfunktionen ist sehr zeitintensivLaufzeit stark abhängig von der Komplexität der Funktionen
![Page 54: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/54.jpg)
Approximation Arc-Flags
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
u
x
v
bw
Idee:benutze Über- andUnterapproximation
⇒ schnellere Vorberechnung,langsamere Anfragen
⇒ aber immer noch korrekt
Beobachtung:viele Interpolationspunkte (Straße)Berechnung der Abstandsfunktionen ist sehr zeitintensivLaufzeit stark abhängig von der Komplexität der Funktionen
![Page 55: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/55.jpg)
Heuristische Flaggen
Idee:führe von jedem Randknoten K Zeitanfragen ausmit fester Ankunftszeitsetze Flagge, wenn Kante auf einem dem Bäume eineBaumkante ist
Beobachtungen:Flaggen eventuell nicht korrektein Pfad wird aber immer gefundenFehlerrate?
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 56: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/56.jpg)
Heuristische Flaggen
Idee:führe von jedem Randknoten K Zeitanfragen ausmit fester Ankunftszeitsetze Flagge, wenn Kante auf einem dem Bäume eineBaumkante ist
Beobachtungen:Flaggen eventuell nicht korrektein Pfad wird aber immer gefundenFehlerrate?
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 57: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/57.jpg)
Table-Lookups
Idee:speichere Distanztabellennur für “wichtige” Teile des GraphenSuchen laufen nur bis zur Tabelleharmoniert gut mir hierarchischen Techniken
s t
distances between access node
access node
transit nodes
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 58: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/58.jpg)
Anpassung
Beobachtung:Distanz-Tabelle muss aktualisiert werdenein Eintrag entspricht effektiv einem Shortcutvollständiger Overlay-Graphviele Shortcuts
also:Speicherverbrauch deutlich zu groß?
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 59: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/59.jpg)
Anpassung der Basismodule
Basismodule:0 Bidirektionale Suche+ Landmarken+ Kontraktion+ Arc-Flags− Table Lookups
Somit sind folgende Algorithmen gute KandidatenALTCore-ALTSHARCContraction Hierarchies
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 60: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/60.jpg)
Bidirektionaler zeitabhängiger ALT
s t
Idee - Drei Phasen:1 Vorwärts zeitabhängig, Rückwärtssuche benutzt Minima der
Funktionen. Fertig wenn Suchen sich treffen. Berechnezeitabhängige Distanz µ (durch Auswerten des gefundenenWeges).
2 Rückwärtssuche arbeitet weiter bis minKey(←−Q ) > µ
3 Vorwärtssuche arbeitet weiter bis t abgearbeitet worden ist undbesucht nur Knoten, die die Rückwärtssuche zuvor besucht hat
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 61: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/61.jpg)
Bidirektionaler zeitabhängiger ALT
ts
Idee - Drei Phasen:1 Vorwärts zeitabhängig, Rückwärtssuche benutzt Minima der
Funktionen. Fertig wenn Suchen sich treffen. Berechnezeitabhängige Distanz µ (durch Auswerten des gefundenenWeges).
2 Rückwärtssuche arbeitet weiter bis minKey(←−Q ) > µ
3 Vorwärtssuche arbeitet weiter bis t abgearbeitet worden ist undbesucht nur Knoten, die die Rückwärtssuche zuvor besucht hat
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 62: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/62.jpg)
Bidirektionaler zeitabhängiger ALT
ts
Idee - Drei Phasen:1 Vorwärts zeitabhängig, Rückwärtssuche benutzt Minima der
Funktionen. Fertig wenn Suchen sich treffen. Berechnezeitabhängige Distanz µ (durch Auswerten des gefundenenWeges).
2 Rückwärtssuche arbeitet weiter bis minKey(←−Q ) > µ
3 Vorwärtssuche arbeitet weiter bis t abgearbeitet worden ist undbesucht nur Knoten, die die Rückwärtssuche zuvor besucht hat
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 63: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/63.jpg)
Bidirektionaler zeitabhängiger ALT
ts
Idee - Drei Phasen:1 Vorwärts zeitabhängig, Rückwärtssuche benutzt Minima der
Funktionen. Fertig wenn Suchen sich treffen. Berechnezeitabhängige Distanz µ (durch Auswerten des gefundenenWeges).
2 Rückwärtssuche arbeitet weiter bis minKey(←−Q ) > µ
3 Vorwärtssuche arbeitet weiter bis t abgearbeitet worden ist undbesucht nur Knoten, die die Rückwärtssuche zuvor besucht hat
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 64: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/64.jpg)
Approximation
Beobachtung:
Phase 2 läuft recht lange weiter, bis minKey(←−Q ) > µ gilt
insbesondere dann schlecht, wenn die lower bounds stark vomechten Wert abweichen
Approximation:
breche Phase 2 bereits ab, wenn minKey(←−Q ) · K > µ gilt
dann ist der berechnete Weg eine K -Approximation deskürzesten Weges
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 65: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/65.jpg)
Experimente
Error Queryrelative abs. #sett. #rel. time
scen. algorithm K rate av. max max [s] nodes edges [ms]
mid
uni-ALT – 0.0% 0.000% 0.00% 0 200 236 239 112 147.20TDALT 1.00 0.0% 0.000% 0.00% 0 116 476 138 696 98.27
1.15 12.4% 0.094% 14.32% 1 892 50 764 60 398 36.911.50 12.5% 0.097% 27.59% 1 892 50 742 60 371 36.86
Sat
uni-ALT – 0.0% 0.000% 0.00% 0 148 331 177 568 100.07TDALT 1.00 0.0% 0.000% 0.00% 0 63 717 76 001 47.41
1.15 10.5% 0.088% 13.97% 2 613 50 042 59 607 36.001.50 10.6% 0.089% 26.17% 2 613 50 036 59 600 35.63
Sun
uni-ALT – 0.0% 0.000% 0.00% 0 142 631 170 670 92.79TDALT 1.00 0.0% 0.000% 0.00% 0 58 956 70 333 42.96
1.15 10.4% 0.088% 14.28% 1 753 50 349 59 994 36.041.50 10.5% 0.089% 32.08% 1 753 50 345 59 988 35.74
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 66: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/66.jpg)
Core-ALT
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
AnfrageInitialphase: normaler Dijkstrabenutze Landmarken nur im Kernzeitabhängig:
Rückwärtssuche ist zeitunabhängigVorwärtssuche darf alle Knoten derRückwärtssuche besuchen
VorberechnungkontrahiereGraphen zueinem KernLandmarkennur im Kern
Ideebegrenze Beschleunigungstechnik auf kleinen Subgraphen (Kern)
ts
![Page 67: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/67.jpg)
Core-ALT
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
AnfrageInitialphase: normaler Dijkstrabenutze Landmarken nur im Kernzeitabhängig:
Rückwärtssuche ist zeitunabhängigVorwärtssuche darf alle Knoten derRückwärtssuche besuchen
VorberechnungkontrahiereGraphen zueinem KernLandmarkennur im Kern
Ideebegrenze Beschleunigungstechnik auf kleinen Subgraphen (Kern)
ts
![Page 68: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/68.jpg)
Core-ALT
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
AnfrageInitialphase: normaler Dijkstrabenutze Landmarken nur im Kernzeitabhängig:
Rückwärtssuche ist zeitunabhängigVorwärtssuche darf alle Knoten derRückwärtssuche besuchen
VorberechnungkontrahiereGraphen zueinem KernLandmarkennur im Kern
Ideebegrenze Beschleunigungstechnik auf kleinen Subgraphen (Kern)
ts
![Page 69: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/69.jpg)
Core-ALT
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
AnfrageInitialphase: normaler Dijkstrabenutze Landmarken nur im Kernzeitabhängig:
Rückwärtssuche ist zeitunabhängigVorwärtssuche darf alle Knoten derRückwärtssuche besuchen
VorberechnungkontrahiereGraphen zueinem KernLandmarkennur im Kern
Ideebegrenze Beschleunigungstechnik auf kleinen Subgraphen (Kern)
ts
![Page 70: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/70.jpg)
Experimente
Preproc. Error Querytime space relative abs. #settled #relaxed time
scenario K [min] [B/n] rate av. max max [s] nodes edges [ms]
1.00 9 50.3 0.0% 0.000% 0.00% 0 2 984 11 316 4.84Monday 1.15 9 50.3 8.3% 0.051% 11.00% 1 618 1 588 5 303 1.84
1.50 9 50.3 8.3% 0.052% 17.25% 1 618 1 587 5 301 1.841.00 9 50.3 0.0% 0.000% 0.00% 0 3 190 12 255 5.36
midweek 1.15 9 50.3 8.2% 0.051% 13.84% 2 408 1 593 5 339 1.871.50 9 50.3 8.2% 0.052% 13.84% 2 408 1 592 5 337 1.861.00 8 44.9 0.0% 0.000% 0.00% 0 3 097 12 162 5.21
Friday 1.15 8 44.9 7.8% 0.052% 11.29% 2 348 1 579 5 376 1.821.50 8 44.9 7.8% 0.054% 21.19% 2 348 1 579 5 374 1.821.00 6 27.8 0.0% 0.000% 0.00% 0 1 856 7 188 2.42
Saturday 1.15 6 27.8 4.4% 0.031% 11.50% 1 913 1 539 5 542 1.711.50 6 27.8 4.4% 0.031% 24.17% 1 913 1 539 5 541 1.711.00 5 19.1 0.0% 0.000% 0.00% 0 1 773 6 712 2.13
Sunday 1.15 5 19.1 4.0% 0.029% 12.72% 1 400 1 551 5 541 1.681.50 5 19.1 4.1% 0.029% 17.84% 1 400 1 550 5 540 1.68
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 71: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/71.jpg)
SHARC (Kontraktion, Arc-Flags)
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Vorberechnung:Multi-Level-Partitioniterativer Prozess:
kontrahiere Subgraphenberechne Flaggen
Flaggenverfeinerung
Anpassung:Kontraktion und Flaggenberechnung anpassenVerfeinerung?
![Page 72: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/72.jpg)
SHARC (Kontraktion, Arc-Flags)
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Vorberechnung:Multi-Level-Partitioniterativer Prozess:
kontrahiere Subgraphenberechne Flaggen
Flaggenverfeinerung
Anpassung:Kontraktion und Flaggenberechnung anpassenVerfeinerung?
![Page 73: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/73.jpg)
SHARC (Kontraktion, Arc-Flags)
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Vorberechnung:Multi-Level-Partitioniterativer Prozess:
kontrahiere Subgraphenberechne Flaggen
Flaggenverfeinerung
Anpassung:Kontraktion und Flaggenberechnung anpassenVerfeinerung?
![Page 74: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/74.jpg)
SHARC (Kontraktion, Arc-Flags)
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Vorberechnung:Multi-Level-Partitioniterativer Prozess:
kontrahiere Subgraphenberechne Flaggen
Flaggenverfeinerung
Anpassung:Kontraktion und Flaggenberechnung anpassenVerfeinerung?
![Page 75: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/75.jpg)
SHARC (Kontraktion, Arc-Flags)
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Vorberechnung:Multi-Level-Partitioniterativer Prozess:
kontrahiere Subgraphenberechne Flaggen
Flaggenverfeinerung
Anpassung:Kontraktion und Flaggenberechnung anpassenVerfeinerung?
![Page 76: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/76.jpg)
SHARC (Kontraktion, Arc-Flags)
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Vorberechnung:Multi-Level-Partitioniterativer Prozess:
kontrahiere Subgraphenberechne Flaggen
Flaggenverfeinerung
Anpassung:Kontraktion und Flaggenberechnung anpassenVerfeinerung?
![Page 77: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/77.jpg)
SHARC (Kontraktion, Arc-Flags)
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Vorberechnung:Multi-Level-Partitioniterativer Prozess:
kontrahiere Subgraphenberechne Flaggen
Flaggenverfeinerung
Anpassung:Kontraktion und Flaggenberechnung anpassenVerfeinerung?
![Page 78: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/78.jpg)
SHARC (Kontraktion, Arc-Flags)
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Vorberechnung:Multi-Level-Partitioniterativer Prozess:
kontrahiere Subgraphenberechne Flaggen
Flaggenverfeinerung
Anpassung:Kontraktion und Flaggenberechnung anpassenVerfeinerung?
![Page 79: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/79.jpg)
SHARC (Kontraktion, Arc-Flags)
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Vorberechnung:Multi-Level-Partitioniterativer Prozess:
kontrahiere Subgraphenberechne Flaggen
Flaggenverfeinerung
Anpassung:Kontraktion und Flaggenberechnung anpassenVerfeinerung?
![Page 80: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/80.jpg)
Flaggenverfeinerung
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Vorgehen:verfeinere Flaggenpropagiere Flaggen von wichtigen zu unwichtigen Kantenzeitunabhängig: mittels lokaler Suchezeitabhängig: mittels lokaler Profilsuche
1111
1111 1111
1111 0010
0010
0011
11000011
0011
1100
![Page 81: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/81.jpg)
Flaggenverfeinerung
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
Vorgehen:verfeinere Flaggenpropagiere Flaggen von wichtigen zu unwichtigen Kantenzeitunabhängig: mittels lokaler Suchezeitabhängig: mittels lokaler Profilsuche
0011
1100 1100
0011 0010
0010
0011
11000011
0011
1100
![Page 82: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/82.jpg)
Experimente
Preprocessing Time-Queriestime space edge points time speed
scenario algom [h:m] [B/n] inc. inc. [ms] up
Monday eco 1:16 156.6 25.4% 366.8% 24.55 63midweek eco 1:16 154.9 25.4% 363.8% 25.06 60Friday eco 1:10 142.0 25.4% 358.0% 22.07 69
Saturdayeco 0:42 90.3 25.0% 283.6% 5.34 276agg 48:57 84.3 24.5% 264.4% 0.58 2 554
Sundayeco 0:30 64.6 24.6% 215.8% 1.86 787agg 27:20 60.7 24.1% 202.6% 0.50 2 904
no traffic static 0:06 13.5 23.9% 23.9% 0.30 4 075
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 83: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/83.jpg)
Approximation
Prepro Error Time-Queriestime space error max max time spd
scenario algo [h:m] [B/n] -rate rel. abs.[s] [ms] upMonday heu 3:30 138.2 0.46% 0.54% 39.3 0.69 2 253midweek heu 3:26 137.2 0.82% 0.61% 48.3 0.69 2 164Friday heu 3:14 125.2 0.50% 0.50% 50.3 0.64 2 358Saturday heu 2:13 80.4 0.18% 0.23% 16.9 0.51 2 887Sunday heu 1:48 58.8 0.09% 0.36% 14.9 0.46 3 163
no static 0:06 13.5 0.00% 0.00% 0.0 0.30 4 075
Beobachtung:Fehler sehr geringhoher Speicherverbrauch
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 84: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/84.jpg)
Profilsuchen
Time-Queries Profile-Queries#del. time #del. #re- time profile
traffic var. mins [ms] mins ins. [ms] /time
Mondayeco 19 136 24.55 19 768 402 51 122 2 082.6heu 810 0.69 1 071 24 1 008 1 460.9
midweekeco 19 425 25.06 20 538 432 60 147 2 400.3heu 818 0.69 1 100 27 1 075 1 548.4
Fridayeco 17 412 22.07 19 530 346 52 780 2 391.9heu 769 0.64 1 049 21 832 1 293.2eco 5 284 5.34 5 495 44 3 330 624.0
Saturday agg 721 0.58 865 9 134 232.5heu 666 0.51 798 8 98 191.9eco 2 142 1.86 2 294 12 536 288.1
Sunday agg 670 0.50 781 5 57 113.5heu 635 0.46 738 5 45 97.9
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 85: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/85.jpg)
Kompression
Gründe für Overhead:RegionsinformationFlaggen speichernShortcuts (Einträge im Kantenarray)zusätzliche Interpolationspunkte
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 86: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/86.jpg)
Space-Efficient SHARC
1. Arc-Flag Compression
Beobachtung: Es gibt weniger verschiedene Flaggen-Vektorenals KantenSpeichere Flaggen in externer TabelleReduziere die Anzahl verschiedener Flaggen (Bit-Flipping 0 1)Weniger Platzverbrauch, dafür größerer Suchraum
1 1 0
1 1 1
1 10100
1 0 01 1 1
1 1 01 10
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 87: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/87.jpg)
● ● ● ● ● ● ● ●●
●●
●
●
●
●
●
●
removed unique flags [%]
quer
y tim
es [m
s]
+ + + + + + + + + + + ++
+
+
+
+
+
x x x x x x x x x x x x x
xx
x
x
x
0.6
0.8
11.
21.
41.
61.
82
2.2
0 10 20 30 40 50 60 70 80
●
+x
deu06_Mo_TIMESHARC_heu_c1,1,1,1,1.csvdeu06_Mo_TIMESHARC_heu_c1,2,4,8,32.csvdeu06_Mo_TIMESHARC_heu_c1,3,9,27,243.csvdeu06_Mo_TIMESHARC_heu_c1,4,16,64,256.csv
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 88: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/88.jpg)
Shortcut Kompression
Beobachtung:Shortcut entsprichteinem Pfadmanche Shortcutserscheinen unwichtig
Idee:entferne (manche) Shortcuts nach Vorberechnungvererbe Flaggen an erste Kante des Pfadeswelche sind wichtig?Außerdem: entferne Interpolationspunkte und entpackeon-the-fly
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
0001
11011100
1111
00100010
111100101 2
3
4 5
1100
0011
00100010
0010
![Page 89: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/89.jpg)
Shortcut Kompression
Beobachtung:Shortcut entsprichteinem Pfadmanche Shortcutserscheinen unwichtig
Idee:entferne (manche) Shortcuts nach Vorberechnungvererbe Flaggen an erste Kante des Pfadeswelche sind wichtig?Außerdem: entferne Interpolationspunkte und entpackeon-the-fly
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
11011100
1111
00100010
111100111 2
3
4 5
1100
0011
00100010
0010
![Page 90: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/90.jpg)
● ● ● ● ● ● ● ● ● ●
●
●
●
●
●
●
removed shortcuts [%]
quer
y tim
es [m
s]
+ + + + + + + + + +
++
++
+
x x x x x x x x x x x
xx x
x
0.6
0.8
11.
21.
41.
61.
82
2.2
0 10 20 30 40 50 60 70
●
+x
deu06_Mo_TIMESHARC_heu_remS_t1_h1_f0_H0_p0.csvdeu06_Mo_TIMESHARC_heu_remS_t1_h3_f0_H0_p0.csvdeu06_Mo_TIMESHARC_heu_remS_t1_h5_f0_H0_p0.csvdeu06_Mo_TIMESHARC_heu_remS_t1_h3_f1_H1_p1.csv
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 91: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/91.jpg)
●●
●
●
●
●
●
●
●
●
●
●
●
●
●
●●
●●
●●
removed points from time−dependent shortcuts [%]
quer
y tim
es [m
s]
+ + + + + + + ++
++
++
++
+
++
+
+
+
x x x x x x x x xx
x
x
x
xx
xx
xx
x
x
0.6
0.8
11.
21.
41.
61.
82
2.2
0 10 20 30 40 50 60 70 80 90 100
●
+x
deu06_Mo_TIMESHARC_heu_remP_i1_h0_f0.csvdeu06_Mo_TIMESHARC_heu_remP_i0_h1_f0.csvdeu06_Mo_TIMESHARC_heu_remP_i0_h0_f1.csvdeu06_Mo_TIMESHARC_heu_remP_i1_h0_f3.csv
Ergebnis:Speicherverbrauch kann auf 10–15 Bytes pro Knoten gedrücktwerden
![Page 92: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/92.jpg)
Contraction Hierarchies
Vorberechnung:benutze gleiche Knotenordnungkontrahiere zeitabhängigerzeugt Suchgraphen G′ = (V , ↑E∪ ↓E)
AnfrageRückwärts aufwärts mittels min-max Suchemarkiere alle Kanten (u, v) aus ↓E mit d(u, v) + d(v , t) ≤ d(u, v)
diese Menge sei ↓E ′
zeitabhängige Vorwärtsuche in (V , ↑E∪ ↓E ′)
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 93: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/93.jpg)
Contraction Hierarchies
Vorberechnung:benutze gleiche Knotenordnungkontrahiere zeitabhängigerzeugt Suchgraphen G′ = (V , ↑E∪ ↓E)
AnfrageRückwärts aufwärts mittels min-max Suchemarkiere alle Kanten (u, v) aus ↓E mit d(u, v) + d(v , t) ≤ d(u, v)
diese Menge sei ↓E ′
zeitabhängige Vorwärtsuche in (V , ↑E∪ ↓E ′)
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 94: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/94.jpg)
Experimente
Contr. Queriestype of ordering const. space time speed
input ordering [h:m] [h:m] [B/n] [ms] upMonday static min 0:05 0:20 1 035 1.19 1 240
timed 1:47 0:14 750 1.19 1 244midweek static min 0:05 0:20 1 029 1.22 1 212
timed 1:48 0:14 743 1.19 1 242Friday static min 0:05 0:16 856 1.11 1 381
timed 1:30 0:12 620 1.13 1 362Saturday static min 0:05 0:08 391 0.81 1 763
timed 0:52 0:08 282 1.09 1 313Sunday static min 0:05 0:06 248 0.71 1 980
timed 0:38 0:07 177 1.07 1 321
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011
![Page 95: Algorithmen für Routenplanung€¦ · Juni 2011 14. Sitzung, Sommersemester 2011 Algorithmen für Routenplanung INSTITUT FÜR THEORETISCHE INFORMATIK ROFALGORITHMIK I P . DR. DOROTHEA](https://reader035.vdokument.com/reader035/viewer/2022070808/5f06aaba7e708231d4192261/html5/thumbnails/95.jpg)
Ende
Literatur (Zeitabhängige Beschleunigungstechniken):
Daniel Delling:Enginering and Augmenting Route Planning AlgorithmsPh.D. Thesis, Universität Karlsruhe (TH), 2009.Gernot Veit Batz, Daniel Delling, Peter Sanders, ChristianVetterTime-Dependent Contraction HierarchiesIn: Proceedings of the 11th Workshop on Algorithm Engineeringand Experiments (ALENEX’09), April 2009.Edith Brunel, Daniel Delling, Andreas Gemsa, DorotheaWagnerSpace-Efficient SHARC-RoutingIn: Proceedings of the 9th International Symposium onExperimental Algorithms (SEA’10), May 2010.
Thomas Pajor – Algorithmen für Routenplanung 16. Juni 2011