pgr_bdAstar¶

pgr_bdAstar Devuelve la ruta más corta mediante el uso del algoritmo Bidireccional A*.

_images/boost-inside.jpeg — Adentro: Boost Graph¶

Disponibilidad:

Versión 3.2.0
- Nueva función propuesta:
  - pgr_bdAstar(Combinaciones)
Versión 3.0.0
- Función oficial
Versión 2.5.0
- Cambio de firma en pgr_bdAstar(Uno a Uno)
  - Firma antigua ya no soportada
- Nuevas funciones Propuestas:
  - pgr_bdAstar(Uno a Muchos)
  - pgr_bdAstar(Muchos a Uno)
  - pgr_bdAstar(Muchos a Muchos)
Versión 2.0.0
- Oficial pgr_bdAstar(Uno a Uno)

Descripción¶

Las características principales son:

El tipo predeterminado de grafo es dirigido cuando
- Falta la el indicador de directed.
- El indicador de directed se configura a «true».
A menos que se especifique lo contrario, la orden es:
- primero por start_vid (si existe)
- luego por end_vid
Los valores se devuelven cuando hay una ruta
Permita que \(v\) y \(u\) sean nodos en el grafo:
- Si no hay camino de \(v\) a \(u\):
  - no se devuelve ninguna fila correspondiente
  - agg_cost de \(v\) a \(u\) es \(\infty\)
- No hay camino cuando \(v = u\) por lo tanto
  - no se devuelve ninguna fila correspondiente
  - agg_cost de v a u es \(0\)
Los bordes con costes negativos no se incluyen en el grafo.
Cuando las coordenadas (x,y) para el mismo identificador de vértice difieren:
- Se utiliza una selección aleatoria de las coordenadas del vértice (x,y).
Tiempo de ejecución: \(O((E + V) * \log V)\)

Los resultados son equivalentes a la unión de los resultados de pgr_bdAStar( Uno a Uno ) en:
- pgr_bdAstar( Uno a Muchos )
- pgr_bdAstar( Muchos a Uno )
- pgr_bdAstar( Muchos a Muchos )
start_vid y end_vid en el resultado se utiliza para distinguir a qué ruta pertenece.

Firma¶

Resumen

pgr_bdAstar(Edges SQL, from_vid,  to_vid,  [, directed] [, heuristic] [, factor] [, epsilon])
pgr_bdAstar(Edges SQL, from_vid,  to_vids  [, directed] [, heuristic] [, factor] [, epsilon])
pgr_bdAstar(Edges SQL, from_vids, to_vid   [, directed] [, heuristic] [, factor] [, epsilon])
pgr_bdAstar(Edges SQL, from_vids, to_vids  [, directed] [, heuristic] [, factor] [, epsilon])
pgr_bdAstar(Edges SQL, Combinations SQL  [, directed] [, heuristic] [, factor] [, epsilon]) -- Proposed on v3.2

RETURNS SET OF (seq, path_seq [, start_vid] [, end_vid], node, edge, cost, agg_cost)
OR EMPTY SET

Los parámetros opcionales son parámetros con nombre y tienen un valor predeterminado.

Uso de valores predeterminados

pgr_bdAstar(Edges SQL, start_vid, end_vid)
RETURNS SET OF (seq, path_seq, node, edge, cost, agg_cost)

Ejemplo: Del vértice \(2\) al :3 en un grafo dirigido

SELECT * FROM pgr_bdAstar(
    'SELECT id, source, target, cost, reverse_cost, x1,y1,x2,y2
    FROM edge_table',
    2, 3
);
 seq | path_seq | node | edge | cost | agg_cost
-----+----------+------+------+------+----------
   1 |        1 |    2 |    4 |    1 |        0
   2 |        2 |    5 |    8 |    1 |        1
   3 |        3 |    6 |    9 |    1 |        2
   4 |        4 |    9 |   16 |    1 |        3
   5 |        5 |    4 |    3 |    1 |        4
   6 |        6 |    3 |   -1 |    0 |        5
(6 rows)

Uno a Uno¶

pgr_bdAstar(Edges SQL, from_vid,  to_vid,  [, directed] [, heuristic] [, factor] [, epsilon])
RETURNS SET OF (seq, path_seq, node, edge, cost, agg_cost)

Ejemplo: Del vértice \(2\) al vértice \(3\) en un grafo dirigido usando la heurística \(2\)

SELECT * FROM pgr_bdAstar(
    'SELECT id, source, target, cost, reverse_cost, x1,y1,x2,y2
    FROM edge_table',
    2, 3,
    true, heuristic := 2
);
 seq | path_seq | node | edge | cost | agg_cost
-----+----------+------+------+------+----------
   1 |        1 |    2 |    4 |    1 |        0
   2 |        2 |    5 |    8 |    1 |        1
   3 |        3 |    6 |    9 |    1 |        2
   4 |        4 |    9 |   16 |    1 |        3
   5 |        5 |    4 |    3 |    1 |        4
   6 |        6 |    3 |   -1 |    0 |        5
(6 rows)

Uno a Muchos¶

pgr_bdAstar(Edges SQL, from_vid,  to_vids  [, directed] [, heuristic] [, factor] [, epsilon])
RETURNS SET OF (seq, path_seq, end_vid, node, edge, cost, agg_cost)
OR EMPTY SET

Ejemplo: Del vértice \(2\) a los vértices \(\{3, 11\}\) en un grafo dirigido usando la heurística \(3\) y el factor \(3.5\)

SELECT * FROM pgr_bdAstar(
    'SELECT id, source, target, cost, reverse_cost, x1,y1,x2,y2
    FROM edge_table',
    2, ARRAY[3, 11],
    heuristic := 3, factor := 3.5
);
 seq | path_seq | end_vid | node | edge | cost | agg_cost
-----+----------+---------+------+------+------+----------
   1 |        1 |       3 |    2 |    4 |    1 |        0
   2 |        2 |       3 |    5 |    8 |    1 |        1
   3 |        3 |       3 |    6 |    9 |    1 |        2
   4 |        4 |       3 |    9 |   16 |    1 |        3
   5 |        5 |       3 |    4 |    3 |    1 |        4
   6 |        6 |       3 |    3 |   -1 |    0 |        5
   7 |        1 |      11 |    2 |    4 |    1 |        0
   8 |        2 |      11 |    5 |    8 |    1 |        1
   9 |        3 |      11 |    6 |   11 |    1 |        2
  10 |        4 |      11 |   11 |   -1 |    0 |        3
(10 rows)

Muchos a Uno¶

pgr_bdAstar(Edges SQL, from_vids, to_vid   [, directed] [, heuristic] [, factor] [, epsilon])
RETURNS SET OF (seq, path_seq, start_vid, node, edge, cost, agg_cost)
OR EMPTY SET

Ejemplo: De los vértices \(\{2, 7\}\) al vértice \(3\) en un grafo no dirigido usando la heurística \(4\)

SELECT * FROM pgr_bdAstar(
    'SELECT id, source, target, cost, reverse_cost, x1,y1,x2,y2
    FROM edge_table',
    ARRAY[2, 7], 3,
    false, heuristic := 4
);
 seq | path_seq | start_vid | node | edge | cost | agg_cost
-----+----------+-----------+------+------+------+----------
   1 |        1 |         2 |    2 |    2 |    1 |        0
   2 |        2 |         2 |    3 |   -1 |    0 |        1
   3 |        1 |         7 |    7 |    6 |    1 |        0
   4 |        2 |         7 |    8 |    7 |    1 |        1
   5 |        3 |         7 |    5 |    8 |    1 |        2
   6 |        4 |         7 |    6 |    5 |    1 |        3
   7 |        5 |         7 |    3 |   -1 |    0 |        4
(7 rows)

Muchos a Muchos¶

pgr_bdAstar(Edges SQL, from_vids, to_vids  [, directed] [, heuristic] [, factor] [, epsilon])
RETURNS SET OF (seq, path_seq, start_vid, end_vid, node, edge, cost, agg_cost)
OR EMPTY SET

Ejemplo: De los vértices \(\{2, 7\}\) a los vértices \(\{3, 11\}\) en un grafo dirigido usando el factor \(0.5\)

SELECT * FROM pgr_bdAstar(
    'SELECT id, source, target, cost, reverse_cost, x1,y1,x2,y2
    FROM edge_table',
    ARRAY[2, 7], ARRAY[3, 11],
    factor := 0.5
);
 seq | path_seq | start_vid | end_vid | node | edge | cost | agg_cost
-----+----------+-----------+---------+------+------+------+----------
|        1 |         2 |       3 |    2 |    4 |    1 |        0
|        2 |         2 |       3 |    5 |    8 |    1 |        1
|        3 |         2 |       3 |    6 |    9 |    1 |        2
|        4 |         2 |       3 |    9 |   16 |    1 |        3
|        5 |         2 |       3 |    4 |    3 |    1 |        4
|        6 |         2 |       3 |    3 |   -1 |    0 |        5
|        1 |         2 |      11 |    2 |    4 |    1 |        0
|        2 |         2 |      11 |    5 |    8 |    1 |        1
|        3 |         2 |      11 |    6 |   11 |    1 |        2
|        4 |         2 |      11 |   11 |   -1 |    0 |        3
|        1 |         7 |       3 |    7 |    6 |    1 |        0
|        2 |         7 |       3 |    8 |    7 |    1 |        1
|        3 |         7 |       3 |    5 |    8 |    1 |        2
|        4 |         7 |       3 |    6 |    9 |    1 |        3
|        5 |         7 |       3 |    9 |   16 |    1 |        4
|        6 |         7 |       3 |    4 |    3 |    1 |        5
|        7 |         7 |       3 |    3 |   -1 |    0 |        6
|        1 |         7 |      11 |    7 |    6 |    1 |        0
|        2 |         7 |      11 |    8 |    7 |    1 |        1
|        3 |         7 |      11 |    5 |    8 |    1 |        2
|        4 |         7 |      11 |    6 |   11 |    1 |        3
|        5 |         7 |      11 |   11 |   -1 |    0 |        4
(22 rows)

Combinaciones¶

pgr_bdAstar(Edges SQL, Combinations SQL  [, directed] [, heuristic] [, factor] [, epsilon])
RETURNS SET OF (seq, path_seq, start_vid, end_vid, node, edge, cost, agg_cost)
OR EMPTY SET

Ejemplo: Usando una tabla de combinaciones en un grafo dirigido usando factor \(0.5\).

SELECT * FROM pgr_bdAstar(
    'SELECT id, source, target, cost, reverse_cost, x1,y1,x2,y2
    FROM edge_table',
    'SELECT * FROM ( VALUES (2, 3), (7, 11) ) AS t(source, target)',
    factor := 0.5
);
 seq | path_seq | start_vid | end_vid | node | edge | cost | agg_cost
-----+----------+-----------+---------+------+------+------+----------
   1 |        1 |         2 |       3 |    2 |    4 |    1 |        0
   2 |        2 |         2 |       3 |    5 |    8 |    1 |        1
   3 |        3 |         2 |       3 |    6 |    9 |    1 |        2
   4 |        4 |         2 |       3 |    9 |   16 |    1 |        3
   5 |        5 |         2 |       3 |    4 |    3 |    1 |        4
   6 |        6 |         2 |       3 |    3 |   -1 |    0 |        5
   7 |        1 |         7 |      11 |    7 |    6 |    1 |        0
   8 |        2 |         7 |      11 |    8 |    7 |    1 |        1
   9 |        3 |         7 |      11 |    5 |    8 |    1 |        2
  10 |        4 |         7 |      11 |    6 |   11 |    1 |        3
  11 |        5 |         7 |      11 |   11 |   -1 |    0 |        4
(11 rows)

Parámetros¶

Parámetro	Tipo	Descripción
Edges SQL	`TEXT`	Consulta de bordes como se describe a continuación.
Combinaciones SQL	`TEXT`	Consulta de combinaciones como se describe a continuación.
from_vid	`ANY-INTEGER`	Identificador de vértice inicial. Parámetro en: Uno a Uno Uno a Muchos
from_vids	`ARRAY[ANY-INTEGER]`	Arreglo de identificadores de vértices iniciales. Parámetro en: Muchos a Uno Muchos a Muchos
to_vid	`ANY-INTEGER`	Identificador de vértice final. Parámetro en: Uno a Uno Muchos a Uno
to_vids	`ARRAY[ANY-INTEGER]`	Matriz de identificadores de vértices finales. Parámetro en: Uno a Muchos Muchos a Muchos

Parámetros opcionales¶

Parámetro	Tipo	Valores predeterminados	Descripción
dirigido	`BOOLEAN`	`true`	En caso de `true` el grafo se considera como Dirigido. Cuando `false` el gráfico se considera como No Dirigido
heuristic	`INTEGER`	`5`	Número heurístico. Valores actuales válidos 0~5. Default `5` 0: h(v) = 0 (utilizar este valor para comparar con pgr_dijkstra) 1: h(v) abs(max(dx, dy)) 2: h(v) abs(min(dx, dy)) 3: h(v) = dx * dx + dy * dy 4: h(v) = sqrt(dx * dx + dy * dy) 5: h(v) = abs(dx) + abs(dy)
factor	`FLOAT`	`1`	Para la manipulación de unidades. math:factor > 0. Ver Factor
epsilon	`FLOAT`	`1`	Para resultados menos restringidos. \(epsilon >= 1\).

Consultas internas¶

Consulta de aristas¶

edges_sql: Una consulta SQL, que debe regresar un conjunto de filas con las siguientes columnas:

Columna	Tipo	Valores predeterminados	Descripción
id	`ANY-INTEGER`		Identificador de la arista.
origen	`ANY-INTEGER`		Identificador del primer punto final en el vértice de la arista.
objetivo	`ANY-INTEGER`		Identificador del segundo punto final en el vértice de la arista.
cost	`ANY-NUMERICAL`		Peso de la arista (source, target) Cuando es negativo: la arista (source, target) no existe, por lo tanto no es parte del grafo.
reverse_cost	`ANY-NUMERICAL`	-1	Peso de la arista (target, source), En caso negativo: la arista (target, source) no existe, por lo tanto no es parte del grafo.
x1	`ANY-NUMERICAL`		Coordenada X del vértice source.
y1	`ANY-NUMERICAL`		Coordenada Y del vértice source.
x2	`ANY-NUMERICAL`		Coordenada X del vértice objetivo.
y2	`ANY-NUMERICAL`		Coordenada Y del vértice target.

Donde:

ANY-INTEGER: SMALLINT, INTEGER, BIGINT
ANY-NUMERICAL: SMALLINT, INTEGER, BIGINT, REAL, FLOAT

Consulta de combinaciones¶

Columna	Tipo	Valores predeterminados	Descripción
origen	`ANY-INTEGER`		Identificador del primer punto final en el vértice de la arista.
objetivo	`ANY-INTEGER`		Identificador del segundo punto final en el vértice de la arista.

Donde:

ANY-INTEGER: SMALLINT, INTEGER, BIGINT

Columnas de Resultados¶

Devuelve el conjunto de (seq, path_id, path_seq [, start_vid] [, end_vid], node, edge, cost, agg_cost)

Columna	Tipo	Descripción
seq	`INT`	Valor secuencial a partir de 1.
path_id	`INT`	Identificador de ruta. Tiene el valor 1 para el primero de una ruta. Se utiliza cuando hay varias rutas para la misma combinación de `start_vid` a `end_vid`.
path_seq	`INT`	Posición relativa en la ruta. Tiene el valor 1 para el principio de una ruta.
start_vid	`BIGINT`	Identificador del vértice inicial. Se devuelve cuando hay varias vetrices iniciales en la consulta. Muchos a Uno Muchos a Muchos
end_vid	`BIGINT`	Identificador del vértice final. Se devuelve cuando hay varios vértices finales en la consulta. Uno a Muchos Muchos a Muchos
node	`BIGINT`	Identificador del nodo en la ruta de `start_vid` a `end_vid`.
edge	`BIGINT`	Identificador del borde utilizado para ir del `nodo` al siguiente nodo de la secuencia de ruta. `-1` para el último nodo de la ruta.
cost	`FLOAT`	Costo de desplazamiento desde `node` usando `` edge`` hasta el siguiente nodo en la secuencia de ruta.
agg_cost	`FLOAT`	Coste agregado de `start_v` to `node`.

Ver también¶

Índices y tablas