Suponga que un gráfico con vértices se presenta como un flujo de bordes, pero se permiten múltiples pases sobre el flujo.n m
Monika Rauch Henzinger, Prabhakar Raghavan y Sridar Rajagopalan observaron que el espacio es necesario para determinar si hay un camino entre dos vértices dados en , si se permiten pases sobre los datos. (Consulte también la versión del informe técnico ). Sin embargo, no proporcionan un algoritmo para lograr este límite. Supongo que un algoritmo óptimo realmente ocuparía espacio en un modelo informático realista, ya que uno tiene que distinguir los vértices diferentes si no puede indexar la memoria utilizando punteros de tamaño constante.G k O ( ( nn
¿Cómo se puede decidir la conectividad gráfica con pasa usando el espacio ?O ( ( n
Si solo se permite una pasada, los datos de entrada se pueden almacenar como una partición del conjunto de vértices, fusionando conjuntos si se ve un borde entre vértices en dos conjuntos diferentes. Esto claramente requiere como máximo espacio. Mi pregunta es sobre : ¿cómo se pueden usar más pases para reducir el espacio requerido?k > 1
(Para evitar la trivialidad, es un parámetro que no puede estar limitado a priori por una constante, y los límites de espacio son expresiones que involucran funciones de y ).n k
Actualización: incluso para sería realmente útil tener una forma de almacenar solo vértices. ¿O hay realmente un límite inferior más fuerte para alguna constante , independientemente de ?n / 2 c n c k