diff options
Diffstat (limited to 'mc/n7.lyx')
| -rw-r--r-- | mc/n7.lyx | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -1113,7 +1113,7 @@ Están en \end_layout \begin_layout Enumerate -\begin_inset Formula $\text{RELPRIM}\coloneqq\{\langle x,y\rangle:x,y\in\mathbb{N}\text{ son primos relativos}\}$ +\begin_inset Formula $\text{RELPRIM}\coloneqq\{\langle x,y\rangle\mid x,y\in\mathbb{N}\text{ son primos relativos}\}$ \end_inset . @@ -1192,7 +1192,7 @@ noprefix "false" \end_deeper \begin_layout Enumerate -\begin_inset Formula $\text{PATH}\coloneqq\{\langle G,s,t\rangle:G\text{ es un grafo dirigido con un camino de }s\text{ a }t\}$ +\begin_inset Formula $\text{PATH}\coloneqq\{\langle G,s,t\rangle\mid G\text{ es un grafo dirigido con un camino de }s\text{ a }t\}$ \end_inset . @@ -1251,7 +1251,7 @@ Se añade el nodo \end_deeper \begin_layout Enumerate -\begin_inset Formula $\text{4-CLIQUE}\coloneqq\{\langle G\rangle:G\text{ es un grafo no dirigido con una 4-clique}\}$ +\begin_inset Formula $\text{4-CLIQUE}\coloneqq\{\langle G\rangle\mid G\text{ es un grafo no dirigido con una 4-clique}\}$ \end_inset . @@ -1287,7 +1287,7 @@ Si \end_deeper \begin_layout Enumerate -\begin_inset Formula $\text{EULCYCLE}\coloneqq\{\langle G\rangle:G\text{ es un grafo dirigido con un ciclo euleriano}\}$ +\begin_inset Formula $\text{EULCYCLE}\coloneqq\{\langle G\rangle\mid G\text{ es un grafo dirigido con un ciclo euleriano}\}$ \end_inset . @@ -1317,7 +1317,7 @@ Un teorema de Euler dice que un grafo dirigido \end_deeper \begin_layout Enumerate -\begin_inset Formula $\text{2-COLOR}\coloneqq\{\langle G\rangle:G\text{ es un grafo no dirigido bipartito}\}$ +\begin_inset Formula $\text{2-COLOR}\coloneqq\{\langle G\rangle\mid G\text{ es un grafo no dirigido bipartito}\}$ \end_inset . @@ -1562,7 +1562,7 @@ verificador \end_inset tal que -\begin_inset Formula $L=\{w:\exists c:V\text{ acepta }\langle w,c\rangle\}$ +\begin_inset Formula $L=\{w\mid \exists c\mid V\text{ acepta }\langle w,c\rangle\}$ \end_inset . |