Automated conjecturing with \emph{TxGraffiti}
यह शोध पत्र \emph{TxGraffiti} के डिज़ाइन, मूल सिद्धांतों और डेटा-संचालित कार्यप्रणाली को प्रस्तुत करता है, जो गणितीय अनुमानों—विशेष रूप से ग्राफ सिद्धांत में—के सृजन को स्वचालित करने वाला एक कंप्यूटर प्रोग्राम है, साथ ही साहित्य में इसके योगदान को रेखांकित करता है और एक नया इंटरैक्टिव वेब इंटरफ़ेस प्रस्तुत करता है।
मूल पेपर CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/) के तहत सार्वजनिक डोमेन को समर्पित है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि एक विशाल, डिजिटल लाइब्रेरी है जिसमें हजारों अलग-अलग प्रकार की पहेलियाँ (इस मामले में, गणितीय आकृतियाँ जिन्हें "ग्राफ" कहा जाता है) भरी हुई हैं। इस लाइब्रेरी की हर पहेली के लिए, गणितज्ञों ने पहले से ही आँकड़ों की एक लंबी सूची तैयार कर ली है: उसके कितने हिस्से हैं, उसमें कितने कनेक्शन हैं, और क्या उसके अंदर कुछ खास तरह की आकृतियाँ मौजूद हैं।
TxGraffiti एक स्मार्ट कंप्यूटर प्रोग्राम है जो इस लाइब्रेरी में एक अत्यंत व्यवस्थित जासूस की तरह काम करता है। इसका काम आपके लिए पहेलियों को हल करना नहीं है, बल्कि आँकड़ों को देखकर उन नियमों का अनुमान लगाना है जो उन्हें नियंत्रित करते हैं।
यह कैसे काम करता है, इसे सरल चरणों में यहाँ दिया गया है:
1. "स्नैपशॉट" लाइब्रेरी
कंप्यूटर द्वारा आँकड़ों की गणना तुरंत करने के बजाय (जो कि धीमा होगा), शोधकर्ता पहले लाइब्रेरी का एक "स्नैपशॉट" लेते हैं। वे एक विशाल स्प्रेडशीट बनाते हैं जहाँ हर पंक्ति एक पहेली है और हर कॉलम एक आँकड़ा है। यह स्प्रेडशीट "साक्ष्य आधार" (evidence base) है। कंप्यूटर बेतरतीब ढंग से अनुमान नहीं लगाता; यह केवल उस स्प्रेडशीट में पहले से लिखे गए तथ्यों को देखता है।
2. "अनुमान लगाने का खेल" (रेखा को फिट करना)
कंप्यूटर एक ऐसा आँकड़ा चुनता है जिसका अनुमान वह लगाना चाहता है (इसे "लक्ष्य" (Target) मान लें, जैसे कि किसी पहेली के स्वतंत्र हिस्सों की संख्या)। फिर यह अन्य आँकड़ों (जिन्हें "पूर्वानुमानकर्ता" (Predictors) कहा जाता है) को देखता है कि क्या वे लक्ष्य का अनुमान लगाने में मदद कर सकते हैं।
कल्पना कीजिए कि आप किसी व्यक्ति के जूते के आकार (पूर्वानुमानकर्ता) के आधार पर उसकी लंबाई (लक्ष्य) का अनुमान लगाने की कोशिश कर रहे हैं। कंप्यूटर एक ग्राफ पर एक सीधी रेखा खींचता है जो स्प्रेडशीट में मौजूद सभी लोगों के ठीक ऊपर स्थित होती है। यह रेखा को यथासंभव लोगों के करीब रखने की कोशिश करता है, लेकिन कभी भी उनके नीचे नहीं जाता।
- यदि रेखा किसी व्यक्ति को छूती है, तो वह व्यक्ति नियम का एक "पूर्ण उदाहरण" है।
- कंप्यूटर हर संभव संयोजन के लिए गणितीय रूप से यह करता है ताकि सबसे सटीक "छत" (upper bound) या "फर्श" (lower bound) मिल सके।
3. "वॉल ऑफ फेम" फ़िल्टर (द डलमेशन ह्यूरिस्टिक)
कंप्यूटर इन "लाइनों" (नियमों) की हजारों प्रविष्टियाँ बनाता है। इनमें से अधिकांश उबाऊ या बेकार होती हैं। उदाहरण के लिए, यह एक ऐसा नियम पा सकता है जो सच तो है लेकिन इतना ढीला है कि वह कुछ भी नया नहीं बताता।
इसे ठीक करने के लिए, TxGraffiti डलमेशन ह्यूरिस्टिक नामक एक फ़िल्टर का उपयोग करता है। इसे एक संग्रहालय के क्यूरेटर की तरह समझें:
- कंप्यूटर एक नया नियम देखता है।
- वह पूछता है: "क्या यह नियम एक ऐसी पहेली की व्याख्या करता है जिसे अभी तक किसी अन्य नियम ने नहीं समझाया है?"
- यदि उत्तर हाँ है, तो उस नियम को "वॉल ऑफ फेम" में जोड़ दिया जाता है।
- यदि उत्तर नहीं है (क्योंकि किसी अन्य नियम ने पहले ही उस पहेली को पूरी तरह से कवर कर लिया है), तो नए नियम को अनावश्यक मानकर बाहर कर दिया जाता है।
यह सुनिश्चित करता है कि अंतिम सूची छोटी, सटीक और केवल सबसे दिलचस्प खोजों से युक्त हो।
4. अनुमान से प्रमाण तक
TxGraffiti का आउटपुट कन्जेक्चर (conjectures - अनुमान) की एक सूची है। गणित में, कन्जेक्चर एक "स्मार्ट अनुमान" है जो साक्ष्यों के आधार पर सत्य दिखता है लेकिन अभी तक सिद्ध नहीं हुआ है।
- कार्यप्रवाह (Workflow): एक मानव गणितज्ञ कंप्यूटर के अनुमान को देखता है। वे जाँचते हैं कि क्या यह तर्कसंगत है। वे तर्क का उपयोग करके इसे सिद्ध करने का प्रयास करते हैं।
- सफलता: यह पेपर कई वास्तविक उदाहरणों को सूचीबद्ध करता है जहाँ TxGraffiti ने एक अनुमान लगाया, और बाद में मानव गणितज्ञों ने इसे एक थ्योरम (सिद्ध तथ्य) के रूप में सिद्ध किया।
- उदाहरण 1: कंप्यूटर ने अनुमान लगाया कि कुछ नियमित आकृतियों में, स्वतंत्र हिस्सों की संख्या मेल खाने वाले जोड़ों की संख्या से कभी बड़ी नहीं होती है। मनुष्यों ने सिद्ध किया कि यह सच है।
- उदाहरण 2: इसने "जीरो फोर्सिंग" (आकृतियों को रंगने का एक विशिष्ट तरीका) और "क्लॉ-फ्री" आकृतियों के बीच एक संबंध का अनुमान लगाया। मनुष्यों ने इसे भी सिद्ध किया।
यह क्यों महत्वपूर्ण है
इस तरह के सिस्टम के आने से पहले, गणितज्ञों को पैटर्न खोजने के लिए वर्षों तक डेटा को घूरना पड़ता था। TxGraffiti "पैटर्न पहचानने" वाले हिस्से को स्वचालित करता है। यह मानव गणितज्ञ की जगह नहीं लेता; इसके बजाय, यह एक उच्च-शक्ति वाले टेलीस्कोप की तरह कार्य करता है, जो डेटा को स्कैन करता है ताकि मानव को ब्रह्मांड के सबसे आशाजनक नए नियमों की दिशा में संकेत दे सके।
संक्षेप में: TxGraffiti एक ऐसा उपकरण है जो गणितीय तथ्यों की एक स्प्रेडशीट लेता है, उनमें से सर्वोत्तम रेखाएँ खींचता है, उबाऊ नियमों को फ़िल्टर करता है, और शेष बचे "स्मार्ट अनुमानों" को मनुष्यों को सौंप देता है ताकि वे उन्हें सिद्ध कानूनों में बदल सकें।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।