Symmetric Sudoku-Type Games from Perfect Codes

तकनीकी सारांश: परफेक्ट कोड्स से प्राप्त सममित सुडोकू-प्रकार के खेल

समस्या विवरण
जबकि मानक $9 \times 9$ सुडोकू एक सुव्यवस्थित संयोजी वस्तु (combinatorial object) है जिसमें समृद्ध समरूपता (symmetry) है, कई संस्करण (जैसे कि जिगसॉ सुडोकू) ग्रिड विभाजन को इस तरह से बदलते हैं जिससे घूर्णन (rotational) और परावर्तन (reflective) समरूपता नष्ट हो जाती है। यह समरूपता की हानि मानक समाधान रणनीतियों और सैद्धांतिक उपकरणों को अप्रभावी बना देती है। यह शोध पत्र क्लासिकल गेम के समान उच्च स्तर की समरूपता बनाए रखने वाले सुडोकू-प्रकार के खेल बनाने के लिए एक सामान्यीकृत ढांचे की आवश्यकता को संबोधित करता है, जबकि नए संरचनात्मक बदलाव भी प्रदान करता है।

कार्यप्रणाली
लेखक $\mathbb{Z}_n$ के पूर्णांकों के वलय (rings of integers) पर ली दूरी परफेक्ट कोड्स (Lee distance perfect codes) और डायमीटर परफेक्ट कोड्स (diameter perfect codes) पर आधारित एक निर्माण विधि प्रस्तावित करते हैं।

1. सैद्धांतिक आधार: यह विधि इन कोड्स के "टाइलिंग गुण" (tiling property) का उपयोग करती है। एक परफेक्ट कोड $C$, $\mathbb{Z}_n^2$ के स्थान को त्रिज्या $t$ के विलगित बॉल्स (disjoint balls) में विभाजित करता है। एक "डायमीटर परफेक्ट कोड" कोड-एंटीकोड बाउंड (Code-Anticode Bound) में समानता प्राप्त करता है, जो स्थान को एक विशिष्ट व्यास (diameter) के एंटीकोड्स का उपयोग करके विभाजित करता है।
2. ग्रिड निर्माण:
   • एक पलेट ग्रिड $I$ का निर्माण किया जाता है जहाँ प्रत्येक सेल $(x, y)$ को एक प्रतीक (symbol) सौंपा जाता है, जो इस आधार पर होता है कि किस कोडवर्ड के बॉल (या एंटीकोड ट्रांसलेट) में वह निर्देशांक स्थित है।
   • एक सुडोकू ग्रिड $S$ को $n$ क्रम के एक लैटिन स्क्वायर के रूप में परिभाषित किया जाता है जो पलेट ग्रिड $I$ के प्रति ऑर्थोगोनल (orthogonal) है। यह ऑर्थोगोनैलिटी यह सुनिश्चित करती है कि प्रत्येक प्रतीक कोड के टाइलिंग द्वारा परिभाषित क्षेत्रों के भीतर ठीक एक बार दिखाई देता है।
3. तुल्यता संबंध (Equivalence Relations): लेखक निम्नलिखित के तहत ग्रिडों के लिए तुल्यता वर्गों को परिभाषित करते हैं:
   • रीलेबलिंग (Relabeling): प्रतीकों का क्रमपरिवर्तन (permutation)।
   • रिजिड मोशन (Rigid Motions): घूर्णन, परावर्तन और अनुवाद (translations) का एक विशिष्ट समूह $G_S$ जो अंतर्निहित कोड संरचना को सुरक्षित रखता है।
4. केस स्टडीज: इस ढांचे को दो न्यूनतम मामलों पर लागू किया गया है:
   • $5 \times 5$ सुडोकू: $\mathbb{Z}_5^2$ (जहाँ $n=5$) में 1-त्रुटि-सुधारने वाले (1-error-correcting) परफेक्ट कोड से निर्मित।
   • $8 \times 8$ सुडोकू: $\mathbb{Z}_8^2$ में 3-डायमीटर परफेक्ट कोड्स से निर्मित।
5. कठिनाई मूल्यांकन: प्लेबिलिटी (playability) का मूल्यांकन करने के लिए एक "मानव-समान सॉल्वर" (human-like solver) लागू किया गया है। यह सॉल्वर केवल प्रारंभिक संकेतों (clues) के साथ बुनियादी तार्किक निष्कर्षों (Naked Single और Hidden Single) को मिलाकर और एक ट्रायल-एंड-एरर चरण का उपयोग करता है। कठिनाई को प्रारंभिक संकेतों के परे आवश्यक ट्रायल-एंड-एरर प्रविष्टियों की संख्या द्वारा मापा जाता है।

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

• समाधानों की गणना (Enumeration of Solutions):
  • $5 \times 5$ मामले के लिए, लेखकों ने 2,040 वैध ग्रिडों की पहचान की। रीलेबलिंग और रिजिड मोशन समूह के अंतर्गत, ये 17 असमतुल्य समाधानों में कम हो जाते हैं।
  • $8 \times 8$ मामले के लिए, दो अलग-अलग प्रकार के डायमीटर परफेक्ट कोड्स का विश्लेषण किया गया। पहले प्रकार ने लगभग $2.80 \times 10^{11}$ वैध ग्रिड दिए, जो 232,735 असमतुल्य समाधानों में कम हो गए। दूसरे प्रकार ने लगभग $1.95 \times 10^{11}$ वैध ग्रिड दिए, जो 304,014 असमतुल्य समाधानों में कम हो गए।
• न्यूनतम सुडोकू विश्लेषण:
  • $5 \times 5$ मामले के लिए, लेखकों ने न्यूनतम सुडोकू पहेलियों (वे पहेलियाँ जिनमें अद्वितीय समाधान के लिए न्यूनतम संकेत आवश्यक होते हैं) की गणना की। उन्होंने पाया कि कुल 15,898,200 न्यूनतम पहेलियाँ (समतुल्यता के अंतर्गत 35,759) मौजूद हैं, जिनमें संकेतों की संख्या 4 से 7 के बीच है।
  • $8 \times 8$ मामले के लिए, न्यूनतम पहेलियों की पूर्ण गणना को कम्प्यूटेशनल रूप से अव्यावहारिक माना गया। इसके बजाय, लेखकों ने 10 से 18 संकेतों वाली न्यूनतम पहेलियों की पहचान की।
• विशेष ग्रिड: अध्ययन ने ऐसे "विशेष सुडोकू ग्रिड" की पहचान की जो दिए गए मापदंडों के किसी भी परफेक्ट कोड के लिए सुडोकू बाधाओं को पूरा करते हैं। $5 \times 5$ के लिए 240 और $8 \times 8$ के लिए $4 \times 8!$ ऐसे ग्रिड हैं।
• कठिनाई वितरण: मानव-समान सॉल्वर का उपयोग करके $5 \times 5$ खेलों के विश्लेषण से कठिनाई स्तरों का संतुलित वितरण सामने आया। पहेलियों को आसान (स्कोर 0), मध्यम (स्कोर 1–10), और कठिन (स्कोर >10) में वर्गीकृत किया गया। परिणामों ने कठिनाई के स्तरों का एक व्यवहार्य मिश्रण दिखाया, जहाँ कई पहेलियाँ बुनियादी तर्क द्वारा हल की जा सकती हैं और अन्य महत्वपूर्ण ट्रायल-एंड-एरर की मांग करती हैं।

महत्व और दावे
यह शोध पत्र दावा करता है कि परफेक्ट कोड्स सममित सुडोकू-प्रकार के खेल उत्पन्न करने के लिए एक व्यवस्थित और गणितीय रूप से कठोर ढांचा प्रदान करते हैं। प्राथमिक महत्व इस बात को प्रदर्शित करने में है कि:

1. समरूपता संरक्षण: अनियमित वेरिएंट के विपरीत, ये कोड-आधारित निर्माण स्वाभाविक रूप से शास्त्रीय सुडोकू में पाई जाने वाली घूर्णन और परावर्तन समरूपता को बनाए रखते हैं, जिससे समूह-सिद्धांत (group-theoretic) विश्लेषण का अनुप्रयोग संभव होता है।
2. संरचनात्मक विविधता: यह ढांचा संरचनात्मक रूप से विविध वैध ग्रिड उत्पन्न करता है, जो मानक $9 \times 9$ प्रारूप से परे सुडोकू के परिदृश्य का विस्तार करता है।
3. व्यावहारिक खेलने की क्षमता: कठिनाई विश्लेषण पुष्टि करता है कि ये खेल केवल सैद्धांतिक निर्माण नहीं हैं बल्कि "आसान से कठिन तक के कठिनाई स्तरों का एक संतुलित वितरण" प्रदान करते हैं, जो उन्हें पारंपरिक सुडोकू के व्यवहार्य विकल्प बनाता है।

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