Una afirmación tan tajante — todo método empata sobre todos los problemas — suena a que debe tener alguna trampa. ¿Seguro que una estrategia realmente ingeniosa no se adelanta un poquito? Lo bonito de la versión para principiantes del teorema de que no hay almuerzo gratis (No Free Lunch theorem) es que no tienes que fiarte de la palabra de nadie. En un mundo lo bastante pequeño puedes contarlo tú mismo. Hagamos exactamente eso y luego veámoslo suceder en un tablero más grande.
Un mundo que cabe en la palma de la mano
Aquí tenéis la búsqueda del tesoro más diminuta que ilustra la idea. Hay tres cajas en fila. Un premio está escondido en exactamente una de ellas. Abres las cajas de una en una hasta que lo encuentras, y tu coste es cuántas cajas has tenido que abrir.
Ahora bien — ¿dónde está el premio? No lo sabemos, así que seamos justos y consideremos todas las posibilidades: el premio podría estar en la caja 1, la caja 2 o la caja 3. Esas tres posibilidades son nuestros tres «problemas», y les daremos el mismo peso a cada una (sin favoritismos). Enfrentaremos dos estrategias:
- Izquierdo abre siempre las cajas en el orden 1 → 2 → 3.
- Derecho las abre siempre 3 → 2 → 1.
Antes de leer — arriésgate a adivinar
Adivinanza rápida: si el premio está en la caja 1, ¿cuántas cajas abre Derecho (3 → 2 → 1) antes de encontrarlo?
Contando todos los casos
Tabulemos el coste de cada estrategia en cada uno de los tres problemas. Esta es la demostración entera, y es solo una suma.
| El premio está en… | Izquierdo (1→2→3) | Derecho (3→2→1) |
|---|---|---|
| Caja 1 | 1 caja | 3 cajas |
| Caja 2 | 2 cajas | 2 cajas |
| Caja 3 | 3 cajas | 1 caja |
| Total | 6 | 6 |
| Media | 2,0 | 2,0 |
Fíjate un segundo. Izquierdo es brillante cuando el premio está a la izquierda (1 caja) y terrible cuando está a la derecha (3 cajas). Derecho es el espejo exacto. Cada lugar en que Izquierdo gana, Derecho pierde por la misma cantidad — y viceversa. Súmalo todo y ambos promedian 2,0 cajas. Un empate absoluto.
Qué acaba de pasar
Ninguna estrategia es más lista que la otra; cada una simplemente carga su suerte por adelantado en problemas distintos. Como contamos todos los escondites por igual, las victorias y las derrotas se cancelan a la perfección. Esa cancelación es todo el mecanismo detrás de que no hay almuerzo gratis — nada de ingenio, solo contabilidad.
Di por qué se produce el empate.
Pick the right option for each blank, then check.
Izquierdo y Derecho empatan porque cada problema en que uno de ellos queda exactamente compensado por un problema en que , una vez que contamos escondite por igual.
Intenta hacer trampa — no puedes
«Pero», podrías decir, «¡déjame inventar un orden más ingenioso!» Adelante. Cualquier orden fijo que elijas — 2 → 1 → 3, o 3 → 1 → 2, lo que sea — sigue abriendo la caja del premio en primer lugar en exactamente uno de los tres problemas, en segundo en uno y en tercero en uno. Sus costes son siempre alguna ordenación de 1, 2 y 3, que siempre suman 6 y siempre promedian 2,0. No hay ningún sitio donde pueda esconderse una ventaja gratis.
Esa es la versión de contar del teorema: una vez que cada problema recibe el mismo peso, todas las estrategias fijas tienen el mismo total, así que no pueden evitar empatar.
Inventas una tercera estrategia que abre las cajas en el orden 2 → 3 → 1. ¿Cuál es su coste medio sobre los tres problemas con igual peso?
Ahora míralo en un tablero más grande
Tres cajas eran fáciles de contar a mano. ¿Sobrevive el empate con más cajas y estrategias de aspecto más taimado? Revela los mundos de uno en uno abajo. Al principio, las medias móviles se disparan en direcciones opuestas — una estrategia parece un genio, otra un necio. Pero sigue revelando. A medida que cada escondite tiene su turno, las medias vuelven a juntarse hasta aterrizar en el mismo número exacto.
No hay almuerzo gratis
El tablero de que no hay almuerzo gratis
Un premio se esconde en una celda. Cada «mundo» es un escondite distinto — y los visitamos todos. El coste de una estrategia es cuántas celdas abre antes de encontrar el premio. Revela los mundos uno a uno y observa la media móvil de cada estrategia.
Dónde se esconde el premio
Pulsa «Revelar el siguiente mundo». Observa cómo las medias empiezan muy separadas — y luego se juntan.
- Izquierda → derecha——
Abre siempre las celdas en orden, de la primera a la última.
- Derecha → izquierda——
La imagen espejo: empieza por la última celda y ve hacia atrás.
- Bordes → centro——
Comprueba primero las celdas exteriores y cierra hacia el centro al final.
- Corazonada lista——
Un orden «inteligente», ajustado a mano, que solo parece más astuto que los demás.
¿Captaste el drama? Después del primer mundo o dos, la brecha entre la mejor y la peor estrategia es enorme — parece de verdad que el orden de la «corazonada lista» o el de «bordes hacia dentro» va ganando. Esa ventaja inicial es una ilusión de una muestra pequeña. Para cuando los seis mundos están dentro, las cuatro estrategias se sientan en exactamente 3,5 pasos. El orden listo y el trabajoso valen exactamente lo mismo.
La trampa de la ventaja inicial
Una estrategia que parece estupenda tras un puñado de problemas no ha encontrado un almuerzo gratis — simplemente le han tocado los problemas que casualmente le sientan bien. Juzga un método por el abanico completo de problemas que afrontará, no por los primeros favorecedores. Las muestras pequeñas son donde nacen las ilusiones del almuerzo gratis.
En el tablero, ¿por qué las medias móviles empiezan muy separadas y luego convergen?
Por qué esto no depende del ejemplo
Podrías temer que esto sea un truco de las búsquedas del tesoro. No lo es. La misma contabilidad opera siempre que (a) consideras todos los problemas posibles con igual peso y (b) puntúas cada método en cada uno. Todo método que es bueno en algunos problemas está, por ese mismo hecho, gastando su bondad ahí y dejando otros problemas mal atendidos. Hay un presupuesto fijo de «buen rendimiento» para repartir entre todos los problemas, y ningún método puede tener más de él que otro. La búsqueda del tesoro solo hace visible el presupuesto.
Empareja cada pieza del argumento con lo que hace.
Pick a term, then click its definition.
Recapitulación
Big picture
Por qué el empate está forzado
- Por qué es cierto que no hay almuerzo gratis
- Contar cada problema por igual
- Sin favoritos entre los escondites
- Cada estrategia: mismo total de coste
- Sus costes son solo una reordenación
- Victorias aquí = derrotas allá
- Se cancelan a la perfección
- Así que: medias idénticas
- Las ventajas iniciales son ruido de muestra pequeña
- Contar cada problema por igual
Ya hemos visto que el empate es real y forzado — no un fracaso en encontrar la estrategia ingeniosa, sino una certeza matemática. Lo que plantea la pregunta obvia y urgente: si todo método empata, ¿por qué funciona algo en la vida real? La próxima lección lo resuelve — y es donde la mayoría de la gente malinterpreta el teorema del peor modo.