Oops

1 files changed, 61 insertions, 61 deletions

diff --git a/aed1/n4.lyx b/aed1/n4.lyx
index 3e1e0aa..b5f46a4 100644
--- a/aed1/n4.lyx
+++ b/aed1/n4.lyx
@@ -203,7 +203,7 @@ Un
 subgrafo
 \series default
  de un grafo 
-\begin_inset Formula $G:=(V,E)$
+\begin_inset Formula $G\coloneqq (V,E)$
 \end_inset
 
  es un grafo 
@@ -220,7 +220,7 @@ subgrafo
 
 .
  Un subgrafo de un grafo etiquetado 
-\begin_inset Formula $G:=(V,E,\sigma)$
+\begin_inset Formula $G\coloneqq (V,E,\sigma)$
 \end_inset
 
  es un grafo etiquetado 
@@ -505,11 +505,11 @@ begin{sloppypar}
 \end_inset
 
 En un ordenador podemos representar un grafo finito 
-\begin_inset Formula $(V:=\{1,\dots,n\},E)$
+\begin_inset Formula $(V\coloneqq \{1,\dots,n\},E)$
 \end_inset
 
  o 
-\begin_inset Formula $(V:=\{1,\dots,n\},E,\sigma\mid E\rightarrow X)$
+\begin_inset Formula $(V\coloneqq \{1,\dots,n\},E,\sigma:E\rightarrow X)$
 \end_inset
 
  mediante:
@@ -618,7 +618,7 @@ Listas de adyacencia
 
 \begin_layout Standard
 En adelante, salvo que se indique lo contrario, suponemos un grafo 
-\begin_inset Formula $(V:=\{1,\dots,n\},E,\sigma\mid E\rightarrow X)$
+\begin_inset Formula $(V\coloneqq \{1,\dots,n\},E,\sigma:E\rightarrow X)$
 \end_inset
 
 , y que las variables en pseudocódigo se inicializan con su valor por defecto.
@@ -750,7 +750,7 @@ operación
 \end_inset
 
 visitado[u] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  verdadero; visitar(u)
@@ -784,7 +784,7 @@ entonces
 para
 \series default
  i 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  1 
@@ -945,7 +945,7 @@ operación
 \end_inset
 
 visitado[u] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  verdadero; C.meter(u); visitar(u)
@@ -977,7 +977,7 @@ hacer
 \end_inset
 
 v 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  C.cabeza; C.sacar
@@ -1044,7 +1044,7 @@ entonces
 \end_inset
 
 visitado[w] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  verdadero; C.meter(w); visitar(w)
@@ -1057,7 +1057,7 @@ visitado[w]
 para
 \series default
  i 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  1 
@@ -1197,7 +1197,7 @@ operación
 \end_inset
 
 visitado[u] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  verdadero
@@ -1263,7 +1263,7 @@ hacer
 \end_inset
 
 p 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  C.cabeza; C.sacar
@@ -1295,7 +1295,7 @@ entonces
 \end_inset
 
 coste 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  coste 
@@ -1425,7 +1425,7 @@ entonces
 \end_inset
 
 coste 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  coste 
@@ -1595,7 +1595,7 @@ de
 para
 \series default
  i 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  2 
@@ -1614,15 +1614,15 @@ hacer
 \end_inset
 
 coste[i] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  C[1, i]; paso[i] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  1; escogido[v] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  falso
@@ -1635,7 +1635,7 @@ coste[i]
 para
 \series default
  i 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  1 
@@ -1658,7 +1658,7 @@ hacer
 \end_inset
 
 u 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  i 
@@ -1679,7 +1679,7 @@ minimizando
 \end_inset
 
 escogido[u] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  verdadero
@@ -1746,7 +1746,7 @@ entonces
 \end_inset
 
 coste[v] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  coste[u] 
@@ -1771,7 +1771,7 @@ coste[v]
 \end_inset
 
 paso[v] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  u
@@ -1917,7 +1917,7 @@ de
 
 \family sans
 coste 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  C
@@ -1930,7 +1930,7 @@ coste
 para
 \series default
  k 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  1 
@@ -1953,7 +1953,7 @@ hacer
 para
 \series default
  i 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  1 
@@ -1980,7 +1980,7 @@ hacer
 para
 \series default
  j 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  1 
@@ -2042,7 +2042,7 @@ entonces
 \end_inset
 
 coste[i, j] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  coste[i, k] 
@@ -2071,7 +2071,7 @@ coste[i, j]
 \end_inset
 
 paso[i, j] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  k
@@ -2126,14 +2126,14 @@ algoritmo de Warshall
 cierre transitivo
 \series default
  de un grafo, una matriz de booleanos 
-\begin_inset Formula $(a_{ij}:=\text{existe un camino de \ensuremath{i} a \ensuremath{j}})$
+\begin_inset Formula $(a_{ij}\coloneqq \text{existe un camino de \ensuremath{i} a \ensuremath{j}})$
 \end_inset
 
 , y es similar al de Floyd pero cambiando la condición dentro de los bucles
  por 
 \family sans
 A[i, j] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  A[i, j] 
@@ -2298,11 +2298,11 @@ operación
 \end_inset
 
 número[u] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  tiempo; enlace[u] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  tiempo
@@ -2315,7 +2315,7 @@ número[u]
 \end_inset
 
 tiempo 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  tiempo 
@@ -2332,7 +2332,7 @@ tiempo
 \end_inset
 
 pila.insertar(u); apilado[u] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  verdadero
@@ -2465,11 +2465,11 @@ repetir
 \end_inset
 
 v 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  pila.tope; pila.sacar; apilado[v] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  falso
@@ -2533,7 +2533,7 @@ componentes.inserta(s)
 para
 \series default
  i 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  1 
@@ -2575,19 +2575,19 @@ componentes
 grafo reducido
 \series default
  
-\begin_inset Formula $G_{R}:=(V_{R},E_{R})$
+\begin_inset Formula $G_{R}\coloneqq (V_{R},E_{R})$
 \end_inset
 
  de 
-\begin_inset Formula $G:=(V,E)$
+\begin_inset Formula $G\coloneqq (V,E)$
 \end_inset
 
  al grafo dirigido acíclico dado por 
-\begin_inset Formula $V_{R}:=\{\text{componentes fuertemente conexos de \ensuremath{G}}\}$
+\begin_inset Formula $V_{R}\coloneqq \{\text{componentes fuertemente conexos de \ensuremath{G}}\}$
 \end_inset
 
  y 
-\begin_inset Formula $E_{R}:=\{(A,B)\in V_{R}\mid \exists a\in A,b\in B:(a,b)\in E\}$
+\begin_inset Formula $E_{R}\coloneqq \{(A,B)\in V_{R}\mid \exists a\in A,b\in B:(a,b)\in E\}$
 \end_inset
 
 .
@@ -2686,7 +2686,7 @@ operación
 \end_inset
 
 visitado[u] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  verdadero
@@ -2729,7 +2729,7 @@ orden.insertar(u)
 para
 \series default
  i 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  1 
@@ -2933,11 +2933,11 @@ operación
 \end_inset
 
 número[u] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  tiempo; enlace[u] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  tiempo
@@ -2950,7 +2950,7 @@ número[u]
 \end_inset
 
 tiempo 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  tiempo 
@@ -3013,7 +3013,7 @@ entonces
 \end_inset
 
 padre[v] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  u
@@ -3046,7 +3046,7 @@ si
 entonces 
 \series default
 hijosRaíz 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  hijosRaíz 
@@ -3100,7 +3100,7 @@ si
 entonces
 \series default
  articulación[u] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  verdadero
@@ -3121,7 +3121,7 @@ entonces
 \end_inset
 
 enlace[u] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  mín(enlace[u], enlace[v])
@@ -3165,7 +3165,7 @@ entonces
 \end_inset
 
 enlace[u] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  mín(enlace[u], número[v])
@@ -3178,7 +3178,7 @@ enlace[u]
 para
 \series default
  i 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  1 
@@ -3220,11 +3220,11 @@ entonces
 \end_inset
 
 raíz 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  i; hijosRaíz 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  0; puntosArticulación(i)
@@ -3241,7 +3241,7 @@ raíz
 \end_inset
 
 articulación[raíz] 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  hijosRaíz 
@@ -3404,11 +3404,11 @@ entonces
 \end_inset
 
 disponible(u, v) 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  falso; disponible(v, u) 
-\begin_inset Formula $:=$
+\begin_inset Formula $\coloneqq $
 \end_inset
 
  falso
@@ -3521,11 +3521,11 @@ Coloración de grafos
 Isomorfismo
 \series default
 : Dos grafos 
-\begin_inset Formula $G:=(V,E)$
+\begin_inset Formula $G\coloneqq (V,E)$
 \end_inset
 
  y 
-\begin_inset Formula $G':=(V',E')$
+\begin_inset Formula $G'\coloneqq (V',E')$
 \end_inset
 
  son