Hay una vieja frase entre economistas: “no existe eso del almuerzo gratis”. Viene de las tabernas estadounidenses del siglo XIX que ofrecían un almuerzo “gratis” a cualquiera que comprara una bebida. El almuerzo era salado —arenque, jamón, galletas saladas—, así que bebíais más. Pagabais la comida; solo que estaba escondida en el precio de la cerveza. La lección caló: cuando algo parece gratis, buscad dónde se esconde el coste.
El teorema de que no hay almuerzo gratis (No Free Lunch theorem) coge esa sabiduría popular y la hace exacta para una cosa concreta: los métodos que resuelven problemas. Su afirmación, en una frase, es que ningún método viene con un almuerzo gratis: ninguna manera de buscar, elegir o predecir lo hace mejor que las demás gratis, en todos los problemas. Cualquier ganancia que veáis en un tipo de problema se pagó con una pérdida en otro sitio.
Antes de leer — arriésgate a adivinar
Adivina primero: en la taberna, ¿por qué el almuerzo 'gratis' era salado?
La afirmación, dicha con cuidado
Fijemos tres palabras, porque el teorema entero vive en ellas. Nada de esto necesita matemáticas: solo definiciones claras.
Tres palabras que hay que dejar claras
- Un método (method) (también: estrategia, algoritmo, regla, modelo) es cualquier receta fija para abordar un problema: “mira siempre primero en la cocina”, “compra cuando el precio baje”, “adivina la respuesta más común”.
- Un problema (problem) es una situación concreta a la que se enfrenta el método: un lugar concreto donde están escondidas las llaves, un mercado concreto, una pregunta concreta.
- La media (average) es el rendimiento del método sumado a lo largo de todo un conjunto de problemas y dividido por cuántos hay: su puntuación típica, no su puntuación en un único caso afortunado.
Con eso en la mano, aquí está el teorema en forma para principiantes:
No hay almuerzo gratis, en una línea
Si promediáis el rendimiento de un método sobre todos los problemas posibles, todos los métodos puntúan igual. Así que ningún método es mejor que otro en general: solo mejor en tipos concretos de problema.
Leedlo dos veces. No dice que los métodos nunca difieran —claro que “mira primero en la puerta” gana a “mira primero en el desván” cuando las llaves están junto a la puerta—. Dice que, una vez que sumáis todos los escondites posibles y tomáis la media, las diferencias se cancelan por completo.
Completa el teorema.
Pick the right option for each blank, then check.
Promediado sobre , todos los métodos rinden ; un método solo puede ser mejor en tipos de problema.
Qué se niega — y qué no
El teorema niega exactamente una cosa: un ganador universal. No niega que algunos métodos aplasten a otros en los problemas que de verdad aparecen en vuestra vida. Mantener esas dos ideas separadas es el hábito más importante de todo este curso.
| El teorema NIEGA | El teorema PERMITE |
|---|---|
| Un método que sea el mejor en todos los problemas | Un método que sea el mejor en tu problema |
| Una ventaja “gratis” que no cuesta nada en otro sitio | Una ventaja “pagada” que compras con conocimiento del problema |
| ”Esta herramienta gana, y punto" | "Esta herramienta gana aquí, por estas razones” |
Fijaos en la forma: cada celda “permitida” lleva un porque pegado. Las ventajas reales son siempre locales y siempre están pagadas. El teorema solo prohíbe la clase gratis, incondicional y que-funciona-en-todo.
¿Qué afirmación llamaría FALSA el teorema de que no hay almuerzo gratis?
Por qué “gratis” es la frase que lo sostiene todo
La gente suele acortar el teorema a “todos los métodos son iguales”. Eso es falso, y las palabras que faltan son “gratis”. Los métodos no son en absoluto iguales en los problemas que tenéis delante. Lo que no pueden hacer es ser mejores sin pagar: sin que esa ventaja se les reclame de vuelta en los problemas que se les dan mal.
Pensadlo como una manta demasiado pequeña. Subidla para taparos los hombros y os asoman los pies; bajadla sobre los pies y se os congelan los hombros. Un método afinado para ser genial en un tipo de problema tiene que dejar otro tipo al descubierto. No hay manta lo bastante grande para cubrirlo todo a la vez — eso sería el almuerzo gratis (free lunch), y no existe.
El error de lectura que hay que evitar desde el primer día
“No hay almuerzo gratis” no es “todos los métodos son igual de buenos”. Es “ningún método es mejor gratis”. Un método puede ser mucho mejor en los problemas a los que de verdad os enfrentáis — solo que lo compra con peor rendimiento en los problemas a los que no. Dedicaremos una lección entera a esta trampa; clavad la bandera ya.
Afirmaciones sobre ordenación: ¿mito del almuerzo gratis o jugada limpia?
Practiquemos la distinción. Algunas afirmaciones dan por hecho a hurtadillas un ganador universal (el mito que el teorema mata); otras hacen una afirmación modesta, local y pagada (perfectamente permitida).
Clasifica cada afirmación: ¿da por hecho un 'almuerzo gratis' prohibido (un ganador universal), o es una afirmación local y limpia que el teorema permite?
Place each item in the right group.
- "Para este paisaje suave y bien portado, el ascenso a la cima lo encuentra rápido."
- "Existe una dieta que es óptima para todo ser humano."
- "Con datos ya ordenados, esta comprobación termina en una sola pasada."
- "Mi algoritmo favorito gana con cualquier entrada, sin excepciones."
- "La repetición espaciada gana al empollar de golpe para memorizar vocabulario."
- "Esta es sencillamente la mejor técnica de aprendizaje — para cualquiera, cualquier materia."
De dónde viene la idea
No necesitáis la historia para usar el modelo, pero un poco de contexto ayuda a que se fije. La frase entró en la informática a través de David Wolpert y William Macready (Wolpert y Macready), que en 1997 demostraron un “teorema de que no hay almuerzo gratis para la optimización” — a grandes rasgos, que promediado sobre todas las funciones objetivo posibles, todos los algoritmos de búsqueda rinden igual. Wolpert había mostrado un resultado relacionado para el aprendizaje automático unos años antes. Las matemáticas son reales y precisas; la idea, por suerte, es algo que podéis captar con llaves, mantas y un almuerzo salado de taberna.
Empareja cada término con su significado llano.
Pick a term, then click its definition.
Recapitulación
Big picture
Ningún atajo funciona en todas partes
- No hay almuerzo gratis — la afirmación
- Promediado sobre TODOS los problemas
- Todos los métodos empatan
- Las diferencias se cancelan
- Niega una sola cosa
- Un ganador universal
- Permite
- Victorias locales, pagadas con conocimiento
- Las palabras que lo sostienen
- "gratis" — no "iguales"
- Promediado sobre TODOS los problemas
Así que la afirmación está sobre la mesa: ningún método gana en todas partes gratis. Eso debería resultaros sospechoso — ¿seguro que algún método listo no se cuela por delante? La siguiente lección hace que el teorema sea imposible de esquivar dejando que lo contéis vosotros mismos, en un tablero lo bastante pequeño para comprobarlo a mano.