The Nim-Sum of a Random Integer Partition

تخيل لعبة تُلعَب بأكوام من الحجارة، حيث يتبادل لاعبان الأدوار في إزالة أي عدد من الحجارة من كومة واحدة. الهدف هو أن يكون اللاعب الأخير الذي يقوم بحركة، أو على العكس، إجبار الخصم على وضع لا يملك فيه أي حركة فوز. هذه هي لعبة "نيم" (Nim)، وهي لغز كلاسيكي في الاستراتيجية تمت دراسته لأكثر من قرن. يكمن سر الفوز ليس في عدّ العدد الإجمالي للحجارة، بل في طريقة محددة لدمج أحجام الأكوام باستخدام قاعدة تمزج بين الجمع والطرح بطريقة ثنائية (binary). إذا أدت هذه العملية إلى الصفر، فإن اللاعب الذي عليه الدور في اللعب سيكون مصيره الخسارة، بافتراض أن خصمه يلعب ببراعة تامة. لعقود من الزمن، عرف الرياضيون كيفية تحديد هذه المواضع الخاسرة لأي ترتيب محدد من الأكوام. ولكن ظل هناك سؤال أعمق وأكثر استعصاءً: إذا جمعت ببساطة عدداً ثابتاً من الحجارة وقسمتها إلى أكوام بشكل عشوائي، فما مدى تكرار كون هذا الترتيب العشوائي وضعاً خاسراً؟

يقع هذا السؤال عند تقاطع نظرية الألعاب ودراسة "تجزئة الأعداد الصحيحة" (integer partitions)، وهي المجال الرياضي المعني بكيفية تفكيك عدد ما إلى أعداد صحيحة أصغر. وبينما تكون قواعد الفوز في لعبة واحدة دقيقة وحتمية، فإن سلوك هذه الألعاب عندما يتم اختيار الموضع الابتدائي عشوائياً معقد بشكل مفاجئ. ومن الأسئلة الطبيعية ما إذا كانت وتيرة هذه المواضع الخاسرة ستستقر في نمط تقاربي بسيط مع نمو العدد الإجمالي للحجارة. ومع ذلك، فإن العمل الجديد لـ "دايوون كيم" من جامعة هاواي في مانونوا يكشف أن الإجابة أكثر تعقيداً من مجرد استقرار بسيط. فبينما تتلاشى الاحتمالية الخام لوجود موضع خاسر وتقترب من الصفر مع زيادة عدد الحجارة، فإن الكثافة "المعايرة" لهذه المواضع (أي الاحتمالية بعد إعادة قياسها وفقاً لمقياسها الطبيعي) لا تستقر أبداً، بل تتذبذب في نمط مسنن ومتكرر.

يركز بحث كيم على الحالة المحددة التي يكون فيها إجمالي عدد الحجارة زوجياً، حيث تجعل قواعد اللعبة من المستحيل لأي إجمالي فردي أن يشكل موضعاً خاسراً. ومن خلال استخدام طريقة عد دقيقة، يحدد البحث بدقة كيف يتصرف احتمال وجود موضع خاسر مع زيادة العدد الإجمالي للحجارة. وتظهر النتائج أن هذه الكثافة المعايرة لا تقترب من قيمة ثابتة واحدة، بل تتذبذب بعنف، صعوداً وهبوطاً في نمط "مسنن" (sawtooth) يتكرر في كل مرة يتجاوز فيها المقياس الطبيعي المرتبط بالحجم قوة للعدد اثنين. إذا قمت برسم هذه الكثافة مقابل حجم الكومة، فسترى خطاً يتسلق بثبات من نقطة منخفضة إلى نقطة عالية، ثم يهبط بحدة ليعود للأسفل، ليبدأ في التسلق مرة أخرى. تتكرر هذه الدورة إلى ما لا نهاية، مما يعني أن الكثافة المعايرة يمكن أن تتراوح بين مرة واحدة ومرتين من قيمة مرجعية محددة، اعتماداً كلياً على موقعك في هذه الدورة.

الآلية التي تقف وراء هذا السلوك متجذرة في الطبيعة الثنائية (binary) لقاعدة الفوز في اللعبة. فعندما يتم تفكيك عدد كبير إلى أجزاء أصغر، تعمل الأجزاء الأصغر كمصدر للعشوائية تعمل على بعثرة البتات (bits) الدنيا للأرقام الثنائية، مما يجعلها تبدو موحدة وغير متوقعة. أما الأجزاء الأكبر فهي نادرة جداً بحيث نادراً ما تؤثر على النتيجة. ومع ذلك، هناك نطاق محدد من أحجام الأجزاء يعمل كـ "عنق زجاجة" حرج. في هذا النطاق، تكون الأجزاء كبيرة بما يكفي لتكون مؤثرة، ولكن ليست كبيرة لدرجة الاختفاء. وعدد الأجزاء التي تقع في هذا النطاق المحدد هو ما يحدد النتيجة. ولأن هذا النطاق يتغير مع نمو العدد الإجمالي للحجارة، فإن توازن اللعبة يميل تارة ويتحول تارة أخرى. فعندما يكون المقياس الطبيعي أقل بقليل من قوة للعدد اثنين، يميل التوازن نحو اتجاه معين، وعندما يتجاوز هذا الحد، ينقلب التوازن، مما يسبب قفزة في الكثافة.

لفهم هذا، يمكن مقارنة العملية بساعة تعيد ضبط نفسها في كل مرة تصل فيها إلى ساعة معينة، لكن عقاربها تتحرك بسرعة تتغير مع حجم الساعة نفسها. ومع زيادة العدد الإجمالي للحجارة، يتحرك "النطاق الحرج" لأحجام الأجزاء نحو الأعلى. وتعتمد احتمالية وجود موضع خاسر على ما إذا كان هذا النطاق المتحرك يحتوي على عدد زوجي أو فردي من الأجزاء، حيث يلعب تماثل (parity) عدد الأجزاء دور المحرك الرئيسي لهذا التذبذب. ولأن توزيع الأجزاء محكوم بقانون يشبه "توزيع بواسون" (Poisson distribution)، فإن فرصة وجود عدد معين من الأجزاء في هذا النطاق الحرج تتذبذب، مما يخلق النمط المسنن. ويؤكد البحث أنه مع نمو العدد الإجمالي للحجارة، فإن الكثافة المعايرة لا تتقارب نحو رقم واحد، بل إن مجموعة كل القيم الممكنة التي تقترب منها تملأ الفاصل الزمني بين مرة واحدة ومرتين من عامل قياس محدد.

يمتد هذا البحث أيضاً إلى ما وراء المواضع الخاسرة فقط. فهو يوضح أن هذا السلوك المتذبذب نفسه ينطبق على أي نتيجة مستهدفة ثابتة، وليس فقط نتيجة الصفر. فبالنسبة لكل "نيم-سوم" (nim-sum) مستهدف ثابت، تمتلك الكثافة نفس التلاشي من الدرجة الأولى، وبعد نفس المعايرة، تتبع نفس الملف المسنن الثنائي (dyadic sawtooth profile). وهذا يشير إلى أن البنية الثنائية للعبة تترك بصمة دائمة على التوزيع العشوائي للأكوام، وهي بصمة ترفض أن يتم تمويهها أو تسويتها بفعل ضخامة الأرقام المعنية.

للتحقق من هذه التوقعات النظرية، قام المؤلف بإجراء حسابات دقيقة لكل ترتيب ممكن من الحجارة حتى إجمالي عشرين ألف حجر. تطلب ذلك نهجاً حوسبياً متطوراً تعامل مع المشكلة كعملية عد هائلة، باستخدام خوارزميات متخصصة للتعامل مع المليارات من التشكيلات الممكنة دون الحاجة لعد كل تجزئة بشكل فردي. وقد طابقت نتائج هذه الحسابات التوقعات النظرية بدقة مذهلة، مما أكد أن النمط المسنن حقيقي وليس مجرد أثر جانبي للنموذج الرياضي. وأظهرت البيانات أن الكثافة المعايرة ترتفع وتنخفض تماماً كما توقعت النظرية، مع حدوث التحولات الحادة في اللحظات الدقيقة التي يتجاوز فيها المقياس الطبيعي قوة للعدد اثنين.

يتناول البحث أيضاً طبيعة الانتقال بين هذه القمم والوديان. فبينما يبدو الرسم البياني ذا قفزات حادة، تشير تحليلات الحجم المحدود إلى أن هذا التحول ليس لحظياً تماماً، بل يتم تمهيده تدريجياً عبر نافذة تضيق كلما زاد عدد الحجارة، حيث يتحدد هذا الانتقال بناءً على ما إذا كان عدد الأجزاء في النطاق الحرج زوجياً أم فردياً. ومع زيادة العدد الإجمالي للحجارة، تصبح هذه النافذة أضيق، مما يجعل التحول يبدو أكثر حدة ووضوحاً. يفسر هذا الظاهرة سبب ظهور النمط بشكل مسنن في البيانات، رغم أن الرياضيات الكامنة وراءه سلسة.

في الختام، يقدم هذا العمل وصفاً كاملاً لكيفية توزيع المواضع الخاسرة في لعبة "نيم" عندما يتم اختيار التكوين الابتدائي عشوائياً. إنه يحل مسألة طويلة الأمد حول وتيرة هذه المواضع، مبيناً أنها لا تتبع اتجاهاً ثابتاً وبسيطاً. بدلاً من ذلك، هي محكومة بتفاعل معقد بين حجم الأكوام والبنية الثنائية للعبة. وتسلط النتائج الضوء على مبدأ أوسع في الرياضيات: حتى في الأنظمة التي تبدو عشوائية وسلسة، يمكن للبنى الحسابية العميقة أن تخلق أنماطاً حادة ومستمرة تقاوم المتوسطات الحسابية. تضمن الطبيعة الثنائية للعبة بقاء كتلة محددة من المعلومات مرئية ومؤثرة، بغض النظر عن حجم النظام، مما يخلق إيقاعاً يتكرر إلى الأبد مع كبر الأرقام.