जोसेफस समस्या
कंप्यूटर विज्ञान और गणित में, जोसेफस समस्या (या जोसेफस क्रमचय) एक निश्चित काउंटिंग-आउट (बाहरी गणना) खेल से संबंधित एक सैद्धांतिक समस्या है। इस तरह के खेलों का उपयोग किसी समूह से किसी व्यक्ति को चयन करने के लिए किया जाता है, उदाहरण- ईनी, मिनी, मिनी, मो।
जोसेफस समस्या को उत्पन्न करने वाले विशेष काउंट-आउट खेल में, बहुत से लोग एक वृत्त में खड़े होकर मारने की प्रतीक्षा कर रहे हैं। गणना वृत्त में निर्दिष्ट बिंदु से प्रारंभ होती है और वृत्त के चारों ओर एक निर्दिष्ट दिशा में आगे बढ़ती है। एक निर्दिष्ट संख्या में लोगों को छोड़ दिए जाने के बाद, अगले व्यक्ति को मार दिया जाता है। प्रक्रिया को शेष लोगों के साथ पुनरावृत किया जाता है, अगले व्यक्ति से प्रारंभ करते हुए, उसी दिशा में जाते हुए और उसी संख्या में लोगों को छोड़ते हुए, जब तक कि केवल एक व्यक्ति शेष न रह जाए और मुक्त न हो जाए।
समस्या - लोगों की संख्या, प्रारम्भिक बिंदु, दिशा और छोड़ी जाने वाली संख्या को देखते हुए - फांसी से बचने के लिए प्रारंभिक वृत्त में स्थिति का चयन करना है।
इतिहास
समस्या का नाम पहली शताब्दी में रहने वाले एक यहूदी इतिहासकार फ्लेवियस जोसेफस के नाम पर रखा गया है। योदफत के पकड़ने के बाद जोसेफस के प्रत्यक्ष रूप से स्पष्टीकरण के अनुसार, वह और उसके 40 सैनिक रोमन सैनिकों द्वारा एक गुफा में फंस गए थे। उन्होंने अधिकृत करने के स्थान पर आत्महत्या को चयन किया, और चिट्ठी डालकर आत्महत्या करने की एक क्रमिक पद्धति पर समझौता कर लिया। जोसेफस कहते हैं कि भाग्य से या संभवतः भगवान के हाथ से, वह और एक अन्य व्यक्ति अंत तक बने रहे और खुद को मारने के अतिरिक्त रोमनों के सामने आत्मसमर्पण कर दिया। जोसिफस के यहूदी युद्ध (तीसरे व्यक्ति में स्वयं को लिखना) की किताब 3, अध्याय 8, भाग 7 में यह कहानी दी गई है:
हालाँकि, इस अत्यधिक संकट में, वह अपनी सामान्य बुद्धिमत्ता से वंचित नहीं था; लेकिन भगवान की भविष्यवाणी पर विश्वास करते हुए, उन्होंने अपने जीवन को जोखिम में डाल दिया [निम्नलिखित तरीके से]: "और अब," उन्होंने कहा, "चूंकि तुम्हारे बीच यह निर्धारित हो गया है कि तुम मरोगे, चलो हम अपनी आपसी मौतों को बहुत से दृढ़ संकल्प के लिए प्रतिबद्ध करते हैं। वह जिसके नाम पर पहली चिट्ठी निकले, वह उसके द्वारा मार डाला जाए जिसके पास दूसरी चिट्ठी हो, और इस प्रकार भाग्य हम सब के माध्यम से प्रगति करेगा; और न हम में से कोई अपने हाथ से नाश होगा, क्योंकि यह अनुपयुक्त होगा यदि, जब शेष लोग चले जाएं, तो कोई प्रायश्चित्त करे और अपने आप को बचाए।" यह प्रस्ताव उन्हें बहुत न्यायपूर्ण लगा; और जब वह चिट्ठी डालकर इस बात का निर्णय करने को उन पर प्रबल हो गया, तब उस ने चिट्ठी में से एक अपने लिये भी निकाल लिया। जिसके पास पहली चिट्ठी थी, उसने अपनी गर्दन उसके सामने कर दी, जिसके पास अगला था, यह मानते हुए कि अस्पष्टता उनके बीच तुरंत मर जाएगा; जैसा कि मान लिया गया था कि जनरल उनके बीच तुरंत मर जाएगा, क्योंकि उन्होंने सोचा था कि यदि जोसेफस मर सकता है, लेकिन उनके साथ मरना जीवन की तुलना में अच्छा था, फिर भी क्या वह अंतिम तक बचा था, क्या हमें यह कहना चाहिए कि यह संयोग से हुआ है या क्या यह ईश्वर की कृपा से हुआ है। और जैसा कि वह बहुत इच्छुक था कि न तो बहुत से निंदा की जाए और न ही उसे अपने देशवासियों के खून में अपने दाहिने हाथ को रंगने के लिए छोड़ दिया जाए, तो उसने उसे अपनी वफादारी पर विश्वास करने और स्वयं के साथ जीने के लिए तैयार किया।
— — जोसेफस एन.डी., पृ. 579, यहूदियों के युद्ध, पुस्तक III, अध्याय 8, पैरा 7
इस साहसिक कार्य में प्रयुक्त तंत्र का विवरण बल्कि अस्पष्ट है। जेम्स डाउडी और माइकल मेस के अनुसार,[2] 1612 में क्लॉड गैसपार्ड बाचेत डी मेजिरियाक ने उन्मूलन के क्रम को निर्धारित करने के लिए पुरुषों को एक समूह में व्यवस्थित करने और तीन से गणना करने के विशिष्ट तंत्र का सुझाव दिया।[3] यह कहानी प्रायः पुनरावृत की गई है और विशिष्ट विवरण स्रोत से स्रोत में अधिकतम भिन्न होते हैं। उदाहरण के लिए, इज़राइल नाथन हर्स्टीन और इरविंग कपलान्स्की (1974) ने जोसिफस और 39 कॉमरेडों को एक वृत्त में खड़ा कर दिया है और प्रत्येक सातवें आदमी को मार दिया गया है।[4] समस्या का इतिहास फाइबोनैचि त्रैमासिक के संपादक को एस एल ज़ाबेल के पत्र में पाया जा सकता है।[5]
साभिप्रायता के रूप में, जोसीफस ने पूछा: "क्या हम इसे ईश्वरीय विधान पर छोड़ दें या केवल भाग्य पर छोड़ दे?"[6] लेकिन जोसिफस का एक अपरिष्कृत प्रारुप एक अलग कहानी बताता है: कि उसने "चालाकी से संख्याओं की गणना की और इस तरह शेष सभी को धोख़ा देने में सफल रहा"।[6][7] जोसेफस का एक सहयोगी था; तब समस्या यह थी कि बचे हुए दो अंतिम बचे लोगों (जिनकी साजिश उनके जीवित रहने को सुनिश्चित करेगी) के स्थानों का पता लगाना था। यह आरोप लगाया जाता है कि उसने स्वयं को और दूसरे व्यक्ति को क्रमशः 31वें और 16वें स्थान (के लिए k = 3 नीचे) पर रखा।[8]
विविधताएं और सामान्यीकरण
जोसेफस समस्या के एक मध्ययुगीन संस्करण में 15 तुर्क और 15 ईसाई सम्मिलित हैं जो एक तूफान में एक जहाज पर सवार हैं जो तब तक डूब जाएगा जब तक कि आधे यात्रियों को पानी में नहीं फेंक दिया जाता। सभी 30 एक वृत्त में खड़े हैं और हर नौवें व्यक्ति को समुद्र में फेंक देना है। ईसाइयों को यह निर्धारित करने की आवश्यकता है कि केवल तुर्कों को फेंकने के लिए कहां खड़ा होना चाहिए।[9] अन्य संस्करणों में तुर्कों और ईसाइयों की भूमिकाओं को आपस में परिवर्तित कर दिया गया है।
ग्राहम, नुथ और पटाशनिक 1989, पी 8 एक "मानक" संस्करण का वर्णन और अध्ययन करता है निर्धारित करें कि अंतिम उत्तरजीवी कहां खड़ा है यदि प्रारंभ करने के लिए n लोग हैं और प्रत्येक दूसरा व्यक्ति (k = 2 नीचे) मार दिया गया है।
इस समस्या का सामान्यीकरण इस प्रकार है। माना जाता है कि प्रत्येक mवें व्यक्ति को आकार n के समूह से निष्पादित किया जाएगा, जिसमें pवां व्यक्ति उत्तरजीवी है। यदि समूह कोई में x लोगों को जोड़ा जाता है, तो उत्तरजीवी p + mx-वें स्थान पर होता है यदि यह n + x से कम या उसके बराबर है। यदि x सबसे छोटा मान है जिसके लिए (p + mx) > (n + x), तो उत्तरजीवी स्थिति (p + mx) - (n + x) में है।[10]
समाधान
निम्नलिखित में, n प्रारंभिक चक्र में लोगों की संख्या को दर्शाता है, और k प्रत्येक चरण के लिए गणना को दर्शाता है, अर्थात, k-1 लोगों को छोड़ दिया जाता है और k-वे को मार दिया जाता है। वृत्त में लोगों को 1 से n तक क्रमांकित किया जाता है, प्रारंभिक स्थिति 1 होती है और गणना समावेशी होती है।
k=2
समस्या स्पष्ट रूप से संशोधित हो जाती है जब प्रत्येक दूसरा व्यक्ति मारा जाएगा (प्रत्येक व्यक्ति अपने बाएं या दाएं व्यक्ति को मारता है), अर्थात (अधिक सामान्य स्थिति के लिए, एक समाधान नीचे दिया गया है।)। समाधान पुनरावर्ती रूप से व्यक्त किया गया है। मान लीजिए बचे हुए की स्थिति को निरूपित करें जब प्रारंभ में हो n लोग और ) होते है। वृत्त के चारों ओर पहली बार, सभी सम-संख्या वाले लोग मर जाते हैं। दूसरी बार वृत्त के चारों ओर, नया दूसरा व्यक्ति मर जाता है, फिर नया चौथा व्यक्ति, आदि; यह ऐसा है जैसे कि वृत्त के आसपास कोई पहली बार नहीं था।
यदि लोगों की प्रारंभिक संख्या सम थी, तो स्थिति x में व्यक्ति मूल रूप से स्थिति ( x के प्रत्येक चयन के लिए) में था। मान लीजिए पर व्यक्ति जो अब जीवित रहेगा मूल रूप से स्थिति में था। यह पुनरावृत्ति उत्पन्न करता है
यदि लोगों की प्रारंभिक संख्या विषम थी, तो व्यक्ति 1 को चक्र के चारों ओर पहली बार के अंत में मरने के रूप में माना जा सकता है। पुनः, वृत्त के चारों ओर दूसरी बार, नया दूसरा व्यक्ति मर जाता है, फिर नया चौथा व्यक्ति आदि। इस स्थिति में, स्थिति में व्यक्ति x मूल रूप से स्थिति में था। यह पुनरावृत्ति उत्पन्न करता है
जब मानों को n और से सारणीबद्ध किया जाता है और (OEIS: A006257, ऊपर की आकृति में नीली संख्याओ का सबसे बायाँ कॉलम भी) प्रतिदर्श निकलता है:
n | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | 1 | 3 | 1 | 3 | 5 | 7 | 1 | 3 | 5 | 7 | 9 | 11 | 13 | 15 | 1 |
इससे पता चलता है एक बढ़ता हुआ विषम क्रम है जो के साथ फिर से प्रारंभ होता है जब भी सूचकांक n 2 की घात है। इसलिए, यदि m और l को चयन किया जाता है ताकि और , तब समान हो। यह स्पष्ट है कि सारणी में मान इस समीकरण को संतुष्ट करते हैं। या यह विचार किया जा सकता है कि l लोगों के मरने के बाद केवल लोग रह जाते हैं और यह वें व्यक्ति के पास चला जाता है। यह व्यक्ति अवश्य ही उत्तरजीवी होगा। इसलिए नीचे, अनुमान द्वारा एक प्रमाण दिया गया है।
प्रमेय: यदि और , तब .
प्रमाण : प्रबल अनुमान पर n प्रयोग किया जाता है आधार स्थिति सत्य है। स्थितियों को अलग से विचार किया जाता है जब n सम होता है और जब n विषम होता है।
यदि n सम है, तो और चयन करे इसलिए और है। ध्यान दें कि और क्रम है जहाँ दूसरी समानता अनुमान परिकल्पना से अनुसरण करती है।
यदिn विषम है, तो और का चयन करे इसलिए कि और है। ध्यान दें कि और वहाँ है जहाँ दूसरी समानता अनुमान परिकल्पना से अनुसरण करती है। यह प्रमाण को पूरा करता है।
l के लिए एक स्पष्ट पद प्राप्त करने के लिए को संशोधित किया जा सकता है:
उत्तर के सबसे सामान्य रूप में आकार n का बाइनरी प्रतिनिधित्व सम्मिलित है: के n एक-बिट बाएँ चक्रीय परिवर्तन से प्राप्त किया जा सकता है। यदि n को बाइनरी में के रूप में दर्शाया गया है तो द्वारा समाधान दिया जाता है। इसका प्रमाण के रूप मे n के निरूपण या के लिए उपरोक्त पदों से मिलता है।
कार्यान्वयन: यदि n लोगों की संख्या को दर्शाता है, तो सुरक्षित स्थिति फलन ,जहां और द्वारा दी गई है।
अब यदि संख्या को बाइनरी प्रारूप में दर्शाया गया है, तो पहला बिट को दर्शाता है और शेष बिट्स l को दर्शाता है। उदाहरण के लिए, जब , इसका बाइनरी निरूपण है
n = 1 0 1 0 0 1 2m = 1 0 0 0 0 0
l = 0 1 0 0 1
/**
* @param n the number of people standing in the circle
* @return the safe position who will survive the execution
* f(N) = 2L + 1 where N =2^M + L and 0 <= L < 2^M
*/
public int getSafePosition(int n) {
// find value of L for the equation
int valueOfL = n - Integer.highestOneBit(n);
return 2 * valueOfL + 1;
}
बिटवाइज
बिटवाइज़ संक्रियक का उपयोग करके सुरक्षित स्थिति खोजने का सबसे आसान तरीका है। इस दृष्टिकोण में, n के सबसे महत्वपूर्ण समुच्चय बिट को कम से कम महत्वपूर्ण बिट में स्थानांतरित करने से सुरक्षित स्थिति वापस आ जाएगी।[11] इनपुट एक धनात्मक पूर्णांक होना चाहिए।
n = 1 0 1 0 0 1 n = 0 1 0 0 1 1
/**
* @param n (41) the number of people standing in the circle
* @return the safe position who will survive the execution
*/
public int getSafePosition(int n) {
return ~Integer.highestOneBit(n*2) & ((n<<1) | 1);
// ---------------------- --- | ------------
// Get the first set bit | | Left Shift n and flipping the last bit
// and take its complement | |
// | |
// Multiply n by 2 |
// Bitwise And to copy bits exists in both operands.
}
k = 3
1997 में, लॉरेंज हाल्बिसन और नॉर्बर्ट हंगरबुहलर ने स्थिति के लिए एक संवृत रूप की खोज की उन्होंने दिखाया कि एक निश्चित स्थिरांक है
जिसे एकपक्षीय रूप से परिदशुद्ध गणना की जा सकती है। इस स्थिरांक को देखते हुए m को ऐसे सबसे बड़े पूर्णांक के रूप में चयन करे, जैसे कि (यह या तब ) होगा। जब, अंतिम उत्तरजीवी
- है, यदि और 1
सभी के लिए पूर्णांकित किया जाता है।
गणना के उदाहरण के रूप में हैलबिसन और हंगरबुहलर देते हैं (जो वास्तव में जोसिफस की समस्या का मूल सूत्रीकरण है)। वे गणना करते हैं:
- और इसलिए
- (ध्यान दें कि इसे पूर्णांकित कर दिया गया है)
यह संख्या 1 से 41 तक प्रत्येक क्रमिक पास को देखकर सत्यापित किया जा सकता है:
- 1, 2, 4, 5, 7, 8, 10, 11, 13, 14, 16, 17, 19, 20, 22, 23, 25, 26, 28, 29, 31, 32, 34, 35, 37, 38, 40, 41
- 2, 4, 7, 8, 11, 13, 16, 17, 20, 22, 25, 26, 29, 31, 34, 35, 38, 40
- 2, 4, 8, 11, 16, 17, 22, 25, 29, 31, 35, 38
- 2, 4, 11, 16, 22, 25, 31, 35
- 2, 4, 16, 22, 31, 35
- 4, 16, 31, 35
- 16, 31
- 31
सामान्य स्थिति
डायनेमिक प्रोग्रामिंग का उपयोग इस समस्या को हल करने के लिए सामान्य मामले में पहले चरण का प्रदर्शन करके और फिर शेष समस्या के समाधान का उपयोग करके किया जाता है। जब सूचकांक एक से शुरू होता है, तो पहले व्यक्ति से s परिवर्तन होने वाला व्यक्ति स्थिति है, जहां n व्यक्तियों की कुल संख्या है। मान लीजिए बचे हुए की स्थिति को निरूपित करें। -वें व्यक्ति के मारे जाने के बाद, का एक चक्र बना रहता है, और अगली गिनती उस व्यक्ति से प्रारंभ होती है जिसकी मूल समस्या में संख्या थी। यदि गणना से प्रारंभ की जाती है तो उत्तरजीवी की स्थिति शेष समूह में होगी ; इसे इस तथ्य के लिए गणना में स्थानांतरित करना कि प्रारंभिक बिंदु पुनरावृत्ति देता है[12]
जो सरल रूप लेता है
यदि पदों को अतिरिक्त से क्रमांकित हैं।
इस दृष्टिकोण में संचालन का समय है, लेकिन छोटे और बड़े के लिए एक और तरीका है। दूसरा दृष्टिकोण गतिशील प्रोग्रामिंग का भी उपयोग करता है लेकिन इसमें संचालन का समय होता है। यह k-th, 2k-th, ... को मारने पर विचार करने पर आधारित है। -वें लोग एक चरण के रूप में, फिर संख्या बदल रहे हैं।[citation needed]
यह संशोधित दृष्टिकोण रूप लेता है
संदर्भ
उद्धरण
- ↑ R.Ugalde, Laurence. "Josephus problem in Fōrmulæ programming language". Fōrmulæ. Retrieved July 26, 2021.
- ↑ Dowdy & Mays 1989, p. 125.
- ↑ Bachet 1612, p. 174.
- ↑ Herstein & Kaplansky 1974, pp. 121–126.
- ↑ Zabell 1976, pp. 48, 51.
- ↑ 6.0 6.1 Cohen, Richard. Making History: The Storytellers Who Shaped the Past, p. 54 (Simon & Schuster 2022).
- ↑ Wells, Colin. A Brief History of History: Great Historians and the Epic Quest to Explain the Past, p. 42 (Rowman & Littlefield, 2008).
- ↑ Rouse Ball 1905, p. 19.
- ↑ Newman 1988, pp. 2403–2405.
- ↑ Robinson 1960, pp. 47–52.
- ↑ "Josephus Problem using Bitwise Operation (Java)". GitHub. January 7, 2018. Retrieved January 7, 2018.
- ↑ Park & Teixeira 2018, pp. 1–7.
स्रोत
- Bachet, C. G. (1612). सुखद और मनोरम समस्याएँ जो अंकों द्वारा की जाती हैं (in français).
- Graham, R. L.; Knuth, D. E.; Patashnik, O. (1989). ठोस गणित: कंप्यूटर विज्ञान के लिए एक फाउंडेशन. Addison Wesley. ISBN 978-0-201-14236-5.
- Herstein, I. N.; Kaplansky, I. (1974). मैटर्स मैथमैटिकल. Harper and Row. ISBN 9780060428037.
- Josephus, Flavius (n.d.). फ्लेवियस जोसेफस की कृतियाँ: तीन खंडों में; दृष्टांतों के साथ. Translated by William Whiston. London: George Routledge & Sons.
- Newman, J. R. (1988). गणित की दुनिया. Vol. 4. Tempus.
- Park, Jang-Woo; Teixeira, Ricardo (2018). "सीरियल निष्पादन जोसेफस समस्या". Korean J. Math. 26 (1): 1–7. doi:10.11568/kjm.2018.26.1.1.
- Robinson, W. J. (1960). "जोसेफस समस्या". Math. Gazette. 44 (347): 47–52. doi:10.2307/3608532. JSTOR 3608532. S2CID 125735054.
- Rouse Ball, W. W. (1905). गणितीय मनोरंजन और निबंध (2nd ed.). London: Macmillan.
- Zabell, S. L. (1976). "संपादक को पत्र" (PDF). Fibonacci Quarterly. 14: 48–51.
अग्रिम पठन
- Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.; Stein, Clifford (2001). "Chapter 14: Augmenting Data Structures". Introduction to Algorithms (Second ed.). MIT Press and McGraw-Hill. p. 318. ISBN 0-262-03293-7.
- Dowdy, James; Mays, Michael E. (1989). "Josephus Permutations". Journal of Combinatorial Mathematics and Combinatorial Computing. 6: 125–130.
- Halbeisen, L.; Hungerbühler, N. (1997). "The Josephus Problem". J. Théor. Nombres Bordeaux. 9 (2): 303–318. doi:10.5802/jtnb.204.
- Jakóbczyk, F. (1973). "On the generalized Josephus problem". Glasow Math. J. 14 (2): 168–173. doi:10.1017/S0017089500001919. S2CID 122980022.
- Lloyd, Errol L. (1983). "An O(n logm) algorithm for the Josephus Problem". J. Algor. 4 (3): 262–270. doi:10.1016/0196-6774(83)90025-1.
- Odlyzko, Andrew M.; Wilf, Herbert S. (1991). "Functional iteration and the Josephus problem". Glasgow Math. J. 33 (2): 235–240. doi:10.1017/S0017089500008272. S2CID 123160551.
- Ruskey, Frank; Williams, Aaron (2010). "The Feline Josephus Problem". Lect. Not. Comp. Sci. Lecture Notes in Computer Science. 6099: 343–354. Bibcode:2010LNCS.6099..343R. doi:10.1007/978-3-642-13122-6_33. ISBN 978-3-642-13121-9. FUN2010
- Ruskey, Frank; Williams, Aaron (2012). "The Feline Josephus Problem". Theory Comput. Syst. 50: 20–34. doi:10.1007/s00224-011-9343-6. S2CID 2273820.
- Sullivan, Shaun; Insko, Erik (2018). "A variant on the Feline Josephus Problem". arXiv:1803.11340 [math.CO].
- Shams-Baragh, Armin (2002). "Formulating the Extended Josephus Problem" (PDF). Archived from the original (PDF) on 2018-07-30.
- Theriault, Nicolas (2001). "Generilazations of the Josephus Problem". Util. Math. (58): 161–173. CiteSeerX 10.1.1.164.2015.
- Woodhouse, David (1973). "The extended Josephus problem". Rev. Mat. Hisp.-Amer. 33 (4): 207–218.
बाहरी संबंध
- Josephus Flavius game (Java Applet) at cut-the-knot allowing selection of every nth out of 50 (maximum).
- Weisstein, Eric W. "Josephus Problem". MathWorld.
- The Josephus Problem - Numberphile on YouTube
- Generalized Josephus Problem