🔢 mathematics

Partitioning set $[n] = \{1, \dots, n\}$ into subsets of size at most $m$ such that all sums are powers of $m$

यह शोध पत्र समुच्चय $\{1, \dots, n\}$ के उन विभाजनों के अस्तित्व और विशिष्टता की जांच करता है जिनमें उपसमुच्चयों का आकार अधिकतम $m$ होता है और जिनका योग $m$ की घातें होती है, यह सिद्ध करते हुए कि जबकि $m > 3$ होने पर ऐसे विभाजन अनंत $n$ के लिए विफल हो जाते हैं, वे $m = 3$ के लिए सभी $n$ के लिए संभवतः अस्तित्व में होते हैं (संभावित प्रति-उदाहरणों पर विशिष्ट बाधाओं के अधीन) और विभिन्न $n$ के मानों के लिए ऐसे विभाजनों की संख्या के लिए सटीक गणना स्थापित करते हैं।

मूल लेखक: Vladimir Gurvich, Mariya Naumova

प्रकाशित 2026-07-17

📖 8 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Vladimir Gurvich, Mariya Naumova

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक मास्टर आर्किटेक्ट हैं जिसे ठीक $n$ अद्वितीय ईंटों का उपयोग करके एक शहर बनाने का काम सौंपा गया है, जो 1 से $n$ तक क्रमांकित हैं। आपका लक्ष्य केवल उन्हें एक के ऊपर एक रखना नहीं है; आपको उन्हें मोहल्लों (जिन्हें "पार्ट्स" कहा जाता है) में समूहीकृत करना होगा जहाँ दो सख्त नियम लागू होते हैं। पहला, कोई भी मोहल्ला बहुत अधिक भीड़भाड़ वाला नहीं हो सकता; इसमें अधिकतम $m$ ईंटें हो सकती हैं। दूसरा, किसी भी मोहल्ले में ईंटों का कुल "भार" एक विशिष्ट जादुई संख्या $m$ की पूर्ण घात (perfect power) होना चाहिए (जैसे $m^0=1, m^1=m, m^2$ , इत्यादि)। यह पहेली कॉम्बिनेटोरिक्स (combinatorics) की दुनिया से संबंधित है, जो गणित की एक शाखा है जो इस बात का अध्ययन करती है कि चीजों को कैसे व्यवस्थित, गिना और समूहीकृत किया जा सकता है। यह एक विशाल, अनंत सुडोकू को हल करने जैसा है जहाँ ग्रिड के आकार के साथ नियम बदलते रहते हैं। गणितज्ञ इस पर इसलिए ध्यान देते हैं क्योंकि संख्याओं को कैसे तोड़ा और पुनर्गठित किया जा सकता है, इसे समझना गणित की संरचना के गहरे रहस्यों को प्रकट करता है, ठीक वैसे ही जैसे परमाणुओं के बंधन को समझना हमें नई सामग्रियां बनाने में मदद करता है।

जिस शोध पत्र को आप अब पढ़ने जा रहे हैं, वह इस विशेष, कठिन संस्करण को संबोधित करता है, जहाँ लेखक जादुिक संख्या $m$ को 3 निर्धारित करते हैं। इसका अर्थ है कि वे 1 से $n$ तक की संख्याओं को 1, 2, या 3 के आकार के समूहों में विभाजित करने का प्रयास कर रहे हैं, जहाँ प्रत्येक समूह का योग 3 की एक घात (1, 3, 9, 27, आदि) है। वे पहले से ही जानते थे कि $m=2$ के लिए, किसी भी $n$ के लिए हमेशा ठीक एक ही तरीका होता है। वे यह भी जानते थे कि $m=3$ से बड़े $m$ के लिए, $n$ के अनंत मानों के लिए यह पहेली असंभव है। लेकिन $m=3$ के लिए, उत्तर एक रहस्य था। लेखक दृढ़ता से अनुमान लगाते हैं (कन्जेक्चर) कि $n$ के प्रत्येक मान के लिए, चाहे वह कितना भी बड़ा क्यों न हो, एक समाधान मौजूद है।

इसकी जांच करने के लिए, उन्होंने केवल अनुमान नहीं लगाया; उन्होंने एक गणितीय सुरक्षा जाल बनाया। उन्होंने सिद्ध किया कि यदि किसी संख्या $n$ के लिए समाधान मौजूद नहीं है, तो वह "खराब" संख्या एक बहुत ही विशिष्ट, अजीब आकार की होगी। उसे $n = 3t + 3k + 2$ के रूप में दिखना चाहिए, और उसे कुछ अन्य विशिष्ट पैटर्नों से बचना चाहिए। इसे एक जासूस की तरह समझें जो कहता है, "यदि कोई अपराध हुआ है, तो संदिग्ध ने लाल टोपी पहनी होगी, लंगड़ाकर चल रहा होगा और बाएं हाथ का उपयोग करने वाला होगा।" यदि आप ऐसा संदिग्ध पाते हैं जो उस विवरण में फिट नहीं बैठता है, तो आप जानते हैं कि वह अपराधी नहीं है। लेखकों ने इस तर्क का उपयोग करके संख्याओं के विशाल हिस्सों को बाहर करने के लिए किया। उन्होंने 844 तक प्रत्येक संख्या की जांच करने के लिए कंप्यूटर सिमुलेशन भी चलाया, और हर एक मामले में, उन्हें एक समाधान मिला। उन्होंने एक थोड़ा ढीले संस्करण का भी अन्वेषण किया जिसे "क्वासी-पार्टिशन" (quasi-partition) कहा जाता है, जहाँ एक संख्या का दो बार उपयोग करने की अनुमति है, और यह सिद्ध किया कि वहां भी समाधान मौजूद हैं। हालांकि उन्होंने अभी तक यह सिद्ध नहीं किया है कि यह पहेली प्रत्येक $n$ के लिए हल करने योग्य है, लेकिन उन्होंने एक काउंटर-एग्जांपल (विपरीत उदाहरण) की खोज को बहुत ही छोटी, विशिष्ट सूची तक सीमित कर दिया है, और वे आश्वस्त हैं कि लगभग सभी अन्य संख्याओं के लिए, समाधान न केवल संभव है बल्कि अक्सर अद्वितीय भी होता है।

संख्या समूहीकरण का महान खेल

कल्पना कीजिए कि आपके पास नंबर वाले टाइल्स का एक बैग है, जो 1 से लेकर किसी बड़ी संख्या $n$ तक है। आपका काम इन टाइल्स को ढेर में छाँटना है। लेकिन यहाँ नियम हैं!

आकार का नियम: प्रत्येक ढेर में अधिकतम 3 टाइल्स हो सकती हैं।
योग का नियम: प्रत्येक ढेर में संख्याओं का योग 3 की एक "घात" होना चाहिए। इसका मतलब है कि योग 1, 3, 9, 27, 81, आदि होना चाहिए।

यह "3-गुड पार्टीशन" समस्या है। लेखक पूछते हैं: क्या हम हमेशा ऐसा कर सकते हैं, चाहे हमारे पास कितने भी टाइल्स हों?

लंबे समय तक, गणितज्ञों को "2-गुड" पार्टीशन (जहाँ ढेर में अधिकतम 2 टाइल्स होती हैं और योग 2 की घात होती है) के लिए उत्तर पता था। यह पता चला कि इसके लिए हमेशा ठीक एक ही तरीका होता है। लेकिन 3 के लिए, नियम जटिल हो जाते हैं। लेखक संदेह करते हैं कि उत्तर "हाँ, यह हमेशा संभव है" है, लेकिन उन्हें इसे सिद्ध करने की आवश्यकता थी।

"क्रिटिकल" संदिग्ध

हर संख्या के लिए इसे सिद्ध करने (जो कठिन है) के बजाय, लेखकों ने "बुरे लड़कों" को खोजने का निर्णय लिया—वे संख्याएँ जहाँ यह विफल हो जाता है। उन्होंने तर्क दिया कि यदि कोई ऐसी संख्या $n$ मौजूद है जहाँ आप ढेर नहीं बना सकते, तो वह एक "क्रिटिकल" संख्या होगी।

उन्होंने सिद्ध किया कि यदि ऐसी क्रिटिकल संख्या मौजूद है, तो वह कोई भी रैंडम संख्या नहीं हो सकती। उसे एक बहुत ही विशिष्ट वेशभूषा धारण करनी होगी। उसे $n = 3t + 3k + 2$ के रूप में होना चाहिए,
और उसे $t$ की तुलना में $k$ के आकार के बारे में कुछ अतिरिक्त शर्तों को पूरा करना होगा।

इसे एक क्लब के सुरक्षा गार्ड की तरह समझें। गार्ड कहता है, "यदि आप बिना टिकट के अंदर घुसने की कोशिश कर रहे हैं, तो आपने हरी टोपी पहनी होगी और एक नीला बैग ले रखा होगा।" यदि आप किसी को लाल टोपी में देखते हैं, तो आप निश्चित रूप से जानते हैं कि वह घुसपैठिया नहीं है। लेखकों ने सिद्ध किया कि जो संख्या इस "हरी टोपी" के विवरण में फिट नहीं बैठती है, वह सुरक्षित है; हम उन संख्याओं को कैसे समूहीकृत करते हैं, यह हम जानते हैं। इसने संभावनाओं की एक विशाल मात्रा को समाप्त कर दिया।

कंप्यूटर चेक

अपने चतुर गणित के बावजूद, अभी भी कुछ संख्याएँ थीं जो "हरी टोपी" के विवरण में फिट बैठती थीं। यह सुनिश्चित करने के लिए कि, लेखकों ने (कंप्यूटर प्रोग्रामर दिमित्री रिबिन की मदद से) 844 तक की प्रत्येक संख्या की जांच करने के लिए एक प्रोग्राम लिखा।

परिणाम: 1 से 844 तक की प्रत्येक संख्या के लिए, उन्होंने टाइल्स को पूरी तरह से समूहीकृत करने का एक तरीका खोज लिया।
निष्कर्ष: कंप्यूटर को एक भी "खराब" संख्या नहीं मिली। यह उनके अनुमान का पुरजोर समर्थन करता है कि यह पहेली सभी के लिए हल करने योग्य है।

"क्वासी-पार्टिशन्स" का मोड़

लेखकों ने एक थोड़ा अलग खेल भी आज़माया। क्या होगा यदि हम एक संख्या का दो बार उपयोग करने की अनुमति दें? वे इसे "क्वासी-पार्टिशन" कहते हैं। कल्पना कीजिए कि आपके पास संख्या 3 का एक अतिरिक्त टाइल है, इसलिए आप इसे दो अलग-अलग ढेरों में उपयोग कर सकते हैं।
उन्होंने सिद्ध किया कि संख्याओं की एक विशिष्ट सीमा के लिए, आप हमेशा इस संस्करण को हल कर सकते हैं, और संख्या 3 (विशेष रूप से $3^t$ ) वही है जिसका दो बार उपयोग किया जाएगा। यह इस कठिन समस्या को समझने के लिए एक सहायक कदम था।

कितने तरीके हैं?

इस शोध पत्र का सबसे मजेदार हिस्सा संख्याओं को समूहीकृत करने के विभिन्न तरीकों को गिनना है।

कुछ संख्याओं के लिए (जैसे 1, 2, 3, 4 और कई अन्य), ठीक एक तरीका है। यह एक ताले की तरह है जिसमें केवल एक ही चाबी है।
संख्या 13 के लिए, और $3t - 3$ जैसी संख्याओं के लिए, ठीक दो तरीके हैं।
लगभग अन्य सभी संख्याओं के लिए, उन्हें संदेह है कि दो से अधिक तरीके होंगे।

उन्होंने एक विशेष नियम (प्रपोजिशन 2) भी खोजा कि यदि आप तीन संख्याओं के समूहों (ट्रिपलेट्स) को जानते हैं, तो आप पूरे पहेली को समझ सकते हैं। यह कहने जैसा है, "यदि आप जानते हैं कि कमरे में तीन सबसे अच्छे दोस्त कौन हैं, तो आप पूरे सामाजिक परिवेश को जान सकते हैं।"

निचोड़

लेखक अभी तक ब्रह्मांड की हर संख्या के लिए इस पहेली को हल नहीं कर पाए हैं। अभी भी कुछ कठिन संख्याएँ बची हैं (जैसे 35, 38, 89, और 101) जिन्हें उनके गणित ने पूरी तरह से स्पष्ट नहीं किया है। हालाँकि, उन्होंने दिखाया है कि यदि कोई समाधान मौजूद नहीं है, तो उसे इन बहुत ही विशिष्ट, दुर्लभ संख्याओं में से एक होना चाहिए।

वे आश्वस्त हैं कि "3-गुड पार्टीशन" प्रत्येक संख्या $n$ के लिए मौजूद है। उन्होंने आसान विफलताओं को खारिज कर दिया है, कंप्यूटर के साथ पहले 844 नंबरों की जांच की है, और पाया है कि पहेली का हमेशा एक समाधान होता है। रहस्य यह नहीं है कि क्या हम संख्याओं को समूहीकृत कर सकते हैं, बल्कि यह है कि वास्तव में बहुत बड़ी संख्याओं के लिए हम इसे कितने तरीकों से कर सकते हैं। हर संख्या के लिए इसे सिद्ध करने की यात्रा जारी है, लेकिन रास्ता अब बहुत स्पष्ट हो गया है।

तकनीकी सारांश: [n] के समुच्चय को आकार में अधिकतम m वाले उपसमुच्चयों में विभाजित करने पर, ताकि सभी योग m की घात हों

समस्या विवरण
यह शोध पत्र प्रथम $n$ प्राकृतिक संख्याओं के समुच्चय, $[n] = \{1, \dots, n\}$ पर आधारित एक संयोजन विभाजन (combinatorial partitioning) समस्या का समाधान करता है। दिए गए पूर्णांकों $m > 1$ और $n > 0$ के लिए, $[n]$ के एक उपसमुच्चय को $m$ -good कहा जाता है यदि उसका कार्डिनैलिटी (cardinality) $m$ से अधिक न हो और उसके तत्वों का योग $m$ की एक घात (अर्थात, किसी पूर्णांक $t \ge 0$ के लिए $m^t$ ) हो। $[n]$ का एक विभाजन $m$ -good कहलाता है यदि उस विभाजन का प्रत्येक भाग एक $m$ -good सेट हो।

लेखक ऐसे विभाजनों के अस्तित्व और विशिष्टता (uniqueness) की जांच करते हैं। यह स्थापित किया गया है कि:

$m=2$ के लिए, प्रत्येक $n$ के लिए एक अद्वितीय 2-good विभाजन मौजूद है।
$m > 3$ के लिए, ऐसे अनंत $n$ हैं जिनके लिए कोई $m$ -good विभाजन मौजूद नहीं है (विशेष रूप से, $n = 2(m^t + 1)$ के लिए)।
$m=3$ का मामला मुख्य केंद्र है, जहाँ प्रत्येक $n$ के लिए 3-good विभाजन का अस्तित्व तुरंत स्पष्ट नहीं है और यह एक अनुमान (conjecture) का विषय बना हुआ है।

कार्यप्रणाली (Methodology)
लेखक रचनात्मक प्रमाणों (constructive proofs), पुनरावर्ती न्यूनीकरण (recursive reductions) और कम्प्यूटेशनल सत्यापन (computational verification) के संयोजन का उपयोग करते हैं।

न्यूनीकरण तकनीकें (Reduction Techniques): मूल कार्यप्रणाली "न्यूनीकरण" (reductions) पर आधारित है, जहाँ $[n]$ के एक विभाजन का निर्माण एक छोटे सेट $[n']$ के ज्ञात विभाजन में विशिष्ट भागों को जोड़कर किया जाता है। लेखक $n$ के विभिन्न रूपों (जैसे, $n = 3t + 3k$ , $n = 3t + 3k + 1$ ) के लिए विशिष्ट न्यूनीकरण सूत्र परिभाषित करते हैं जो एक छोटे $n'$ के विभाजन के आधार पर $n$ के लिए 3-good विभाजन का निर्माण करने की अनुमति देते हैं।
सममित अंतराल (Symmetric Intervals): न्यूनीकरण को सुगम बनाने के लिए शोध पत्र सममित पूर्णांक अंतरालों $[-\ell; \ell]$ के विभाजनों का उपयोग करता है। लेम्मा 1 दर्शाता है कि ऐसे अंतराल 3-good विभाजनों को स्वीकार करते हैं (0 के योग वाले त्रिक/triplets का उपयोग करके) जब $\ell \equiv 0, 1 \pmod 3$ हो।
क्वासी-विभाजन (Quasi-Partitions): उन मामलों को संभालने के लिए जहाँ मानक विभाजन बनाना कठिन होता है, लेखक 3-good क्वासी-विभाजनों को पेश करते हैं। ये ऐसे उपसमुच्चयों के परिवार हैं जो $[n]$ के सभी नंबरों को ठीक एक बार कवर करते हैं, सिवाय एक विशिष्ट संख्या के (विशेष रूप से $3^t$ ), जिसे दो बार कवर किया जाता है।
पुनरावर्ती एल्गोरिदम (Recursive Algorithms): विशिष्टता प्रमाणों के लिए, लेखक ओलेग पोलुबासोफ (Oleg Polubasoff) द्वारा प्रतिपादित एक पुनरावर्ती एल्गोरिदम का उपयोग करते हैं जो सबसे बड़े मुक्त नंबर $i$ के स्थान का निर्धारण करता है। यदि $i$ 3 की एक घात है, तो इसे एकल (singleton) होना चाहिए; अन्यथा, इसे $3^j - i$ (जहाँ $3^{j-1} < i < 3^j$ ) के साथ जोड़ा जाना चाहिए।

प्रमुख योगदान और परिणाम

अस्तित्व अनुमान (Conjecture 1): लेखक अनुमान लगाते हैं कि प्रत्येक धनात्मक पूर्णांक $n$ के लिए एक 3-good विभाजन मौजूद है।
न्यूनतम प्रति-उदाहरणों का अभिलक्षण (Theorem 1): यह मानते हुए कि एक प्रति-उदाहरण (counter-example) मौजूद है, लेखक सिद्ध करते हैं कि न्यूनतम प्रति-उदाहरण $n$ $n$ को सख्त शर्तों को पूरा करना होगा:
- $n = 3^t + 3k + 2$ जहाँ $t > 0$ ।
- $0 \le k < \frac{3^{t-1}-1}{2}$ ।
- $k \neq \frac{3^\ell-1}{2}$ किसी भी गैर-ऋणात्मक पूर्णांक $\ell < t$ के लिए।
- इसके समान रूप, $n \equiv 2 \pmod 3$ , $3k+2 < \frac{3^{t+1}+1}{2}$ , और $3k+2 \neq \frac{3^{\ell+1}+1}{2}$ ।
- यह संभावित प्रति-उदाहरणों के खोज क्षेत्र को काफी कम कर देता है।
क्वासी-विभाजनों का अस्तित्व (Theorem 2): लेखक सिद्ध करते हैं कि Theorem 1 की शर्तों को पूरा करने वाले किसी भी $n$ (अर्थात, एक संभावित प्रति-उदाहरण के रूप) के लिए, एक 3-good क्वासी-विभाजन मौजूद है जहाँ संख्या $3^t$ को दो बार कवर किया गया है। यह सुझाव देता है कि एक मानक विभाजन के लिए बाधा न्यूनतम है।
विशिष्टता परिणाम (Theorem 3): शोध पत्र $n$ $n$ के विशिष्ट श्रेणियों के लिए 3-good विभाजनों की विशिष्टता स्थापित करता है:
- $n \in \{1, 2, 3, 4\}$ के लिए और $n = 3^t - 4, 3^t - 2, 3^t - 1, 3^t, 3^t + 1, 3^t + 2, 3^t + 3, 3^t + 5$ (जहाँ $t \ge 2$ ) के रूप वाले $n$ के लिए अद्वितीय विभाजन मौजूद हैं।
- $n = 3^t - 3$ और $n = 13$ के लिए ठीक दो 3-good विभाजन मौजूद हैं।
- लेखक अनुमान लगाते हैं कि अन्य सभी $n$ (13 को छोड़कर) के लिए, 3-good विभाजनों की संख्या 2 से अधिक है।
कम्प्यूटेशनल सत्यापन: दिमित्री रिबिन (Dmitry Rybin) द्वारा लिखे गए कोड का उपयोग करके, सभी $n \le 844$ के लिए अनुमानों को सत्यापित किया गया था।

महत्व और दावे
शोध पत्र का दावा है कि यह सभी $n$ के लिए 3-good विभाजनों के अस्तित्व के संबंध में पहला कठोर आंशिक परिणाम प्रदान करता है। किसी भी संभावित न्यूनतम प्रति-उदाहरण के रूप को अभिलक्षित करके, वे समस्या के स्थान को महत्वपूर्ण रूप से सीमित करते हैं। क्वासी-विभाजन का परिचय एक महत्वपूर्ण मध्यवर्ती चरण के रूप में कार्य करता है, यह प्रदर्शित करते हुए कि सबसे कठिन मामलों में भी (जहाँ एक मानक विभाजन विफल हो सकता है), एक समाधान के बहुत करीब संरचना मौजूद है।

लेखक स्वीकार करते हैं कि हालांकि प्रस्तावित सामान्य न्यूनीकरण विधियाँ (ओलेग पोलुबासोफ द्वारा सुझाए गए) प्रमाणित मामलों की सीमा का विस्तार करती हैं, लेकिन यह एक खुला प्रश्न बना हुआ है कि क्या ये विधियाँ सभी $n$ के लिए Conjecture 1 को पूरी तरह से सिद्ध करने के लिए पर्याप्त हैं। शोध पत्र यह दावा नहीं करता है कि इसने सामान्य अस्तित्व समस्या को हल कर दिया है, बल्कि यह Conjecture 1 का समर्थन करने वाले साक्ष्य और एक संरचनात्मक ढांचा प्रदान करता है।