سواء كان الأمر يتعلق بتقسيم تركة وميراث عائلي معقد، أو تسوية أملاك ومقتنيات عند الطلاق القضائي، أو توزيع الغرف وتقاسم أعباء الإيجار بين زملاء السكن المشترك، يواجه البشر دوماً معضلة فلسفية واقتصادية عميقة تُعرف باسم العدالة والإنصاف (Fairness).
الحكمة التراثية الأبسط والأكثر انتشاراً لشخصين هي القاعدة الذهبية المعروفة: «واحد يقطع والآخر يختار (Cut and Choose)». يحرص القاطع على قسمة الكعكة إلى نصفين متكافئين تماماً لحماية نفسه من الخسارة، بينما يختار الطرف الثاني القطعة المفضلة لديه بحرية تامة. هذه الآلية تضمن الرضا التام للشخصين.
ولكن كيف نتصرف إذا كان المشاركون ثلاثة أشخاص أو أكثر؟ وماذا لو كانت الكعكة غير متجانسة في مكوناتها — كأن تحتوي على شوكولاتة فاخرة في جانب وفواكه طازجة في جانب آخر — ولكل شخص من الحاضرين أذواق وتفضيلات ذاتية متباينة وغير متناظرة؟ إن التقسيم الهندسي المتساوي بالحجم أو الوزن المجرد سيثير حتماً غضب وسخط الشخص الذي يكره الفواكه أو يعاني من حساسية تجاهها.
هل توجد خوارزمية رياضية قطعية تضمن أن يشعر كل مشارك بأنه نال حصة منصفة تماماً، ولا يشعر أي طرف في المجتمع بأي قدر من الحسد أو الغيرة تجاه حصة أي شخص آخر؟
هذا السؤال الجوهري يقع في قلب نظرية التقسيم العادل (Fair Division Theory)، والمعروفة على نطاق واسع في الأوساط الرياضية باسم مسألة تقطيع الكعكة (Cake-Cutting Problem). منذ صياغتها الصارمة في أربعينيات القرن العشرين بواسطة الرياضي البولندي هوغو شتاينهاوس وزملاء مدرسته في لفيف، تطورت هذه المسألة لتجمع بين نظرية القياس الحديثة، والتوبولوجيا الجبرية (تمهيدية سبيرنر ونظريات النقطة الثابتة لبروير)، ونظرية الألعاب، والتعقيد الحسابي. وفي عام 2016، حقق حارس عزيز وسايمون ماكنزي إنجازاً تاريخياً هز الأوساط الأكاديمية العالمية بابتكار أول خوارزمية منتهية ومحدودة تضمن القسمة الخالية من الحسد لأي عدد $n$ من الأشخاص في زمن محدد.
1. النمذجة الرياضية الدقيقة بنظرية القياس
تُمثَّل الكعكة بالفترة الحقيقية المدمجة $X = [0, 1]$ أو بأي مجموعة فرعية مدمجة وقابلة للقياس في الفضاء الإقليدي $\mathbb{R}^d$. أي قطعة أو حصة مقتطعة تُعامل كمجموعة بوريليانية قابلة للقياس $A \in \mathcal{B}(X)$.
يمتلك كل مشارك $i \in \{1, \dots, n\}$ دالة قياس قيمة ذاتية غير ذرية وموجبة $V_i: \mathcal{B}(X) \to [0, 1]$ تحقق بديهيات القياس التالية:
- المعايرة والتطبيع: $V_i(X) = 1$ و $V_i(\emptyset) = 0$.
- الجمعية الحسابية: إذا كانت المجموعات منفصلة تماماً ($A \cap B = \emptyset$)، فإن $V_i(A \cup B) = V_i(A) + V_i(B)$.
- اللاذرية وقابلية القسمة المستمرة: يمكن للسكين أن يقطع عند أي إحداثي حقيقي بدقة متناهية في الصغر.
إذا كانت الدالة متصلة تماماً بالنسبة لقياس لوبيغ، توجد دالة كثافة قيمة $v_i(x)$ تكاملية بحيث $V_i(A) = \int_A v_i(x) \, dx$. الميزة الكبرى لهذا النموذج هي استقلال التفضيلات التام: كل فرد يرى العالم من منظوره الخاص دون فرض مقياس خارجي للمنفعة.
2. المعايير الأربعة الأساسية للعدالة
| المعيار | التعريف الرياضي | المعنى الاجتماعي |
|---|---|---|
| التناسبية (PROP) | $\forall i, \quad V_i(X_i) \ge \frac{1}{n}$ | يحصل كل شخص على الأقل على $1/n$ من القيمة الإجمالية بحسب تقييمه الخاص |
| انعدام الحسد (EF) | $\forall i, j, \quad V_i(X_i) \ge V_i(X_j)$ | لا يفضل أي شخص في المجموعة حصة غيره على حصته الخاصة إطلاقاً |
| التكافؤ (EQ) | $\forall i, j, \quad V_i(X_i) = V_j(X_j)$ | المنفعة الرقمية الذاتية المحسوسة متساوية للجميع بدقة |
| كفاءة باريتو (PE) | لا يمكن تحسين وضع شخص دون الإضرار بآخر | استغلال مثالي للثروات دون إهدار أي فائض اقتصادي |
في حالة ثلاثة أشخاص فأكثر، لا تكفي التناسبية لمنع الخلافات: فقد يحصل شخص على حصة تقارب $35\%$ ($> 33.3\%$)، لكنه يرى أن زميله نال قطعة تساوي $50\%$ في عينيه، فيشتعل الحسد الاجتماعي. لذلك، يُعد انعدام الحسد (Envy-Freeness) المعيار الذهبي الأسمى لتحقيق السلام والاستقرار الدائم.
3. بروتوكول سيلفريدج-كونواي لثلاثة أشخاص (1960)
اكتشف سيلفريدج وجون هورتون كونواي هذا البروتوكول الرائع الذي ينفذ في مرحلتين وبحد أقصى خمس قطعات:
- المرحلة الأولى (التقطيع والتشذيب):
- يقطع اللاعب الأول الكعكة إلى 3 قطع متساوية تماماً في عينيه ($A, B, C$).
- يقيم اللاعب الثاني القطع، فإذا وجد قطعة عظمى وحيدة ($A$)، فإنه يشذب منها شريحة $T$ (فتات) لتتساوى قيمتها مع ثاني أكبر قطعة لديه ($A'$).
- ترتيب الاختيار: اللاعب الثالث يختار أولاً، ثم الثاني (ملزم باختيار $A'$ إذا لم يخترها الثالث)، ثم الأول.
- ينال اللاعب الأول قطعة كاملة بقيمة $1/3$، فلا يحسد أحداً في هذه المرحلة مطلقاً!
- المرحلة الثانية (تقسيم الفتات المشذب $T$):
- يُقسَم الفتات $T$ إلى 3 أجزاء متساوية بواسطة اللاعب الذي لم يأخذ $A'$.
- يختار صاحب $A'$ أولاً، ثم اللاعب الأول، وأخيراً القاطع.
- بفضل الهامش المقتطع سابقاً، يستحيل على اللاعب الأول أن يحسد صاحب $A'$ مهما بلغت حصته من الفتات، لأن القطعة مع الفتات كاملة لم تكن لتتجاوز $1/3$ في مقياسه!
4. التوبولوجيا وتوزيع الإيجار: تمهيدية سبيرنر
أثبت البروفيسور فرانسيس سو عام 1999، باستخدام تمهيدية سبيرنر (Sperner’s Lemma) في التوبولوجيا التوافقية ونظرية النقطة الثابتة، أنه توجد دائماً تسعيرة إيجار عادلة للغرف تجعل كل زميل سكن يختار غرفة مختلفة برضا تام ودون أي حسد (Rental Harmony). يمثل هذا التطبيق جسراً مبهراً بين الرياضيات البحتة والحياة اليومية لملايين المستأجرين.
5. خاتمة
تُعلمنا رياضيات التقسيم العادل أن العدالة الحقيقية ليست مساواة شكلية جافة، بل هي الاحترام العميق للتنوع الفردي. ومن خلال آليات ذكية، يمكن تحويل الاختلاف في الرغبات إلى وسيلة لبناء مجتمع متناغم وخالٍ من الحسد.