The Graph Voronoi Diagram with Applications
shortest - path algorithms : taxonomy and annotation .