Análisis de complejidad temporal para el algoritmo UST-CONN de Reingold

¿Cuál es la complejidad de tiempo exacta del algoritmo de espacio de registro de conectividad st no dirigida por Omer Reingold?

cc.complexity-theory randomness

— Suresh Venkat
fuente

Por favor sé más específico. Describa su pregunta con suficiente detalle y cite las referencias según corresponda.

— MS Dousti

Creo que la pregunta es bastante inequívoca: doi.acm.org/10.1145/1391289.1391291 es el documento.

— András Salamon

La pregunta es bastante inequívoca para quienes trabajan en el área, pero probablemente sea una buena idea pedir carteles para dar más información para que un público más amplio pueda entender la pregunta.

— Robin Kothari

Parece que la complejidad temporal del algoritmo de Reingold no se trata ni en el artículo de Reingold ni en el libro de texto de Arora-Barak. También parecería que el análisis es bastante tedioso, ya que la complejidad del tiempo depende del gráfico expansor exacto utilizado en la construcción y de algunas constantes que se eligen como "suficientemente grandes".

Para tener una idea aproximada de la complejidad del tiempo, observe que el algoritmo de Reingold, dado el gráfico , lo transforma (implícitamente) en un gráfico expansor y atraviesa cada paso de longitud . La notación oculta algunas constantes bastante grandes aquí. El gráfico tiene un grado constante de para algunos suficientemente grande , lo que significa que hay tales paseos para alguna constante bastante grande . Deslizando algunas notas de clase sobre el tema, parece que . $G$ $G'$ $l = O(\log n)$ $O$ $G'$ $d = 2^b$ $b$ $d^l = O(n^c)$ $c$ $c \ge 10^9b$

— Janne H. Korhonen
fuente

la próxima vez, no marques tu respuesta como wiki de la comunidad. De lo contrario, no obtendrá crédito por su respuesta.

— Ryan Williams

Estaba pensando que alguien podría querer refinar mi análisis, y no me di cuenta de que no obtienes reputación de los wikis de la comunidad. Oh bien.

— Janne H. Korhonen