What filename do you want to read? graph3.txt

Vertices: boston chicago dallas denver las_vegas los_angeles miami minneapolis new_york san_francisco seattle washington_dc 
Edges: 
boston -> chicago: 1613
boston -> washington_dc: 725
boston -> new_york: 338
chicago -> minneapolis: 661
chicago -> boston: 1613
chicago -> washington_dc: 1145
dallas -> las_vegas: 1983
dallas -> denver: 1258
dallas -> minneapolis: 1532
dallas -> washington_dc: 2113
dallas -> miami: 2161
denver -> seattle: 2161
denver -> las_vegas: 1225
denver -> minneapolis: 1483
denver -> dallas: 1258
las_vegas -> san_francisco: 919
las_vegas -> los_angeles: 435
las_vegas -> denver: 1225
las_vegas -> dallas: 1983
los_angeles -> san_francisco: 629
los_angeles -> las_vegas: 435
miami -> dallas: 2161
miami -> washington_dc: 1709
miami -> new_york: 2145
minneapolis -> seattle: 2661
minneapolis -> denver: 1483
minneapolis -> dallas: 1532
minneapolis -> chicago: 661
new_york -> washington_dc: 383
new_york -> miami: 2145
new_york -> boston: 338
san_francisco -> seattle: 1306
san_francisco -> los_angeles: 629
san_francisco -> las_vegas: 919
seattle -> san_francisco: 1306
seattle -> denver: 2161
seattle -> minneapolis: 2661
washington_dc -> dallas: 2113
washington_dc -> chicago: 1145
washington_dc -> miami: 1709
washington_dc -> new_york: 383
washington_dc -> boston: 725

Visiting los_angeles
  Updating dist[san_francisco] from 9999999 to 629.
  Updating dist[las_vegas] from 9999999 to 435.
Visiting las_vegas
  Updating dist[denver] from 9999999 to 1660.
  Updating dist[dallas] from 9999999 to 2418.
Visiting san_francisco
  Updating dist[seattle] from 9999999 to 1935.
Visiting denver
  Updating dist[minneapolis] from 9999999 to 3143.
Visiting seattle
Visiting dallas
  Updating dist[washington_dc] from 9999999 to 4531.
  Updating dist[miami] from 9999999 to 4579.
Visiting minneapolis
  Updating dist[chicago] from 9999999 to 3804.
Visiting chicago
  Updating dist[boston] from 9999999 to 5417.
Visiting washington_dc
  Updating dist[new_york] from 9999999 to 4914.
  Updating dist[boston] from 5417 to 5256.
Visiting miami
Visiting new_york
  Updating dist[boston] from 5256 to 5252.
Visiting boston

Shortest path is:
los_angeles las_vegas dallas washington_dc new_york boston 
Distance is: 
5252

Final dist map:
boston: 5252
chicago: 3804
dallas: 2418
denver: 1660
las_vegas: 435
los_angeles: 0
miami: 4579
minneapolis: 3143
new_york: 4914
san_francisco: 629
seattle: 1935
washington_dc: 4531

Final prev map:
boston: new_york
chicago: minneapolis
dallas: las_vegas
denver: las_vegas
las_vegas: los_angeles
miami: dallas
minneapolis: denver
new_york: washington_dc
san_francisco: los_angeles
seattle: san_francisco
washington_dc: dallas