time table ch slides

Upload: madan321

Post on 03-Jun-2018

231 views

Category:

Documents


0 download

TRANSCRIPT

  • 8/12/2019 Time Table Ch Slides

    1/23

    1 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Institute for Theoretical Computer Science, Algorithmics II

    Contraction of Timetable Networks withRealistic TransfersRobert Geisberger [email protected]

    KIT University of the State of Baden-Wrttemberg and

    National Large-scale Research Center of the Helmholtz Association www.kit.edu

  • 8/12/2019 Time Table Ch Slides

    2/23

    Motivation

    2 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Route planning intime-dependent road networksis fast.Speed-uptechniques gainthree orders of magnitudeovertime-dependent Dijkstra (earliest arrival queries).

    Contraction Hierarchies [ALENEX09, SEA10]SHARC [ESA08, SEA10]

    Road network is modelled as graph withtime-dependent edgeweightsthat maparrival time travel time.

    v

    u

    1

    2

    s

  • 8/12/2019 Time Table Ch Slides

    3/23

    Motivation

    3 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Route planning inpublic transportation networksis slow.

    Speed-uptechniques gainone order of magnitude.

    SHARC [ESA08, ATMOS09]

    Network is still modelled as graph withtime-dependent edgeweightsthat maparrival time travel time.

    Parallel edges necessary to modelrealistic transfers(minimumtransfer buffer for each station).

    1 2

    A B

    T Ttransfer 5 min.

  • 8/12/2019 Time Table Ch Slides

    4/23

    Motivation

    4 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Node contraction, a very successful technique for route network

    performs worse when parallel edges are involved:

    Ordernodes by importance, V={1, 2,. . . , n}.

    Contractnodes in this order, nodev is contracted by

    foreachpair(u, v)and(v, w)of edgesdo

    ifu, v, wis a unique shortest paththenaddshortcut(u, w)with weightw(u, v, w)

    Queryrelaxes only edgesto more important nodes

    valid due to shortcuts.

    1

    1

    1

    1

    1

    v

    2 1 2

    2

    6

    1

    4

    3

    5

    3

    35

    8

    s

    tnode

    order

    2

  • 8/12/2019 Time Table Ch Slides

    5/23

    Motivation

    4 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Node contraction, a very successful technique for route network

    performs worse when parallel edges are involved:

    Ordernodes by importance, V={1, 2,. . . , n}.

    Contractnodes in this order, nodev is contracted by

    foreachpair(u, v)and(v, w)of edgesdo

    ifu, v, wis a unique shortest paththenaddshortcut(u, w)with weightw(u, v, w)

    Queryrelaxes only edgesto more important nodes

    valid due to shortcuts.

    2

    2

    1

    1

    1

    1

    1

    v

    2 1 2

    2

    6

    1

    4

    3

    5

    3

    35

    8

    s

    tnode

    order

    2

  • 8/12/2019 Time Table Ch Slides

    6/23

    Motivation

    5 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Node contraction, a very successful technique for route networkperforms worse when parallel edges are involved:

    Shortcuts can multiply: aincoming parallel edges and boutgoingparallel edges may result ina bparallel shortcuts.

    T T T

    A B C

  • 8/12/2019 Time Table Ch Slides

    7/23

    Motivation

    5 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Node contraction, a very successful technique for route networkperforms worse when parallel edges are involved:

    Shortcuts can multiply: aincoming parallel edges and boutgoingparallel edges may result ina bparallel shortcuts.

    T T

    A C

  • 8/12/2019 Time Table Ch Slides

    8/23

    Station graph modelFirst contribution

    6 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    1:1mapping betweennodes and stations.No parallel edges.

    Each edge stores a set of connections, no FIFO-property required.

    Store additionaltrain information to respect transfer buffers.

    departure train departure time arrival time arrival train1 09:30 10:15 12 09:45 10:15 22 10:45 11:10 3

    A B

    Another station model was independently developed by Berger et al.[ATMOS09], but requires parallel edges and the FIFO-property.

  • 8/12/2019 Time Table Ch Slides

    9/23

    Station graph modelDominant connections

    7 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    We say that a connectionPdominatesa connectionQif we canreplaceQbyP, i.e.

    Pdoesnot depart before Qand doesnot arrive after Q.

    When theirdeparture trainsdiffer, there has to be enough time totransfer from the train of Qto the train of P.

    The same has to hold forarrival trains.

    10:30 10:32

    10:35

    train 1 train 1

    Ptrain 2

    Q

    replace

    transfer

  • 8/12/2019 Time Table Ch Slides

    10/23

    Station graph modelOperations

    8 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Store onlydominantset of connections with each edge.Asearchcomputes dominant sets of connections.

    Required operations:

    Linkthe connections of two incident edges.

    Build theminimumof two sets of connections between the samestation pair.

    ffg

    f * g g

    Both operations are almost linear in the number of connections.

  • 8/12/2019 Time Table Ch Slides

    11/23

    Station graph modelProfile query

    9 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Compute a dominant set ofall connectionsbetween a pair ofstations(A, B).

    Dijkstra-likelabel correctingalgorithm based on new link andminimum operation. Priority queue key: minimum duration.

    A C 1. link

    2. minimum

    B

    Combine link and minimum operation to avoid some copying.

  • 8/12/2019 Time Table Ch Slides

    12/23

    Station graph modelTime query

    10 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Compute thefastest connectionbetween a pair of stations (A,

    B)not departing earlier than time .

    Problem:Subpath-optimality not given when we only look at time.

    We need to compute for each train the earliest arrival time, and onlydrop connections that arrive transfer buffer or more minutes later.

    8:04

    8:02

    8:42

    8:448:

    458:

    40

    train 1

    train 2

    train 3

    train 2

    train 4

    9:23

    9:25

    A B

    8:00

    Ctransfer 5 min.

  • 8/12/2019 Time Table Ch Slides

    13/23

    Timetable Contraction HierarchiesSecond contribution

    11 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Most difficult part ispreprocessing. Highlevel:1 Assign each node apriorityon how attractive it is to contract it.2 Contractthe most attractive node.3 Updatethe priorities of the neighbors of the contracted node.4

    Repeatfrom Step 2 until all nodes are contracted.Step 3 is the most time-consuming, as it performs a simulatedcontraction for each neighbor to compute the number of necessaryshortcuts (used for node priority).

    Problem:For road networks,min-max-searchhelps to speedup

    contraction. But maximum on timetable networks is mostlytoo high,e.g. when there is no service during the night.

  • 8/12/2019 Time Table Ch Slides

    14/23

    Timetable Contraction HierarchiesPreprocessing

    12 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Store for each remaining node theset of necessary shortcuts.

    Feasible, as there are much less nodes as in road networks.After contractionof a node, we need toupdatetheses sets.

    Only the endpoints of added shortcuts are affected (neighbors).At most one forward profile search and one backward profile search fromeach neighbor are necessary.

    v

    u w

    y x

    v

    u wnew shortcutat contraction ofv

    potentially neces-sary shortcut forcontraction of u

    potentially necessaryshortcut for contrac-tion of w

  • 8/12/2019 Time Table Ch Slides

    15/23

    Timetable Contraction HierarchiesQuery

    13 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Profile queryis performed bidirectional from source and target.

    Time querydoes not know the arrival time. Two-phase approach:1 BackwardBFS from the target usingdownward edges.2 Forwardquery usingupward edges, and then useddownward edges.

    t

    time = ?time =

    s

    u

    Additional optimizations important for road networks(min-max-search, stall-on-demand) bring no advantage.

  • 8/12/2019 Time Table Ch Slides

    16/23

    ExperimentsSetup

    14 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Environment: Intel Xeon X5550 at 2.67 GHz

    Networks:

    longdistance connections of Europe

    localtraffic in Berlin/Brandenburg in Germany

    time-dependent station based factornetwork nodes edges nodes edges nodes edges

    long 550 975 1 488 978 30 517 88 091 18.1 16.9local 228 874 599 406 12 069 33 473 16.9 17.9

  • 8/12/2019 Time Table Ch Slides

    17/23

    ExperimentsStation graph model

    15 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    query #delete speed time speedtype model mins up [ms] up

    lo

    ng

    time time-dep. 259 506 - 54.3 -

    station 14 504 17.9 9.4 5.8

    profile time-dep. 1 949 940 - 1994 -station 48 216 40.4 242 8.2

    local time

    time-dep. 112 683 - 20.9 -station 5 969 18.9 4.0 5.2

    profile

    time-dep. 1 167 630 - 1263 -

    station 33 592 34.8 215 5.9

  • 8/12/2019 Time Table Ch Slides

    18/23

    ExperimentsTimetable Contraction Hierarchies

    16 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    PREPROC. QUERYtime edge type #del. speed time speed

    [s] inc. mins up [ms] up

    long

    619 86% time 183 79 0.2 43.5

    profile 251 192 3.4 71.4

    local

    685 128% time 186 32 0.4 9.2

    profile 426 79 24.2 8.9

  • 8/12/2019 Time Table Ch Slides

    19/23

    ExperimentsTimetable Contraction Hierarchies

    17 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Comparison with time-dependent SHARC [ESA08] on networklong.

    PREPROC. QUERYtime edge type #del. speed time speed

    [s] inc. mins up [ms] up

    ecoSHARC

    2268 74% time 32 575 8 7.4 7.2profile 181 782 11 415.0 5.4

    genSHARC

    18 522 74% time 8 771 30 2.0 26.6

    profile 55 306 35 114.7 19.5

    CH 619 86%

    time 183 79 0.2 43.5

    profile 251 192 3.4 71.4

    We scaled timings of SHARC based on plain Dijkstra timings.

  • 8/12/2019 Time Table Ch Slides

    20/23

    ExperimentsTimetable Contraction Hierarchies

    18 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Comparison with time-dependent SHARC [ESA08] on networklong.

    PREPROC. QUERYtime edge type #del. speed time speed

    [s] inc. mins up [ms] up

    ecoSHARC

    2 268 74% time 32 575 8 7.4 7.2profile 181 782 11 415.0 5.4

    genSHARC

    18 522 74% time 8 771 30 2.0 26.6

    profile 55 306 35 114.7 19.5

    CH 619 86% time 183 1418 0.2 251.4

    profile 251 7769 3.4 586.5

    We scaled timings of SHARC based on plain Dijkstra timings.

  • 8/12/2019 Time Table Ch Slides

    21/23

    Conclusion

    19 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Station graph model is superiorto time-dependent model for thegiven scenario.

    Node contraction works, as hierarchy is better visible due to 1:1mapping between nodes and stations.

    Timetable Contraction Hierarchies have preprocessing time of afewminuteswith query times ofhalf a millisecond.

    Open work:

    Support formulti-criteriascenarios, that e.g. respect number of

    transfers.Combination withgoal-directedtechniques.

  • 8/12/2019 Time Table Ch Slides

    22/23

    Thank You

    20 Robert Geisberger:Contraction of Timetable Networks with Realistic Transfers

    Faculty for Computer ScienceInstitute for Theoretical Computer Science, Algorithmics II

    Thank you for your attention.

  • 8/12/2019 Time Table Ch Slides

    23/23

    Questions

    21 Robert Geisberger:Contraction of Timetable Networks with Realistic TransfersFaculty for Computer Science

    Institute for Theoretical Computer Science, Algorithmics II

    Questions?