غيل وشابلي وبرهان الاستقرار

قدّم ديفيد غيل ولويد شابلي في 1962 نموذجًا رياضيًا لتوزيع المتقدمين على مؤسسات تختارهم بدورها. نُشرت ورقتهما في The American Mathematical Monthly، وشرحت وجود نتيجة مستقرة ضمن افتراضات محددة عن التفضيلات والسعات.

سؤال البحث والعقد الرياضي

العنوان الأصلي College Admissions and the Stability of Marriage. ظهرت الورقة في المجلد 69، العدد الأول، الصفحات 9–15. السؤال هو ما إذا كانت هناك طريقة لتخصيص المقاعد دون زوج يمكن أن يفضّل الانتقال من الوضع الحالي إلى تخصيص متبادل أفضل.

الطريقة خطوة بخطوة

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

لماذا تحقق النتيجة الاستقرار؟

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

ما نوع النتيجة؟

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