-
Notifications
You must be signed in to change notification settings - Fork 0
/
RecorridoEnProfundidad.hs
92 lines (79 loc) · 3.29 KB
/
RecorridoEnProfundidad.hs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
-- RecorridoEnProfundidad.hs
-- Recorrido en profundidad
-- José A. Alonso Jiménez https://jaalonso.github.com
-- =====================================================================
module Tema_22.RecorridoEnProfundidad where
-- ---------------------------------------------------------------------
-- Librerías auxiliares --
-- ---------------------------------------------------------------------
-- Nota: Elegir una implementación de los grafos.
import Tema_22.GrafoConVectorDeAdyacencia
-- import Tema_22.GrafoConMatrizDeAdyacencia
-- import I1M.Grafo
import Data.Ix
-- ---------------------------------------------------------------------
-- Ejemplo de grafo --
-- ---------------------------------------------------------------------
-- g es el grafo
-- +---> 2 <---+
-- | |
-- | |
-- 1 --> 3 --> 6 --> 5
-- | |
-- | |
-- +---> 4 <---------+
ejG :: Grafo Integer Integer
ejG = creaGrafo D (1,6)
[(1,2,0),(1,3,0),(1,4,0),(3,6,0),(5,4,0),(6,2,0),(6,5,0)]
-- ---------------------------------------------------------------------
-- Recorrido en profundidad --
-- ---------------------------------------------------------------------
-- (recorridoEnProfundidad i g) es el recorrido en profundidad del grafo g
-- desde el vértice i. Por ejemplo,
-- recorridoEnProfundidad 1 ejG == [1,2,3,6,5,4]
recorridoEnProfundidad :: (Num p, Eq p, Ix v) => v -> Grafo v p -> [v]
recorridoEnProfundidad i g = rp [i] []
where
rp [] vis = vis
rp (c:cs) vis
| c `elem` vis = rp cs vis
| otherwise = rp (adyacentes g c ++ cs) (vis ++ [c])
-- Traza del cálculo de (recorridoEnProfundidad 1 ejG)
-- recorridoEnProfundidad 1 ejG
-- = rp [1] []
-- = rp [2,3,4] [1]
-- = rp [3,4] [1,2]
-- = rp [6,4] [1,2,3]
-- = rp [2,5,4] [1,2,3,6]
-- = rp [5,4] [1,2,3,6]
-- = rp [4,4] [1,2,3,6,5]
-- = rp [4] [1,2,3,6,5,4]
-- = rp [] [1,2,3,6,5,4]
-- = [1,2,3,6,5,4]
-- ---------------------------------------------------------------------
-- Recorrido en profundidad con acumuladores --
-- ---------------------------------------------------------------------
-- (recorridoEnProfundidad' i g) es el recorrido en profundidad del
-- grafo g desde el vértice i, usando la lista de los visitados como
-- acumulador. Por ejemplo,
-- recorridoEnProfundidad' 1 ejG == [1,2,3,6,5,4]
recorridoEnProfundidad' :: (Num p, Eq p, Ix v) => v -> Grafo v p -> [v]
recorridoEnProfundidad' i g = reverse (rp [i] [])
where
rp [] vis = vis
rp (c:cs) vis
| c `elem` vis = rp cs vis
| otherwise = rp (adyacentes g c ++ cs) (c:vis)
-- Traza del cálculo de (recorridoEnProfundidad' 1 ejG)
-- RecorridoEnProfundidad' 1 ejG
-- = reverse (rp [1] [])
-- = reverse (rp [2,3,4] [1])
-- = reverse (rp [3,4] [2,1])
-- = reverse (rp [6,4] [3,2,1])
-- = reverse (rp [2,5,4] [6,3,2,1])
-- = reverse (rp [5,4] [6,3,2,1])
-- = reverse (rp [4,4] [5,6,3,2,1])
-- = reverse (rp [4] [4,5,6,3,2,1])
-- = reverse (rp [] [4,5,6,3,2,1])
-- = reverse [4,5,6,3,2,1]
-- = [1,2,3,6,5,4]