¿Qué tan grande es mi problema?

We can only see a short distance ahead, but we can see plenty there that needs to be done.— Alan Turing

Ivan Meza

Javier ve a Ana, pero Ana ve a Mario. Javier está casado, pero Mario no. ¿Alguien casado ve a un soltero?

• ¿Entradas?
• ¿Salidas?
• ¿Esquema de solución?
• ¿Tipo?
• ¿Complejidad?

Un sistema de inventario para mi tiendita de la esquina: "El Gran Turing y su máquina universal"

• ¿Entradas?
• ¿Salidas?
• ¿Esquema de solución?
• ¿Tipo?
• ¿Complejidad?

Dividir dos números en notación unaria

• ¿Entradas?
• ¿Salidas?
• ¿Esquema de solución?
• ¿Tipo?

Una página web para mi red social de compute logos "Sigma estrella"

• ¿Entradas?
• ¿Salidas?
• ¿Esquema de solución?
• ¿Tipo?
• ¿Complejidad?

¿Uso suéter hoy?

• ¿Entradas?
• ¿Salidas?
• ¿Esquema de solución?
• ¿Tipo?
• ¿Complejidad?

Dividir dos números en notación unaria

• ¿Entradas?
• ¿Salidas?
• ¿Esquema de solución?
• ¿Tipo?

¿Pasaré el curso?

• ¿Entradas?
• ¿Salidas?
• ¿Esquema de solución?
• ¿Complejidad?

Buscar a una persona en una foto

• ¿Entradas?
• ¿Salidas?
• ¿Esquema de solución?
• ¿Tipo?

Tengo dos grafos ¿Son el mismo?

• ¿Entradas?
• ¿Salidas?
• ¿Esquema de solución?
• ¿Tipo?

Dada una MT decidir si se para en cualquier configuración

• ¿Entradas?
• ¿Salidas?
• ¿Esquema de solución?
• ¿Tipo?
• Problema de paro
• ¿Complemento?

¿Una GLC es ambigua?

• ¿Entradas?
• ¿Salidas?
• ¿Esquema de solución?
• ¿Tipo?
• ¿Complemento?

¿Una GLC genera todas las cadenas posibles?

• ¿Entradas?
• ¿Salidas?
• ¿Esquema de solución?
• ¿Tipo?
• ¿Complemento?

¿Cuál es algoritmo más rápido de multiplicaciones?

¿Puede la complejidad de multiplicación de matrices ser $O(n^2)$?

¿Dada una expresión booleana determinar si es verdadera o falsa?

• ¿Entradas?
• ¿Salidas?
• ¿Esquema de solución?
• ¿Tipo?
• ¿Complemento?

¿Dada una expresión booleana qué configuración arroja Verdadero?

• ¿Entradas?
• ¿Salidas?
• ¿Esquema de solución?
• ¿Tipo?
• ¿Complemento?

¿Dado un conjunto de números que subset da cierto número C?

• ¿Entradas?
• ¿Salidas?
• ¿Esquema de solución?
• ¿Tipo?
• ¿Complemento?