تعد مشكلة البائع المتجول (Traveling Salesperson Problem - TSP) واحدة من أبرز المشكلات في مجالات علوم الكمبيوتر، حيث تلعب دورًا حيويًا في العديد من التطبيقات الهندسية، مثل المركبات الذكية وأنظمة النقل الذكية. في الحالة "الإقليدية"، يتم تعريف كل نقطة بواسطة إحداثياتها في المستوى، ويتم حساب المسافات باستخدام القياس الإقليدي.

تتبع الأدبيات المتعلقة بالبرمجة القياسية (Constraint Programming - CP) عادةً نهجًا يقوم على حساب مصفوفة المسافات الكاملة ومعالجتها كحالة عامة، وهو ما يتجاهل المعلومات الهندسية التي تحملها إحداثيات النقاط. في هذا العمل، نقترح خوارزميات تصفية جديدة، تم تنفيذها في البرمجة المنطقية القياسية، تستفيد من هذه المعلومات الهندسية لتحقيق انتشار أقوى للقيود مقارنةً بالنهج الحالي.

علاوة على ذلك، نوضح كيف يمكن توسيع هذه المنهجية لتشمل المتغيرات الأخرى لمشكلة البائع المتجول الإقليدي، مثل مشكلة البائع المتجول العمومية الإقليدية (Euclidean Generalized Traveling Salesperson Problem - EGTSP)، والتي تُعتبر ذات صلة كبيرة في التطبيقات العملية للنقل واللوجستيات.

تظهر النتائج التجريبية المزايا الحاسوبية للنهج المقترح، مما يؤكد فعاليته في تحسين كفاءة أي نظام لوجستي. هل أنتم مستعدون لاستكشاف كيف يمكن لهذه الخوارزميات تحسين مشاريعكم المستقبلية؟ شاركونا آراءكم في التعليقات.