Diferencia entre revisiones de «Búsqueda en profundidad»

(Removida de referencia)
Línea 1: Línea 1:
{{Referencia}}Búsqueda en profundidad  
+
Búsqueda en profundidad  
  
Una Búsqueda en profundidad (en inglés DFS o Depth First Search) es un algoritmo que permite recorrer todos los nodos de un grafo o árbol (teoría de grafos) de manera ordenada, pero no uniforme. Su funcionamiento consiste en ir expandiendo todos y cada uno de los nodos que va localizando, de forma recurrente, en un camino concreto. Cuando ya no quedan más nodos que visitar en dicho camino, regresa (Backtracking), de modo que repite el mismo proceso con cada uno de los hermanos del nodo ya procesado.  
+
Una Búsqueda en profundidad (en inglés DFS o Depth First Search) es un algoritmo que permite recorrer todos los nodos de un grafo o árbol (teoría de grafos) de manera ordenada, pero no uniforme.  
 +
 
 +
Su funcionamiento consiste en ir expandiendo todos y cada uno de los nodos que va localizando, de forma recurrente, en un camino concreto. Cuando ya no quedan más nodos que visitar en dicho camino, regresa (Backtracking), de modo que repite el mismo proceso con cada uno de los hermanos del nodo ya procesado.  
  
 
Análogamente existe el algoritmo de búsqueda en anchura (BFS o Breadth First Search).  
 
Análogamente existe el algoritmo de búsqueda en anchura (BFS o Breadth First Search).  
Línea 9: Línea 11:
 
*'''Pseudocódigo para grafos'''
 
*'''Pseudocódigo para grafos'''
  
  '''DFS'''(grafo G)
+
'''DFS'''(grafo G)
      '''PARA CADA''' vertice ''u'' ∈ V[G] '''HACER'''
+
'''PARA CADA''' vertice ''u'' ∈ V[G] '''HACER'''
          estado[''u''] ← NO_VISITADO
+
estado[''u''] ← NO_VISITADO
              padre[''u''] ← NULO
+
padre[''u''] ← NULO
      tiempo ← 0
+
tiempo ← 0
      '''PARA CADA''' vertice ''u'' ∈ V[G] '''HACER'''
+
'''PARA CADA''' vertice ''u'' ∈ V[G] '''HACER'''
          '''SI''' estado[u] = NO_VISITADO '''ENTONCES'''
+
'''SI''' estado[u] = NO_VISITADO '''ENTONCES'''
                  DFS_Visitar(''u'')
+
DFS_Visitar(''u'')
  
  '''DFS–Visitar'''(nodo ''u'')
+
'''DFS–Visitar'''(nodo ''u'')
      estado[''u''] ← VISITADO
+
estado[''u''] ← VISITADO
      tiempo ← tiempo + 1
+
tiempo ← tiempo +  
      d[u] ← tiempo
+
d[u] ← tiempo
      '''PARA CADA''' ''v'' ∈ Vecinos[''u''] '''HACER'''
+
'''PARA CADA''' ''v'' ∈ Vecinos[''u''] '''HACER'''
          '''SI''' estado[''v''] = NO_VISITADO '''ENTONCES'''
+
'''SI''' estado[''v''] = NO_VISITADO '''ENTONCES'''
                  padre[''v''] ← ''u''
+
padre[''v''] ← ''u''
                  DFS_Visitar(''v'')
+
DFS_Visitar(''v'')
      estado[''u''] ← TERMINADO
+
estado[''u''] ← TERMINADO
      tiempo ← tiempo + 1
+
tiempo ← tiempo + 1
      ''f[u]'' ← tiempo
+
''f[u]'' ← tiempo
  
 
== Arcos DF  ==
 
== Arcos DF  ==
Línea 40: Línea 42:
 
*[[Árbol (estructura de datos)]]
 
*[[Árbol (estructura de datos)]]
  
<br>
 
  
 
*Lema: Un [[Grafo]] dirigido es cíclico si y sólo si al ejecutar DFS(G) produce al menos un arco hacia atrás.
 
*Lema: Un [[Grafo]] dirigido es cíclico si y sólo si al ejecutar DFS(G) produce al menos un arco hacia atrás.

Revisión del 09:09 11 jun 2010

Búsqueda en profundidad

Una Búsqueda en profundidad (en inglés DFS o Depth First Search) es un algoritmo que permite recorrer todos los nodos de un grafo o árbol (teoría de grafos) de manera ordenada, pero no uniforme.

Su funcionamiento consiste en ir expandiendo todos y cada uno de los nodos que va localizando, de forma recurrente, en un camino concreto. Cuando ya no quedan más nodos que visitar en dicho camino, regresa (Backtracking), de modo que repite el mismo proceso con cada uno de los hermanos del nodo ya procesado.

Análogamente existe el algoritmo de búsqueda en anchura (BFS o Breadth First Search).

Pseudocódigo

  • Pseudocódigo para grafos

DFS(grafo G) PARA CADA vertice u ∈ V[G] HACER estado[u] ← NO_VISITADO padre[u] ← NULO tiempo ← 0 PARA CADA vertice u ∈ V[G] HACER SI estado[u] = NO_VISITADO ENTONCES DFS_Visitar(u)

DFS–Visitar(nodo u) estado[u] ← VISITADO tiempo ← tiempo + d[u] ← tiempo PARA CADA v ∈ Vecinos[u] HACER SI estado[v] = NO_VISITADO ENTONCES padre[v] ← u DFS_Visitar(v) estado[u] ← TERMINADO tiempo ← tiempo + 1 f[u] ← tiempo

Arcos DF

Si en tiempo de descubrimiento de u tenemos el arco (u,v):

i. Si el estado de v es NO_VISITADO, entonces (u,v) ∈ DF,

Véase también


  • Lema: Un Grafo dirigido es cíclico si y sólo si al ejecutar DFS(G) produce al menos un arco hacia atrás.

Referencias