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

कल्पना कीजिए कि आप एक व्यस्त शहर में डिलीवरी ट्रकों के बेड़े के डिस्पैचर हैं। आपका लक्ष्य सरल है: ग्राहकों तक पैकेज पहुँचाना और ड्राइवरों को जितनी जल्दी हो सके घर पहुँचाना ताकि मजदूरी पर होने वाले खर्च को बचाया जा सके। लेकिन इसमें एक पेंच है: शहर जीवित है। सुबह 8:00 बजे जिस सड़क में दस मिनट लगते हैं, वह 9:00 बजे ट्रैफिक के कारण चालीस मिनट ले सकती है। यह टाइम-डिपेंडेंट व्हीकल राउटिंग (Time-Dependent Vehicle Routing) की दुनिया है। यह ऑपरेशंस रिसर्च के क्षेत्र की एक क्लासिक पहेली है, जो मूल रूप से सीमित संसाधनों और जटिल नियमों के बीच सर्वोत्तम निर्णय लेने का विज्ञान है।

द दशकों से, कंप्यूटर इन पहेलियों को हल करने में बहुत अच्छे रहे हैं, लेकिन आमतौर पर वे एक बड़े सरलीकरण के साथ काम करते हैं: वे मान लेते हैं कि ट्रैफिक स्थिर (static) है, जैसे कि एक ऐसा नक्शा जहाँ सड़कें कभी नहीं बदलतीं। हालाँकि, वास्तविक जीवन एक बहती हुई नदी की तरह है, न कि एक स्थिर तालाब की तरह। इस पहेली को पूरी तरह से हल करने के लिए, आपको यह जानना होगा कि ट्रक डिपो से कब निकलता है, क्योंकि पाँच मिनट देरी से निकलने का मतलब ट्रैफ़िक जाम में फंसना हो सकता है जिससे यात्रा में एक घंटा बढ़ जाए, या इसका मतलब एक रेड लाइट से बचना हो सकता है जिससे दस मिनट बच सकें। चुनौती यह है कि हर एक ट्रक के लिए "परफेक्ट" प्रस्थान समय (departure time) निर्धारित करने के लिए गणित, जबकि ग्राहक के समय की सीमाओं (time windows) और ट्रैफिक पैटर्न का सम्मान करना हो, अविश्वसनीय रूप से कठिन है। यह एक रूबिक क्यूब को हल करने जैसा है जहाँ उसके किनारे घुमाने पर रंग बदलते रहते हैं।

यहीं पर KAYROS नामक एक नया टूल आता है। KAYROS को एक सुपर-स्मार्ट, अथक ट्रैफिक जादूगर के रूप में सोचें जो केवल अनुमान नहीं लगाता; यह सबसे सटीक संभव शेड्यूल की गणना करता है। लेकिन इसका जादू यह है कि यह एक घंटे इंतज़ार करने के बाद केवल एक "ठीक-ठाक" उत्तर नहीं देता; यह अपना काम शुरू करने के पहले सेकंड से ही बेहतर और बेहतर उत्तर देना शुरू कर देता है, और यदि आप इसे रोक देते हैं, तो यह आपको अब तक का सबसे अच्छा समाधान बताता है जो इसने खोजा है। इससे भी शानदार बात यह है कि यह साबित कर सकता है कि एक समाधान गणितीय रूप से पूर्ण (perfect) है, न कि केवल एक भाग्यशाली अनुमान। यह पेपर Poryos2026 नामक एक विशाल नया अभ्यास सेट भी पेश करता है, जिसे वास्तविक शहर के नक्शों से बनाया गया है, ताकि यह परीक्षण किया जा सके कि क्या ये जादूगर वास्तव में अपने काम में कुशल हैं।

KAYROS का जादू: एक सॉल्वर जो कभी सोता नहीं है

यह पेपर KAYROS को पेश करता है, जो "टाइम-डिपेंडेंट व्हीकल राउटिंग प्रॉब्लम" को हल करने के लिए डिज़ाइन किया गया एक ओपन-सोर्स सॉफ्टवेयर टूल है। कल्पना कीजिए कि आप डिलीवरी ड्राइवरों के बेड़े के लिए रोड ट्रिप की योजना बना रहे हैं। आपके पास स्टॉप्स की एक सूची है, और प्रत्येक स्टॉप का एक विशिष्ट समय अंतराल (time window) है जब ग्राहक घर पर होता है (जैसे, "आप केवल दोपहर 2:00 बजे से शाम 4:00 बजे के बीच पैकेज छोड़ सकते हैं")। पेचीदा हिस्सा यह है कि एक स्टॉप से दूसरे स्टॉप के बीच यात्रा करने में लगने वाला समय इस बात पर निर्भर करता है कि आप दिन के किस समय निकलते हैं।

KAYROS विशेष है क्योंकि यह दो काम एक साथ करता है, जो कंप्यूटर सॉल्वर की दुनिया में एक दुर्लभ संयोजन है:

1. यह "एनीटाइम" (Anytime) है: जब आप KAYROS चलाते हैं, तो यह घंटों तक चुपचाप नहीं बैठता। यह तुरंत समाधान देना शुरू कर देता है। पहला समाधान ठीक हो सकता है, लेकिन अगला बेहतर होगा, और उसके बाद वाला और भी बेहतर। यह एक शेफ की तरह है जो सूप चखता है और लगातार मसाले डालता रहता है; आप खाना पकाने को किसी भी क्षण रोक सकते हैं, और आपके पास उस समय के लिए उपलब्ध सबसे अच्छा सूप होगा।
2. यह "एक्ज़ैक्ट" (Exact) है: यदि आप इसे पर्याप्त समय तक चलने देते हैं, तो यह केवल अनुमान नहीं लगाता; यह सिद्ध करता है कि यह सबसे अच्छा उत्तर है। यह एक "सर्टिफिकेट" उत्पन्न करता है, जो एक गणितीय रसीद की तरह है जिसे कोई भी यह सत्यापित करने के लिए जांच सकता है कि कोई अन्य मार्ग संभवतः अधिक तेज़ नहीं हो सकता।

लेखकों ने इस टूल को पूरी तरह से मुफ्त और खुला बनाने के लिए बनाया है। आप इसे एक कमांड के साथ अपने कंप्यूटर पर इंस्टॉल कर सकते हैं, और इसके लिए बड़ी कंपनियों के किसी महंगे, गुप्त सॉफ्टवेयर की आवश्यकता नहीं है। यह एक चतुर इंजन का उपयोग करता है जो यात्रा के समय को केवल एक संख्या के रूप में नहीं, बल्कि एक बहते हुए फंक्शन (function) के रूप में मानता है—एक ऐसी रेखा जो दिन के समय के आधार पर ऊपर-नीचे होती है। यह इसे जटिल, वास्तविक दुनिया के ट्रैफिक पैटर्न को संभालने की अनुमति देता है जहाँ एक सड़क अचानक किसी विशिष्ट मिनट पर जाम हो सकती है।

"सेल्फ-रिफ्यूटेशन" (स्वयं का खंडन) की कहानी: कैसे उन्होंने अपनी गलती पकड़ी

इस पेपर का सबसे दिलचस्प हिस्सा ईमानदारी की एक कहानी है। लेखक यह सुनिश्चित करना चाहते थे कि उनके "परफेक्ट" सर्टिफिकेट वास्तव में परफेक्ट हों। उन्होंने एक सख्त नियम बनाया: यह दावा करने के लिए कि एक समाधान सबसे अच्छा है, चार अलग-अलग कंप्यूटर रन को एक ही सटीक उत्तर पर सहमत होना चाहिए।

एक परीक्षण के दौरान, उन्हें एक समस्या मिली। KAYROS ने 160 "सर्टिफिकेट" जारी किए थे जिनमें दावा किया गया था कि कुछ मार्ग सबसे अच्छे संभव हैं। लेकिन फिर, उनके अपने "एनीटाइम" सॉल्वर (वह जो लगातार सुधार करता रहता है) ने ऐसे मार्ग खोज निकाले जो उन "परफेक्ट" सर्टिफिकेट्स से वास्तव में तेज़ थे! यह एक झटका था। पता चला कि KAYROS ट्रैफिक डेटा में अचानक आने वाले बदलावों (जैसे कि एक सड़क का अचानक पार्किंग लॉट बन जाना) को संभालने के लिए एक "स्मूथिंग" (smoothing) ट्रिक का उपयोग कर रहा था। यह ट्रिक थोड़ी गलत थी, जिसके कारण कंप्यूटर समय की गलत गणना कर रहा था।

लेखकों ने इस बात को छिपाया नहीं। उन्होंने सभी 160 सर्टिफिकेट वापस ले लिए, कोड को इन "जंप्स" को सटीक रूप से संभालने के लिए ठीक किया, और परीक्षणों को फिर से चलाया। यह कहानी यह दिखाने के लिए शामिल की गई है कि उनका सिस्टम कितना मजबूत है: भले ही AI गलती करे, सत्यापन नियम उसे पकड़ लेते हैं, और सत्य की जीत होती है।

नया खेल का मैदान: Poryos2026

यह परीक्षण करने के लिए कि क्या KAYROS वास्तव में काम करता है, लेखकों को एक ऐसे खेल के मैदान की आवश्यकता थी जो वास्तविक दुनिया जैसा दिखता हो। उन्होंने Poryos2026 बनाया, जो 1,080 नए टेस्ट पज़ल्स का एक परिवार है। नकली, मनगढ़ंत नक्शों के बजाय, उन्होंने OpenStreetMap (एक मुफ्त, समुदाय-निर्मित मानचित्र) का उपयोग करके पांच प्रमुख शहरों: ल्यों (Lyon), पेरिस, सैन फ्रांसिस्को, हांगकांग और टोक्यो के वास्तविक सड़क नेटवर्क निकाले।

फिर उन्होंने इन वास्तविक नक्शों में सिंथेटिक (नकली लेकिन यथार्थवादी) ट्रैफिक, ग्राहक मांग और समय सीमा जोड़ी। इसने एक विशाल चुनौती पेश की जो वास्तविक भूगोल को नियंत्रित ट्रैफिक परिदृश्यों के साथ जोड़ती है। इन 1,080 पज़ल्स में से प्रत्येक के लिए, उन्होंने अपने स्वयं के सॉल्वर का उपयोग करके एक "सर्वश्रेष्ठ-ज्ञात समाधान" (best-known solution) तैयार किया। यह अन्य शोधकर्ताओं को उनके अपने टूल्स को एक मानक के विरुद्ध परीक्षण करने का एक निष्पक्ष और वास्तविक तरीका देता है जो अमूर्त गणितीय समस्याओं के बजाय वास्तविक शहर के ड्राइविंग को दर्शाता है।

मानव और AI की टीम-अप

शायद इस पेपर का सबसे अनूठा हिस्सा यह है कि इसे कैसे लिखा गया। लेखक, जो एक पीएचडी छात्र हैं, ने लगभग दो सप्ताह तक एक AI एजेंट (एक लार्ज लैंग्वेज मॉडल) के साथ गहन सहयोग किया। इंसान ने लक्ष्य निर्धारित किए, बड़े निर्णय लिए और काम की जाँच की, जबकि AI ने भारी काम किया: कोड लिखना, हजारों कंप्यूटर प्रयोग चलाना और त्रुटियों को ठीक करना।

लेखक का अनुमान है कि इस दो सप्ताह के सहयोग ने वह काम कर दिया जो अकेले करने में उन्हें दो या दो से अधिक साल लग जाते। हालाँकि, पेपर इस बात पर बहुत सावधानी बरतता है कि यह केवल "तेजी से टाइप करना" नहीं था। इंसान को AI को सही संदर्भ देने, उसके काम की जाँच करने और यह सुनिश्चित करने के लिए बहुत समय बिताना पड़ा कि परिणाम वैज्ञानिक रूप से सटीक हों। पेपर का तर्क है कि इस प्रकार का सहयोग भविष्य का अनुसंधान है, लेकिन केवल तभी जब AI द्वारा तथ्य बनाने या गलत जानकारी देने (hallucinate) को रोकने के लिए सख्त नियम (जैसे "सर्टिफिकेट" प्रणाली) हों।

भविष्य के लिए इसका क्या अर्थ है

पेपर यह दावा नहीं करता है कि KAYRES दुनिया का सबसे तेज़ सॉल्वर है (उन्होंने अभी तक हर अन्य टूल के साथ आमने-सामने तुलना नहीं की है), न ही यह दावा करता है कि इसने हर संभावित राउटिंग समस्या को हल कर लिया है। इसके बजाय, यह एक ठोस, सत्यापित और मुफ्त टूल प्रदान करता है जो अंततः जटिल, समय-निर्भर ट्रैफिक समस्याओं के लिए "एक्ज़ैक्ट" और "एनीटाइम" समाधान लाना लाता है।

एक शक्तिशाली नए सॉल्वर, वास्तविक दुनिया के परीक्षण मामलों के एक विशाल नए सेट और इस बात के पारदर्शी विवरण को जोड़कर कि मानव और AI जिम्मेदारी से मिलकर कैसे काम कर सकते हैं, लेखों ने लॉजिस्टिक्स के लिए एक नया आधार प्रदान किया है। चाहे पिज्जा डिलीवर करना हो, कचरा उठाने वाले ट्रकों का प्रबंधन करना हो, या आपातकालीन प्रतिक्रिया मार्गों की योजना बनाना हो, सही समय पर निकलने की गणना करने की क्षमता, जबकि यह जानते हुए कि आप किसी भी क्षण रुककर एक अच्छा उत्तर प्राप्त कर सकते हैं, हमारी व्यस्त दुनिया में चीजों को इधर-उधर ले जाने के विज्ञान की दिशा में एक महत्वपूर्ण कदम है।