لا غداء مجاني (في البحث والتحسين)
في التعقيد الحسابي والتحسين ، تنص نظرية لا غداء مجاني على أن التكلفة الحسابية لإيجاد حل والتي يتم حسابها عبر إيجاد المتوسط الحسابي لجميع المشكلات في الفئة، هي نفسها بالنسبة لأي طريقة حل. لذا لا يوجد حل مختصر. في الحوسبة، تحت ظروف معينة تكون المخرجات الناتجة من الإجراءات لحل نوع معين من المشاكل متطابقة إحصائياً. هناك طريقة لوصف ظرف كهذا، قدمه ديفيد ولبرت وويليام ج. ماكردي فيما يتعلق بمشاكل البحث  والتحسين ،  تتمثل بالقول بأنه لا يوجد غداء مجاني . استخلص ولبرت نظرية لا غداء مجاني للتعلم الآلي ( الاستدلال الإحصائي ). لكن قبله، أثبت كولين شافير (Cullen Schaffer)  نسخة مقيدة لنظريات ولبرت واستخدمها في نقد الوضع الحالي لأبحاث التعلم الآلي حول مشكلة الاستقراء.

في استعارة «لا غداء مجاني» ، تمثل اجراءات حل المشكلات بأنها مطاعم، لكل منها قائمة طعام، يكون الطعام هنا هو المشكلة، والسعر هو الكلفة الحاسوبية لحلها. قوائم المطاعم متطابقة إلا في جانب واحد -  حيث تختلط الاسعار من مطعم إلى آخر. بالنسبة لمن يأكلون اللحوم، والذين يُمكن أن يطلبوا أي طبق من القائمة، فإن متوسط تكلفة الغداء لا تعتمد على اختيار المطعم. ولكن النباتيون الذين يذهبون لتناول الغداء بانتظام مع من يأكلون اللحوم (والذين ستكون خياراتهم أكثر اقتصادية) قد يدفع متوسط تكلفة عالية لتناول طعام الغداء. لتقليل متوسط التكلفة بشكل ممنهج، يجب استخدام المعرفة المسبقة عن أ) ما سيطلبه الشخص و ب) كلفة الطلب في المطاعم المختلفة. وهذا يعني أن تحسين الأداء في حل المشكلات يتوقف على استخدام المعلومات السابقة لمطابقة الإجراءات مع المشاكل.

رسمياً، لا يوجد غداء مجاني عندما يكون توزيع الاحتمالية على المشاكل المماثلة بكيفية يكون لدى اجراءات حل المشاكل جميعها حلول متطابقة، حيث ستكون جميع الاجراءات متساوية. في حالة البحث ، تعد المشكلة دالة موضوعية ، والنتيجة هي سلسلة من القيم التي يتم الحصول عليها عبر تقييم الحلول المرشحة في مجال الدالة.

نظرة عامة 
تحل بعض المشكلات الحسابية من خلال البحث عن حلول جيدة من بين الحلول المرشحة . يسمى وصف كيفية اختيار الحلول المرشحة للتقييم بشكل متكرر بخوارزمية البحث . قد تحصل خوارزميات البحث المختلفة لمشكلة معينة على نتائج مختلفة، ولكن بأخذ جميع المشكلات في نظر الاعتبار، لا يمكن تمييز الخوارزميات المختلفة. ويترتب على ذلك أنه إذا حققت خوارزمية معينة نتائج متفوقة في بعض المشكلات، فيجب أن تحصل على نتائج اسوء في المشكلات الأخرى. بذلك، نفهم أنه لا يوجد غداء مجاني في البحث. بدلا من ذلك، ووفقاً لشافر،  فإن أداء البحث محفوظ. عادة ما  يُفهم البحث على أنه عملية تحسين، وهذا يؤدي إلى ملاحظة أنه لا يوجد غداء مجاني في التحسين.

مراجع 

استمثال رياضي
مبرهنات التعقيد الحسابي
في التعقيد الحسابي وا ل تحسين ، تنص نظرية لا غداء مجاني على أن التكلفة الحسابية ل إيجاد حل و التي يتم حساب ها عبر إيجاد المتوسط الحسابي ل جميع المشكلات في الفئة ، هي نفس ها ب النسبة ل أي طريقة حل . لذا لا يوجد حل مختصر . في الحوسبة ، تحت ظروف معينة تكون المخرجات الناتجة من الإجراءات ل حل نوع معين من المشاكل متطابقة إحصائياً . هناك طريقة لوصف ظرف ك هٰذا ، قدم ه ديفيد ولبرت وويليام ج . ماكردي فيما يتعلق بمشاكل البحث وا ل تحسين ، تتمثل ب القول ب أن ه لا يوجد غداء مجاني \ . است خلص ولبرت نظرية لا غداء مجاني للتعلم الآلي ( الاستدلال الإحصائي ) . لكن قبل ه ، أثبت كولين شافير ( Cullen Sch affer ) نسخة مقيدة لنظريات ولبرت واستخدم ها في نقد الوضع الحالي لأبحاث التعلم الآلي حول مشكلة الاستقراء . في استعارة « لا غداء مجاني » ، تمثل اجراءات حل المشكلات ب أن ها مطاعم ، ل كل من ها قائمة طعام ، يكون الطعام هنا هو المشكلة ، و السعر هو الكلفة الحاسوبية ل حل ها . قوائم المطاعم متطابقة إلا في جانب واحد - حيث تختلط الاسعار من مطعم إلى آخر . ب النسبة ل من يأكلون اللحوم ، و الذين يُمكن أن ي طلبوا أي طبق من القائمة ، ف إن متوسط تكلفة الغداء لا تعتمد على اختيار المطعم . و لٰكن النباتيون الذين يذهبون لتناول الغداء ب انتظام مع من يأكلون اللحوم ( و الذين س تكون خيارات هم أكثر اقتصادية ) قد يدفع متوسط تكلفة عالية لتناول طعام الغداء . ل تقليل متوسط التكلفة ب شكل مم نهج ، يجب استخدام المعرفة المسبقة عن أ ) ما سيطلب ه الشخص و ب ) كلفة الطلب في المطاعم المختلفة . و هٰذا يعني أن تحسين الأداء في حل المشكلات يتوقف على استخدام المعلومات السابقة لمطابقة الإجراءات مع المشاكل . رسمياً ، لا يوجد غداء مجاني عندما يكون توزيع الاحتمالية على المشاكل المماثلة بكيفية يكون لدى اجراءات حل المشاكل جميع ها حلول متطابقة ، حيث س تكون جميع الاجراءات متساوية . في حالة البحث ، تعد المشكلة دالة موضوعية ، و النتيجة هي سلسلة من القيم التي يتم الحصول علي ها عبر تقييم الحلول المرشحة في مجال الدالة . نظرة عامة تحل بعض المشكلات الحسابية من خلال البحث عن حلول جيدة من بين الحلول المرشحة \ . يسمى وصف كيفية اختيار الحلول المرشحة للتقييم ب شكل متكرر بخوارزمية البحث \ . قد تحصل خوارزميات البحث المختلفة ل مشكلة معينة على نتائج مختلفة ، و لٰكن ب أخذ جميع المشكلات في نظر الاعتبار ، لا يمكن تمييز الخوارزميات المختلفة . ويترتب على ذلك أن ه إذا حققت خوارزمية معينة نتائج متفوقة في بعض المشكلات ، ف يجب أن تحصل على نتائج اسوء في المشكلات الأخرى . ب ذٰلك ، نفهم أن ه لا يوجد غداء مجاني في البحث . بدلا من ذلك ، و وفقا لشافر ، ف إن أداء البحث محفوظ . عادة ما يُفهم البحث على أن ه عملية تحسين ، و هٰذا يؤدي إلى ملاحظة أن ه لا يوجد غداء مجاني في ا ل تحسين . مراجع استمثال رياضي مبرهنات التعقيد الحسابي