Contando el número de rutas simples en un gráfico no dirigido

18

¿Cómo puedo determinar la cantidad de rutas simples únicas dentro de un gráfico no dirigido? Ya sea para una determinada longitud o para un rango de longitudes aceptables.

Recuerde que una ruta simple es una ruta sin ciclos, así que estoy hablando de contar el número de rutas sin ciclo.

graph-theory co.combinatorics counting-complexity

— Ryan
fuente

2

Esto ya se ha pedido en mathoverflow: mathoverflow.net/questions/18603/…

— Listado el

55

En realidad, la pregunta en mathoverflow era encontrar todos los caminos y no contarlos. Encontrarlos puede ser mucho más difícil.

— DCTLib

1

Además de las referencias que se dan en las respuestas, una observación trivial es que si uno puede contar el número de caminos de longitud

entonces puede responder la pregunta de la existencia de un camino hamiltoniano. Lo más probable es que no sea P.

n - 1

$n-1$

— Saeed

20

Hay varios algoritmos que cuentan las rutas simples de longitud en el tiempo , que es mucho mejor que la fuerza bruta (tiempo ). Ver, por ejemplo, Vassilevska y Williams, 2009 . $k$ $f(k)n^{k/2+O(1)}$ $O(n^k)$

— Andreas Björklund
fuente

18

Es # P-completo (Valiant, 1979), por lo que es poco probable que lo haga mucho mejor que la fuerza bruta, si desea la respuesta exacta. Las aproximaciones son discutidas por Roberts y Kroese (2007).

B. Roberts y DP Kroese, " Estimación del número de rutas - en un gráfico $s$ $t$ ". Journal of Graph Algorithms and Applications , 11 (1): 195-214, 2007.

LG Valiant, " La complejidad de los problemas de enumeración y confiabilidad ". SIAM Journal on Computing 8 (3): 410-421, 1979.

— David Richerby
fuente

44

El documento de Roberts y Kroese no parece dar garantías de aproximación. ¿Hay un PTAS conocido por este problema?

— Sasho Nikolov

3

@SashoNikolov, parece poco probable que haya un algoritmo de aproximación razonable. Dado

obtenga

de

reemplazando cada nodo por una camarilla de tamaño

donde

y

. Para cada ruta simple de longitud

en

hay aproximadamente

rutas en

. Entonces, si

tiene un

G = (V, E)

$G=(V,E)$

G^{'}

$G'$

G

$G$

N = n^{c}

$N=n^c$

n = | V |

$n=|V|$

c ≫ 1

$c\gg 1$

ℓ

$\ell$

G

$G$

(N!)^{ℓ}

$(N!)^\ell$

G^{'}

$G'$

G

$G$

camino de Hamilton, habrá al menos

o tan simple

caminos en

, y de otra manera a lo sumo algo como

sencilla

caminos. Por lo tanto, debería ser difícil aproximarlo en un factor de aproximadamente

s - t

$s-t$

(N!)^{n}

$(N!)^{n}$

s - t

$s-t$

G^{'}

$G'$

(n - 1)! (N!)^{n - 1}

$(n-1)!(N!)^{n-1}$

s - t

$s-t$

.

N! / (n - 1)! ≫ n^{c - 1}!

$N!/(n-1)! \gg n^{c-1}!$

— Neal Young

6

Me gustaría agregar otro algoritmo de aproximación, uno parametrizado: para un fijo (o más precisamente, $\delta>0$ ), puede calcularunaaproximacióndel número de rutas simples, en un gráfico dirigido o no dirigido, de longituden el tiempo. $\delta =\Omega(\frac{1}{poly(k)})$ $(1+\delta)$ $k$ $O^*(2^{O(k)})$

— RB
fuente