أساس رسمي لتحديد المسارات بأقل تكلفة باستخدام طرق استدلالية

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