Algorithm for shortest path search in Geographic Information Systems by using reduced graphs
 Rafael RodríguezPuente^{1}Email author and
 Manuel S LazoCortés^{1}
https://doi.org/10.1186/219318012291
© RodríguezPuente and LazoCortés; licensee Springer. 2013
Received: 14 November 2012
Accepted: 14 May 2013
Published: 1 July 2013
Abstract
The use of Geographic Information Systems has increased considerably since the eighties and nineties. As one of their most demanding applications we can mention shortest paths search. Several studies about shortest path search show the feasibility of using graphs for this purpose. Dijkstra’s algorithm is one of the classic shortest path search algorithms. This algorithm is not well suited for shortest path search in large graphs. This is the reason why various modifications to Dijkstra’s algorithm have been proposed by several authors using heuristics to reduce the run time of shortest path search. One of the most used heuristic algorithms is the A* algorithm, the main goal is to reduce the run time by reducing the search space. This article proposes a modification of Dijkstra’s shortest path search algorithm in reduced graphs. It shows that the cost of the path found in this work, is equal to the cost of the path found using Dijkstra’s algorithm in the original graph. The results of finding the shortest path, applying the proposed algorithm, Dijkstra’s algorithm and A* algorithm, are compared. This comparison shows that, by applying the approach proposed, it is possible to obtain the optimal path in a similar or even in less time than when using heuristic algorithms.
Keywords
Introduction

What is the shortest path between places x and y?

What is the optimal path between places x and y considering a certain criterion?

What is the lowest cost path between x and y via places x _{1}, x _{2}, …, x _{ n }?
Shortest path search has been widely studied. Many applications can be found in various branches of science, specifically in GIS. The road networks used by GIS to respond to the above requests are usually large and could have thousands of streets, that is why one should pay particular attention to how such information is processed.
One of the classic and most used algorithms for calculating the shortest path from an origin to a destination is Dijkstra’s algorithm, it was first enunciated by Edsger Wybe Dijkstra (1959) and is one of the most used and discussed algorithms in the literature of graphs, the temporal complexity is O(E + VlogV), where E is the number of edges and V is the number of vertices of the graph. However, this algorithm is not efficient for searching shortest path in large graphs (Fuhao and Jiping 2009).
 1.
 2.With data preprocessing, i.e.:

ReachBased Pruning (Gutman 2004).

LandmarkA* (Goldberg and Harrelson 2005; Goldberg and Werneck 2005).

Highway Hierarchies (Geisberger et al. 2008; Jagadeesh and Srikanthan 2008; Sanders and Schultes 2005; Song and Wang 2011; Wang et al. 2006).

Geometric containers (Wagner and Willhalm 2007).

Precomputed Cluster Distances (PCD) (Maue et al. 2010).

Delling et al. (2009) show an overview of routing algorithms; all approaches show important advances in shortest path search and make possible a low response time in large graphs using heuristics.
One of the most used heuristic algorithms is the A* algorithm, the main goal is to reduce the run time by reducing the search space analyzing only the vertices that have better possibilities to appear in the shortest path. The results obtained by this algorithm depend on the heuristic function used to determine the order in which vertices are visited. If the selected heuristic is optimal the computational complexity is reduced to O(n). That is why the A* algorithm is widely used for shortest path search.
One approach studied for shortest path search on large graphs is related to the use of some properties of the road networks, mainly to reduce the search space of the shortest path.

Gutman proposes an approach (Gutman 2004) in which he defines a formal attribute of vertex called reach, in order to measure vertex relevance. The reach attribute is precalculated using the graph to reduce the run time of shortest path search.

A relevant approach that uses a property of a road network is related to the hierarchy present in this kind of network. Many strategies use this approach, for example, Sanders and Schultes propose algorithms for constructing and querying highway hierarchies achieving a small run time and show the feasibility of this approach (Sanders and Schultes 2005).

Bast et al. define an approach based on relevant nodes (transit nodes) for longdistance travel (Bast et al. 2007). It consists of making precalculations of shortest path between all pairs of transit nodes and from each potential source or destination to its access transit nodes. This approach needs an effective notion of “far away” and the optimal results are guaranteed depending on the local filter selected.

Gonzalez et al. use the hierarchy of roads for partitioning the network into areas and make precalculations of shortest path in these areas (Gonzalez et al. 2007). This approach uses the fact that some roads are more traveled than others and drivers usually use the largest roads.

Geisberger et al. propose an approach that uses only edges that are related with “important” nodes (Geisberger et al. 2008). Pfoser et al. present a shortest path algorithm that imitates human driving behavior by exploiting road network hierarchies (Pfoser et al. 2009).
As an important characteristic of the approaches described above, it may be determined that they are based on the idea that for calculation of large paths (in large networks), only high levels roads (highways, roads more traversed, etc.) of the hierarchical road network are needed. This consideration can reduce the run time of shortest path search algorithms, but can not guarantee to return the optimal path.
Various commercial systems use heuristic algorithms with the aim of reducing the run time (Bast et al. 2007). Various authors have defined heuristics for achieving this goal (Fei et al. 2010; Liu and Yang 2009; Nazari et al. 2008; Sun et al. 2008; Xu 2005). Fu et al. show a review of this kind of algorithms for shortest path search in transportation applications (Fu et al. 2006).
Heuristic algorithms are relevant for shortest path search in large graphs, even when an error is introduced, acceptable in most of the situations, but they do not guarantee to obtain the optimal path in all cases.
On the other hand, there are algorithms for reducing a graph (Liu et al. 2010; Lu and Liu 2007; Sadiq and Orlowska 2000). With the application of any algorithm on the reduced graph, obviously, a lower response time is achieved. However, in this case, reduction of data brings loss of information. Thus, obtaining a path that is the optimal in the original graph can not be guaranteed.
RodríguezPuente proposes a graph reduction algorithm without loss of information (RodríguezPuente 2010). It specifies a mechanism to obtain the original graph from which the reduced graph was obtained. This algorithm can be applied naturally to a GIS because a map is usually divided into: zip code, states, regions, etc. This fragmentation of the map contribute to create a partition according to the algorithm requirements. This algorithm has a computational complexity O(n ^{4}), which is a high cost for a response in realtime environment. However, in the proposed approach we make a graph reduction for each graph, only once, and the execution of the reduction algorithm is done only for data preprocessing. Highlighting that it does not affect the run time of shortest path search.
This article presents a modification of Dijkstra’s shortest path search algorithm. It shows that it is possible to obtain the lowest cost path in all cases in a time similar to A* algorithm. Thus, the application of this algorithm in GIS can make improvements in services provided by this kind of systems. The use of the proposed algorithm integrated with the mentioned reduction algorithm will ensure efficiency in shortest path search, while maintaining accuracy.
The paper is organized as follows: first, a brief description of the graph reduction algorithm is provided. Second, the algorithm for finding shortest paths in reduced graphs is presented. Then, correctness of the algorithm is proved. Finally, some experimental results and conclusions are discussed.
Graph reduction
In order to achieve a better understanding of the proposal, certain definitions and notations related with graph theory must be introduced. Then, the selected graph reduction algorithm, used in the proposed approach, is presented.
Definitions and notations
Relevant definitions and notations related to the proposed approach are as follows:
Definition 1

V is a set of vertices.

E is a set of edges. An edge is an unordered pair of vertices (v _{ i }, v _{ j }) such that v _{ i }, v _{ j } ∈ V.
Definition 2

V is a set of vertices.

E is a set of edges.

The function ${f}_{c}:E\to {\mathbb{R}}^{+}$ assigns to each edge a positive real value called cost.
Definition 3

a graph G _{ i } = ({v _{ i }}, ϕ), where v _{ i } ∈ V.

a graph G _{ j } = (V _{ j }, E _{ j }).

two sets of embedding information ψ _{ in }, ψ _{ out } of the form {(v _{ m }, c _{1}, c _{2}, v _{ n })}, where: ${c}_{1},{c}_{2}\in {\mathbb{R}}^{+},{v}_{m}\in {V}_{j},{v}_{n}\in \{V{V}_{j}\}$; in the case of ψ _{ in }, ∃(v _{ n }, v _{ i }) ∈ E, such that f _{ c }(v _{ n }, v _{ i }) = c _{1}. After applying the rewrite rule, a new graph H = (V _{1}, E _{1}, f _{ c 1}) is obtained and it holds that ∃(v _{ n }, v _{ m }) ∈ E _{1}, such that f _{ c 1}(v _{ n }, v _{ m }) = c _{2}. Analogously to ψ _{ in }, we define ψ _{ out }, with edges orientation as the only difference.

V _{1} = {V − {v _{ i }}} ∪ V _{ j }. E _{1} = E − E _{ t } ∪ E _{ j } ∪ E _{ k }, (v _{ t 1}, v _{ t 2}) ∈ E _{ t } if and only if (v _{ t 1} = v _{ i } and v _{ t 2} ∈ V) or (V _{ t 1} ∈ V and v _{ t 2} = v _{ i }). (v _{ m }, v _{ n }) ∈ E _{ k } if and only if (v _{ m }, c _{1}, c _{2}) ∈ (ψ _{ in } ∪ ψ _{ out }), ${c}_{1},{c}_{2}\in {\mathbb{R}}^{+}$. ${f}_{c1}:E\to {\mathbb{R}}^{+}$,${f}_{c1}(u,v)=\left\{\begin{array}{ll}\phantom{\rule{.3em}{0ex}}{f}_{c}(u,v)& \text{if}\phantom{\rule{1em}{0ex}}(u,v)\in \mathit{\text{Eandu}},v\ne {v}_{i}\\ {f}_{\mathit{\text{cj}}}(u,v)& \text{if}\phantom{\rule{1em}{0ex}}(u,v)\in {E}_{j}\\ \phantom{\rule{2.5em}{0ex}}{c}_{2}& \text{if}\phantom{\rule{1em}{0ex}}\exists (u,{c}_{1},{c}_{2},v)\in ({\psi}_{\mathit{\text{in}}}\cup {\psi}_{\mathit{\text{out}}})\end{array}\right.$
A graph rewrite rule also can be defined over an undirected graph, in this case, the sets ψ _{ in } and ψ _{ out } must be represented as an only set called ψ.
The set of edges that join vertex v _{ i } with the vertices of the graph G − G _{ i } are called preembedding edges. After applying a rewrite rule, the edges that join a vertex of the graph G _{ j } with a vertex of the graph G − G _{ j } are called postembedding edges. The function ψ _{ in } transforms the set of preembedding edges that are incident in a vertex v _{ i } in postembedding edges that are incident in one or more vertices v _{ j } ∈ V _{ j }. Similarly, the function ψ _{ out } transforms preembedding outgoing edges from a vertex v _{ i } in one or more postembedding outgoing edges from several vertices v _{ j } ∈ V _{ j }.
Definition 4

V _{ r } is a set of vertices.

E _{ r } is a set of edges.

$f:{V}_{r}\times {V}_{r}\times {V}_{r}\to ({\mathbb{R}}^{+}\bigcup \{0,\infty \left\}\right)$, is a function that for each (v _{ i }, v _{ j }, v _{ k }) returns the cost of going from v _{ i } to v _{ k } through v _{ j }, with v _{ k } adjacent to v _{ j } and v _{ j } adjacent to v _{ i }. Function f is obviously also defined for the cases where v _{ i } = v _{ j } and/or v _{ j } = v _{ k }. In the trivial case, f(v, v, v) = 0.

R is a set of rewrite rules over (V _{ r }, E _{ r }, f _{ c }), where f _{ c } is defined as f _{ c }(v, w) = f(v, v, w).
This definition is particularly important when it is associated with another graph, i.e., when a graph is reduced from another graph. We can state that a graph G _{ r } = (V _{ r }, E _{ r }, f, R) is reduced from a graph G = (V, E, f _{ c }), when applying the set of rewrite rules R to the graph G _{ r }, the graph G is obtained.
In the case of function f, for all 3tuple of vertices v _{ i }, v _{ j }, v _{ k } ∈ V _{ r } it holds that f(v _{ i }, v _{ j }, v _{ k }) = f _{ c }(v _{ i }, v _{ j }) + f _{ c }(v _{ j }, v _{ k }). Notice that f(v _{ i }, v _{ i }, v _{ j }) = f _{ c }(v _{ i }, v _{ j }). If v _{ i } and v _{ j } are not adjacent, the image of both functions would be infinite. This is the way in which we specify that two vertices are not adjacent.
Graph reduction algorithm
The reduction algorithm enunciated in (RodríguezPuente 2010) has as a key characteristic that it guarantees no loss of information through the incorporation of rewrite rules. However, an improved version is presented here, since it is necessary to differentiate between what are defined as internal and external vertices below.
This algorithm has two variables as input: a reduced graph G = (V, E, f, R) and a partition over the set of vertices of the graph. On the other hand, the algorithm has as output, a reduced graph.
In first place, it is necessary to refine partition P in order to achieve an optimal path having the same cost of the optimal path obtained by Dijkstra’s algorithm in the original graph; to do this, we introduce the following definition:
Definition 5
Let a graph G = (V, E) and a partition P on V, a vertex v _{ i } ∈ V is internal if ∀v _{ j } ∈ V, such that v _{ i } and v _{ j } are adjacent, it holds that v _{ i } and v _{ j } are in the same class of P; i.e. [v _{ i }] = [v _{ j }] otherwise v _{ i } is external.

Two vertices v _{ i } and v _{ j } are in the same class of refined partition if, and only if:

v _{ i } and v _{ j } are in the same class in the original partition P.

v _{ i } and v _{ j } are internal vertices.


For each external vertex a new equivalence class is created as a singleton containing only this vertex.
Next, we create a new vertex w _{ i } for each A _{ i }∈P,A _{ i }>1, i=1..s. V ^{′}=w _{ i } is a set of reduced vertices and V − V ^{′} is the set of unreduced vertices in the reduced graph.
We add a vertex in the reduced graph for each class of the partition calculated in the previous step. If the cardinality of the class is 1, the vertex is considered as an unreduced vertex; in any other case, it is considered as a reduced one (GetReducedVertices method). Next, a set of edges is calculated. One edge can be added to the reduced graph if the two vertices of the edge belong to different equivalence classes (GetEdges method). With the addition of edges to the reduced graph, the cost function f _{ r } of the reduced graph must be updated.
The creation of the set of rewrite rules is an essential step in the reduction algorithm. With the rewrite rules, the original graph can be obtained from the reduced graph. Therefore, rewrite rules guarantee no loss of information, and so the reduction process is reversible.

G _{ i } = ({w _{ i }}, ϕ), w _{ i } ∈ V ^{′}.

G _{ j } = (A _{ i }, E _{ i }, f _{ cj }) is a subgraph of G = (V, E, f _{ c }, R), where exists an edge (u, v) ∈ E _{ i } if and only if (u, v) ∈ E and u, v ∈ A _{ i }; in addition f _{ cj }(u, v) = f _{ c }(u, v).

ψ _{ in } is a set of quadruples of the form (v _{ m }, c _{1}, c _{2}, v _{ n }) such that for v _{ m } ∈ A _{ i } and v _{ n } ∈ (V − A _{ i }) and (v _{ n }, v _{ m }) ∈ E and (v _{ n }, v _{ i }) ∈ E _{ r } it holds that c _{1} = f _{ cj }(v _{ n }, v _{ m }); and c _{2} = f _{ cj }(v _{ n }, v _{ i }).

ψ _{ out } is a set of quadruples of the form (v _{ m }, c _{1}, c _{2}, v _{ n }) such that for v _{ m } ∈ A _{ j } and v _{ n } ∈ (V − A _{ j }) and (v _{ m }, v _{ n }) ∈ E and (v _{ i }, v _{ n }) ∈ E _{ r } it holds that c _{1} = f _{ cj }(v _{ m }, v _{ n }); and c _{2} = f _{ cj }(v _{ i }, v _{ n }).
The previous explanation corresponds to the implementation of GetRewriteRules method.
Another step that contributes to obtain the optimal path is the calculation of function f _{ r }. Function f _{ r } stores the cost of the shortest path from one vertex to another, traversing a reduced one.

Create an auxiliary graph. First, this graph is equal to the graph G _{ j } = (V _{ j }, E _{ j }, f _{ cj }) of the rewrite rule. Second, we add to this graph, vertices that are adjacent (in the original graph) to vertices of graph G _{ j } (notice that these vertices are internal taking into account original graph and set v _{ j }), and the edges that connect them.

We apply MDijkstra algorithm (see next section) using all pairs of related vertices, identified in the previous step, as origin and destination vertices.

The obtained costs and path are stored in f _{ r }.
Additionally, for all 3tuples of vertices v _{ i }, v _{ j }, v _{ k } ∈ V, where v _{ j } is a nonreduced vertex, f _{ r }(v _{ i }, v _{ j }, v _{ k }) = f(v _{ i }, v _{ j }, v _{ k }).
Path from v _{ i } to v _{ k } is also stored, with the goal of avoiding additional run time, when the shortest path search in a reduced graph is retrieved.
Algorithm 1 provides the detailed pseudocode of the graph reduction algorithm.
Algorithm 1 GraphReduction
The complexity of the reduction algorithm would be determined by steps 68. According to the above description of Updatefr, this method calculates shortest path from all external vertices (taking into account the original graph) of v _{ j } to all vertices of the auxiliary graph.
In a graph obtained from a network in a map, a vertex represents the intersection of two or more lines and an edge represents the connection between two intersections. That is why, in this kind of graph, there are no edges that intersect among them. Thus, we can assume that graphs representing the modeled network through a map are planar.
Moreover, in a graph with these characteristics, the degree of a vertex is generally equal to 4, except in a few cases. Thus it is assumed, without loss of generalization, that the degree of a graph that represents a network of this type is less than or equal to 10. Let Δ(G ^{+}) the degree of G, the auxiliary graph has, at most, a · Δ(G ^{+}) vertices. In Updatefr method, MDijkstra algorithm is called for each adjacent vertex to any vertex of v _{ j } (see Shortest path search algorithm section for temporal complexity of this algorithm), so the temporal complexity, in the worst case, is: O(a · Δ(G ^{+}) · a · Δ(G ^{+}) log(a · Δ(G ^{+}))) = O(Δ(G ^{+})^{2} · a ^{2}· log(a) + log(Δ(G ^{+})))
The terms involving Δ(G ^{+}) are constant, so the temporal complexity is O(a ^{2}· log(a)).
As a conclusion, the temporal complexity of Algorithm 1 is of polynomial order. The reduction process is made only once, as data preprocessing. This preprocessing task causes an increased in the spatial complexity but, with this approach, we can obtain lower run time in every shortest path computation over the reduced graph.
Reduction example
In this section we explain a very simple example to show the reduction process.

G the graph of Figure 2(a).

P = ({v _{1}, v _{2}, v _{3}}, {v _{4}}, {v _{5}}, {v _{6}}, {v _{7}}) a partition over the set of vertices of G.
In first place, we create the reduced vertices, one per each equivalence class of P. Thus, after this step, G _{ r } = ({v _{ r 1}, v _{4}, v _{6}, v _{5}, v _{7}}, {}, {}, {}). Notice that V _{ r } = {v _{ r 1}, v _{4}, v _{6}, v _{5}, v _{7}}, E _{ r } = {}, f _{ r } = {}, R _{ r } = {}.
Then, we need to calculate the edges of G _{ r } as is specified in the description of Algorithm 1. If there is an edge between two vertices of G, and these vertices are unreduced in G _{ r }, this edge is added to the reduced graph; for example the edge (v _{5}, v _{7}) in G is added to G _{ r }. Additionally, if there is a vertex v ∈ P _{ i } in a class of P(v ∈ V _{ r }), and there exists an edge from v to other vertex u of G (u is unreduced vertex in G _{ r }), the edge from the reduced vertex, that represents the class P _{ i } of P, to the vertex u is added to G _{ r }; for example the edge (v _{2}, v _{4}) in G is added to G _{ r } as the edge (v _{ r 1}, v _{4}), v _{2} is in the class of P represented by v _{ r 1}.
Finally, the function f _{ r } is calculated. In the example of the reduced graph of Figure 2(b), we need to store the path from v _{5} to v _{4} and the path from v _{5} to v _{6}, both through v _{ r 1}. In this case, f _{ r }(v _{5}, v _{ r 1}, v _{4}) = 6, f _{ r }(v _{5}, v _{ r 1}, v _{6}) = 9.
The application of the rewrite rules obtained (Figure 3) to G _{ r } (Figure 2(b)) allows us to obtain the original graph G (Figure 2(a)). For this purpose, we enunciated Algorithm 2 based on Definition 3.
This algorithm has as input a reduced graph and a rewrite rule. If a reduced graph has more than one reduced vertex, the application of this algorithm for each reduced vertex would be sufficient to obtain the original graph.
Algorithm 2 Graph Rewrite Rule Application

Add to G _{ r } (Figure 2(b)) the graph G _{ j } of the rewrite rule (G _{ j } is the right side graph of the rewrite rule).

The preembedding edge (v _{ r 1}, v _{5}) of cost 1 is transformed in postembedding edge (v _{1}, v _{5}) of cost 1.

The preembedding edge (v _{ r 1}, v _{4}) of cost 2 is transformed in postembedding edge (v _{2}, v _{4}) of cost 2.

The preembedding edge (v _{ r 1}, v _{6}) of cost 3 is transformed in postembedding edge (v _{3}, v _{6}) of cost 3.

The preembedding edge (v _{ r 1}, v _{5}) of cost 1 is transformed in postembedding edge (v _{3}, v _{5}) of cost 4.

The vertex v _{ r 1} is eliminated from G _{3}.
After applying the rewrite rule we have obtained the graph G (Figure 2(a)). Thus, in the reduction process does not exist loss of information, that is, the reduction is reversible.
Shortest path search algorithm
In this section, a modification of Dijkstra’s shortest path search algorithm is shown. The goal of the proposal is to obtain an optimal path with the same cost as the path returned by Dijkstra’s algorithm, for the same origin and destination, but using a reduced graph.
Both, Dijkstra’s algorithm and the one proposed, are based on iterations over the set of vertices. At each iteration, the algorithm will find a vertex so that the distance from the origin vertex to the selected vertex is minimal. This vertex is called pivot. Usually, the vertices are stored in a priority queue considering, as priority, the distance from the origin vertex. This data structure is used to facilitate the selection of the pivot. Besides, two vectors are updated during the execution of the algorithm. One of them (vector D) is updated with the lowest distance from the origin vertex to each vertex v _{ i } (we refer to this distance as D[v _{ i }]). The other one (vector P _{ r }) is updated with the predecessor of each vertex in the shortest path from the origin vertex.
Every time that a pivot w _{ n } is selected, the distances to its adjacent vertices are updated. If the distance from the origin vertex to the pivot (D[w _{ n }]) plus the distance from the pivot to vertex v _{ i } is lower than the distance from the origin vertex to v _{ i } (D[v _{ i }]), D[v _{ i }] is updated.
Additionally, there are two differences between Dijkstra’s algorithm and the proposed one.
In the first place, a cost function f:V × V × V→(R ^{+} ∪ {0, ∞}) is used for calculating the cost from one unreduced vertex to another one, traversing a reduced vertex. Notice that, traditionally, the cost function of a graph has the cost of an edge.
The other difference in the proposed algorithm, is related to the actualization of distances to a reduced vertex. Let us consider an unreduced vertex w _{ n } as pivot, it is necessary to update the distances to all adjacent vertices as described above. If a reduced vertex V _{ r } is adjacent to the pivot, we have to update the distances to all vertices that are adjacent to V _{ r } (see lines 1522 of Algorithm 3) using the cost function f, for guaranteeing the optimal result.
When analyzing the temporal complexity of the proposed algorithm, there are two differences with respect to Dijkstra’s algorithm. The first one is the use of function f, this function is calculated at preprocessing time, so it does not affect the temporal complexity.
The second one implies the execution of one cycle. However, it should be noted that this cycle is repeated Δ(G ^{+}) (constant, Δ(G ^{+}) < 10) times for each vertex that is stored in the queue.
Thus, Δ(G ^{+}) < log(V) for large graphs, this new cycle does not affect the temporal complexity. Concluding, temporal complexity of Dijkstra and MDijkstra algorithms are the same order. Also notice that, in a planar graph, we can establish a linear relation between vertices and edges. From the Euler’s formula (Diestel 2010), it follows that E ≤ 3V − 6 if V ≥ 3. So, in the case of Dijkstra’s algorithm in planar graphs, we can state that the temporal complexity is O(E + V log(V)) = O(V log(V)).
For applying the proposed approach, we need to reduce a graph only once. Then, we can make several shortest path search computations. In other words, we propose to make a data preprocessing for achieving a performance improvement in shortest path search.
This approach brings us the benefit of performing shortest path search in graphs with less vertices than other algorithms use, for instance, Dijkstra and A*. Therefore, it is logical for the proposal to achieve a lower run time. Nevertheless, it is necessary to demonstrate, that the path obtained by this proposal is optimal and equal (in terms of cost) to the one obtained by Dijkstra’s algorithm. These demonstrations are shown in the following section.
The detailed pseudocode of the proposed modification is presented in Algorithm 3.
Temporal and spatial complexity of Dijkstra, A* and MDijkstra algorithms
Algorithm  Temporal complexity  Temporal complexity (using Heap data structure)  Spatial complexity 

Dijkstra  O(E + V^{2})  O(V + log(V))  O(E + V) 
A*  O(V), if the selected heuristic is optimal  O(V), if the selected heuristic is optimal  O(E + V) 
MDijkstra  O(E + V^{2})  O(V + log(V))  O(E + V) + R 
Algorithm 3 mDijkstra
However, as is impractical to obtain an optimal heuristics for this purpose, we can state that the proposal obtains a response in a lower run time than Dijkstra and A* algorithm if a condition ${n}_{1}=\left{V}_{r}\right\le \sqrt{(}n)$ is satisfied.
Generally, there is a trade off between efficiency and accuracy in algorithms that have large amount of data as input. The main result of the present work is the efficiency improvement of shortest path search in large graphs without affecting accuracy.
We have the possibility to make a shortest path search in the reduced graph between any pair of vertices of the original graph. It can be achieved by applying a rewrite rule to a proper reduced vertex. However, this involves an additional cost to shortest path search.
It is hard to state that an algorithm for shortest path search is better than other in all cases. In this case, our proposal need a higher space, associated to a preprocessing stage to calculate function f (see Definition 4), than classical Dijkstra’s and A* algorithms (nevertheless, it should be highlighted that the preprocessing is made only once, but shortest path searches are made several times). However, MDijkstra algorithm gives a response in a lower run time.
Below, we prove the correctness of MDijkstra algorithm, with the aim of establishing that the proposed algorithm obtains an optimal path, and the cost of this path is the same as the cost of the path obtained by Dijkstra’s algorithm. Next, we state a theoretical measure to ensure that the response time is lower than A* algorithm. This is the algorithm selected in the literature of shortest path search, to compare run times.
Correctness proof
In this paper, a new shortest path search algorithm is proposed. Therefore, it is necessary to prove that the path obtained by the proposal is optimal in all cases.
With the aim of facilitating the understanding of this section, the correctness proof of several lemmas is presented in Appendix A.
By Lemma 3, D _{ N−1}(v) has the minimum distance from vertex v _{ o } to vertex v.
To prove the correctness of Algorithm 3, we shall prove that for any path C a = (v _{ o }, v _{1}, v _{2}, ..., v _{ d }) with distance vector D c and predecessors vector P, it holds that ∀v ∈ V, D _{ N − 1}(v) ≤ D c _{ N−1}(v), where v is an unreduced vertex.
Theorem 1
∀n ∈ {1, 2, .., N − 1}[C a(0) = 0 → ∀ m < n + 1(C a(m) < N) → ∀m < n + 1[D c(C a(m)) + f _{ c }(C a(m), C a(m + 1)) = D c(C a(m + 1))] → D _{ N−1}(C a(n)) ≤ D c(C a(n))]
Proof
(By induction on n)
Base case n = 0 immediate by Lemma 2,
For n = k + 1:
The distance to a vertex v _{ i } is less than or equal to the distance to a visited vertex v _{ j } plus the distance from v _{ j } to v _{ i }, by Lemma 5
By Lemma 3, D c(C a(k v+ 1)) = D c(P c _{ N−1}(P c _{ N−1}(C a(k + 1)))) + f(P c _{ N−1}(P c _{ N−1}(C a(k + 1))), P c _{ N−1}(C a(k + 1)), C a(k + 1)), replacing in (3), D _{ N−1}(C a(k + 1)) ≤ D c(C a(k + 1)). □
We can prove the correctness of Dijkstra’s algorithm with a similar reasoning because the same invariants are satisfied. Thus, for the next proof we assume that Dijkstra’s algorithm is correct and satisfies invariants analogous to those defined for Algorithm 3.
As demonstrated before, Algorithm 3 returns the shortest path in the reduced graph. However, it remains to prove that the cost of the shortest path obtained by the proposed algorithm and the one obtained by Dijkstra’s algorithm (in the original graph without reducing it) are the same.

G = (V, E, f _{ c }) a graph.

G _{ r } = (V _{ r }, E _{ r }, f) a reduced graph obtained from the graph G.
Theorem 2
Let C a = (v _{1}, ..., v _{ n }) be a path of cost c obtained by applying Dijkstra’s algorithm on the graph G, where v _{1} and v _{ n } are unreduced vertices on the graph G _{ r }, then ∃C a ^{′} = (u _{1}, u _{2}, …, u _{ t }) with cost c, u _{1} = v _{1}, u _{ t } = v _{ n }, such that C a ^{′} is an optimal path on G _{ r }.
Proof

Substitute each subpath v _{ i }, v _{ i+1}, …, v _{ i+m } for a path v _{ i }, v _{ k }, v _{ i+m } where:

v _{ i+j } ∈ [v _{ i }], j = 1..m

v _{ i }, v _{ i+m } are external vertices. The other vertices are internal

v _{ k } is the reduced vertex (in the graph G _{ r }) that represents the equivalence class [v _{ i }]

The cost of the path v _{ i }, v _{ k }, v _{ i+m } is equal to the cost of the path v _{ i }, v _{ i+1}, …, v _{ i+m }, by definition of function f. Thus, the paths C a and C a ^{′} have the same cost.

Substitute each subpath u _{ i−1}, u _{ i }, u _{ i+1} by a path u _{ i−1}, u _{ j }, u _{ j+1}, u _{ j+m }, …, u _{ i+1} of cost c _{3} where:

u _{ i−1}, u _{ i+1} are unreduced vertices

u _{ j+t } ∈ [u _{ i }], j = 1..m

c _{3} = f(u _{ i−1}, u _{ i }, u _{ i+1})

Therefore paths C b and C b ^{′} have the same cost (c _{1}), this leads a contradiction. Thus, there is no path that has less cost than C a. □
Corollary 1
Let C a = (v _{1}, ..., v _{ n }) a path obtained by applying Dijkstra’s algorithm on graph G, ∀i ∈ {1, 2, ..., n} such that C a[i] is an unreduced vertex in G _{ r }, it holds that the distance to C a[i] is equal to the distance obtained by MDijkstra algorithm on the reduced graph from v _{1} to C a[i].
Theorem 2 establishes that the cost of the shortest path from a vertex v _{ i } to any vertex v _{ j } (v _{ i } and v _{ j } being unreduced vertices in G _{ r }) obtained by applying Algorithm 3 is the same as the cost of the shortest path calculated by Dijkstra’s algorithm in the original graph (without reduction).
The fact that both source and destination must be unreduced vertices could be a limiting factor (in terms of the number of vertices to which one can calculate the shortest path) if one does not have a mechanism that allows obtaining a reduced graph G _{ r i } from G _{ r } where v _{ i } ∈ V (v _{ i } is a vertex in the original graph G = (V, E)) is an unreduced vertex on G _{ r i }. This can be accomplished by one or more expansions applying rewrite rules to the reduced vertex that contains vertex v _{ i }.
Experimental results
The comparison of the results of shortest path search, applying Algorithm 3 (MDijkstra), Dijkstra’s algorithm and A* algorithm, provides elements emphasizing the advantages of the proposed approach. Besides, correctness proof of the proposed shortest path search algorithm is made.
Algorithm 3 was coded in Python, using the NetworkX library (Hagberg et al. 2008). This library provides an implementation of Dijkstra’s and A* algorithms, allowing to compare the three algorithms on the same technology and with efficient data structures. NetworkX uses a priority queue, implemented with a Heap, to find the shortest path using Dijkstra and A* algorithms. With this implementation, the complexity is O(E + V log(V)).
It is wellknown that there are several techniques to make performance improvement on shortest path search, based on Dijkstra’s and A* algorithms; Zeng and Church compare some of them (Zeng and Church 2009). This performance improvement depends on several things, for example: programming language, data structures used in the implementation of algorithms, among others. Therefore, in order to be impartial with the proposal, we compare the proposed algorithm only with the implementation of Dijkstra’s and A* algorithms in the NetworkX library.
The algorithms were run on a Pentium 4 (3.2 GHz) with 1.5 Gb of RAM and the Kubuntu 11.10 operating system.
Two graphs were used for experimental test: one was obtained from a cartography of the North Carolina State^{a} and the other represents the road network of San Francisco^{b}. The first graph, obtained from North Carolina cartography, has 41810 vertices. This graph was reduced twice. First, we arbitrarily construct two sets of polygons using zip codes. The first one has 30 polygons. The second one has 5 polygons (the second set of polygons does not depend of the first one). Obviously in the second case polygons are larger. In both reductions we use the equivalence relation “in”. If two points are into the same polygon, then they are related through relation “in”. We obtain a reduced graph of 1826 using the first set of polygons, and a reduced graph of 250 vertices using the second set.
The second graph, obtained from San Francisco cartography, has 149756 vertices and it was also reduced twice, using the equivalence relation defined above and two new arbitrary sets of polygons. The first set has 10 polygons and the second one has 4 polygons. In the first reduction, using the first set of polygons we obtain a reduced graph of 2617 vertices. Using the second set of polygons, we obtain another reduced graph of 769 vertices.
Dijkstra’s and A* algorithms were executed on the original graphs and the proposed algorithm was applied to the reduced ones. Each algorithm was executed 10 times; the highest and lowest values were discarded. Finally, the average time among the remaining 8 values are shown.
Time of shortest path search with Dijkstra’s and A* algorithms in two original graphs ( G _{ 1 } , G _{ 2 } ) and time of shortest path search in four reduced graphs with the proposed approach
Graph  Algorithm  NV^{a}  Time (seconds)  Optimal path 

G _{1}  Dijkstra  41810  0.6160  yes 
A* (h=0)  0.4938  yes  
A* (h=Euclidean distance)  0.0200  no  
G _{ r 1.1}  Algorithm 3 (MDijkstra)  250  0.0036  yes 
G _{ r 1.2}  Algorithm 3 (MDijkstra)  1826  0.0265  yes 
G _{2}  Dijkstra  149756  3.0249  yes 
A* (h=0)  2.2108  yes  
A* (h=Euclidean distance)  0.1011  no  
G _{ r 2.1}  Algorithm 3 (MDijkstra)  765  0.0193  yes 
G _{ r 2.2}  Algorithm 3 (MDijkstra)  2617  0.0722  yes 
Discussion
The results shown in Table 2 confirm the fact that, for large graphs, the run time of shortest path search with the proposed approach would be smaller than the run time obtained with classical approaches.
If in the reduction process we obtain a graph G = (V _{ r }, E _{ r }), such that ${n}_{1}=\left\mathit{\text{Vr}}\right=\sqrt{n}$, the temporal complexity of both algorithms (Dijkstra and MDijkstra) must be similar. However, as is impractical to obtain an optimal heuristics for this purpose, we can state that the proposal obtains a response in a lower run time than Dijkstra’s and A* algorithm if a condition ${n}_{1}=\left{V}_{r}\right\le \sqrt{n}$ is satisfied. Thus, if we assume that we have sufficient memory for storing reduced graphs, the proposed approach is better than Dijkstra’s and A* algorithms; taking into account that if we reduce original graph as proposed before, always we can obtain a response in a lower runtime. The proposal is not useful when the available memory is low and does not permit to store reduced graphs.
In the case of the run time of Algorithm 3 (MDijkstra) on the graph G _{ r 1.2}, the obtained time is higher than the one obtained by A* algorithm. The reason of this result is that the graph G _{ r 1.2} has a number of vertices considerably higher than the square root of the number of vertices of G _{1}. Notice that we state that the number of vertices of the reduced graph must be less than or equal to the square root of the number of vertices of the original graph. In the case of the graph G _{ r 2.2} a lower run time than the one obtained by A* algorithm is achieved, although the number of vertices is higher than the square root of the number of vertices of G _{2}.
The selection of origin and destination of the shortest path search in a GIS is usually made using a map, i.e. a user selects these points by clicking in the map shown by the GIS. We believe that, at any time that a user selects an origin or a destination point, the GIS can make an expansion of the reduced graph, using the extent of the map that is visualized and the selected point. If a system for shortest path search is implemented in this way, the time needed to expand a reduced vertex would be irrelevant for the shortest path search, considering that the temporal complexity of expanding a reduced vertex is O(a), where a=m a x{A _{ i }, A _{ i } ∈ P}.
Most algorithms developed lately for shortest path search make efficiency improvement by reducing the search space, these approaches cause loss in accuracy. The presented approach makes use of a graph reduction algorithm without loss of information, in order to obtain a better run time of the search. This approach maintains the accuracy because the reduction algorithm guarantees no loss of data (see Table 1).
Generally, heuristic algorithms are developed in order to reduce the run time of a specific algorithm, which solves some problems whose optimal solution involves a high computational cost. Many heuristic algorithms are developed for shortest path search in GIS, with the assumption that a low bound of error is admissible in this area. However, with the proposed approach, it is possible to obtain the optimal path in a similar time, and even in less time, than with heuristic algorithms, as shown in Table 2.
Conclusions

The proposed approach is particularly applicable to GIS, due to the way in which users perform a shortest path search in this kind of systems. This allows us to expand vertices avoiding the influence of the time used in this operation on the shortest path search.

The use of reduced graphs significantly reduces the response time in the shortest path search. That is one of the two main approaches used in literature to reduce the computational cost of this operation.

The shortest path search on a reduced graph ensures scalability regarding the size of the graph on which the analysis is performed.

We prove that the proposed algorithm allows us to obtain an optimal path in a reduced graph. The cost of the obtained path is equal to the cost of the path found using Dijkstra’s algorithm on the original graph.

We have developed a method capable of performing shortest path search in a run time similar to A* algorithm (with h=0 and h=Euclidean distance).
Future work
The modifications made on Dijkstra’s algorithm are related to the use of a new function that has the cost of going through a reduced vertex. Therefore, we can modify other algorithms to make shortest path search in reduced graph (like A* algorithm), whenever the cost of going through a reduced vertex is considered as the cost of the path.
Appendix
A Demonstration of cycle invariants of Algorithm 3

G = (V, E, f _{ c }) is a weighted graph. Without loss of generality we assume that V = {0, 1, ..., M − 1} to make demonstrations less complex.

G _{ r } = (V _{ r }, E _{ r }, f, R) is a reduced graph from G and the equivalence relation RE. Without loss of generality we assume that V _{ r } = {0, 1, ..., N − 1}. It is important to notice that in each path of a reduced graph, between two reduced vertices there are, at least, two unreduced vertices, as is shown in Figure 4.

∀n < N, in the execution of Algorithm 3 we define:

A vertex w _{ n }, the vertex selected in step n.

A set C _{ n } ⊆ V _{ r }, the set of vertices visited in step n. C _{0} = {v _{ o }}, ${C}_{n+1}={C}_{n}\bigcup \left\{{w}_{n}\right\}$.

D _{ n } represents the minimum distance from v _{ o } to each vertex v ∈ V _{ r } as far as it is known in step n. D _{0}(v _{ o }) = 0, D _{ n+1}(v) = M in(D _{ n }(w _{ n }) + f _{ c }(w _{ n }, v), D _{ n }(v)) = M in(D _{ n }(P _{ n }(w _{ n })) + f(P _{ n }(w _{ n }), w _{ n }, v), D _{ n }(v)).

P _{ n } store, for each vertex, the predecessor in the shortest path from v _{ o } to v _{ d }, as far as it is known in step n. P _{0}(v _{ o }) = v _{ o },${P}_{n+1}\left(v\right)=\left\{\begin{array}{ll}{w}_{n}& \text{if}{D}_{n}\left(v\right)>{D}_{n}\left({w}_{n}\right)+{f}_{c}({w}_{n},v)\\ {P}_{n}\left(v\right)& \text{in other case}\end{array}\right.$

For the correctness proof it is necessary to demonstrate that the following cycle invariants are held:
 1.
C _{ n } = n + 1. In the iteration n, there are n + 1 visited vertices.
 2.
D _{ n }(v _{ o }) = 0 ∧ P _{ n }(v _{ o }) = v _{ o }. The distance from origin vertex to itself is 0 at any iteration. The predecessor of the origin vertex is the vertex itself.
 3.
D _{ n }(v) = D _{ n }(P _{ n }(P _{ n }(v))) + f(P _{ n }(P _{ n }(v)), P _{ n }(v), v). The distance to a vertex depends on the distance to its predecessor in the shortest path.
 4.
∀v ∈ C _{ n } D _{ n+1}(v) = D _{ n }(v). The distance to a vertex in the step n is the same that the distance in the step n + 1, for all visited vertices.
 5.
∀v _{ i }, v _{ j } ∈ V[v _{ j } ∈ C _{ n+1} → D _{ n+1}(v _{ i }) ≤ D _{ n+1}(P _{ n }(v _{ j })) + f(P _{ n }(v _{ j }), v _{ j }, v _{ i })]. The distance to any vertex v _{ i } is less than or equal to the distance to a visited vertex v _{ j } plus the distance from v _{ j } to v _{ i }.
Lemma 1
∀n < N, C _{ n } = n + 1
Proof
(By induction on n)
From the definition of the algorithm, at each step a vertex w is visited, in step 0 vertex v _{ o } is visited, thus in the base case we have C _{0} = {v _{ o }}, C _{0} = 1,
For n = k + 1, ${C}_{k+1}={C}_{k}\bigcup \left\{v\right\}$, being v the visited vertex in step k + 1, therefore C _{ k+1} = C _{ k } + {v} = k + 2. □
Lemma 2
∀n < N, D _{ n }(v _{ o }) = 0 ∧ P _{ n }(v _{ o }) = v _{ o }
Proof
First, we visit vertex v _{ o } and update D _{ n }(v _{ o }) = 0, i.e., the minimum distance from v _{ o } to itself is 0, the function D _{ n } has its domain in ${\mathbb{R}}^{+}\bigcup \{0,\infty \}$, so the smallest possible value that can be achieved is 0;
Let c o s t = D _{ n }(P _{ n }(w _{ n })) + f(P _{ n }(w _{ n }), w _{ n }, v), ∀w _{ n }, v ∈ V, it holds that 0≤0+c o s t, because the image of the function f is ${\mathbb{R}}^{+}\cup \{0,\infty \}$ and the vector D(V _{ r }) is initialized from f.
The condition D _{ n }(v _{ o }) > D _{ n }(w _{ n }) + f(P _{ n }(w _{ n }), w _{ n }, v _{ o }) is never satisfied, thus D _{ n }[v _{ o }] and P _{ n }[v _{ o }] never change. □
Lemma 3
∀n < N, D _{ n }(v) = D _{ n }(P _{ n }(P _{ n }(v))) + f(P _{ n }(P _{ n }(v)), P _{ n }(v), v)
Proof
(By induction on n)
The base case n = 0, ∀v ∈ V _{ r }, D _{0}(v) = f _{ c }(v _{ o }, v), by preconditions.
f(v _{ o }, v _{ o }, v) = f _{ c }(v _{ o }, v _{ o }) + f _{ c }(v _{ o }, v) = f _{ c }(v _{ o }, v), by definition of f and f _{ c }, replacing f by f _{ c }:
D _{0}(v) = 0 + f(v _{ o }, v _{ o }, v)D _{0}(v) = D _{0}(v _{ o }) + f(v _{ o }, v _{ o }, v), by Lemma 2
D _{0}(v) = D _{0}(P _{0}(v _{ o })) + f(P _{0}(v _{ o }), v _{ o }, v), by Lemma 2
For n = k + 1:
Choose w _{ k+1} ∈ V ∖ C _{ k } such that D _{ k+1}(w _{ k+1}) is minimal, ${C}_{k+1}={C}_{k}\bigcup \left\{{w}_{k+1}\right\}$.
Case 1: If D _{ k+1}(v) > D _{ k+1}(P _{ k+1}(w _{ k+1})) + f(P _{ k+1} (w _{ k+1}), w _{ k+1}, v), then D _{ k+1}(v) = D _{ k+1}(P _{ k+1} (w _{ k+1})) + f(P _{ k+1}(w _{ k+1}), w _{ k+1}, v) ∧ P _{ k+1}(v) = w _{ k+1}
Case 2: If case 1 is not satisfied, D _{ k+1}(v) = D _{ k }(v), P _{ k+1}(v) = P _{ k }(v), D _{ k+1}(v) = D _{ k }(P _{ k }(P _{ k }(v))) + f(P _{ k }(P _{ k }(v)), P _{ k }(v), v), by induction hypothesis, replacing P _{ k }(v) by P _{ k+1}(v) D _{ k+1}(v) = D _{ k }(P _{ k+1}(P _{ k+1}(v))) + f(P _{ k+1}(P _{ k+1}(v)), P _{ k+1}(v), v). □
Lemma 4
∀v ∈ C _{ n } D _{ n+1}(v) = D _{ n }(v)
Proof
Let v ∈ C _{ n }, w _{ n } ∈ V ∖ C _{ n }
w _{ n } ∈ C _{ n+1} by definition.
D _{ n }(v) ≤ D _{ n }(w _{ n }), otherwise vertex w _{ n } was visited before vertex v,
D _{ n }(v) ≤ D _{ n }(w _{ n }) + f _{ c }(w _{ n }, v) = D _{ n }(P _{ n }(w _{ n })) + f(P _{ n }(w _{ n }), w _{ n }, v),
D _{ n+1}(v) = D _{ n }(v), by definition of D _{ n+1}(v). □
Lemma 5
∀n < N, ∀v _{ i }, v _{ j } ∈ V[v _{ j } ∈ C _{ n+1} → D _{ n+1}(v _{ i }) ≤ D _{ n+1}(P _{ n }(v _{ j })) + f(P _{ n }(v _{ j }), v _{ j }, v _{ i })]
Proof
(By induction on n)
The base case n = 0, C _{0} = {v _{ j }}, D _{0}(v _{ j }) = 0, by definition, notice that v _{ j } is the only vertex in C _{0} (in the base case, if v _{ j } ∈ C _{0}, v _{ j } is the origin vertex).
P _{ n }(v _{ j }) = v _{ j } by Lemma 2.
∀v _{ i } ∈ V, f(v _{ j }, v _{ j }, v _{ i }) = f(P _{0}(v _{ j }), v _{ j }, v _{ i }), by definition of f, and D _{0}(v _{ i }) = f(v _{ j }, v _{ j }, v _{ i }). Thus D _{0}(v _{ i }) ≤ 0 + f(P _{0}(v _{ j }), v _{ j }, v _{ i }), D _{0}(v _{ j }) = 0 = D _{0}(P _{0}(V _{ j })) D _{0}(v _{ i }) ≤ D _{0}(P _{0}(v _{ j })) + f(P _{0}(v _{ j }), v _{ j }, v _{ i })
D _{1}(v _{ i }) ≤ D _{0}(v _{ i }), from the definition (D _{ n+1}(v) = M in(D _{ n }(w _{ n }) + f _{ c }(w _{ n }, v), D _{ n }(v))) and D _{1}(v _{ j }) = D _{0}(v _{ j }) = 0 (notice that v _{ j } is the origin vertex). Replacing D _{0} by D _{1}:
D _{1}(v _{ i }) ≤ D _{1}(P _{0}(v _{ j })) + f(P _{0}(v _{ j }), v _{ j }, v _{ i })
For n = k + 1:
Case 1: v _{ j } ∈ C _{ k } D _{ k+1}(v _{ i }) ≤ D _{ k }(v _{ i }), by definition D _{ k+1}(v _{ i }) ≤ D _{ k }(P _{ k }(v _{ j })) + f(P _{ k }(v _{ j }), v _{ j }, v _{ i }), by induction hypothesis D _{ k+1}(v _{ i }) ≤ D _{ k+1}(P _{ k }(v _{ j })) + f(P _{ k }(v _{ j }), v _{ j }, v _{ i }) by Lemma 4
Case 2: v _{ j } = w _{ k }.
D _{ k+1}(v _{ i }) ≤ D _{ k }(P _{ k }(w _{ k })) + f(P _{ k }(w _{ k }), w _{ k }, v _{ i }), by definition D _{ k+1}(v _{ i }) ≤ D _{ k+1}(P _{ k }(w _{ k })) + f(P _{ k }(w _{ k }), w _{ k }, v _{ i }), by Lemma 4, replacing w _{ n } by v _{ j }:
D _{ k+1}(v _{ i }) ≤ D _{ k+1}(P _{ k }(v _{ j })) + f(P _{ k }(v _{ j }), v _{ j }, v _{ i }). □
Endnotes
^{a}Available in http://grass.osgeo.org/sampledata/north_carolina/
^{b}Available in http://www.cs.fsu.edu/~lifeifei/SpatialDataset.htm
Declarations
Acknowledgements
Authors are very grateful to Yvonne Collada Peña and Yoan Martínez Márquez for the detailed revision of the manuscript. Authors also acknowledge the critical, thorough and detailed revision of the anonymous reviewer as well as all the valuable comments and suggestions.
Authors’ Affiliations
References
 Bast H, Funke S, Sanders P, Schultes D: Fast routing in road networks with transit nodes. Science 2007, 316(5824):566. http://www.ncbi.nlm.nih.gov/pubmed/17463281 10.1126/science.1137521View ArticleGoogle Scholar
 Delling D, Sanders P, Schultes D, Wagner D: Algorithmics of large and complex networks. chap. Engineering Route Planning Algorithms. Berlin, Heidelberg, pp 117–139: SpringerVerlag; 2009. 10.1007/9783642020940_7Google Scholar
 Diestel R: Graph Theory, fourth edn. Graduate Text in Mathematics. SpringerVerlag 2010. URL http://diestelgraphtheory.com/index.html Google Scholar
 Dijkstra EW: A note on two problems in connection with graphs. Numerische Mathematik 1959, 1: 269271. 10.1007/BF01386390View ArticleGoogle Scholar
 Fei S, Wei D, Bing Z: Traffic information management and promulgating system based on gis. In 2010 International Conference on Optoelectronics and Image Processing (ICOIP), ICOIP ’10, vol. 2. Los Alamitos: IEEE Computer Society; 2010:676679. 10.1109/ICOIP.2010.243View ArticleGoogle Scholar
 Fu L, Sun D, Rilett LR: Heuristic shortest path algorithms for transportation applications: state of the art. Comput Oper Res 2006, 33: 33243343. URL http://dx.doi.org/10.1016/j.cor.2005.03.027. http://dl.acm.org/citation.cfm?id=1143184.1143201 10.1016/j.cor.2005.03.027View ArticleGoogle Scholar
 Fuhao Z, Jiping L: An algorithm of shortest path based on dijkstra for huge data. In Sixth International Conference on Fuzzy Systems and Knowledge Discovery, 2009. FSKD ’09, vol. 4. Edited by: Chen Y, Deng H, Zhang D, Xiao Y. Los Alamitos: IEEE Computer Society; 2009:244247. http://dl.acm.org/citation.cfm?id=1800875.1800929 View ArticleGoogle Scholar
 Geisberger R, Sanders P, Schultes D, Delling D: Contraction hierarchies: faster and simpler hierarchical routing in road networks. In Proceedings of the 7th international conference on Experimental algorithms, WEA’08. Berlin, Heidelberg: SpringerVerlag; 2008:319333. http://dl.acm.org/citation.cfm?id=1788888.1788912 Google Scholar
 Goldberg AV, Harrelson C: Computing the shortest path: A search meets graph theory. In Proceedings of the sixteenth annual ACMSIAM symposium on Discrete algorithms, SODA ’05. Philadelphia: Society for Industrial and Applied Mathematics; 2005:156165. http://dl.acm.org/citation.cfm?id=1070432.1070455 Google Scholar
 Goldberg AV, Werneck RF: Computing pointtopoint shortest paths from external memory. Area. 2005.http://www.cs.princeton.edu/courses/archive/spr06/cos423/Handouts/GW05.pdf Google Scholar
 Gonzalez H, Han J, Li X, Myslinska M, Sondag JP: Adaptive fastest path computation on a road network: a traffic mining approach. In Proceedings of the 33rd international conference on Very large data bases, VLDB ’07. Vienna, Austria: VLDB Endowment; 2007:794805. http://dl.acm.org/citation.cfm?id=1325851.1325942 Google Scholar
 Gutman RJ: Reachbased routing: A new approach to shortest path algorithms optimized for road networks. In Proceedings of the Sixth Workshop on Algorithm Engineering and Experiments and the First Workshop on Analytic Algorithmics and Combinatorics. Edited by: Arge L, Italiano GF, Sedgewick R. New Orleans: SIAM; 2004:100111.Google Scholar
 Hart PE, Nilsson NJ, Raphael B: A formal basis for the heuristic determination of minimum cost paths. IEEE Trans Syst Sci Cybern 1968, 4(2):100107. 10.1109/TSSC.1968.300136View ArticleGoogle Scholar
 Huang B, Wu Q, Zhan FB: A shortest path algorithm with novel heuristics for dynamic transportation networks. Int J Geogr Inf Sci 2007, 21(6):625644. 10.1080/13658810601079759View ArticleGoogle Scholar
 Jagadeesh G, Srikanthan T: Route computation in large road networks: a hierarchical approach. Intell Transp Syst, IET 2008, 2(3):219227. 10.1049/ietits:20080012View ArticleGoogle Scholar
 Jiang L, Qi Q, Zhang A: The thematic mapping system on internet. In 2010 18th International Conference on Geoinformatics. Edited by: Liu Y, Chen A. Piscataway: IEEE Computer Society; 2010:14. 10.1109/GEOINFORMATICS.2010.5567802Google Scholar
 Koehler E, Moehring RH, Schilling H: Acceleration of shortest path and constrained shortest path computation. Exp Efficient Algorithms 2005, 3503(1126):126138.Google Scholar
 Liu YC, Yang DH: A spatial restricted heuristic algorithm of shortest path. In International conference on artificial intelligence and computational intelligence, 2009. AICI ’09, vol. 2. Los Alamitos: IEEE Computer Society; 2009:pp 3639. http://www.computer.org/csdl/proceedings/icsssm/2005/8971/02/01500172abs.html Google Scholar
 Liu QX, Cao BX, Zhao YW: An improved verification method for workflow model based on petri net reduction. In 2010 The 2nd IEEE International Conference on Information Management and Engineering (ICIME), vol. 2. Piscataway: IEEE Computer Society; 2010:252256. 10.1109/ICIME.2010.5477436Google Scholar
 Lu K, Liu Q: An algorithm combining graphreduction and graphsearch for workflow graphs verification. In 11th International conference on computer supported cooperative work in design, 2007. CSCWD 2007. Edited by: Shen W, Yang Y, Yong J, Hawryszkiewycz I, Lin Z, Barthès JPA, Maher ML, Hao Q, Tran MH. Washington: IEEE Computer Society; 2007:772776. 10.1109/CSCWD.2007.4281534View ArticleGoogle Scholar
 Maue J, Sanders P, Matijevic D: Goaldirected shortestpath queries using precomputed cluster distances. J Exp Algorithmics 2010, 14: 2:3.22:3.27. http://doi.acm.org/10.1145/1498698.1564502 Google Scholar
 Möhring RH, Schilling H, Schütz B, Wagner D, Willhalm T: Partitioning graphs to speedup dijkstra’s algorithm. ACM J Exp Algorithmics 2006, 11(2.8):129.Google Scholar
 Nazari S, Meybodi MR, Salehigh MA, Taghipour S: An advanced algorithm for finding shortest path in car navigation system. In First international conference on intelligent networks and intelligent systems, 2008. ICINIS ’08. Edited by: Zheng H, Li L, Eguchi K, Wang W. Los Alamitos: IEEE Computer Society; 2008:671674. http://dx.doi.org/10.1109/ICINIS.2008.147. http://dl.acm.org/citation.cfm?id=1471609.1472922 View ArticleGoogle Scholar
 Pfoser D, Efentakis A, Voisard A, Wenk C: Exploiting road network properties in efficient shortest path computation. International Computer Science Institute: Tech. rep.; 2009. http://www.icsi.berkeley.edu/pubs/techreports/TR09007.pdf Google Scholar
 Pohl IS: Bidirectional and heuristic search in path problems.. Ph.D. thesis, Stanford University, Stanford, CA, USA; 1969. AAI7001588View ArticleGoogle Scholar
 RodríguezPuente R: Aplicación de las gramáticas de grafo en sistemas de información geográfica. Revista Cubana de Ciencias Informáticas (RCCI) 2010, 4(1/2):510.Google Scholar
 RodríguezTorres A, RodríguezPuente R: Servicio de mapas temáticos. Mapping: Revista internacional de ciencias de la tierra 2010, (139): 3639.Google Scholar
 Sadiq W, Orlowska ME: Analyzing process models using graph reduction techniques. Inf Syst 2000, 25(2):117134. http://dx.doi.org/10.1016/S03064379(00)000120. http://portal.acm.org/citation.cfm?id=344358.344369 10.1016/S03064379(00)000120View ArticleGoogle Scholar
 Sanders P, Schultes D: Highway hierarchies hasten exact shortest path queries. Europe 2005, 3669(October):568579. http://www.springerlink.com/index/5XG8NG9CWXEQYVD9.pdf Google Scholar
 Song Q, Wang X: Efficient routing on large road networks using hierarchical communities. Intell Transportation Syst, IEEE Trans 2011, 12(1):132140. 10.1109/TITS.2010.2072503View ArticleGoogle Scholar
 Sun L, Hu X, Li Y, Lu J, Yang D: A heuristic algorithm and a system for vehicle routing with multiple destinations in embedded equipment. In 7th International Conference on Mobile Business, 2008. ICMB ’08. Washinton: IEEE Computer Society; 2008:18. http://dx.doi.org/10.1109/ICMB.2008.47. http://dl.acm.org/citation.cfm?id=1439274.1439769 View ArticleGoogle Scholar
 Wagner D, Willhalm T: Speedup techniques for shortestpath computations. In 24th Annual Symposium on Theoretical Aspects of Computer Science (STACS). Edited by: Thomas W, Weil P. Aachen: Springer; 2007:2336.Google Scholar
 Wang Z, Che O, Chen L, Lim A: An efficient shortest path computation system for real road networks. In Advances in applied artificial intelligence, 19th international conference on industrial, engineering and other applications of applied intelligent systems, IEA/AIE 2006, Lecture notes in computer science. Edited by: Ali M, Dapoigny R. Germany: SpringerVerlag; 2006:711720.Google Scholar
 Xu L: A decision support model based on gis for vehicle routing. In 2005 International conference on services systems and services management, 2005. Proceedings of ICSSSM ’05., vol. 2. Edited by: Chen J. Piscataway: IEEE Computer Society; 2005:11261129. http://doi.ieeecomputersociety.org/10.1109/ICSSSM.2005.1500172 Google Scholar
 Zeng W, Church RL: Finding shortest paths on real road networks: the case for a*. Int J Geograp Inf Sci 2009, 23(4):531543. 10.1080/13658810801949850View ArticleGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.