pgr_isPlanar - Experimental

pgr_isPlanar — Devuelve un valor boolean dependiendo de la planaridad del grafo.

Adentro: Boost Graph

Advertencia

Posible bloqueo del servidor

• Estas funciones pueden crear una caída del servidor

Advertencia

Funciones experimentales

• No son oficialmente de la versión actual.

• Es probable que oficialmente no formen parte de la siguiente versión:

  • Las funciones no podrían hacer uso de ANY-INTEGER ni ANY-NUMERICAL

  • El nombre puede cambiar.

  • La firma puede cambiar.

  • La funcionalidad puede cambiar.

  • Las pruebas de pgTap pueden faltar.

  • Posiblemente necesite codificación c/c++.

  • Puede carecer documentación.

  • Hay documentación que, en dado caso, podría ser necesario reescribir.

  • Puede ser necesario que los ejemplos de documentación se generen automáticamente.

  • Puede ser necesaria retroalimentación por parte de la comunidad.

  • Puede depender de una función propuesta de pgRouting

  • Podría depender de una función obsoleta de pgRouting

Disponibilidad

• Versión 3.2.0

  • Nueva función experimental

Descripción

Un grafo es planar si se puede dibujar en un espacio bidimensional sin que se crucen dos de sus aristas. Este dibujo de un grafo planaro es llamado dibujo de plano. Cada grafo planar también admite un dibujo de línea recta, que es un dibujo de plano donde cada arista está representada por un segmento de línea. Cuando un grafo tiene \(K_5\) or \(K_{3,3}\) como subgrafo, entonces el grafo no es planar.

Las principales características son:

• Esta implementación utiliza la Prueba de Planaridad de Boyer-Myrvold.

• Devolverá un valor boolean dependiendo de la planaridad del grrafo.

• Aplicable solo para grafos no dirigidos.

• El algoritmo no considera los costos transversales en los cálculos.

• Tiempo de ejecución: \(O(|V|)\)

Firmas

Resumen

pgr_isPlanar(SQL de aristas)

RETURNS BOOLEAN

SELECT * FROM pgr_isPlanar(
  'SELECT id, source, target, cost, reverse_cost
  FROM edges'
);
 pgr_isplanar
--------------
 t
(1 row)

Parámetros

Parámetro	Tipo	Descripción
SQL de aristas	TEXT	SQL de aristas descritas más adelante.

Consultas Internas

SQL aristas

Columna	Tipo	x Defecto	Descripción
id	ENTEROS		Identificador de la arista.
source	ENTEROS		Identificador del primer vértice de la arista.
target	ENTEROS		Identificador del segundo vértice de la arista.
cost	FLOTANTES		Peso de la arista (source, target)
reverse_cost	FLOTANTES	-1	Peso de la arista (target, source) Cuando negativo: la arista (target, source) no existe, por lo tanto no es parte del grafo.

Donde:

ENTEROS:

SMALLINT, INTEGER, BIGINT

FLOTANTES:

SMALLINT, INTEGER, BIGINT, REAL, FLOAT

Columnas de Resultados

Devuelve un valor boolean (pgr_isplanar)

Columna	Tipo	Descripción
pgr_isplanar	BOOLEAN	true cuando el grafo es planar. false cuando el grafo no es planar.

Ejemplos Adicionales

Las siguientes aristas harán de el subgrafo con los vértices {10, 15, 11, 16, 13} un grafo \(K_5\).

INSERT INTO edges (source, target, cost, reverse_cost) VALUES
  (10, 16, 1, 1), (10, 13, 1, 1),
  (15, 11, 1, 1), (15, 13, 1, 1),
  (11, 13, 1, 1), (16, 13, 1, 1);
INSERT 0 6

El nuevo grafo no es planar porque tiene un subgráfico \(K_5\). Las aristas en azul representan el subgrafo \(K_5\).

SELECT * FROM pgr_isPlanar(
  'SELECT id, source, target, cost, reverse_cost
  FROM edges');
 pgr_isplanar
--------------
 f
(1 row)

Ver también

• Datos Muestra

• https://www.boost.org/libs/graph/doc/boyer_myrvold.html

Índices y tablas

• Índice

• Página de Búsqueda