diff options
Diffstat (limited to 'mc/n8.lyx')
| -rw-r--r-- | mc/n8.lyx | 16 |
1 files changed, 8 insertions, 8 deletions
@@ -408,7 +408,7 @@ satisfacible Definimos \begin_inset Formula \[ -\text{SAT}\coloneqq\text{SAT}_{0}\coloneqq\text{SAT}_{\text{LP}}\coloneqq\{\langle\Phi\rangle:\Phi\text{ es una fórmula booleana satisfacible}\}. +\text{SAT}\coloneqq\text{SAT}_{0}\coloneqq\text{SAT}_{\text{LP}}\coloneqq\{\langle\Phi\rangle\mid \Phi\text{ es una fórmula booleana satisfacible}\}. \] \end_inset @@ -1039,7 +1039,7 @@ Son \end_layout \begin_layout Enumerate -\begin_inset Formula $\text{CLIQUE}\coloneqq\{\langle G,k\rangle:G\text{ es grafo no dirigido con }k\text{-clique}\}$ +\begin_inset Formula $\text{CLIQUE}\coloneqq\{\langle G,k\rangle\mid G\text{ es grafo no dirigido con }k\text{-clique}\}$ \end_inset . @@ -1209,7 +1209,7 @@ La función de conversión de \end_deeper \begin_layout Enumerate -\begin_inset Formula $\text{HAMPATH}\coloneqq\{\langle G,s,t\rangle:G\text{ es un grafo dirigido con camino hamiltoniano de }s\text{ a }t\}$ +\begin_inset Formula $\text{HAMPATH}\coloneqq\{\langle G,s,t\rangle\mid G\text{ es un grafo dirigido con camino hamiltoniano de }s\text{ a }t\}$ \end_inset . @@ -1607,7 +1607,7 @@ La función de conversión de \end_deeper \begin_layout Enumerate -\begin_inset Formula $\text{HAMCYCLE}\coloneqq\{\langle G\rangle:G\text{ es un grafo dirigido con un ciclo hamiltoniano}\}$ +\begin_inset Formula $\text{HAMCYCLE}\coloneqq\{\langle G\rangle\mid G\text{ es un grafo dirigido con un ciclo hamiltoniano}\}$ \end_inset . @@ -1765,7 +1765,7 @@ La función de conversión de \end_deeper \begin_layout Enumerate -\begin_inset Formula $\text{UHAMCYCLE}\coloneqq\{\langle G\rangle:G\text{ es un grafo no dirigido con un ciclo hamiltoniano}\}$ +\begin_inset Formula $\text{UHAMCYCLE}\coloneqq\{\langle G\rangle\mid G\text{ es un grafo no dirigido con un ciclo hamiltoniano}\}$ \end_inset . @@ -2011,7 +2011,7 @@ Claramente la función de conversión de \end_deeper \begin_layout Enumerate -\begin_inset Formula $\text{COLOR}\coloneqq\{\langle G,k\rangle:G\text{ es un grafo no dirigido }k\text{-coloreable}\}$ +\begin_inset Formula $\text{COLOR}\coloneqq\{\langle G,k\rangle\mid G\text{ es un grafo no dirigido }k\text{-coloreable}\}$ \end_inset . @@ -2277,7 +2277,7 @@ Un ciclo hamiltoniano en \end_deeper \begin_layout Enumerate -\begin_inset Formula $\text{SUBSET-SUM}\coloneqq\{\langle S,t\rangle:S\text{ es una lista de naturales con una subsecuencia que suma }t\}.$ +\begin_inset Formula $\text{SUBSET-SUM}\coloneqq\{\langle S,t\rangle\mid S\text{ es una lista de naturales con una subsecuencia que suma }t\}.$ \end_inset @@ -2605,7 +2605,7 @@ ión, pero calcular las potencias de 10 corresponde a multiplicar por 10 \end_deeper \begin_layout Enumerate -\begin_inset Formula $\text{VERTEX-COVER}\coloneqq\{\langle G,k\rangle:G\text{ es un grafo no dirigido con una }k\text{-cobertura}\}$ +\begin_inset Formula $\text{VERTEX-COVER}\coloneqq\{\langle G,k\rangle\mid G\text{ es un grafo no dirigido con una }k\text{-cobertura}\}$ \end_inset . |