🎴 السودوكو هو مربع لاتيني (من الرتبة 9)
السودوكو، هذه التسلية الحديثة التي نجدها في كل صحف العالم، ليس اختراعًا يابانيًا من القرن الحادي والعشرين. إنه بنية رياضية تُدرس منذ ليونارد أويلر سنة 1782: إنها المربعات اللاتينية.
مربع لاتيني من الرتبة n: شبكة n × n مملوءة بـ n رموز مختلفة، حيث يظهر كل رمز بالضبط مرة واحدة في كل سطر و مرة واحدة في كل عمود.
السودوكو يضيف فقط قيدًا إضافيًا: كل رمز يظهر أيضًا مرة واحدة في كل كتلة 3×3. لكن الهيكل الرياضي هو المربع اللاتيني.
🎛️ العب سودوكو مصغرًا 4×4
🎛️ سودوكو مصغر 4×4 (مربع لاتيني)
املأ الشبكة بالأرقام من 1 إلى 4. كل سطر وعمود وكتلة 2×2 يجب أن يحتوي على كل رقم مرة واحدة.
انقر على خانة ثم اكتب 1 أو 2 أو 3 أو 4.
📜 التاريخ: أويلر و«ضباطه الـ 36»
سنة 1782، درس أويلر المربعات الإغريقية-اللاتينية: مربعان لاتينيان متراكبان بحيث يظهر كل زوج (لاتيني، إغريقي) مرة واحدة بالضبط. وقد استلهمها من سؤال ملموس:
«مسألة الضباط الـ 36»: هل يمكن ترتيب 36 ضابطًا (6 رتب × 6 أفواج) في شبكة 6×6، بحيث يحتوي كل سطر وكل عمود بالضبط على ضابط واحد من كل رتبة وواحد من كل فوج؟
خمّن أويلر أن ذلك مستحيل، وبصفة أعم لكل رتبة n = 4k+2. تم تأكيد هذا التخمين من أجل n = 6 على يد تاري سنة 1900. لكن سنة 1959، برهن بوز وشريكهاندي وباركر أن أويلر كان مخطئًا في جميع الحالات الأخرى: وجود مربعات إغريقية-لاتينية من أجل n = 10، 14، 18، إلخ.
🧮 كم عدد المربعات اللاتينية الموجودة؟
- الرتبة 1: 1
- الرتبة 2: 2
- الرتبة 3: 12
- الرتبة 4: 576
- الرتبة 5: 161 280
- الرتبة 6: 812 851 200
- الرتبة 7: 61 479 419 904 000
- الرتبة 9 (السودوكو الأساسي): ≈ 5,5 × 10²⁷ — جنون توفيقي حقيقي
📊 تطبيقات إحصائية (فيشر)
في القرن العشرين، أعاد الإحصائي رونالد فيشر اكتشاف المربعات اللاتينية بوصفها أدوات للتجريب الزراعي. لاختبار 4 أصناف من القمح في حقل به مصدران للتباين (التربة والتعرض للشمس)، نرتّب الأصناف في مربع لاتيني: يظهر كل صنف مرة واحدة في كل سطر وكل عمود.
وهذا يسمح بـإزالة مصدري التباين في آن واحد في التحليل. وقد أصبح أداة معيارية في علم الزراعة والطب والصناعة.
🌍 تطبيقات حديثة
- السودوكو: التسلية الرياضية الأكثر شعبية في العالم، منذ 2005
- التعمية (التشفير): تستخدم بعض الخوارزميات المربعات اللاتينية لتوليد المفاتيح
- كشف الأخطاء: أكواد تصحيحية مبنية على المربعات اللاتينية (البطاقات البنكية، الأقراص المدمجة)
- تصاميم التجارب: الصناعة الصيدلانية، علم الزراعة
- المباريات الرياضية: تنظيم المقابلات بإنصاف (كل فريق يلعب ضد كل فريق آخر)
🎮 لماذا يقاوم السودوكو
حل سودوكو 9×9 عام هو مسألة NP-كاملة (نفس عائلة مسألة التاجر الجوّال، مفهوم أطلس). لا يمكنك حلها بسرعة دون فحص الكثير من الحالات. لهذا السبب فإن الشبكات «بمستوى شيطاني» صعبة جدًا.
ومع ذلك، بالنسبة لسودوكو 9×9 ذي حل وحيد، فإن الحد الأدنى من المؤشرات هو 17 (تم برهانه بالحساب الشامل سنة 2012، أكثر من 7 ملايين ساعة معالجة). بأقل من ذلك، تبقى عدة حلول ممكنة دائمًا.
🎓 الرابط مع برنامج البكالوريا علوم رياضية
- العدّ (التعداد): عدّ المربعات اللاتينية مسألة توفيقية مثيرة للاهتمام
- المنطق: حل السودوكو هو منطق صوري (استنتاجات)
- التبديلات: كل سطر من مربع لاتيني هو تبديلة
- خوارزميات التتبع الراجع (backtracking): تُستخدم لحل المربعات اللاتينية
🧠 تأمل أخير
المربعات اللاتينية مثال مؤثر على التقارب غير المتوقع بين الرياضيات الصرفة (أويلر 1782)، والتطبيقات العملية (فيشر 1925)، والثقافة الشعبية (السودوكو 2005). ثلاثة عوالم مختلفة جدًا، وبنية رياضية واحدة.
في المرة القادمة التي تملأ فيها شبكة سودوكو، انظر إليها بعين عالم رياضيات: أنت تتعامل مع كائن دُرس على مدى 250 سنة، بُرهنت حوله مبرهنات وكُتبت أطروحات. ليس سيئًا لتسلية مقهى.