No free lunch theorem
In mathematical folklore, the "no free lunch" theorem (sometimes pluralized) of David Wolpert and William Macready appears in the 1997 "No Free Lunch Theorems for Optimization". Wolpert had previously derived no free lunch theorems for machine learning (statistical inference). In 2005, Wolpert and Macready themselves indicated that the first theorem in their paper "state[s] that any two optimization algorithms are equivalent when their performance is averaged across all possible problems". The 1997 theorems of Wolpert and Macready are mathematically technicaland some[who?] find them unintuitive. The folkloric "no free lunch" (NFL) theorem is an easily stated and easily understood consequence of theorems Wolpert and Macready actually prove. It is weaker than the proven theorems, and thus does not encapsulate them.
Various investigators have extended the work of Wolpert and Macready substantively. See No free lunch in search and optimization for treatment of the research area.
Original NFL theorems
Wolpert and Macready give two NFL theorems that are closely related to the folkloric theorem. In their paper, they state:
We have dubbed the associated results NFL theorems because they demonstrate that if an algorithm performs well on a certain class of problems then it necessarily pays for that with degraded performance on the set of all remaining problems.[this quote needs a citation]
- Theorem 1: For any pair of algorithms a1 and a2, at iteration step m
where denotes the ordered set of size of the cost values associated to input values , is the function being optimized and is the conditional probability of obtaining a given sequence of cost values from algorithm run times on function .
The theorem can be equivalently formulated as follows:
- Theorem 1: Given a finite set and a finite set of real numbers, assume that is chosen at random according to uniform distribution on the set of all possible functions from to . For the problem of optimizing over the set , then no algorithm performs better than blind search.
Here, blind search means that at each step of the algorithm, the element is chosen at random with uniform probability distribution from the elements of that have not been chosen previously.
In essence, this says that when all functions f are equally likely, the probability of observing an arbitrary sequence of m values in the course of optimization does not depend upon the algorithm. In the analytic framework of Wolpert and Macready, performance is a function of the sequence of observed values (and not e.g. of wall-clock time), so it follows easily that all algorithms have identically distributed performance when objective functions are drawn uniformly at random, and also that all algorithms have identical mean performance. But identical mean performance of all algorithms does not imply Theorem 1, and thus the folkloric theorem is not equivalent to the original theorem.
Theorem 2 establishes a similar, but "more subtle", NFL result for time-varying objective functions.
Intelligent design and the NFL theorem
The folkloric NFL theorem is often invoked by intelligent design proponent William Dembski as supporting intelligent design and Dembski's concept of specified complexity which he claims is evidence of design. Many in the scientific community have rejected both the notions of specified complexity and that the no free lunch theorem supports intelligent design.
- Wolpert, D.H., Macready, W.G. (1997), "No Free Lunch Theorems for Optimization", IEEE Transactions on Evolutionary Computation 1, 67.
- Wolpert, David (1996), "The Lack of A Priori Distinctions between Learning Algorithms", Neural Computation, pp. 1341-1390.
- Wolpert, D.H., and Macready, W.G. (2005) "Coevolutionary free lunches", IEEE Transactions on Evolutionary Computation, 9(6): 721-735
- Forster, Malcolm R. (2009). "Notice: No Free Lunches for Anyone, Bayesians Included" (PDF). Retrieved 2014-01-14.
The problem with the no-free-lunch theorems in machine learning is that they are rather complicated and difficult to follow because they are proven under the most general conditions possible.
- Dembski, W. A. (2002) No Free Lunch, Rowman & Littlefield
- Wolpert, D. (2003) "William Dembski's treatment of the No Free Lunch theorems is written in jello".
- Perakh, M. (2003) "The No Free Lunch Theorems and Their Application to Evolutionary Algorithms".
- No Free Lunch Theorems
- No Free Lunches for Anyone, Bayesians Included (1999) - a simple example illustrating the idea behind these theorems
-  - graphics illustrating the theorem