Understanding Human-like Solutions in Combinatorial Optimization via Learning and Search
تستقصي هذه الورقة كيفية حل البشر لمسائل البائع المتجول الإقليدية من خلال إثبات أن الجولات الشبيهة بالبشر والقريبة من المثالية لا تُنمذج بشكل أفضل عبر المحاكاة المباشرة للحلول المثالية، بل عبر شبكات عصبية مدربة مسبقاً على جولات مثالية، ومُعدلة بدقة عبر التعلم التعزيزي، ويتم فك تشفيرها من خلال أخذ عينات "الأفضل من N"، مما يشير إلى أن حل المشكلات لدى البشر ينبثق من مزيج من التعلم الخاضع للإشراف، والتعلم التعزيزي، والبحث في وقت الاختبار.
المؤلفون الأصليون:Haijiang Yan, Jian-Qiao Zhu, Liqiang Huang, Ming Meng
تخيل أنك تحاول حل لغز يتطلب منك زيارة مجموعة من المواقع المختلفة ثم العودة إلى منزلك، ولكنك تريد القيام بذلك بأقصر مسافة ممكنة. هذا لغز ذهني كلاسيكي يُعرف باسم "مسألة البائع المتجول". يبدو الأمر بسيطاً، لكن الرياضيات الكامنة وراءه تمثل كابوساً للحواسيب: فكلما أضفت المزيد من المواقع، ينفجر عدد المسارات الممكنة بسرعة كبيرة لدرجة أن أقوى الحواسيب العملاقة في العالم لا يمكنها فحص كل خيار بمفرده لإيجاد المسار الأفضل على الإطلاق. ومع ذلك، فإن البشر بارعون بشكل غريب في هذا. يمكننا النظر إلى خريطة للمدن ورسم مسار بسرعة يكون جيداً تقريباً مثل المسار المثالي، رغم أن عقولنا صغيرة وبطيئة مقارنة بالحاسوب. لطالما تساءل العلماء: كيف نفعل ذلك؟ هل نحن مجرد نخمن، أم أن هناك "خوارزمية" خفية في رؤوسنا لا نعرفها؟ يقع هذا السؤال عند تقاطع علم النفس (كيف تعمل عقولنا) وعلوم الحاسوب (كيف نبني آلات ذكية). إذا تمكنا من معرفة كيفية حل البشر لهذه الألغاز الصعبة بهذه الكفاءة، فقد نتمكن من بناء ذكاء اصطناعي أفضل وفهم تفكيرنا بشكل أفضل.
تتعمق هذه الورقة البحثية في هذا الغموض عبر التعامل مع حل البشر للمشكلات كأنه تجربة علمية ضخمة. لقد جمع الباحثون كمية هائلة من البيانات — أكثر من 20 مليون مسار رسمها أكثر من 1,100 شخص أثناء حلهم لـ 150,000 لغز مختلف للمدن. ثم بنوا نماذج حاسوبية لمعرفة أي منها يمكنه محاكاة طريقة تفكير البشر بشكل أفضل. واختبروا فكرتين رئيسيتين: إحداهما حيث يحاول الحاسوب إيجاد المسار المثالي رياضياً (مثل الروبوت)، والأخرى حيث يتعلم الحاسوب من الأمثلة ثم يحاول تحسين نفسه من خلال التجربة والخطأ (مثل طالب يتعلم من معلم ثم يمارس التدريب).
ما كانت المفاجأة الكبرى؟ النماذج الحاسوبية التي حاولت أن تكون مثالية لم تبدُ مثل البشر في الواقع. في الواقع، كانت المسارات "المثالية" جامدة ودقيقة هندسياً للغاية، وتفتقر إلى التفاصيل الصغيرة والاختصارات التي يتخذها البشر بشكل طبيعي. أما النماذج التي اكتفت بمجرد حفظ الرسومات البشرية فكانت أفضل، لكنها ظلت تبدو متصلبة بعض الشيء. وكان الفائز الحقيقي هو النهج الهجين؛ حيث تعلم النموذج الأفضل أولاً من المسارات "المثالية" لفهم القواعد الأساسية للهندسة، ثم تم صقله باستخدام طريقة تسمى "التعلم التعزيزي"، حيث يحصل على "مكافآت" عن طريق إيجاد مسارات أقصر. ولكن إليكم المفاجأة: هذا النموذج لم يبدُ شبيهاً بالبشر حقاً إلا عندما سُمح له بـ "التفكير" للحظة قبل الإجابة. فبدلاً من مجرد اختيار أول مسار جيد يراه، قام النموذج بتوليد العديد من المسارات الممكنة، وقارن بينها، واختار الأفضل. وهذا يشير إلى أن الذكاء الشبيه بالبشر لا يتعلق فقط بامتلاك عقل ذكي؛ بل يتعلق بامتلاك عقل ذكي يعرف أيضاً كيف يتوقف، ويولد بعض الخيارات، ويبحث بينها ليجد الأنسب. تشير الورقة إلى أن عقولنا قد تعمل بنفس الطريقة: نحن نتعلم الشكل العام للحل الجيد من خلال الخبرة، ولكن عندما نواجه مشكلة جديدة، نقوم بعملية "بحث" ذهني بسيطة لتنقيح إجابتنا.
وجد الباحثون أنه بينما لا نكون مثاليين، فإن حلولنا تعيش في "حوض قريب من المثالية". وهذا يعني أن مساراتنا قريبة جداً من المسارات الأفضل، وتتشارك في العديد من السمات الهيكلية نفسها، ولكنها تحتوي على انحرافات منهجية — عيوب صغيرة تجعلها بشرية فريدة. على سبيل المثال، يميل البشر إلى أن يكونوا أقل سلاسة في منعطفاتهم ويحافظون على أشكال هندسية مثالية أقل مما تفعله خوارزمية حاسوبية مصممة من أجل الكمال. كما تنفي الدراسة صراحةً فكرة أن البشر يستخدمون مجرد قواعد بسيطة "جشعة" (مثل اختيار أقرب مدينة تالية دائماً)، لأن تلك الاستراتيجيات البسيطة كان أداؤها أسوأ من التخمين العشوائي. وتشير أيضاً إلى أن مجرد نسخ الرسومات البشرية ليس كافياً؛ إذ يجب على النموذج فهم المنطق الكامن وراء الحلول "الجيدة" أولاً.
في النهاية، تقترح الورقة أن الحلول الشبيهة بالبشر تنبثق من مزيج من ثلاثة أشياء: تعلم هيكل الحلول الجيدة من الأمثلة (التعلم الخاضع للإشراف)، وتحسين تلك المعرفة من خلال التغذية الراجعة (التعلم التعزيزي)، ثم استخدام قدر من القوة الحسابية الإضافية في لحظة اتخاذ القرار للبحث عن الخيار الأفضل من بين خيارات متعددة (البحث في وقت الاختبار). وهذا يحاكي كيف تصبح أنظمة الذكاء الاصطنا الحديثة أكثر قوة، ليس فقط من خلال زيادة حجمها، بل من خلال تعلم التفكير بعمق أكبر قبل التحدث. ويرى المؤلفون أن استراتيجية "التفكير ثم التنفيذ" هذه هي على الأرج swell ما يسمح لنا بحل هذه المشكلات الصعبة للغاية بسرعة، محولين فوضى عارمة من الاحتمالات إلى مسار منظم وفعال.
ملخص تقني: فهم الحلول الشبيهة بالبشر في الأمثلة التوافقية عبر التعلم والبحث
1. بيان المشكلة
تعد مشكلات الأمثلة التوافقية (Combinatorial optimization)، مثل مسألة البائع المتجول الإقليدية (TSP)، معقدة حسابياً (NP-hard)، ومع ذلك يحلها البشر بكفاءة تقترب من المثالية تحت قيود زمنية وإدراكية شديدة. وبينما ينتج البشر مسارات تزيد طولها بنسبة ~10% فقط عن المثالية الرياضية، فإن الخوارزميات الإدراكية والمبادئ الهندسية المحددة التي تكمن وراء هذا الأداء "الشبيه بالبشر" لا تزال غير واضحة. تعتمد النماذج الحسابية الحالية إما على البحث الشامل (المكلف حسابياً) أو على استدلالات بسيطة (غالباً ما تكون دون المستوى وتفشل في التقاط الأنماط الهيكلية البشرية). التحدي المركزي هو تحديد إطار عمل حسابي لا يكتفي بحل مسألة (TSP) بكفاءة فحسب، بل يعيد أيضاً إنتاج البصمات الهندسية والانحرافات المنهجية المميزة للحلول البشرية.
2. المنهجية
2.1 جمع البيانات السلوكية واسعة النطاق (tsp150k)
أجرى المؤلفون أكبر تجربة سلوكية على أداء البشر في مسألة (TSP) حتى الآن، حيث أنتجوا مجموعة بيانات tsp150k.
المشاركون: 1,107 مشاركاً.
النطاق: 150,000 حالة فريدة من مسألة (TSP) مع أكثر من 20 مليون جولة تم إنشاؤها بشرياً.
مستويات التعقيد: خمسة مستويات بناءً على عدد المدن: 10، 12، 15، 19، و24 مدينة.
البروتوكول: حل المشاركون حالات (TSP) عبر الإنترنت من خلال منصة متكاملة مع تطبيق (WeChat). تم وضع حدود زمنية تعادل ضعف عدد المدن (مثلاً 20 ثانية لـ 10 مدن). لم يتم تقديم أي تغذية راجعة حول طول الجولة أثناء المهمة.
كثافة البيانات: تلقت كل حالة ما بين 92 و207 جولة بشرية (المتوسط 139)، مما يسمح بتوصيف إحصائي قوي للسلوك البشري.
2.2 إطار النمذجة الحسابية
قيمت الدراسة فضاء فرضيات واسع للنماذج الحسابية، مصنفة إلى طرق تعتمد على البحث فقط وطرق هجينة تجمع بين التعلم والبحث.
النماذج المرجعية القائمة على البحث فقط:
الدقيقة (Exact): نموذج (Concorde) باستخدام طريقة (branch-and-cut) للوصول إلى الحلول المثلى.
الاستدلالات (Heuristics): أقرب جار (Nearest Neighbor)، إدخال الغلاف المحدب الأرخص (Convex Hull Cheapest Insertion)، وأكبر زاوية داخلية (Largest Interior Angle).
الاسترخاء (Relaxation): الشبكة المرنة (Elastic Net) - (الاشتقاق المتدرج على حلقة قابلة للتشوه).
نماذج الشبكات العصبية (شبكات المؤشر - Pointer Networks): استخدم المؤلفون شبكات المؤشر (وهي شبكات RNN ذات آليات توجيه قائمة على الانتباه) لتحديد توزيعات الاحتمالات فوق الجولات الصالحة. تم اختبار أربعة أنظمة تدريب متميزة:
poptimal: التعلم الخاضع للإشراف على الجولات المثلى (حلول Concorde).
pRL: التعلم التعزيزي (RL) باستخدام طول الجولة الإقليدية السالب كمكافأة.
poptimal+RL: التدريب المسبق الخاضع للإشراف على الجولات المثلى متبوعاً بضبط دقيق باستخدام التعلم التعزيزي.
phuman: التعلم الخاضع للإشراف مباشرة على الجولات البشرية (باعتباره حداً أعلى تجريبياً).
استراتيجيات فك التشفير (Decoding Strategies): لتوليد الجولات من السياسات المدربة، تم تطبيق ثلاث استراتيجيات بحث:
فك التشفير الجشع (Greedy Decoding): الاختيار المندفع للمدينة التالية الأكثر احتمالاً.
البحث الشعاعي (Beam Search): تقريب استدلالي للتسلسل الكامل الأكثر احتمالاً.
أفضل-من-N (Best-of-N Sampling): أخذ عينات عشوائية من N جولة كاملة واختيار الأقصر بينها.
2.3 مقاييس التقييم
تم تقييم أداء النموذج على مجموعة اختبار محجوزة (50,000 حالة) باستخدام خمسة مقاييس تشابه زوجي تقارن بين جولات النموذج والجولات البشرية:
نسبة تداخل الحواف (EOR): نسبة الحواف المشتركة.
أطول سلسلة فرعية مشتركة (LCS): طول أطول تسلسل متتالي مشترك للمدن.
مسافة ليفنشتاين (LD): الحد الأدنى من التعديلات لتحويل جولة إلى أخرى.
مسافة فريشيه (FD): التباعد المكاني بين النقاط المتقابلة في ترتيب العبور.
معامل كيندال (Kendall's τ): ارتباط الرتب في ترتيب الزيارات.
التحليل الهندسي: تم استخراج ثمانية سمات هندسية محددة (مثل السلاسة، إنتروبيا زاوية الدوران، الحفاظ على الغلاف المحدب، ومثالية 2-opt) لتوصيف "الحوض الهندسي" للحلول البشرية.
3. النتائج الرئيسية
3.1 خصائص الأداء البشري
الجولات البشرية قريبة من المثالية ولكنها تظهر انحرافات منهجية، حيث تشغل "حوضاً هندسياً قريباً من المثالية".
يقضي البشر وقتاً أطول بشكل ملحوظ في التفكير عند الموضع الأولي، مما يشير إلى استراتيجية "فكر ثم نفذ".
بعد تجاهل المدن التي تمت زيارتها سابقاً، تستقر خيارات الإنسان للمدينة التالية عند مستوى عالٍ من المثالية المحلية.
3.2 مقارنة أداء النماذج
النماذج القائمة على البحث فقط: تفوقت الجولات المثلى (Concorde) والشبكة المرنة (Elastic Net) على الاستدلالات البسيطة وعلى خط الأساس البشري العشوائي، محققة تشابهاً عالياً مع الجولات البشرية. ومع ذلك، فشلت في التقاط بصمات نقص المثالية البشرية المحددة (مثل انخفاض السلاسة وضعف الحفاظ على الغلف المحدب مقارنة بالمثالية الرياضية).
التعلم الخاضع للإشراف النقي (phuman): حقق النموذج المدرب مباشرة على الجولات البشرية باستخدام البحث الشعاعي (Beam Search) أعلى توافق إجمالي (الدرجة التجميعية: 0.600)، مما شكل الحد الأعلى التجريبي.
أفضل نموذج قابل للتعميم (poptimal+RL): من بين النماذج التي لم تتدرب على البيانات البشرية، حقق نموذج PointerNet المدرب مسبقاً على الجولات المثلى والمضبط بدقة عبر التعلم التعزيزي (RL)، والمفكك عبر أخذ عينات أفضل-من-N (N=100)، أقوى تشابه مع البشر (الدرجة التجميعية: 0.600).
طابق هذا النموذج السمات الهندسية للجولات البشرية عن كثب (معامل بيرسون r=0.583 عبر ثماني سمات) وحقق أقل متوسط خطأ مطلق (MAE = 0.021).
نجح في إعادة إنتاج نقص المثالية المميز للبشر (مثل عدم المثالية التامة في الحفاظ على الغلاف المحدب) الذي فاتته برامج الحل المثلى البحتة.
3.3 تحليل الحوض الهندسي
الجولات البشرية متميزة عن الجولات المثلى البحتة؛ فهي تظهر سلاسة أقل ومثالية محلية (2-opt) أقل.
نماذج poptimal تتقارب بسرعة كبيرة نحو المنطقة الهندسية المثلى، مما يفقدها الانحرافات البشرية.
نماذج pRL تصبح مركزة للغاية على مجموعة ضيقة من الجولات ذات المكافأة العالية، مما يفتقر إلى التنوع المطلوب لإيجاد تنوعات شبيهة بالبشر أثناء البحث في وقت الاختبار.
نموذج poptimal+RL يحقق التوازن: يوفر التدريب المسبق الخاضع للإشراف دعماً واسعاً للجولات القريبة هندسياً من المثالية، بينما يعمل الضبط الدقيق بالتعلم التعزيزي على توجيه التوزيع نحو المسارات الأقصر دون القضاء على التنوع. هذا يسمح لأخذ عينات "أفضل-من-N" بالتقارب نحو منطقة تتوافق مع السلوك البشري.
4. المساهمات الرئيسية
مجموعة بيانات tsp150k: إنشاء مجموعة بيانات ضخمة وعالية الجودة تضم 150,000 حالة من مسألة (TSP) وأكثر من 20 مليون جولة بشرية، مما يتيح توصيفاً منهجياً للسلوك البشري.
تحديد الآليات الشبيهة بالبشر: إثبات أن الحلول الشبيهة بالبشر ليست مجرد تقليد للجولات المثلى، بل تنبثق من مزيج محدد من التعلم الخاضع للإشراف المهيكل (اكتساب المعرفة الهندسية)، والتعلم التعزيزي (التحسين من أجل الكفاءة)، والبحث في وقت الاختبار (أخذ عينات أفضل-من-N).
التوصيف الهندسي: تحديد "الحوض الهندسي" للحلول البشرية، وإظهار أن البشر يتشاركون في الخصائص الهيكلية مع الحلول المثلى مع الحفاظ على انحرافات منهجية (مثل السلاسة والحفاظ على الغلاف المحدب) التي تفشل الاستدلالات القياسية والحلول المثلى البحتة في التقاطها.
إطار النمذجة الإدراكية: اقتراح أن حل المشكلات البشرية في الفضاءات التوافقية يمكن نمذجته كعملية من مرحلتين: اكتساب المعرفة الهيكلية من أمثلة عالية الجودة (التقليد) وصقلها عبر التغذية الراجعة (التعلم التعزيزي)، يليه التداول (البحث) في وقت الاختبار.
5. الأهمية والادعاءات
يزعم البحث أن الأداء الشبيه بالبشر في الأمثلة التوافقية لا ينبع من استدلالات ثابتة ومصممة يدوياً، بل من بنية حسابية تدمج التعلم والبحث. وتحديداً:
التآزر بين التعلم والبحث: النموذج الأكثر دقة للسلوك البشري ليس تقليداً مباشراً للبيانات البشرية، بل هو نموذج مدرب على بيانات مثلى، ومصقول بالتعلم التعزيزي، ومفكك عبر البحث. يشير هذا إلى أن البشر قد يكتسبون معرفة هندسية واسعة من خلال التعرض لأمثلة عالية الجودة، ويصقلون هذه التمثيلات من خلال التغذية الراجعة القائمة على الخبرة.
دور الحوسبة في وقت الاختبار: تسلط الدراسة الضوء على أن "الحوسبة في وقت الاختبار" (مثل أخذ عينات أفضل-من-N) هي مكون حيوي، غالباً ما يتم تجاهله، في النمذجة الإدراكية. فهي تسم تسمح للشبكة العصبية الثابتة بتوليد تنوع شبيه بالبشر في جودة الحلول دون تعديل أوزانها، وهو ما يوازي آليات مثل "سلسلة الأفكوات" (Chain-of-Thought) في النماذج اللغوية الكبيرة.
القدرة على التعميم: تشير النتائج إلى أن "الدرس المرير" للذكاء الاصطناعي —الاعتماد على التعلم والحوسبة بدلاً من الاستدلالات الثابتة— ينطبق أيضاً على الإدراك البشري. فقد تعكس الحلول البشرية للمشكلات المعقدة نظيراً إدراكياً لطرق عامة تتعلم من الخبرة وتستغل الحوسبة من خلال البحث.
يشير المؤلفون بتواضع إلى أنه بينما يعيد نموذجهم إنتاج الهندسات البشرية دون التدريب المباشر على الجولات البشرية، فإن مصدر "العروض المثلى" للتعلم الخاضع للإشراف البشري يظل سؤالاً مفتوحاً، والذي قد يتضمن التعلم المنهجي (Curriculum Learning) من حالات أبسط.