अगर दो जनरलों की समस्या बेकार है तो हम इंसानों की बातों पर कैसे सहमत हो सकते हैं?
मेरा मतलब है, हम हर रोज संवाद करते हैं और कंप्यूटर विज्ञान द्वारा संचारित किसी भी संचार समस्या के समान सीमाएं हैं। यह हमें प्रभावित क्यों नहीं करता है?
अगर दो जनरलों की समस्या बेकार है तो हम इंसानों की बातों पर कैसे सहमत हो सकते हैं?
मेरा मतलब है, हम हर रोज संवाद करते हैं और कंप्यूटर विज्ञान द्वारा संचारित किसी भी संचार समस्या के समान सीमाएं हैं। यह हमें प्रभावित क्यों नहीं करता है?
जवाबों:
मैं अन्य उत्तरों से असहमत हूं कि संचार चैनल को अलग तरीके से तैयार करने की आवश्यकता है। द्वेष अप्रासंगिक है, किसी भी गैर-शून्य संभावना वाले सरल खो गए संदेश दो जनरलों की समस्या को बनाने के लिए पर्याप्त हैं। उदाहरण के लिए, ई-मेल और आईएम के पास संदेश छोड़ने का कम लेकिन शून्य मौका नहीं है। फ़ोन कॉल व्यवधान का सामना कर सकते हैं, इसलिए दो जनरलों की समस्या के साथ आपको किसी तरह की पुष्टि करने की आवश्यकता है कि क्या दूसरे व्यक्ति ने आपके द्वारा कहा गया विज्ञापन सुना है। और फिर भी मैं अक्सर अन्य लोगों के साथ समझौते करने के लिए इन चैनलों का उपयोग करता हूं।
अघुलनशील "दो जनरलों" समस्या को हल करने में विफल रहता है, सामान्य ज्ञान की गारंटी है। वास्तविक जीवन में हमें आगे बढ़ने के लिए औपचारिक सामान्य ज्ञान की आवश्यकता नहीं है। इसलिए अधिकांश व्यावहारिक स्थितियों में लक्ष्य को दो जनरलों की समस्या में लक्ष्य से अलग तरीके से वर्णित किया जाना चाहिए।
हम समझौते "पर्याप्त रूप से होने" के लिए तय करते हैं। मैं तब तक हमला करने के लिए तैयार नहीं हो सकता जब तक कि मैं निश्चित नहीं हूं कि आप पर हमला करेंगे, लेकिन मैं आपसे मिलने के लिए कॉफी शॉप तक चलने को तैयार हूं, बशर्ते कि संचार की विफलता की संभावना आपके द्वारा विफल होने की संभावना से अधिक नहीं है। यातायात के कारण पहुंचें। जनरलों के विपरीत, मैं आपसे मिलने का मौका लूंगा।
यदि आपने कभी किसी को पहली बार मिलने पर अलग-अलग तरीकों से आपको तीन बार कुछ समझाया है, या कभी किसी ने आपसे किसी ऐसी चीज़ की पुष्टि करने के लिए कहा था जिसकी आपने पहले ही दो बार पुष्टि कर दी है, तो यह इसलिए है क्योंकि आप अपनी सीमा तक पहुँच चुके हैं " पर्याप्त रूप से पहले "उनके पहुंचने से पहले।
सही दायरे के रूप में मनोविज्ञान, दर्शनशास्त्र, या विकासवादी जीव विज्ञान की अपनी पसंद को लें, जिसमें अगले प्रश्न के उत्तर की तलाश करें कि हमें वास्तव में सामान्य ज्ञान की पूरी गारंटी की आवश्यकता क्यों नहीं है :-)
यह कंप्यूटिंग में व्यावहारिक समस्याओं से भी संबंधित है। उदाहरण के लिए जब हम किसी एकल-त्रुटि-सुधार कोड का उपयोग "मान्य" करने के लिए करते हैं कि एक संदेश में एक प्रतीक सही ढंग से आ गया है, तो हम जो कुछ कर रहे हैं वह स्वीकार कर रहा है कि दोहरे त्रुटि की संभावना समय के लिए नगण्य है। फिर बाद में प्रोटोकॉल में हमारे पास सीआरसी हो सकता है, ताकि अनिर्धारित त्रुटि की संभावना को कम किया जा सके। इसमें से कोई भी दो जनरलों की समस्या को हल नहीं करता है, लेकिन यह मेरे लिए, मेरे बैंक और एक व्यापारी के लिए "सहमत" होने के लिए पर्याप्त है कि एक क्रेडिट कार्ड लेनदेन हुआ है, जिसकी एक छोटी सी संभावना है जिससे हम असहमत हैं।
दो जनरलों की समस्या के लिए केंद्रीय (दंड का उद्देश्य) बीच में एक दुर्भावनापूर्ण दुश्मन है। यद्यपि यह मॉडल एक अविश्वसनीय चैनल है, यह इसे इस तरह से मॉडल करता है कि हम आम तौर पर मुठभेड़ नहीं करते हैं। समस्या में, संदेश दुश्मन के हाथों से गुजर सकते हैं और कोई समय की कमी, सत्यापन, एन्क्रिप्शन या ऐसा कुछ भी नहीं है जिसके बारे में मैंने नहीं सोचा है।
जब हम व्यवहार में संवाद करते हैं, तो सबसे पहले हमारे द्वारा उपयोग किए जाने वाले चैनल इस तरह से अविश्वसनीय होने की उम्मीद नहीं करते हैं। चैनल शोर कर सकते हैं, निश्चित रूप से, लेकिन यह दुर्भावनापूर्ण होने के लिए अलग है। संभावना है कि एक चैनल जो कि बिट स्तर पर शोर है, यादृच्छिक रूप से न केवल एक वैध संदेश का उत्पादन कर सकता है जो कि जो भी त्रुटि सुधार कोड का हम उपयोग कर रहे हैं, उसे संतुष्ट करता है, लेकिन यह भी मान्य है कि यह रिसीवर के लिए बहुत कम है। हम संदेश को एन्क्रिप्ट और / या साइन करने के लिए सार्वजनिक कुंजी क्रिप्टोग्राफ़ी जैसी चीज़ों का भी उपयोग कर सकते हैं, जिससे वास्तविक संदेश को नकली करना फिर से कठिन हो जाता है। हमारे संचार का तीसरा महत्वपूर्ण हिस्सा समय के प्रति संवेदनशील है - हम वास्तव में लोगों से बात करते हैं इसलिए प्रतिक्रिया में कोई देरी नहीं होती है, जिस स्थिति में हमें संतुष्ट होना पड़ेगा कि हम जिस व्यक्ति से बात कर रहे हैं वह वह व्यक्ति है जिससे हम बात कर रहे हैं सेवा मेरे।
अधिकांश मामलों में, हम बस यह मान लेते हैं कि संदेशों में त्रुटि का कोई महत्वपूर्ण स्रोत नहीं है, और हम इसके साथ भाग जाते हैं। हम एक ऐसे परिदृश्य की कल्पना कर सकते हैं जहाँ वास्तव में एक दुर्भावनापूर्ण आदमी चैनल को बीच में ही भ्रष्ट कर रहा है, लेकिन हम एक-दो चीजों के साथ आते हैं; सार्वजनिक कुंजी क्रिप्टो अभी भी प्रभावी है, लेकिन अधिक महत्वपूर्ण रूप से संचार के एक महत्वपूर्ण हिस्से को सही ढंग से भ्रष्ट करने के लिए आवश्यक प्रयास और शक्ति जो संभव है उससे परे है। यदि ऐसा नहीं होता, तो सैन्य संकेत खुफिया इससे कहीं अधिक प्रभावी होते हैं (ऐसा नहीं है कि यह प्रभावी नहीं है, यह सिर्फ बेहतर होगा)।
ध्यान दें कि हालांकि मैंने कंप्यूटर / मशीन की मध्यस्थता संचार पर ज्यादातर छुआ है, पारस्परिक तर्क के लिए एक ही तर्क दिया जा सकता है - शोर के स्रोत आम तौर पर एक पूरे संदेश को नकली नहीं कर सकते हैं, हमारे पास यादृच्छिक, निम्न-स्तर का परिचय देने वाले सुधार प्रणाली हैं शोर और प्रयास बस लगभग हर मामले में इसके लिए पर्याप्त रूप से पुनर्जीवित और प्रेरित दुर्भावनापूर्ण हमलावर होने के लायक नहीं है।
"टू जेनरल्स" समस्या (या जिसे "कोऑर्डिनेटेड अटैक" समस्या कहा जाता है) की "अनसॉल्विएबिलिटी" उसके संदर्भ में, यानी अविश्वसनीय, अविश्वसनीय संचार चैनलों के साथ पूरी तरह से अतुल्यकालिक वितरित प्रणाली में प्रतिबंधित है। हमारे दैनिक जीवन में, लोग ऐसी बुरी स्थितियों को "सहन" कर सकते हैं।
नॉलेज रीजनिंग इन नॉलेज ; धारा 6.1 , लेखक टिप्पणी करते हैं कि
तथ्य यह है कि समन्वित हमले का तात्पर्य है सामान्य ज्ञान हमारी आवश्यकता पर निर्भर करता है कि समन्वित हमला एक साथ होना चाहिए । व्यवहार में , साथ ही साथ आवश्यकता भी मजबूत हो सकती है। एक प्रोटोकॉल जो इस बात की गारंटी देता है कि जनरल एक दूसरे के थोड़े समय के भीतर हमला करते हैं, वह काफी संतोषजनक हो सकता है।
उन्होंने आगे टिप्पणी की है कि
फिर भी, इस तरह के समन्वय के कमजोर रूप अप्राप्य हैं, यदि संचार अविश्वसनीय है ।
हमारे दैनिक जीवन में, लोग छोटे विलंब और अविश्वसनीय चैनल को सहन कर सकते हैं (और सहन कर रहे हैं (जैसा कि @Luke Mathieson द्वारा विस्तृत है)। (यदि आप गहराई में जाते हैं और "कैसे" और "क्यों" पूछते हैं, तो यह संभवतः कंप्यूटर विज्ञान के दायरे से बाहर है।)
क्योंकि हम इसकी गारंटी की जरूरत नहीं है आश्वासन कुछ है कि होगा हो सकता है जब हमारे पास पर्याप्त राशि अनुभव हमें बताता है कि क्या है की संभावना होने के लिए। उदाहरण के लिए, मान लें कि कोई मित्र मुझसे मिलना चाहता है। उसने मुझे समय और स्थान का ईमेल किया, और मैंने वापस जवाब दिया "बहुत अच्छा लगता है, आप तब देखें।" मुझे निर्दिष्ट स्थान और समय पर उनसे मिलने के लिए किसी और जानकारी की आवश्यकता नहीं है। सिर्फ इसलिए कि मैं गारंटी नहीं दे सकता थाउसे मेरी प्रतिक्रिया मिल गई जो मुझे अपनी मान्यताओं पर अभिनय करने से रोकने के लिए पर्याप्त नहीं है। मेरा अनुभव मुझे बताता है कि ईमेल काफी विश्वसनीय है, और अगर किसी कारण से उसे मेरी प्रतिक्रिया नहीं मिली, तो वह मुझे फिर से ईमेल करेगा। मेरा अनुभव मुझे बताता है कि मेरी प्रतिक्रिया के कोने के मामले के बारे में चिंता करने के लिए चुपचाप त्याग दिया गया था, और उससे मिलने वाले सभी अनुवर्ती संदेशों को भी चुपचाप छोड़ दिया गया था। घटनाओं का संयोजन बस अक्सर ऐसा नहीं होता है जो लोगों से मिलने की मेरी क्षमता में काफी हस्तक्षेप करता है।
अगर वे कोने के मामले (या अन्य मुद्दे) अक्सर होने लगे, तो इससे मेरा अनुभव बदल जाएगा , और फिर मैं अपनी रणनीति बदलने पर विचार करूंगा। उदाहरण के लिए, मैं व्यक्ति को ईमेल करने के बजाय कॉल कर सकता हूं। या मैं एक कैलेंडर वेबसाइट का उपयोग कर सकता हूं। या कोई और विकल्प।
जैसा कि पारस्परिक संचार पर लागू होता है, मुझे लगता है कि दो-जनरलों की समस्या के तकनीकी मुद्दे अपने आप में समस्याग्रस्त नहीं हैं, लेकिन अन्य समस्याओं को बढ़ा सकते हैं। यदि मैं किसी को काम का अनुरोध ईमेल करता हूं और मुझे उचित समय पर उनसे कोई जवाब नहीं मिलता है, तो मैं क्या करूं? फॉलोअप संदेश भेजने से पहले मुझे कितने समय तक रोकना चाहिए? यदि मैं फॉलोअप संदेश भेजता हूं, तो क्या वे इसे एक दोस्ताना अनुस्मारक के रूप में देखेंगे, या क्या वे चिढ़ महसूस करेंगे? मुझे फॉलोअप मैसेज को कैसे शब्द देना चाहिए, ताकि ज्यादा अनुमान के मुताबिक न आए (क्योंकि यदि नेटवर्क ने वास्तव में पिछले संदेश को गिरा दिया है, तो यह पहला है जो वे मुझसे सुन रहे हैं)?
इन सवालों की प्रकृति सभी लोगों और शामिल संदर्भ पर निर्भर करती है। कोई गारंटीकृत उत्तर नहीं हैं। लेकिन फिर से, हमें सफल होने के लिए गारंटी की आवश्यकता नहीं है। हमें केवल आत्मनिरीक्षण, सहानुभूति और अनुभव से सीखने की क्षमता जैसी चीजें चाहिए। हम अपनी अनूठी रणनीतियों की खोज और विकास कर सकते हैं - जो दूसरों से अलग हो सकती हैं - जो हमें समय के साथ बेहतर संचारक बनने में सक्षम बनाती हैं।
क्या आप मुझे दशमलव संकेतन में पाई का सही मूल्य दे सकते हैं? जब हम जानते हैं कि हम मानव गोल-गोल और अनुमानित हैं, तो सटीक मान बेकार है।
प्रमाण केवल यह कहता है कि किसी प्रोटोकॉल को डिजाइन करना असंभव है जो समस्या को हल करता है (यानी पूरी तरह से हर उदाहरण में)।
यह नहीं कहता कि एक प्रोटोकॉल को डिजाइन करना असंभव है जो ज्यादातर समस्या को हल करता है। मनुष्य, प्रकृति में बायेसियन होने के कारण, प्रोटोकॉल को डिजाइन करने में काफी अच्छे हैं जो किसी भी गुणवत्ता और / या सफलता के कुछ डिग्री के साथ किसी समस्या को हल करते हैं जो लंबे समय में लाभ और हानि के मामले में संतोषजनक है।