aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--si/n3.lyx57
-rw-r--r--si/n4.lyx4
2 files changed, 39 insertions, 22 deletions
diff --git a/si/n3.lyx b/si/n3.lyx
index cdadc47..06957fb 100644
--- a/si/n3.lyx
+++ b/si/n3.lyx
@@ -832,9 +832,7 @@ omega,s,F)$.}
\backslash
-Salida{Camino solución o $
-\backslash
-emptyset$.}
+Salida{Camino solución o fallo.}
\end_layout
\begin_layout Plain Layout
@@ -857,7 +855,7 @@ SetKwProg{Func}{función}{}{fin}
\backslash
Func{
\backslash
-RBFS{$(P,f_0),f_{
+RBFS{$P,f_{
\backslash
text{limit}}$}}{
\end_layout
@@ -924,7 +922,7 @@ max
\backslash
{
\backslash
-omega(Pv)+h(v), f_0
+omega(Pv)+h(v), f_u
\backslash
}$}
\end_layout
@@ -958,9 +956,26 @@ Devolver fallo($f_b$)}
\begin_layout Plain Layout
- Elegir el menor $a
+% Elegir el menor $a
\backslash
-in
+in$
+\backslash
+;
+\end_layout
+
+\begin_layout Plain Layout
+
+ $r
+\backslash
+gets
+\backslash
+text{
+\backslash
+RBFS{
+\backslash
+ensuremath{Pb,
+\backslash
+min(
\backslash
{f_v
\backslash
@@ -972,22 +987,15 @@ setminus
\backslash
{b
\backslash
-}}$
+}}
\backslash
-;
-\end_layout
-
-\begin_layout Plain Layout
-
- $r
+cup
\backslash
-gets
+{f_{
\backslash
-text{
+text{limit}}
\backslash
-RBFS{
-\backslash
-ensuremath{(Pb, f_b),a}}}$
+})}}}$
\backslash
;
\end_layout
@@ -1026,9 +1034,18 @@ Devolver $r$
\begin_layout Plain Layout
+$f_s
+\backslash
+gets h(s)$
+\backslash
+;
+\end_layout
+
+\begin_layout Plain Layout
+
\backslash
-RBFS{$((s),h(s)),+
+RBFS{$(s),+
\backslash
infty$}
\backslash
diff --git a/si/n4.lyx b/si/n4.lyx
index 287a7af..ce64e74 100644
--- a/si/n4.lyx
+++ b/si/n4.lyx
@@ -1050,7 +1050,7 @@ lSSi{$n
\backslash
in F$}{
\backslash
-Devolver $n$}
+Devolver $u(n)$}
\end_layout
\begin_layout Plain Layout
@@ -1166,7 +1166,7 @@ lSSi{$n
\backslash
in F$}{
\backslash
-Devolver $n$}
+Devolver $u(n)$}
\end_layout
\begin_layout Plain Layout