ノーフリーランチ定理
この定理の名称は、ハインラインのSF小説『月は無慈悲な夜の女王』(1966年)で有名になった格言の"There ain't no such thing as a free lunch."に由来する。かつて酒場で「飲みに来た客には昼食を無料で振る舞う」という宣伝が行われたが、「無料の昼食」の代金は酒代に含まれていて実際には「無料の昼食」なんてものは有る訳がないだろう、という意味である。格言自体はハインラインの創作ではなく、1949年には既に用例がある。TANSTAAFL(タンスターフルと発音)というアクロニムも同作品で広まったが、これも表現自体は以前からある。
この定理は数学的にありうべき全ての問題の集合について、どの探索アルゴリズムも同じ平均性能を示すことを説明したものである。これは、探索アルゴリズムに必ず何らかの偏向があるため、そのアルゴリズムが前提としている事が問題に当てはまらないことがあるからである。
右の図はノーフリーランチ定理を視覚化した例である。