Redundancy-Triggered Relocation: Decentralized Coordination of Local Searchers for Static and Dynamic Multimodal Optimization
تقترح هذه الورقة آلية "إعادة التوطين المحفزة بالوفرة" (RTR)، وهي آلية تنسيق لا مركزية حيث تعيد الباحثون المحليون تشغيل أنفسهم ذاتياً عند اكتشاف زملاء أكثر ملاءمة ضمن نصف قطر إدراك محدود، مما يقلل بفعالية من التقارب الزائد ويحسن الأداء بشكل كبير في معايير التحسين متعدد الأنماط الديناميكية دون الحاجة إلى متحكم مركزي أو ضبط بارامترات خاصة بالمشكلة.
لا تمتلك العديد من مشكلات العالم الحقيقي جواباً واحداً أمثلاً. فقد يحتاج مخطط المدينة إلى عدة مسارات مختلفة لإدارة حركة المرور، أو قد يرغب المصمم في تكوينات متميزة ومتعددة للآلة، لكل منها نقاط قوة خاصة بها. وفي مجال الأمثلة (optimization)، وهو الدراسة الرياضية لإيجاد الحلول المثلى، يُعرف هذا التحدي باسم "الأمثلة متعددة الأنماط" (multimodal optimization). والهدف ليس مجرد العثور على أعلى قمة واحدة في مشهد من الاحتمالات، بل تحديد كل قمة بارزة، بغض النظر عن عددها. وتصبح هذه المهمة أكثر صعوبة عندما يتغير المشهد نفسه بمرور الوقت، كما يحدث في البيئات الديناميكية مثل جدولة عمليات التسليم لتلبية الطلب المتقلب أو تتبع الأهداف المتحركة. وفي هذه السيناريوهات المتغيرة، يجب على الخوارزمية ألا تكتفي فقط بإيجاد جميع القمم، بل يجب أن تستمر في إيجادها مجدداً بعد كل تغيير.
تكمن الصعوبة في كيفية سلوك خوارزميات البحث هذه. فإذا تُركت لتقرر مصيرها بنفسها، يميل فريق من الباحثين إلى التكدس فوق القمة الأكثر جاذبية، متجاهلين القمم الأخرى. ولمنع حدوث ذلك، طور الباحثون أساليب لإبقاء الباحثين منتشرين، غالباً عن طريق إجبارهم على البقاء في مجموعات منفصلة أو عبر فرض عقوبات على أولئ تس يتواجدون بالقرب من بعضهم البعض بشكل مفرط. ومع ذلك، تتطلب هذه الأساليب غالباً وجود متحكم مركزي يراقب الجميع، أو تحتاج إلى تخمين دقيق حول مدى تباعد القمم. وعندما تتغير البيئة أو عندما يكون الباحثون روبوتات مادية لا تتواصل إلا مع جيرانها، يصبح المتحكم المركزي عائقاً أو أمراً مستحيلاً. ويبقى السؤال: هل يمكن لفريق من البحث المحلي التنسيق بفعالية دون وجود "رئيس"، ودون خريطة للمنطقة بأكملها، ودون معرفة العدد الدقيق للقمم الموجودة؟
يقترح دييغو بالما، وهو باحث مستقل، حلاً يسمى "إعادة التمركز الناجم عن التكرار" (redundancy-triggered relocation). الفكرة بسيطة بشكل مخادع: يجب على الباحث أن يتحرك فقط إذا أدرك أنه يهدر وقته. في هذا النظام، ينظر كل باحث فقط إلى جيرانه المباشرين. فإذا رأى الباحث زميلاً له قريباً منه يؤدي بشكل أفضل ويستحوذ على نفس المنطقة، فإنه يستنتج أنه "فائض عن الحاجة". وبدلاً من الاستمرار بعناد في تسلق قمة نجح زميل أكثر كفاءة في تأمينها، يتخلى الباحث الفائض عن ذلك الموقع ويبدأ بحثه من جديد في موقع عشوائي جديد. يتم اتخاذ هذا القرار محلياً؛ فلا يحتاج الباحث إلى معرفة موقع كل وكيل آخر في النظام، بل يحتاج فقط لمعرفة أولئك الذين يقعون ضمن نطاق إدراكه المحدود. وهذا يسمح للفريق بالتنظيم الذاتي، حيث يحتفظ وكيل واحد بكل قمة، بينما يتجول الآخرون للعثور على قمم جديدة، وكل ذلك دون مركز قيادة مركزي.
اختبر الباحث هذا النهج باستخدام مجموعة قياسية من المشكلات المعقدة المصممة لمحاكاة البيئات الديناميكية متعددة القمم. وقد تم تجهيز الباحثين بأداة بحث محلي قوية، وكُلف الفريق بمهمة العثور على جميع القمم مع تغير المشهد. وأظهرت النتائج أن هذه القاعدة البسيطة المتمثلة في التحرك فقط عند وجود جار أكثر كفاءة قريبة، حسنت أداء الفريق بشكل كبير. ففي مجموعة من أربع وعشرين مشكلة ديناميكية، ارتفع متوسط معدل النجاح في العثور على القمم من ما يزيد قليلاً عن النصف إلى ما يقرب من الثلثين. وكان هذا التحسن كبيراً بما يكفي لترتيب هذا الأسلوب في المرتبة الأولى بين عدة استراتيجيات بحث ديناميكية أخرى تم اختبارها في الدراسة ذاتها. وبينما حققت المشاركات الأكثر تقدماً في السنوات الأخيرة درجات إجمالية أعلى قليلاً، إلا أن هذا الأسلوب الجديد تفوق عليها في نوع معين من التضاريس المكونة من أشكال مخروطية ذات عشرة أبعاد، حيث وجد أعلى متوسط لعدد القمم مقارنة بأي طريقة أخرى تم اختبارها.
والأهم من ذلك، أن الدراسة استبعدت عدة تفسيرات بديلة لهذا النجاح. فلم يكن المكسب ناتجاً ببساطة عن تحريك الوكلاء في فترات زمنية عشوائية، ولا جاء من إعادة بدء البحث فقط عندما توقف عن التحسن. بل جاء التحسن تحديداً من "المحفز": وهو قرار التحرك فقط عند اكتشاف زميل أكثر كفاءة في الجوار. كما أظهر البحث أن النظام يمكنه تحمل التأخير في المعلومات؛ فحتى لو كان الباحث يعمل بمعلومات قديمة قليلاً عن مواقع زملائه، ظل الأداء قوياً. وهذا يشير إلى أن الطريقة قوية بما يكفي للتطبيقات الواقعية حيث قد يكون التواصل بطيئاً أو غير مثالي. ومع ذلك، فإن هذه الطريقة ليست علاجاً شاملاً لكل شيء؛ فقد واجهت صعوبة عندما كانت القمم قريبة جداً من بعضها البعض، وهي حالة تفوقت فيها الطرق الأكثر تعقيداً التي تحلل شكل التضاريس صراحةً. كما لم تتفوق في مقياس محدد مستخدم في مجالات أخرى يكافئ العثور على القمة الأعلى الوحيدة فقط، لأن هذه الطريقة مصممة لتوزيع جهدها بالتساوي عبر جميع القمم التي تجدها.
تؤكد الدراسة أن فريقاً من الباحثين المحليين يمكنه التنسيق بفعالية دون وجود عقل مركزي أو خريطة عالمية. فمن خلال الاعتماد على قاعدة محلية بسيطة — تحرك فقط إذا كان هناك جار يتفوق عليك — يتجنب الفريق هدر الجهد في مطاردة عدة وكلاء لنفس الجائزة. يقدم هذا النهج طريقة خفيفة الوزن ولامركزية لحل المشكلات المعقدة والمتغيرة، مما يثبت أن التنسيق الأكثر فعالية أحياناً هو ببساطة معرفة متى يجب عليك التنحي جانباً وترك شخص آخر يقوم بالعمل.
بيان المشكلة يتطلب التحسين متعدد الأنماط الديناميكي (Dynamic multimodal optimization) من الخوارزميات تحديد مواقع العديد من القيم المثلى العالمية بشكل متكرر مع تغير دالة الهدف بمرور الوقت. ويتمثل التحدي الرئيسي في هذا المجال في التخصيص الفعال لميزانية الحوسبة: فبدون تدخل، غالبًا ما تتقارب عمليات البحث المحلي نحو نفس حوض الجذب، مما يؤدي إلى هدر الموارد مع تفويت القيم المثلى الأخرى. وتعتمد الحلول الحالية، مثل طرق التخصيص (niching methods) واستراتيجيات المجموعات المتعددة، بشكل متكرر على المعلومات العالمية، أو التجميع (clustering)، أو المتحكمات المركزية لإدارة المجموعات الفرعية. ويمكن أن تكون هذه النهج مكلفة حوسبيًا أو غير عملية في البيئات الموزعة حيث لا يمكن للباحثين (مثل الروبوتات أو عمال المحاكاة المستقلين) الحفاظ على رؤية عالمية فورية لجميع زملائهم.
المنهجية: إعادة التمركز المحفزة بالوفرة (RTR) يقترح البحث تقنية "إعادة التمركز المحفزة بالوفرة" (Redundancy-Triggered Relocation - RTR)، وهي قاعدة تنسيق لامركزية لفريق من الباحثين المحليين. تعمل الآلية الأساسية كما يلي:
الإدراك المحلي: يدرك كل باحث i فقط الزملاء ضمن نصف قطر إدراك محدد vi.
شرط الوفرة: يُعتبر الباحث زائدًا عن الحاجة (redundant) إذا أدرك زميلًا j يتفوق عليه بوضوح في اللياقة (fj>fi) ويقع ضمن نصف قطر استبعاد rex، بشرط أن يكون j أيضًا ضمن نصف قطر إدراك i (∥xj−xi∥≤vi).
الإجراء: إذا كان زائدًا عن الحاجة، يعيد الباحث التمركز فورًا إلى نقطة جديدة (عادةً ما تكون النقطة الأبعد من بين k من النقاط العشوائية من الزملاء المدركين) ويعيد تشغيل مُحسِّنه المحلي (CMA-ES أو (1+1)-ES) مع حجم خطوة جديد. وإذا لم يكن زائدًا عن الحاجة، فإنه يحتفظ بحوضه الحالي.
اللامركزية: تُتخذ القرارات بشكل غير متزامن بناءً على المعلومات المحلية فقط (المواقع وقيم اللياقة للزملاء القريبين). لا يتطلب الأمر أي تجميع عالمي، أو متحكم مركزي، أو تقدير لكل مشكلة لعدد القيم المثلى.
المكونات الاختيارية: تضمنت التشكيلة التي تم تقييمها مكونين إضافيين: (1) تكييف أنصاف أقطار الإدراك عبر محاكاة الزملاء الناجحين، و(2) استراتيجية اختيار وجهة محددة (النقطة الأبعد). وقد أظهرت دراسات الاستئصال (ablation studies) لاحقًا أن هذين المكونين لم يكونا ضروريين لتحقيق مكاسب الأداء الجوهرية.
المساهمات الرئيسية
قاعدة RTR: آلية تنسيق خفيفة الوزن حيث يعيد الباحثون التمركز فقط عندما يدركون زميلًا أكثر لياقة يحتل حوضهم ضمن نصف قطر استبعاد صغير. يسمح هذا للفريق بالتنظيم الذاتي إلى "حاملين" (يعملون على تحسين القيم المثلى) و"كشافين" (يستكشفون مناطق جديدة) دون الحاجة إلى معلمات صريحة لعدد المجموعات الفرعية.
التحليل النظري للاستبعاد: يقدم البحث تحليلًا رسميًا (الافتراض 1) يوضح أن الاستبعاد العالمي يفرض حدًا أقصى صارمًا لعدد القيم المثلى التي يمكن للفريق الاحتفاظ بها عند السكون، وهو ما يحدده عدد التعبئة (packing number) للقيم المثلى عند نصف قطر الاستبعاد. وعلى العكس من ذلك، فإن الإدراك المحدود يرفع هذا الحد، مما يسمح بالاحتفاظ بقيم مثلى متميزة قريبة من بعضها البعض إذا كان نصف قطر إدراك الحامل الأقل لياقة أصغر من المسافة بينهما.
التقييم الصارم والاستئصال: يفصل البحث بين "المحفز" (إعادة التمركز بسبب الوفرة) وبين عوامل أخرى مثل معدل إعادة التمركز أو عمليات إعادة التشغيل القائمة على التقارب. ويستخدم معايير وضوابط محددة مسبقًا لإثبات أن مكاسب الأداء تنبع تحديدًا من محفز الوفرة ومن نصف قطر الاستبعاد الفعال الصغير، وليس من إعادة التمركز العشوائي أو عمليات إعادة التشغيل القياسية عند التقارب.
النتائج
مجموعة CEC 2022 للمهام الديناميكية متعددة الأنماط: في الحالات التي وضعها المنظمون، أدت تقنية RTR مع باحثي CMA-ES إلى زيادة متوسط نسبة الذروة من 0.503 (الباحثين المستقلين بدون إعادة تمركز) إلى 0.628. وبدون المكونين الاختياريين، ارتفعت الدرجة إلى 0.640. احتلت RTR المرتبة الأولى بين النماذج الديناميكية المختبرة (mQSO, HmSO, DE) وتفوقت على ثلاثة من أصل ستة مدخلات منشورة في المسابقات بين عامي 2022 و2024. ومع ذلك، فقد تراجعت عن أفضل ثلاثة مدخلات منشورة (DAEA, AMLP-RS-CMSA-ESII, CMA-ES-DS) في متوسط الأداء العام، رغم أنها حققت أعلى متوسط في تضاريس المخروط ذات الـ 10 أبعاد.
مجموعة CEC 2013 للتدخل (Niching): حسنت RTR متوسط نسبة الذروة من 0.736 إلى 0.777 مقارنة بالباحثين الذين لا يعيدون التمركز. وقد كان أداؤها تنافسيًا في دالات التركيب (5-20 بُعدًا)، مقتربة من أفضل النتائج المنشورة، لكنها تأخرت عن طرق التدخل المتخصصة في المسائل ذات الأبعاد المنخفضة والتي تحتوي على قيم مثلى متقاربة للغاية (مثل دالات Shubert).
اختبار القمم المتحركة (Moving Peaks): كما هو متوقع، لم تتفوق RTR في مقاييس الخطأ غير المتزامن (offline error) التي تكافئ تتبع أعلى قمة واحدة، حيث توزع الطريقة الجهد بالتساوي عبر القمم المحتفظ بها. ومع ذلك، ثبت أن إعادة التمركز أمر ضروري، حيث قللت من الخطأ غير المتزامن بشكل كبير مقارنة بالباحثين الذين لا يعيدون التمركز.
الاستئصال والضوابط:
المحفز مقابل العشوائي: أدت إعادة التمركز في أوقات عشوائية بنفس معدل RTR إلى انخفاض حاد في الأداء (متوسط نسبة الذروة 0.217)، مما يؤكد أن المحفز هو مصدر المكسب.
التقارب مقابل الوفرة: لم تحقق إعادة التشغيل فقط عند التقارب أو الركود (بدون محفز الوفرة) أي تحسن مقارنة بعدم إعادة التمركز أبدًا.
نصف قطر الإدراك: أدى الاستبعاد العالمي (الإدراك الكامل) إلى الوصول للحدود النظرية وكان أداؤه أسوأ في المسائل ذات القيم المثلى المتقاربة للغاية. كان الإدراك المحدود (أو نصف قطر ثابت وصغير) ضروريًا لتجنب قرارات الوفرة الخاطئة.
المعلومات المتأخرة: ظلت القاعدة قوية حتى عند تأخر معلومات الزملاء لمدة دورة كاملة واحدة.
الأهمية والادعاءات يدعي البحث أن تقنية RTR توفر حلاً فعالًا وخفيف الوزن لتنسيق الباحثين المحليين في التحسين متعدد الأنماط الثابت والديناميكي دون الحاجة إلى التجميع، أو التحكم المركزي، أو ضبط المعلمات الخاصة بالمشكلة لعدد القيم المثلى. وتتمثل المساهمة الرئيسية في إثبات أن قاعدة لامركزية بسيطة — وهي إعادة التمركز فقط عند إدراك زميل أكثر لياقة في مكان قريب — يمكن أن تحسن الأداء بشكل كبير مقارنة بالباحثين المستقلين والنماذج القياسية.
ويقر المؤلف بتواضع بوجود قيود: تقنية RTR ليست مصممة لمقاييس الخطأ غير المتزامن التي تعطي الأولوية لأعلى قمة واحدة، كما أنها تواجه صعوبة عندما تكون القيم المثلى متقاربة للغاية، وهو سيناريو تظل فيه طرق اكتشاف الأحواض الصريحة (مثل HillVallEA) متفوقة. ويخلص البحث إلى أن فائدة RTR تكمن في آلية المحفز المحددة واستخدام نصف قطر استبعاد فعال صغير، مما يسمح للفريق بتكييف توازن الاستكشاف والاستغلال ديناميكيًا ومحليًا.