KAYROS: An Anytime and Exact Open-Source Solver for Duration-Minimization Time-Dependent Vehicle Routing. A Technical Report and a Case Study in Human-AI Engineering

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

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

هنا يأتي دور أداة جديدة تسمى KAYROS. فكر في KAYROS كساحر مرور ذكي للغاية ولا يكل، لا يكتفي بالتخمين فحسب؛ بل يحسب الجدول الزمني الأفضل على الإطلاق. ولكن إليك الخدعة السحرية: هو لا يعطيك مجرد إجابة "جيدة بما يكفي" بعد انتظار ساعة. بل يبدأ في تقديم إجابات أفضل فأفضل منذ الثانية الأولى التي يبدأ فيها التفكير، وإذا أوقفته، فإنه يخبرك بأفضل حل وجده حتى تلك اللحظة. والأروع من ذلك، أنه يمكنه إثبات أن الحل مثالي رياضياً، وليس مجرد تخمين محظوظ. كما تقدم الورقة البحثية مجموعة جديدة ضخمة من ألغاز التدريب تسمى Poryos2026، مبنية من خرائط مدن حقيقية، لاختبار ما إذا كان هؤلاء السحرة بارعين حقاً في وظائفهم.

سحر KAYROS: برنامج حل لا ينام

تقدم الورقة البحثية KAYROS، وهو برنامج مفتوح المصدر مصمم لحل "مشكلة توجيه المركبات المعتمدة على الوقت". تخيل أنك تخطط لرحلة طريق لأسطول من سائقي التوصيل. لديك قائمة من التوقفات، ولكل توقف نافذة زمنية محددة يكون فيها العميل في المنزل (على سبيل المثال: "يمكنك فقط تسليم الطرد بين الساعة 2:00 ظهراً و4:00 عصراً"). الجزء الصعب هو أن الوقت المستغرق للقيادة بين التوقفات يتغير اعتماداً على وقت المغادرة.

يتميز KAYROS بأنه يفعل شيئين في آن واحد، وهو مزيج نادر في عالم برامج الحل الحاسوبية:

1. إنه "في أي وقت" (Anytime): عندما تشغل KAYROS، فإنه لا يجلس صامتاً لساعات. بل يبدأ فوراً في إخراج الحلول. قد يكون الأول عادياً، لكن التالي سيكون أفضل، والذي يليه سيكون أفضل وأفضل. الأمر يشبه طباخاً يتذوق الحساء ويضيف التوابل باستمرار؛ يمكنك إيقاف الطبخ في أي لحظة، وستحصل على أفضل حساء ممكن بناءً على ذلك القدر من الوقت المستغرق.
2. إنه "دقيق" (Exact): إذا تركته يعمل لفترة كافية، فهو لا يخمن الإجابة الأفضل فحسب؛ بل يثبت أنها الإجابة الأفضل. إنه يصدر "شهادة"، وهي بمث مثابة إيصال رياضي يمكن لأي شخص التحقق منه للتأكد من عدم وجود مسار آخر يمكن أن يكون أسرع.

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

قصة "النفي الذاتي": كيف أمسكوا بخطئهم؟

أحد أكثر الأجزاء إثارة في الورقة البحثية هو قصة عن الأمانة. أراد المؤلفون التأكد من أن شهاداتهم "المثالية" هي مثالية بالفعل. فقد وضعوا قاعدة صارمة: لكي يدّعي البرنامج أن حلاً ما هو الأفضل، يجب أن تتفق أربعة تشغيلات مختلفة للحاسوب على نفس الإجابة تماماً.

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

لم يخفِ المؤلفون ذلك. لقد سحبوا علناً جميع الشهادات الـ 160، وأصلحوا الكود للتعامل مع هذه "القفزات" بدقة، وأعادوا إجراء الاختبارات مرة أخرى. هذه القصة مدرجة لإظهار أن نظامهم قوي: حتى عندما يرتكب الذكاء الاصطناعي خطأً، فإن قواعد التحقق تمسك به، والحقيقة هي التي تنتصر في النهاية.

الملعب الجديد: Poryos2026

لاختبار ما إذا كان KAYROS يعمل حقاً، احتاج المؤلفون إلى ملعب يشبه العالم الحقيقي. لقد أنشأوا Poryos2026، وهي عائلة من 1,080 لغز اختبار جديد. بدلاً من استخدام خرائط وهمية ومصطنعة، استخرجوا شبكات طرق حقيقية من خمس مدن كبرى: ليون، باريس، سان فرانسيسكو، هونج كونج، وطوكيو، باستخدام بيانات من OpenStreetMap (وهي خريطة مجانية ومبنية من قبل المجتمع).

ثم أضافوا حركة مرور اصطناعية (وهمية ولكن واقعية)، ومتطلبات عملاء، ونوافذ زمنية إلى هذه الخرائط الحقيقية. خلق هذا مجموعة ضخمة من التحديات التي تمزج الجغرافيا الحقيقية مع سيناريوهات حركة مرور محكومة. ولكل لغز من هذه الألغاز الـ 1,080، قاموا بإنشاء "أفضل حل معروف" باستخدام برنامجهم الخاص. وهذا يمنح الباحثين الآخرين طريقة عادلة وواقعية لاختبار أدواتهم الخاصة مقابل معيار يعكس القيادة الفعلية في المدن، وليس مجرد مسائل رياضية مجردة.

التعاون بين الإنسان والذكاء الاصطناعي

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

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

ماذا يعني هذا للمستقبل

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

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