Estructuras de Datos y Algoritmos cs.DS

Seleccionar un solo microchip defectuoso entre un millón, sin ninguna pista de cómo es el fallo, es un clásico problema de buscar una aguja en un pajar. Una computadora clásica probaría cada chip uno por uno.

El salón de baile se va llenando de invitados. Cada nueva persona que llega es una solicitud, y la tarea del organizador del baile es encontrar una pareja adecuada. Puede emparejar a dos de inmediato, en cuanto se encuentren cerca, y así la pareja será precisa, pero ¿y si en un minuto aparece la pareja ideal? Si se demora, crece el cansancio de los que esperan: algunos se aburren, otros pierden la paciencia.

Otoño de 1956. Kurt Gödel escribe en una hoja de papel una pregunta dirigida al moribundo John von Neumann: ¿se puede comprobar la satisfacibilidad de una fórmula booleana más rápido que por fuerza bruta? La respuesta llegará 69 años después, y resultará ser la mordedura del uróboros lógico, la serpiente mítica que se devora la cola. La serpiente nace del azar.