मैं एम। मिट्टनमेकर और ई। अपफल द्वारा "Probability and Computing" पढ़ रहा हूं। मुझे समझ में समस्या है कि दो तत्वों की तुलना की संभावना की गणना कैसे की जाती है।यादृच्छिक quicksort: दो तत्वों की तुलना की संभावना?
इनपुट: अनुसार क्रमबद्ध सूची (y1, y2, ..., Yn) नंबर की। हम पिवट तत्व (यादृच्छिक रूप से) की तलाश में हैं। प्रश्न: संभावना क्या है कि दो तत्व यी और वाईजे (जे> i) की तुलना की जाएगी?
उत्तर (किताब से): यी और yj तुलना में किया जाएगा यदि या तो यी या yj अनुक्रम से पहले ड्रा में धुरी के रूप में चयन किया जाएगा (, यी, यी +1 ..., yj -1, yj) । तो संभावना है: 2/(जे-आई + 1)।
मेरे लिए समस्या प्रारंभिक दावा है: उदाहरण के लिए, पूरे सूची से पहले ड्रा में यी उठा yj (और इसके विपरीत) के साथ तुलना का कारण होगा और संभावना 2/n है।
तो, बल्कि "रिवर्स" दावा सत्य है - वाई (yi + 1, ..., yj-1) तत्वों में से कोई भी yi या yj से पहले नहीं चुना जा सकता है, लेकिन "पूल" आकार निश्चित नहीं है (पहले ड्रा में यह निश्चित रूप से एन है, लेकिन दूसरे पर यह छोटा है)।
क्या कोई यह बता सकता है कि लेखक इस तरह के एक सरल निष्कर्ष के साथ कैसे आते हैं?
संपादित 1: कुछ अच्छी आत्मा ने मेरी पोस्ट पॉलिश की, धन्यवाद :-)।
संपादित 2: सूची प्रारंभ में क्रमबद्ध है।
आपकी टिप्पणी के लिए धन्यवाद, मैंने टाइपो को सही किया और सूची को जोड़ा - यह प्रारंभ में क्रमबद्ध है। वैसे भी, जैसा कि मैंने देखा (आपके संपादन में) आपने सूची के आकार के साथ समस्या को भी देखा, हालांकि अंतिम निष्कर्ष गलत है। आप तत्व यी और yj के बारे में पूछते हैं, इसलिए आप यह भी नहीं कह सकते कि इस तरह के अनुक्रम yi..yj किसी और चरण में होगा (उदाहरण के लिए, यदि आप अपने पहले पिवट के रूप में yi + 1 उठाते हैं, तो वहां नहीं होगा)। – bantu
आगे के कदम कोई फर्क नहीं पड़ता। प्रत्येक चरण में, चयनित पिवट अपनी अंतिम स्थिति तक पहुंच जाता है, इसलिए यह किसी और चरण में कोई भूमिका निभाएगा। – IVlad
मान लें I> 2। पहले चरण में आपने 1, 2 में 2 का चयन किया। 2. अब, तीसरे चरण में I या j को चुनने की संभावना 2/(एन -3 + 1) है, 2/(जे-आई + 1) नहीं (जैसा कि आपने संपादन में अंतिम वाक्य में लिखा था)। और और क्या है - यह केवल प्रोब है। उन तत्वों को चुनने, प्रोब नहीं। उन्हें तुलना करने के लिए, क्योंकि तीसरे चरण के अन्य परिदृश्य भी उनकी तुलना करने के लिए नेतृत्व करते हैं। प्रत्येक चरण संभावना निर्धारित करता है, इसलिए वे मायने रखते हैं। – bantu