Encuentre los caminos más cortos en un gráfico unipathic pesado

Se dice que una gráfica dirigida es antipática si para cualquiera de los dos vértices y en la gráfica , hay como máximo una ruta simple de a . $u$ $v$ $G=(V,E)$ $u$ $v$

Supongamos que se me da un gráfico antipatía tal que cada borde tiene un peso positivo o negativo, pero no contiene ciclos de peso negativos. $G$

A partir de esto, quiero encontrar un algoritmo que encuentre todas las rutas más cortas a todos los nodos desde un nodo fuente . $O(|V|)$ $s$

No estoy seguro de cómo abordaría este problema. Estoy tratando de ver cómo podría usar el hecho de que no contiene ciclos de peso negativos y, por supuesto, como máximo, una ruta simple entre cualquier nodo a . $u$ $v$

algorithms graphs

— gprime
fuente

¿Qué has intentado hasta ahora? Si está totalmente atascado, comience con algo pequeño: ¿cómo son realmente los gráficos unipáticos? Por ejemplo, dibuje cada gráfico unipático con un vértice, dos vértices, tres vértices, etc. Puede detectar un patrón útil. Además, usted menciona que no hay ciclos de peso negativos, ¿puede haber ciclos (de cualquier peso)?

— Juho

@mrm ¿En qué patrón estás pensando? Los gráficos unipáticos pueden tener ciclos, de una manera restringida que no puedo encontrar una manera fácil de expresar.

— Gilles 'SO- deja de ser malvado'

@mrm No. Un borde puede pertenecer como máximo a un ciclo. Un nodo puede pertenecer a cualquier número de ciclos: el gráfico en forma de estrella con

puntos

es antipático (y puede obtener un valor aún mayor relación de ciclos elementales por nodo).

n

$n$

E = ⋃_{i \leq n} {(a, b_{i}), (b_{i}, a)}

$E=\bigcup_{i\le n} \{(a,b_i),(b_i,a)\}$

— Gilles 'SO- deja de ser malvado'

Elige una representación de datos

Primero, mira el tamaño del resultado. Desea la colección de rutas más cortas de a todos los demás nodos. A menos que la longitud promedio de una ruta esté limitada por una constante (que no lo es: cualquier lista es unipath, y si toma la raíz para la longitud total de las rutas es donde es la longitud de la lista), deberá ser cuidadoso en su representación de datos: la estructura que contiene las rutas deberá usar el intercambio entre rutas. $s$ $s$ $n(n-1)/2$ $n$

Excluyendo ciclos, hay una única ruta desde hacia cualquier otro nodo . Si ese camino va a través de un nodo intermedio , entonces el primer segmento de la trayectoria es la trayectoria deseada de a . $s$ $u$ $t$ $s$ $t$

Propongo almacenar el resultado en una matriz, indexada por nodos numerados del al , con . Cada elemento de la matriz almacena el índice del nodo anterior en la ruta a ese nodo (use, por ejemplo, como marcador especial para los nodos a los que no se puede acceder desde ). La ruta de a será $0$ $|E|-1$ $s=0$ $-1$ $s$ $s$ $t$ . $(s=R[\ldots R[t]\ldots],\ldots,R[R[t]],R[t],t)$

Recorrer el gráfico

Inicializar a todos . $R$ $-1$

Realice un recorrido de la gráfica primero en profundidad o en anchura a partir de . Cada vez que se alcanza un nodo , establezca en su predecesor. $s$ $u$ $R[u]$

Como hay ciclos, se puede llegar a un nodo más de una vez. Tener indica que ya ha sido visitado. $R[u] \ne -1$ $u$

Probar la corrección

Debido a la propiedad antipática, no importa cómo lleguemos a cada nodo, siempre que no hayamos completado un ciclo. Solo hay un camino simple.

Probar la complejidad

$O(|V|)$ $\Theta(|E_0|)$ $V_0$

Bien entonces. Probemos que en un gráfico unipático, el número de ciclos elementales crece como máximo linealmente con el número de nodos. (Un ciclo elemental es uno que no contiene un ciclo más corto). En la siguiente discusión, supondré que el gráfico no tiene borde propio (ningún borde de un nodo en sí mismo; tales bordes son irrelevantes para la construcción de la ruta de todos modos )

Los gráficos unipáticos pueden tener ciclos, pero de una manera muy limitada. Sería bueno si de alguna manera pudiéramos asociar cada ciclo a un nodo distinto (o al menos, como máximo, un número limitado de ciclos por nodo). ¿Pueden los ciclos compartir un nodo? Por desgracia sí.

$m$ $a$ $a$ $b_i$ $\forall i, a \leftrightarrows b_i$

$\#V(G)$ $G$ $\#E(G)$ $\#C(G)$ $G$ $\#C(G) \le \#V(G)-1$

$\#V(G) < n$ $G$ $n$ $G$ $0 = \#C(G) < \#V(G)$ $(a_1,\ldots,a_m)$

$G'$ $G$ $\{a_1,\ldots,a_m\}$ $a$ $G$ $a_i$ $a \rightarrow_{G'} b$ $\exists i, a_i \rightarrow_G b$ $b \rightarrow_{G'} a$ $\exists i, b \rightarrow_G a_i$ $G'$ $G$ $b \rightarrow a \rightarrow c$ $b \rightarrow a_i \rightarrow a_{i+1} \rightarrow \ldots \rightarrow a_j \rightarrow c$ $G$ $G'$ $G$ $G'$ $G$ $\#C(G') = \#C(G)-1$ $\#C(G') \le \#V(G')-1$ $\#V(G') = \#V(G) - m + 1$ $\#C(G) = \#C(G')+1 \le \#V(G) - m = n-m \le n-1$

$2|V|-2$

— Gilles 'SO- deja de ser malvado'
fuente