Grafo de visibilidad

Dado un conjunto de obstáculos con forma poligonal en el plano euclidiano se dice que el grafo de visibilidad es aquel grafo en el cual cada nodo representa un vértice de los polígonos y las aristas son las conexiones visibles entre tales vértices. Esto quiere decir que para cada arista en el grafo de visibilidad definida por ${displaystyle v_{1}}$ y ${displaystyle v_{2}}$, el segmento de recta que conecta los vértices correspondientes en el plano no se interseca con ningún polígono (obstáculo).^[1]​

El algoritmo CalcularGrafoVisibilidad consiste en recorrer los vértices de todos los polígonos y a partir de cada uno determinar que vértices son visibles^[2]​ .

El algoritmo para determinar que vértices son visibles recibe como entrada un punto y un conjunto de polígonos disjuntos los cuales son tratados como segmentos de recta, cabe señalar que los polígonos deben ser simples ya que en caso contrario los segmentos de recta se interesectarían entre sí dificultando mantener su estado. El algoritmo VisibleVertices se basa en la idea de utilizar una semirrecta de barrido con origen en el vértice de entrada y desplazarla en el orden inverso de las manecillas del reloj para procesar todos los vértices de los polígonos. El estado de los segmentos procesados se almacena en un árbol binario balanceado el cual ayuda a decidir que segmento es visible. Para insertar en el árbol se puede utilizar el sentido de los segmentos orientándolos de su punto inicial al final y recorrer el árbol verificando si un segmento está a la izquierda o a la derecha de otro.

En un algoritmo como el anterior que únicamente trate con segmentos sería suficiente con verificar si el segmento cuyo vértice está siendo procesado se interseca con el segmento que se encuentra más a la izquierda del árbol ${displaystyle T}$ (el segmento más a la izquierda en el árbol es el segmento visible actualmente de acuerdo a la línea de barrido). Debido a que se trata con polígonos se deben hacer otras consideraciones, además el punto ${displaystyle p}$ pertenece a un polígono el cual obstaculiza también la línea de visión del vértice, el algoritmo presentado a continuación únicamente toma en cuenta la segunda consideración.

El algoritmo que calcula el grafo de visibilidad procesa los ${displaystyle n}$ vértices de los polígonos de entrada y para cada uno de ellos ejecuta el algoritmo VerticesVisibles.

El algoritmo VerticesVisibles realiza un preprocesamiento sobre los vértices al ordenarlos lo cual se puede realizar en ${displaystyle nlog(n)}$.Posteriormente recorre nuevamente los ${displaystyle n}$ vértices de los polígonos almacenando y removiendo cada arista como máximo una vez del árbol, las operaciones insertar, eliminar y obtener el elemento más a la izquierda toman ${displaystyle log(n)}$. La verificación de vértice visible puede ser realizada en tiempo constante.

Debido al ordenamiento y al procesamiento de los vértices con el árbol la complejidad del algoritmo VerticesVisibles es ${displaystyle O(nlog(n))}$ y ya que este se invoca ${displaystyle n}$ veces, entonces la complejidad del algoritmo CalcularGrafoVisibilidad es ${displaystyle O(n^{2}log(n))}$.

Cuando los obstáculos son barras de diferentes alturas ordenados en una línea, pueden ser entendidos como una serie temporal. El concepto de grafo de visibilidad se emplea así con el fin de representar la estructura de una serie temporal.^[3]​

---