الأدلة العليا

الأدلة العليا (بالإنجليزية: Metaheuristic)‏، في علوم الحاسب والأمثلة الرياضية، هي اجراءات أوإرشادات عالية المستوى مصممة لإيجاد أوابتكار أواختيار طرق درس خوارزمية نحصل من خلالها على حلول عالية الجودة لمسألة الأمثلة خاصة إذا كانت المعلومات غير كافية أوغير كاملة أوإذا كانت السعة الحسابية محدودة.

الأدلة العليا تضع نماذج للحلول التي تكون كبيرة جدًا لاأخذ أمثلة منها وهي أيضًا (الادلة العليا) تقدم بعض الافتراضات الخاصة بمشكلة الأمثلة التي نقوم بحلها كي نستطيع إعادة استخدامها في حل الكثير من المشكلات.

بالمقارنة بالخوارزميات الخاصة بالأمثلة والطرق التكرارية فإن الأدلة العليا لا تضمن إيجاد أفضل حل عامة على مستوى قطاع معين من مسائل (مشكلات) الأمثلة.

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

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

خصائص وتصنيفات

توجد الكثير من الخصائص التي تميز الأدلة العليا:

الأدلة العليا هي (استراتيجيات) لعملية البحث.
الهدف هواستكشاف محيط البحث بكفاءة لإيجاد أفضل وأقرب حل.
التقنيات التي تشكل خوارزميات الأدلة العليا تتراوح بين عمليات البحث البسيطة وعمليات التعليم المعقدة.
خوارزميات الأدلة العليا تقريبية وغير محددة.
مشكلة (مسألة) الأدلة العليا ليست مسألة محددة.

يوجد تنوع كبير في الأدلة العليا مع الكثير من الخصائص التي يمكننا من خلالها تصنيف تلك الطرق.

أحد الاتجاهات يمكننا تمييزه من خلال إستراتيجية البحث وأحد أنواع البحث هوتطوير لخوارزميات درس بسيطة. الأدلة العليا لهذا النوع تتضمن خوارزميات درس مثل (محاكاة الصلب simulated annealing) و(البحث المحلي المتكرر iterated local search) و(بحث جوار المتغير variable neighborhood search).

النوع الآخر من استراتيجيات البحث يمتلك مكونات تعليمية للبحث وهذا النوع يتضمن خوارزميات مثل (أمثلة مستعمرة النمل) و(الاحتساب التطوري والخوارزميات الجيبنية).

هناك تصنيف آخر هوالحل الأوحد في لقاء عمليات البحث. اتجاه الحل الأوحد يركز على تعديل وتطوير حل مرشح واحد ويتضمن الخوارزميات المذكوره سابقأ (محاكاة الصلب simulated annealing) و(البحث المحلي المتكرر iterated local search) و(بحث جوار المتغير variable neighborhood search ).

الاتجاه الآخر يحافظ ويطور حلول متعددة ويستخدم خصائص معروفة في البحث ويتضمن خوارزمات مثل الاحتساب التطوري.

بالإضافة إلى الخوارزمات المتتالية السابقة توجد أخرى متوازية ومختلطة. المختلطة هي التي تجمع اتجاهات الامثله كالبرمجة الرياضية والبرمجة المقيدة وتعليم الآلة وجميع مكونات الاتجاه المختلط يمكن حتى تعمل معًا وتتبادل المعلومات لقيادة البحث.

الخوارزمات المتوازية تستخدم تقنيات كالبرمجة المتوازية حتى تستطيع اجراء عمليات درس متعددة بالتوازي وهذا يتراوح من نظام درس سهل إلى عمليات بحثية تعمل في الوقت ذاته لتحين الحل النهائي بشكل عام.

التطبيقات

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

بعض المراجع نطقت حتى (Fred Glover) هومن صاغ مصطلح الأدلة العليا.

المشاركات

الكثير من "الأدلة العليا" المتنوعة تعتبر موجودة ويجرى باستمرار اقتراح متغيرات جديدة.

ومن أبرز المساهمات في هذا المجال:

1952: "روبن ومونرو" عملوا على تحسين الأساليب العشوائية.
1954: "بارسيلي" نفذ أول عملية محاكاة واستخدمها على مشاكل الأمثلة العامة.
1963: "راستريجين" اقترح درس عشوائي.
1965: "ماتياس" اقترح الأمثلة العشوائية.
1965: "نيلدر وميد" اقترحا إرشاد مبسط، والذي ظهر عن طريق (بويل) لتتقارب على نقاط غير ثابتة في بعض المشكلات.
1966: "فوغل وآخرون" اقترحوا برمجة متطورة.
1970: "هاستنجز" اقترح خوارزمية "متروبولسز -هاستنجز".
1970: "كافيكيو" اقترح التكيف على التحكم في متغيرات الأمثلة.
1970: "كيرنغان ولين" اقترحا طريقه تقسيم الرسم البيانى.
1975: "هولاند" اقترح طريقة الخوارزميات الجينية.
1977: "جلوفر" اقترح طريقة البحث الانتشاري.
1978: "ميرسر وسامبسون" اقترحا خطة تعريفية لضبط متغيرات الأمثلة عن طريق استخدام متغير آخر.
1980: "سميث" شرح البرمجة الجينية.
1983: (كيرك باتريك وآخرون) اقترحوا المحاكاة الصلبة.
1986: (جلوفر) يقترح طريقة البحث "تابو".
1989: (موسكاتو) يقترح خوارزمية "ميمتك".
1992: (دوريجو) يقدم أمثلة "مستعمرة النمل" في أطروحة الدكتوراة.
1995: (ولبرت وماك ريدي) اثبتوا نظرية "لا يوجد غذاء مجاني".