... Turing[*]
Alan Mathison Turing (1912-1954), matemático inglés, publicó en 1936 su célebre artículo ``On computable numbers'', donde introdujo la noción de máquina de Turing. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... Church[*]
Alonzo Church (1903-(?)), lógico norteamericano, fundador de The Journal of Symbolic Logic en 1936. Su tesis famosa la planteó en 1956. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... secuencia[*]
Utilizaremos el término secuencia como sinónimo de una sucesión finita. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... seudoprogramas[*]
Los programas presentados son meros ejemplos de que hay programas-while que realizan los procedimientos requeridos. De ninguna manera tratamos aquí noción alguna de eficiencia de programas. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... ``originales[*]
Utilizamos este adjetivo y evitamos caer en el simplismo de calificar con el sustantivo castellano ``fuente'' la forma inglesa ``source''. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... Neumann[*]
John von Neumann (1903-1957), matemático norteamericano de origen húngaro. Desde 1930 se incorporó a la Universidad de Princeton. Fue uno de los principales investigadores en el proyecto de la bomba atómica en Los Alamos. En 1952 diseñó la MANIAC I, que fue la primera computadora en el mundo con un programa flexible. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... suposiciones[*]
A saber, bajo la aceptación del Principio de Selección o, equivalentemente, del Lema de Zorn. Por tanto, esta suposición no puede ser aceptada de manera constructiva. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...áfica[*]
Es decir, ella misma. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... espacio[*]
a la que nombraremos s por el inglés space, pues el símbolo e se utiliza en otros contextos 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... X3C[*]
Recubrimiento exacto por tripletas Dado un conjunto A una tripleta es un subconjunto de A con exactamente 3 elementos.


Instancia:
\begin{pagi}{34} Un conjunto $A$ , cuya cardinalidad es un m\'ultiplo de 3, y una colecci\'on ${\cal C}$\space de tripletas en $A$ . \end{pagi}
Solución:
\begin{pagi}{34} Decidir si acaso existe un subconjunto de ${\cal C}$\space que sea una partici\'on de $A$ . \end{pagi} 



.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Guillermo Morales-Luna
2000-07-10