Введение

Если алгоритм хорошо справляется с одними задачами, то он расплачивается за это при решении других. – математический фольклор.

В математическом фольклоре теорема "нет бесплатного обеда" (NFL) (иногда употребляется во множественном числе) Дэвида Уолперта и Уильяма Макреди отсылает к поговорке "бесплатного сыра бывает только в мышеловке", то есть не существует простых путей к успеху. Она была опубликована в 1997 году в работе "Теоремы оптимизации без бесплатного обеда". Ранее Уолперт вывел теоремы "нет бесплатного обеда" для машинного обучения (статистического вывода). В 2005 году сами Уолперт и Макреди отметили, что первая теорема в их статье "утверждает, что любые два алгоритма оптимизации эквивалентны, если их производительность усредняется по всем возможным задачам". Теорема "нет бесплатного обеда" (NFL) – это легко сформулированное и понятное следствие теорем, которые Уолперт и Макреди на самом деле доказали. Она слабее доказанных теорем и, следовательно, не охватывает их полностью. Различные исследователи значительно расширили работу Уолперта и Макреди. С точки зрения применения теоремы NFL в контексте исследований, область "отсутствие бесплатного обеда" в поиске и оптимизации посвящена математическому анализу данных на предмет статистической идентичности, в частности, в задачах поиска и оптимизации. В то время как некоторые ученые считают, что NFL дает важные идеи, другие утверждают, что NFL имеет мало отношения к исследованиям в области машинного обучения.

Происхождение

Вулперт и Макреди приводят две теоремы НФЛ, тесно связанные с фольклорной теоремой. В своей статье они утверждают: "Мы назвали связанные результаты теоремами НФЛ, поскольку они показывают, что если алгоритм хорошо работает на определенном классе задач, то он неизбежно расплачивается за это ухудшением производительности на всех остальных задачах."