Hola.
Les dejo por acá algunas correcciones de traducción que me parece que pueden dificultar el entendimiento.
Saludos,
Álvaro
Segundo párrafo de la sección "Árboles"
cada arista de T lejos de r -> cada arista de T hacia afuera de r
si v esta más abajo de w -> si v está en el camino desde la raíz a w
En (3.1): De hecho, el siguiente enunciado es cierto, aunque no lo probaremos
Búsqueda de primer nivel -> Búsqueda en amplitud (BFS)
Al final de página 45, "Volviendo a llamar a" -> Recordando
Primero descubrimos los nodos 7 y 8 -> Descubrimos los nodos 7 y 8 por primera vez
En la demostración de (3.4), la última frase debería empezar con "Como" en lugar de "Sabiendo que". A continuación faltaría una frase como la siguiente:
Por lo tanto, si y es adyacente a x, y debería haber sido descubierto a más tardar en este
momento, y en consecuencia debería pertenecer a la capa L_{i+1} o inferior.
La última frase de la demostración de (3.5) debería decir "Por otra parte, como ..." ("como" reemplaza a "desde")
Antes de la sección donde se presenta DFS (página 48), debería decir "patrones de búsqueda" en lugar de "búsqueda de patrones". Y la última frase debería ser "Ahora procedemos a discutir otro de estos algoritmos, el de búsqueda en profundidad ..."
Búsqueda de primera profundidad -> Búsqueda en profundidad (aparece más de una vez)
ventaja de ello -> arista que lleva hacia afuera de s
DFS es una implementación particular de BFS -> DFS es una implementación particular del algoritmo para determinar componentes conexas
El algoritmo se decodifica así: ... hacemos u el padre de v cuando u es responsable...
realiza una copia de seguridad -> regresa
El enunciado (3.7) debería ser:
Sea T un árbol de búsqueda en profundidad, y sean x, y nodos de T tales que (x,y) es una arista de G que no está en T. Entonces x o y son uno ancestro del otro.
[La condición de que (x,y) no es una arista de T en realidad no es necesaria]
En la sección de implementación de BFS:
El algoritmo examina las aristas dejando un nodo dado uno por uno -> El algoritmo examina las aristas salientes de un nodo dado una por una.
Cuando estamos escaneando las aristas dejadas y llegando a una arista (u, v) -> Cuando estamos escaneando las aristas salientes de u y llegamos a una arista (u, v),
ve primero v -> ve a v por primera vez
En la sección de implementación de DFS:
Esencialmente, la estructura recursiva de DFS se puede ver como nodos de empuje en una pila -> ... se puede ver como la colocación de nodos en una pila
diferimos en realidad explorando -> diferimos en realidad la exploración
DFS no está especificado -> DFS está subespecificado